Let A, B be two distinct points on a given circle O and let P be the midpoint of the line segment AB. Let O1 be the circle tangent to the line AB at P and tangent to the circle O. Let ℓ be the tangent line, different from the line AB, to O1 passing through A. Let C be the intersection point, different from A, of ℓ and O. Let Q be the midpoint of the line segment BC and O2 be the circle tangent to the line BC at Q and tangent to the line segment AC. Prove that the circle O2 is tangent to the circle O.
Solution
Let S be the tangent point of the circles O and O1 and let T be the intersection point, different from S, of the circle O and the line SP. Let X be the tangent point of ℓ to O1 and let M be the midpoint of the line segment XP. Since ∠TBP=∠ASP, the triangle TBP is similar to the triangle ASP. Therefore, PBPT=PSPA Since the line ℓ is tangent to the circle O1 at X, we have ∠SPX=90∘−∠XSP=90∘−∠PAM=∠PAM which implies that the triangle PAM is similar to the triangle SPX. Consequently, XPXS=MAMP=2MAXPandPSXP=APMA From this and the above observation follows XPXS⋅PBPT=2MAXP⋅PSPA=2MAXP⋅XPMA=21.(1) Let A′ be the intersection point of the circle O and the perpendicular bisector of the chord BC such that A, A′ are on the same side of the line BC, and N be the intersection point of the lines A′Q and CT. Since ∠NCQ=∠TCB=∠TCA=∠TBA=∠TBP and ∠CA′Q=2∠CAB=2∠XAP=∠PAM=∠SPX, the triangle NCQ is similar to the triangle TBP and the triangle CA′Q is similar to the triangle SPX. Therefore QCQN=PBPTandQA′QC=XPXS and hence QA′=2QN by (1). This implies that N is the midpoint of the line segment QA′. Let the circle O2 touch the line segment AC at Y. Since ∠ACN=∠ACT=∠BCT=∠QCN and ∣CY∣=∣CQ∣, the triangles YCN and QCN are congruent and hence NY⊥AC and NY=NQ=NA′. Therefore, N is the center of the circle O2, which completes the proof.
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.