Maths Olympiad Prep

Track / Stage 6 / 389 of 400 #2029 of 2604

Problem 2029

National Olympiad, first round
Geometry Difficulty 6.9 Prove it Philippine Mathematical Olympiad · Philippines

Pentagon ABCDEA B C D E is inscribed in a circle. Its diagonals ACA C and BDB D intersect at FF. The bisectors of ∠BAC\angle B A C and ∠CDB\angle C D B intersect at GG. Let AGA G intersect BDB D at HH, let DGD G intersect ACA C at II, and let EGE G intersect ADA D at JJ. If FHGIF H G I is cyclic and
JA⋅FC⋅GH=JD⋅FB⋅GI J A \cdot F C \cdot G H=J D \cdot F B \cdot G I
prove that G,FG, F and EE are collinear.

This one wants a proof. Work it on paper, then read the official solution and mark yourself. Be honest about it: the record is only any use to you if it is.

Next problem →

Official solution

Solution:

Since ∠BAC\angle B A C and ∠BDC\angle B D C subtend the same arc, we can let α=∠BAG=∠GAC=∠CDG=∠GDB\alpha=\angle B A G=\angle G A C=\angle C D G=\angle G D B. Since ∠BAG=∠BDG\angle B A G=\angle B D G, then GG is a point on the circumcircle.
Let x=∠FHIx=\angle F H I and y=∠FIHy=\angle F I H. Since AHIDA H I D is cyclic (∠HAI=∠IDH=α)(\angle H A I=\angle I D H=\alpha), then ∠IAD=x\angle I A D=x and ∠HDA=y\angle H D A=y. Since ABCDA B C D is cyclic, we also have ∠FBC=x\angle F B C=x and ∠FCB=y\angle F C B=y.
Since FHGIF H G I is cyclic, then ∠FGI=x\angle F G I=x and ∠FGH=y\angle F G H=y. By adding the angles of △AGD\triangle A G D, we get as a result: x+y+α=90∘x+y+\alpha=90^\circ.
Extend GFG F, intersecting ADA D at J1J_{1}, and the circumcircle of the pentagon at E1E_{1}. One consequence we get is that GJ1⊥ADG J_{1} \perp A D (because the highlighted angles of △AJ1G\triangle A J_{1} G, α+x+y\alpha+x+y, already add up to 90∘90^\circ). Similarly, DH⊥AGD H \perp A G and AI⊥DGA I \perp D G.

Figure 1

The equation now implies
JAJD=FBFC⋅GIGH=FHFI⋅GIGH=FH/GHFI/GI=FJ1/J1DFJ1/J1A=J1AJ1D \frac{J A}{J D}=\frac{F B}{F C} \cdot \frac{G I}{G H}=\frac{F H}{F I} \cdot \frac{G I}{G H}=\frac{F H / G H}{F I / G I}=\frac{F J_{1} / J_{1} D}{F J_{1} / J_{1} A}=\frac{J_{1} A}{J_{1} D}
This forces J=J1J=J_{1} and so E=E1E=E_{1}. Therefore, G,FG, F and EE are collinear.

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