Square and circle
Source: AMC 12 2006A, Problem 17
February 5, 2006
trigonometryquadraticsPythagorean Theoremgeometrytrig identitiesLaw of Cosinesalgebra
Problem Statement
Square has side length , a circle centered at has radius , and and are both rational. The circle passes through , and lies on . Point lies on the circle, on the same side of as . Segment is tangent to the circle, and AF \equal{} \sqrt {9 \plus{} 5\sqrt {2}}. What is ?
[asy]unitsize(6mm);
defaultpen(linewidth(.8pt)+fontsize(10pt));
dotfactor=3;pair B=(0,0), C=(3,0), D=(3,3), A=(0,3);
pair Ep=(3+5*sqrt(2)/6,3+5*sqrt(2)/6);
pair F=intersectionpoints(Circle(A,sqrt(9+5*sqrt(2))),Circle(Ep,5/3))[0];
pair[] dots={A,B,C,D,Ep,F};draw(A--F);
draw(Circle(Ep,5/3));
draw(A--B--C--D--cycle);dot(dots);
label("",A,NW);
label("",B,SW);
label("",C,SE);
label("",D,SW);
label("",Ep,E);
label("",F,NW);[/asy]