Online Geometry theorems, problems, solutions, and related topics.
Geometry ProblemLevel: Mathematics Education, High School, Honors Geometry, College.Click the figure below to see the complete problem 638.
Thanks Henkie for the note (problem 638).
http://img714.imageshack.us/img714/1382/problem638.png1. Let O, I, J and P are centers of circles ( see picture)We have ( FAC)= 90-1/2*(FJA) ( tri. FAJ is isosceles)(FEC)=(FEP)+(CEP)(CEP)=90+1/2*(EOC) ( Tri. COE is isosceles)And (FEP)=1/2*(OPJ) ( Tri. FPE is isosceles)So (FAC)+(FEC)= 90-1/2*(FJA)+1/2*(OPJ)+90+1/2*(EOC)But (FJA)=(OPJ)+(EOC) so (FAC)+(FEC)= 180 Quadrilateral AFEC is cyclic2. Let GH cut AB at Q.Note that Q is the center of dilation transformation Dil(Q,OG/IH) to transform circle I to circle OQ also be center of Inversion transformation Inv(Q, QC^2) to transform circle I to Circle Oin this inversion, Circle J stay the same. Circle P tangent to circles I, O, J will stay the same after inversion.So QC=QF and Q, D, E are collinear and QD.QE= QC^2 .QH become perpendicular bisector of FC and H become center of circle (AFEC)3. In the inversion Inv(Q, QC^2) , points (A,F,E,C) become points (B, F, D,C) so quadrilateral BFDC is cyclic.Note that GO and GQ are perpend. Bisectors of CB and CF . So G will be center of circle (BFDC)Peter Tran
Set up inversion transformation I(C,r), for any r. The line ACB is invariant as line A'C'B'.Then circle AC and AB would become two parrallel lines perpendicular to A'B' passing through A' and B' respectively.Circle AB becomes a circle P with diameter A'B', touching the two parrallel lines. Now circle DEF becomes a circle Q touching P at F' and also the two parrllel lines at D' and E'. (obviously, P and Q are having the same radius)A'D'E'B' is now a rectangle and F' lies on the diagonal of B'D'.Hence B',F',D' collinear and B,F,C,D concyclic.(Symmetric for A,C,E,F)Again from the inversion image, ∠CFA =∠C'A'F'=∠C'B'F'=∠CFB.So CF is the angle bisector of the 90 degree ∠AFB, so ∠CFB = 45 and ∠CGB is 90.Yet, G must lies on the perpendicular bisector of BC, so G is the midpoint of semicircle BC.(Symmetric for H)Q.E.D.