Maths Olympiad Prep

Library / Balkan Mathematical Olympiad Shortlist /12 of 13

Balkan Mathematical Olympiad Shortlist

Geometry Difficulty 8.3 Shortlist Prove it Balkan Mathematical Olympiad

Triangle ABCABC is said to be perpendicular to triangle DEFDEF if the perpendiculars from AA to EFEF, from BB to FDFD and from CC to DEDE are concurrent. Prove that if ABCABC is perpendicular to DEFDEF then DEFDEF is perpendicular to ABCABC.

Solution

Let U,V,WU, V, W be the feet of the perpendiculars from A,B,CA, B, C to EF,FD,DEEF, FD, DE respectively, and let X,Y,ZX, Y, Z be the feet of the perpendiculars from D,E,FD, E, F to BC,CA,ABBC, CA, AB respectively. Since UU and ZZ both subtend a right angle from AFAF, AFUZAFUZ is concyclic and so (with an appropriate sign convention) ∠UAB=∠UAZ=∠UFZ=∠EFZ\angle UAB = \angle UAZ = \angle UFZ = \angle EFZ. Combining this with five similar equalities of angles, we see that
sin⁡∠UABsin⁡∠VBCsin⁡∠WCAsin⁡∠CAUsin⁡∠ABVsin⁡∠BCW=sin⁡∠EFZsin⁡∠FDXsin⁡∠DEYsin⁡∠ZFDsin⁡∠XDEsin⁡∠YEF \frac{\sin \angle UAB \sin \angle VBC \sin \angle WCA}{\sin \angle CAU \sin \angle ABV \sin \angle BCW} = \frac{\sin \angle EFZ \sin \angle FDX \sin \angle DEY}{\sin \angle ZFD \sin \angle XDE \sin \angle YEF}
Figure 1
Yet by the angle form of Ceva's theorem, the left hand expression is 1 if and only if the Cevians AU,BV,CWAU, BV, CW concur, i.e. iff ABCABC is perpendicular to DEFDEF. Similarly, the right hand expression is 1 if and only if DEFDEF is perpendicular to ABCABC. Thus ABCABC is perpendicular to DEFDEF if and only if DEFDEF is perpendicular to ABCABC.

Want a route through all this instead of an archive? The track puts 2,604 problems in a working order, from Junior Challenge level to the IMO shortlist.

Source: MathNet, licensed CC-BY-4.0. Statement reproduced verbatim; metadata (topic, difficulty) added by this project.