Maths Olympiad Prep

Library / GARA di FEBBRAIO /4 of 6

GARA di FEBBRAIO

Geometry Difficulty 5.6 AIME, harder Prove it Italy

Let ABCABC be a triangle and PP an interior point of it. Let HH be the point on side BCBC such that the bisector of angle AHP^\widehat{AHP} is perpendicular to line BCBC. Knowing that ABC^=HPC^\widehat{ABC}=\widehat{HPC} and BPC^=130∘\widehat{BPC}=130^\circ, determine the measure of angle BAC^\widehat{BAC}.

Solution

Let P′P' be the reflection of point PP with respect to line BCBC. Note that points AA, HH, P′P' are collinear, since AHP′^=AHP^+2PHC^=AHP^+2(90∘−AHP^/2)=180∘\widehat{AHP'}=\widehat{AHP}+2\widehat{PHC}=\widehat{AHP}+2\left(90^\circ-\widehat{AHP}/2\right)=180^\circ.

Now, AP′C^=HP′C^=HPC^\widehat{AP'C}=\widehat{HP'C}=\widehat{HPC} by symmetry, but HPC^=ABC^\widehat{HPC}=\widehat{ABC} by hypothesis; this implies the cyclicity of quadrilateral ABP′CABP'C.

This cyclicity implies that BAC^\widehat{BAC} is supplementary to BP′C^\widehat{BP'C}, which is congruent to BPC^\widehat{BPC} by symmetry, and hence BAC^=180∘−BPC^=180∘−130∘=50∘\widehat{BAC}=180^\circ-\widehat{BPC}=180^\circ-130^\circ=50^\circ.

Second solution. Let C′C' be the intersection of line CPCP with side ABAB; quadrilateral BHPC′BHP C' is cyclic (since HPC^=HBC′^\widehat{HPC}=\widehat{HBC'} by hypothesis, and thus the opposite angles HBC′^\widehat{HBC'} and C′PH^\widehat{C'PH} are supplementary).

Note moreover that, denoting by 2θ2\theta the angle PHA^\widehat{PHA}, we have PHC^=90∘−θ=C′HB^\widehat{PHC}=90^\circ-\theta=\widehat{C'HB}; using again the identity HPC^=HBC′^\widehat{HPC}=\widehat{HBC'} in triangles BAHBAH and PCHPCH, it follows by difference that BAH^=PCH^=C′CH^\widehat{BAH}=\widehat{PCH}=\widehat{C'CH}. It follows that quadrilateral AC′HCAC'H C is also cyclic.

There are now various ways to conclude using angle identities given by cyclicity; for example, HBP^=HC′P^\widehat{HBP}=\widehat{HC'P} by cyclicity of BHPC′BHPC', and HC′P^=HAC^\widehat{HC'P}=\widehat{HAC} by cyclicity of AC′HCAC'HC; but then BAC^=BAH^+HAC^=PCB^+PBC^=180∘−BPC^=50∘\widehat{BAC}=\widehat{BAH}+\widehat{HAC}=\widehat{PCB}+\widehat{PBC}=180^\circ-\widehat{BPC}=50^\circ.

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 translated into English from it; metadata (topic, difficulty) added by this project.