Online Geometry theorems, problems, solutions, and related topics.
See complete Problem 39Triangle, Incircle, Cyclic Quadrilaterals. Level: High School, SAT Prep, College geometryPost your solutions or ideas in the comments.
It seems that the statements are closely related. I will try:(1)We need some definitions:The point of intersection of CG and AB will be called K.The point of intersection of FD and BO will be called L.Observe that BFOD is a kite (two tangent rays, two radii), and thus FLO=90°.Now chase some angles: AOC=180°-A/2-C/2=90°+B/2 (triangle ACO). Then GOA is supplementary, ergo 90°-B/2. Thus in triangle AOG, the third angle AKO=90°-A/2+B/2. Its supplementary angle is OKB=90°+A/2-B/2. Then in triangle KOB the last angle is BOK=90°-A/2. Now we have the triangle OLG with LOG=BOK=90°-A/2 and GLO=FLO=90°. Then the third angle is OGL=A/2.So we have OGF=OGL=A/2=OAF, and therefore AGFO is cyclic.(2) is similar.(3) As AFO=OEA=90°, A,F,O and E lie a common circle, which is the same one as around the quadrangle AGFO. So AGFE is cyclic.(4) is similar with (3)(5) The three angles are inscribed angles in the circle around A,G,F,O,E.(6) is similar with (5).(7) AGO=AFO=90°, as, according to (1), the four points lie on a common circle. (The other relation is similar.)(8) ECDO is a kite (two tangent rays, two radii), whence the diagonals CO and ED are orthogonal. But according to (7) the line through CO is also orthogonal to AG. So ED and AG are parallel. (The other relation is similar).(9)CAB=EAF=EGF=EGH. (Again, the other relation is similar.)(10) Follows directly from (9), as there are already two pairs of equal angles in ACB and GEH.(11) Follows directly from (9), again with the two pairs of equal angles.(12) Follows from (7) and and the converse of Thales' Theorem.(13) All angles are inscribed angles in the circle through A,G,F,O and E on the chord EO.(14) is similar with (13).(15) We have shown OGH(=OGL)=A/2 during the proof of (1) and EGH=A in (9). Thus GO is the angle bisector of EGH. Similarly, HO is the angle bisector of GHE. So their point of intersection, which is O, is the incenter of EGH.
http://img805.imageshack.us/img805/5227/problem39.pngsee attached sketch and shorter solution for question 1 and 2 below∠ (HOC)= ∠A/2+∠C/2 = 90-∠B/2Triangle FBD is isosceles => ∠ (BDF)= ∠(HDC)= 90-∠B/2So ∠ (HOC)= ∠ (HDC) => OCHC CyclicSimilarly AGFO is cyclic