Созвездие Южный Крест

[Barbedo]

Доказать, что в любом вписанном четырехугольнике ABCD с точкой P пересечения диагоналей AB*BC*PD=AD*DC*PB.

[николай москвитин]

Как красиво доказать не знаю, но есть специальная формула для длин диагоналей четырёхугольника, теорема косинусов, теорема синусов. Хотя предложу всё же один вариант: использовать то, что треугольники CBP и DAP подобны и их площади относятся как квадраты соответственных сторон (+ теорема о вписанном угле).

[николай москвитин]

В общем подобие треугольников. Доказывается вроде элементарно даже, но у меня никак не получается вывести соотношение. См.: BP/AP=BC/AD (подобие треугольников СBP и DAP). Отсюда: AP*BC=BP*AD. Домножаем на CD. Надо в итоге доказать: AP*BC*CD=AB*BC*PD, т.е. AP*CD=AB*PD. Но это верно из подобия треугольников ABP и DCP. Доказано.

[Shuhrat Ismailov]

Известно, что S(ABC):PB=S(ACD):PD , но S(ABC)=0.5*AB*BC*sinB, S(ACD)=0.5*AD*DC*sin(180-B), значит AB*BC/PB=AD*DC/PD

[Nadir Zaitov]

Сообщение от Shuhrat Ismailov

Известно, что S(ABC):PB=S(ACD):PD

А вдруг это известно «ввиду условия задачи»?
Нужно более конструктивное доказательство.

[Shuhrat Ismailov]

Сообщение от Nadir Zaitov

А вдруг это известно «ввиду условия задачи»?
Нужно более конструктивное доказательство.

Спасибо, Надир. Писал навскидку, времени не было формулы и рисунки выписывать.
Сегодня взялся
Доказательство.
Докажем сначала соотношение (*)
Для этого опустим высоты вышеупомянутых треугольников (см. рис.)

Отметим, что прямоугольные треугольники подобны (у них равные углы). Отсюда имеем

Учитывая это, получим

Равенство (*) доказано.
С другой стороны
и

Подставляем в (*) и сокращая полученные лроби, получаем
т.е.

[Shuhrat Ismailov]

Перепутал буквы E. F
Поэтому перепишу некоторые формулы, при доказательстве (*).


Учитывая это, получим

Равенство (*) доказано.