Пусть АСB и ВDC – две прямые линии, пересекающиеся в точке С. Нам нужно доказать, что АВ=ВД.
Чтобы это сделать, давайте рассмотрим треугольники АСВ и СВС. У них есть общая сторона СВ, и угол С общий для них обоих.
Применим теорему синусов к треугольнику АСВ:
sin(Угол А) / АВ = sin(Угол В) / ВС
Применим теорему синусов к треугольнику ВСD:
sin(Угол В) / ВС = sin(Угол Д) / ВД
Мы можем видеть, что sin(Угол В) / ВС встречается в обоих равенствах. Подставляя выражение из первого уравнения во второе, получим:
sin(Угол А) / АВ = sin(Угол Д) / ВД
Теперь перепишем это уравнение:
АВ / sin(Угол А) = ВД / sin(Угол Д)
Углы А и Д – общие для обоих треугольников, поэтому их синусы равны:
АВ / sin(Угол А) = ВД / sin(Угол Д)
Так как синусы равны, получаем:
АВ / sin(Угол А) = ВД / sin(Угол Д)
Свернем это уравнение, чтобы получить искомый результат:
АВ * sin(Угол Д) = ВД * sin(Угол А)
Мы видим, что левая часть равна AV*CD, а правая часть равна DV*AC. Таким образом, AV*CD = DV*AC, и, делая их равными AC, получим:
AV = DV
Следовательно, мы доказали, что АВ=ВД.