Maths Olympiad Prep

Track / Stage 6 / 213 of 400 #1213 of 1964

Problem 1213

National Olympiad, first round
Geometry Difficulty 6.2 Prove it Kanada · Canada · 2015

Let ABCABC be an acute-angled triangle with circumcenter OO. Let Γ\Gamma be a circle with centre on the altitude from AA in ABCABC, passing through vertex AA and points PP and QQ on sides ABAB and ACAC. Assume that BPCQ=APAQBP \cdot CQ = AP \cdot AQ. Prove that Γ\Gamma is tangent to the circumcircle of triangle BOCBOC.

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

Let ω\omega be the circumcircle of BOCBOC. Let MM be the point diametrically opposite to OO on ω\omega and let the line AMAM intersect ω\omega at MM and KK. Since OO is the circumcenter of ABCABC, it follows that OB=OCOB = OC and therefore that OO is the midpoint of the arc BOC^\widehat{BOC} of ω\omega. Since MM is diametrically opposite to OO, it follows that MM is the midpoint of the arc BMC^\widehat{BMC} of ω\omega. This implies since KK is on ω\omega that KMKM is the bisector of BKC\angle BKC. Since KK is on ω\omega, this implies that BKM=CKM\angle BKM = \angle CKM, i.e. KMKM is the bisector of BKC\angle BKC.

Since OO is the circumcenter of ABCABC, it follows that BOC=2BAC\angle BOC = 2\angle BAC. Since BB, KK, OO and CC all lie on ω\omega, it also follows that BKC=BOC=2BAC\angle BKC = \angle BOC = 2\angle BAC. Since KMKM bisects BKC\angle BKC, it follows that BKM=CKM=BAC\angle BKM = \angle CKM = \angle BAC. The fact that AA, KK and MM lie on a line therefore implies that AKB=AKC=180BAC\angle AKB = \angle AKC = 180^\circ - \angle BAC. Now it follows that
KBA=180AKBKAB=BACKAB=KAC. \angle KBA = 180^\circ - \angle AKB - \angle KAB = \angle BAC - \angle KAB = \angle KAC.
This implies that triangles KBAKBA and KACKAC are similar. Rearranging the condition in the problem statement yields that BP/AP=AQ/CQBP/AP = AQ/CQ which, when combined with the fact that KBAKBA and KACKAC are similar, implies that triangles KPAKPA and KQCKQC are similar. Therefore KPA=KQC=180KQA\angle KPA = \angle KQC = 180^\circ - \angle KQA which implies that KK lies on Γ\Gamma.

Now let SS denote the centre of Γ\Gamma and let TT denote the centre of ω\omega. Note that TT is the midpoint of segment OMOM and that TMTM and ASAS, which are both perpendicular to BCBC, are parallel. This implies that KMT=KAS\angle KMT = \angle KAS since AA, KK and MM are collinear. Further, since KTMKTM and KSAKSA are isosceles triangles, it follows that TKM=KMT\angle TKM = \angle KMT and SKA=KSA\angle SKA = \angle KSA. Therefore TKM=SKA\angle TKM = \angle SKA which implies that SS, TT and KK are collinear. Therefore Γ\Gamma and ω\omega intersect at a point KK which lies on the line STST connecting the centres of the two circles. This implies that the circles Γ\Gamma and ω\omega are tangent at KK. \Box

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