Теорема (Птолемея)
Произведение диагоналей вписанного четырёхугольника равно сумме произведений двух пар его противолежащих сторон.
Дано:
4-угольник ABCD вписан в окр. (O; R)
Доказать:
AC·BD=AB·CD+AD·BC
Доказательство:
I способ
Из треугольников ABC и ADC по теореме косинусов
![]()
![]()
Введём обозначения AB=a, BC=b, CD=c, AD=d, AC=d1, BC=d2.
Тогда
![]()
![]()
![]()
![]()
Так как четырёхугольник ABCD — вписанный, то ∠ABC+∠ADC=180°.
Отсюда cos∠ADC=cos(180°-∠ABC)= -cos∠ABC,
![]()
![]()
![]()
![]()
![]()
![]()
![]()
![]()
Аналогично
![]()
Отсюда
![]()
![]()
Что и требовалось доказать.
В ходе доказательства получили полезные соотношения:
1) Диагонали вписанного четырёхугольника связаны с его сторонами равенствами:
![]()
2)Отношение диагоналей вписанного четырёхугольника.
![]()
![]()
то есть диагонали вписанного четырехугольника относятся как суммы произведений сторон, сходящихся в концах диагоналей.
II способ
Построим угол CBK, равный углу DBA.
У треугольников CBK и DBA
∠CBK=∠DBA (по построению)
∠BCK=∠BDA (как вписанные углы, опирающиеся на одну дугу AB).
Значит треугольники CBK и DBA подобны (по двум углам).
Из подобия треугольников следует пропорциональность соответствующих сторон:
![]()
откуда по основному свойству пропорции
![]()
Рассмотрим треугольники ABK и DBC.
∠BAK=∠BDC (как вписанные углы, опирающиеся на одну дугу BC).
∠ABK=∠ABD+∠DBK,
∠DBC=∠CBK+∠DBK,
а так как ∠ABD=∠CBK, то и ∠ABK=∠DBC.
Следовательно, треугольники ABK и DBC подобны (по двум углам), и
![]()
![]()
Сложим почленно полученные равенства:
![Rendered by QuickLaTeX.com \[ + \frac{\begin{array}{l} BC \cdot AD = BD \cdot CK \\ AB \cdot CD = BD \cdot AK \\ \end{array}}{{BC \cdot AD + AB \cdot CD = BD \cdot CK + BD \cdot AK}}, \]](https://www.treugolniki.ru/wp-content/ql-cache/quicklatex.com-44c4dd40d1bca116d1276a18f44a88eb_l3.png)
![]()
![]()
Что и требовалось доказать.
