WikiSort.ru - Не сортированное

Вне четырёхугольника построим внешним образом ${\displaystyle \triangle ABF}$ подобный ${\displaystyle \triangle CAD}$ и ${\displaystyle \triangle ADE}$ подобный ${\displaystyle \triangle CAB}$ , чтобы

${\displaystyle \angle CAD=\angle FBA}$ ,

${\displaystyle \angle ACD=\angle FAB}$ ,

${\displaystyle \angle BAC=\angle ADE}$ ,

${\displaystyle \angle BCA=\angle DAE}$ .

Из свойства подобных треугольников имеем: ${\displaystyle {\frac {AF}{a}}={\frac {c}{e}}}$ ; ${\displaystyle {\frac {BF}{a}}={\frac {d}{e}}}$ ; ${\displaystyle {\frac {AE}{d}}={\frac {b}{e}}}$ ; ${\displaystyle {\frac {DE}{d}}={\frac {a}{e}}}$ . Отсюда ${\displaystyle AF={\frac {ac}{e}}}$ ; ${\displaystyle AE={\frac {bd}{e}}}$ ; ${\displaystyle BF=DE={\frac {ad}{e}}}$ . Сумма углов ${\displaystyle \angle B}$ и ${\displaystyle \angle D}$ в четырёхугольнике ${\displaystyle FDBE}$ равна сумме углов ${\displaystyle \triangle BAD}$ , то есть равна ${\displaystyle 180^{\circ }}$ . Отсюда ${\displaystyle FB\parallel DE}$ . Также ${\displaystyle FB=DE}$ , то есть ${\displaystyle FBDE}$ — параллелограмм. Отсюда ${\displaystyle f=BD=FE}$ . В ${\displaystyle \triangle AEF}$ угол ${\displaystyle \angle EAF=\angle A+\angle C}$ по построению. По теореме косинусов: ${\displaystyle f^{2}=\left({\frac {ac}{e}}\right)^{2}+\left({\frac {bd}{e}}\right)^{2}-{\frac {2abcd}{e^{2}}}\cos(\angle A+\angle C)}$ . Умножением на ${\displaystyle e^{2}}$ получаем требуемое:${\displaystyle (ef)^{2}=(ac)^{2}+(bd)^{2}-2abcd\cos(\angle A+\angle C)}$ , ч. т. д.