Теорема (Птолемея)
Произведение диагоналей вписанного четырёхугольника равно сумме произведений двух пар его противолежащих сторон.
Дано:
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 подобны (по двум углам), и
Сложим почленно полученные равенства:
Что и требовалось доказать.