In the adjoining figure and are parallel tangents to a circle of radius , with and the points of tangency. is a third tangent with as a point of tangency. If and then is
[asy] unitsize(45); pair O = (0,0); pair T = dir(90); pair T1 = dir(270); pair T2 = dir(25); pair P = (.61,1); pair Q = (1.61, -1); draw(unitcircle); dot(O); label("O",O,W); label("T",T,N); label("T'",T1,S); label("T''",T2,NE); label("P",P,NE); label("Q",Q,S); draw(O--T2); label("",midpoint(O--T2),NW); draw(T--P); label("4",midpoint(T--P),N); draw(T1--Q); label("9",midpoint(T1--Q),S); draw(P--Q);[/asy]
Problem 242
Official solution
[asy] unitsize(45); pair O = (0,0); pair T = dir(90); pair T1 = dir(270); pair T2 = dir(25); pair P = (.61,1); pair Q = (1.61, -1); draw(unitcircle); dot(O); label("O",O,W); label("T",T,N); label("T'",T1,S); label("T''",T2,NE); label("P",P,NE); label("Q",Q,S); draw(T--P); label("4",midpoint(T--P),N); draw(T1--Q); draw(P--Q); draw(T--T1); pair R = (.61,-1); draw(P--R); label("R",R,S); label("4",midpoint(T1--R),S); label("5",midpoint(R--Q),S); label("r",midpoint(O--T),W); label("r",midpoint(O--T1),W);[/asy]
Drop the perpendicular from to and let the foot be . Note that is a rectangle. Also, from Two Tangents, and , so . Therefore, from the Pythagorean Theorem on , . We now see that .