MathLabs

Problem 4

Let A,BA,B be distinct points on a given circle OO, and let PP be the midpoint of ABAB. Let O1O_1 be the circle tangent to the line ABAB at PP and tangent to OO. Let ℓ\ell, different from ABAB, be the tangent to O1O_1 through AA, and let CC be the intersection point other than AA of ℓ\ell and OO. Let QQ be the midpoint of BCBC, and let O2O_2 be the circle tangent to the line BCBC at QQ and tangent to the line segment ACAC. Prove that O2O_2 is tangent to OO.
Step 4 of 5: Show that N is a midpoint
QNQC=PTPB,QCQA′=XSXP⟹QA′=2QN\frac{QN}{QC}=\frac{PT}{PB},\quad\frac{QC}{QA'}=\frac{XS}{XP}\Longrightarrow QA'=2QN
Detailed analysis

The two similarities give QNQC=PTPB\frac{QN}{QC}=\frac{PT}{PB} and QCQA′=XSXP\frac{QC}{QA'}=\frac{XS}{XP}. Their product, together with XSXP⋅PTPB=12\frac{XS}{XP}\cdot\frac{PT}{PB}=\frac12, gives QNQA′=12\frac{QN}{QA'}=\frac12, so QA′=2QNQA'=2QN and NN is the midpoint of QA′QA'.