Maths Olympiad Prep

Library / /8 of 17

, 2015

Geometry Difficulty 6.2 National olympiad Prove it Canada

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.

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

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

Source: MathNet, licensed CC-BY-4.0. Statement and solution reproduced as published; topic and difficulty added by this site.