The incircle ω of triangle ABC is tangent to BC at X. Let Y=X be the other intersection of AX with ω. Points P and Q lie on AB and AC, respectively, so that PQ is tangent to ω at Y. Assume that AP=3, PB=4, AC=8, and AQ=nm, where m and n are relatively prime positive integers. Find m+n.
Diagram
解析
Solution 1
Let the sides AB and AC be tangent to ω at Z and W, respectively. Let α=∠BAX and β=∠AXC. Because PQ and BC are both tangent to ω and ∠YXC and ∠QYX subtend the same arc of ω, it follows that ∠AYP=∠QYX=∠YXC=β. By equal tangents, PZ=PY. Applying the Law of Sines to △APY yields
APAZ=1+APZP=1+APPY=1+sinβsinα.
Similarly, applying the Law of Sines to △ABX gives
ABAZ=1−ABBZ=1−ABBX=1−sinβsinα.
It follows that
2=APAZ+ABAZ=3AZ+7AZ,
implying AZ=521. Applying the same argument to △AQY yields
2=AQAW+ACAW=AQAZ+ACAZ=521(AQ1+81),
from which AQ=59168. The requested sum is 168+59=227.
Solution 2 (Projective)
Let the incircle of ABC be tangent to AB and AC at Z and W. By Brianchon's theorem on tangential hexagons QWCBZP and PYQCXB, we know that ZW,CP,BQ and XY are concurrent at a point O. Let PQ∩BC=M. Then by La Hire's A lies on the polar of M so M lies on the polar of A. Therefore, ZW also passes through M. Then projecting through M, we have
−1=(A,O;Y,X)=M(A,Z;P,B)=M(A,W;Q,C).
Therefore, MP⋅ABAP⋅ZB=1⟹ZP⋅73⋅ZB=1. Since ZB+ZP=4 we know that ZP=56 and ZB=514. Therefore, AW=AZ=521 and WC=8−521=519. Since (A,W;Q,C)=−1, we also have NQ⋅ACAQ⋅WC=1⟹(521−AQ)⋅8AQ⋅519=1. Solving for AQ, we obtain AQ=59168⟹m+n=227. 😃 -Vfire
Solution 3 (Combination of Law of Sine and Law of Cosine)
Let the center of the incircle of △ABC be O. Link OY and OX. Then we have ∠OYP=∠OXB=90∘
∵OY=OX
∴∠OYX=∠OXY
∴∠PYX=∠YXB
∴sin∠PYX=sin∠YXB=sin∠YXC=sin∠PYA
Let the incircle of ABC be tangent to AB and AC at M and N, let MP=YP=x and NQ=YQ=y.
Use Law of Sine in △APY and △AXB, we have
PYsin∠PAY=PAsin∠PYABXsin∠BAX=ABsin∠AXB
therefore we have
x3=4−x7
Solve this equation, we have x=56
As a result, MB=4−x=514=BX, AM=x+3=521=AN, NC=8−AN=519=XC, AQ=521−y, PQ=56+y
So, the final answer of this question is 168+59=227
~Solution by BladeRunnerAUG (Frank FYC)
Solution 4 (Projective geometry)
Claim
Let the sides AB and AC be tangent to ω at M and N, respectively. Then lines PQ,MN, and BC are concurrent and lines PC,MN,AX, and BQ are concurrent.
Proof
Let E be point of crossing AX and BQ. We make projective transformation such that circle ω maps into the circle and point E maps into the center of new circle point I. We denote images using notification X→X′.
BCQP maps into B′C′Q′P′, so lines B′Q′ and A′X′ be the diameters. This implies P′Q′∣∣B′C′,∠B′P′Q′=∠B′C′Q′=90∘⟹B′C′Q′P′ be a square.
Therefore M′N′ be the diameter ⟹P′C′,B′Q′, be diagonals of the square. M′N′ and X′Y′ be midlines which crossing in the center I. Therefore lines PC,MN,AX, and BQ are concurrent.
Lines P′Q′∣∣M′N′∣∣B′C′⟹PQ,MN and BC are concurrent.
Solution The cross-ratio associated with a list of four collinear points A,P,M,D is defined as
(A,P;M,B)=AB⋅PMAP⋅MB.
The cross-ratio be projective invariant of a quadruple of collinear points, so
(A,Q;N,C)=AC⋅QNAQ⋅NC=AC⋅(AN−AQ)AQ⋅(AC−AN)=1.AQ⋅(8−521)=8⋅(521–AQ)⟹AQ=59168.
For visuals only, I will show how one can find the perceptor D and the image’s plane. E0 is image of inversion E with respect ω.UW is the diameter of ω,E,E0,U,W are collinear. DU⊥ω,DE0⊥WD,UV⊥WD,UV is diameter of ω′.
Plane of images is perpendicular to WD.
Last diagram shows the result of transformation. Transformation is possible. The end.
By tangency, we have ∠PYZ=∠PZY=∠YXZ;∠BZX=∠BXZ=∠ZYX;∠PYX=∠BXY
Similar reason yields ∠QYX=∠CXY. Apply Law of sines
We have sin∠PYA3=sin∠PAYx,sin∠AXB7=sin∠BAX4−x Since ∠PYA=180−∠BXA so their sine values would be the same. Solve this system and we have 73=4−xx,x=56
Apply the same process in △AQY,△AXC, we have 83+x−y=5−xy,y=295399
The desired length is 3+x−y=59168⟹227
~Bluesoul
Solution 6(Algebra Bash)
Let ∠PAC=θ. Let PY=a and YQ=c. By PoP and Stewart's Theorem
(4−a)(9−2a)(5−a)+AX2(9−2a)=64(4−a)+49(5−a) where we will let AX=u for simplicity. Now let AY=x. By LoC we have
9+x2−6xcos(θ)=a2
By LoC we also have
49+AX2−14AXcos(θ)=(4−a)2
Finally, by PoP, we have
x⋅AX=(a+3)2
Solving this system of equations, we get
a=56,x=125563⋅2761. Note that by PoP, AQ=a+3−c by using the Power of Point of tangents that are equal. Finally, by Stewart's Theorem on △APQ we have
a(a+c)c+x2(a+c)=(a+3−c)2a+9c in which after plugging in the values we found for a and x we get c=295399. Finally, a+3−c=59168⟹227.