Triangle $ABC$ is said to be perpendicular to triangle $DEF$ if the perpendiculars from $A$ to $EF$,from $B$ to $FD$ and from $C$ to $DE$ are concurrent.Prove that if $ABC$ is perpendicular to $DEF$,then $DEF$ is perpendicular to $ABC$
Problem
Source: Balkan MO G-2
Tags: geometry
huynguyen
10.06.2015 17:19
Carnot theorem helps here. The condition triangle $ABC$ is perpendicular to triangle $DEF$ is equivalent to: $AE^2-AF^2+BF^2-BD^2+CD^2-CE^2=0$ (1) And the desired property is equivalent to: $EA^2-EC^2+DC^2-DB^2+FB^2-FA^2=0$ But it is obvious the same as (1), so we get the desired one. (Q.E.D)
Kamran011
06.03.2020 18:26
That directly follows from Carnot's Theorem , but it's an extension , maybe the same solution but still posting $(BD^2-DC^2)+(EC^2-EA^2)+(AF^2-FB^2)=0$ and then multiply both sides by $(-1)$ to get the concurrency condition for the other triple of perpendiculars . $\blacksquare$
Said
27.03.2020 15:25
From the trigonometric ceva be can easily get the conclusion