Доказательство в объяснении.
Объяснение:
Определение: внешний угол треугольника (многоугольника) - угол, образованный одной из его сторон и продолжением смежной стороны.
Таким образом, при каждой вершине прямоугольника образуется по два внешних угла. В прямоугольнике внутренние углы прямые, значит и внешние углы, смежные с внутренними, также прямые. Биссектриса прямого угла делит его на два угла по 45°. Следовательно, пересекаясь, биссектрисы образуют прямоугольные равнобедренные треугольники при общей гипотенузе - стороне прямоугольника - треугольники DFA, AFB, BGC и CHD.
Отрезки АВ = CD, BC = AD как противоположные стороны прямоугольника, следовательно отрезки (катеты равнобедренных треугольников) равны: EA=ED=GB=GC, FA=FB=HC=HD => EF=FG=GH=HE (как суммы равных отрезков). Значит EFGH - параллелограмм (по признаку), а так как все стороны равны, то ромб. Кроме того, ∠E = ∠F = ∠G = ∠H = 90° =>
EFGH - квадрат, что и требовалось доказать.
Поскольку фокусы гиперболы лежат на оси абсцисс симметрично относительно начала координат, то это стандартная гипербола, которая имеет уравнение:
, где а - действительная полуось, b - мнимая полуось
Поскольку дана точка гиперболы, то подставим ее координаты в уравнение:
Также распишем эксцентриситет гиперболы:
Преобразуем. Возведем в квадрат:
Подставим в уравнение с координатами выявленное соотношение:
Все необходимые данные для записи уравнения есть:
Поскольку квадрат мнимой полуоси 
, то ее длина - соответственно 
