Library / /3 of 17

, 2011

Geometry Difficulty 5.1 AIME, harder Prove it Canada

Let $ABCD$ be a cyclic quadrilateral whose opposite sides are not parallel, $X$ the intersection of $AB$ and $CD$ , and $Y$ the intersection of $AD$ and $BC$ . Let the angle bisector of $\angle AXD$ intersect $AD$ , $BC$ at $E$ , $F$ respectively and let the angle bisector of $\angle AYB$ intersect $AB$ , $CD$ at $G$ , $H$ respectively. Prove that $EGFH$ is a parallelogram.

Solution

Since $ABCD$ is cyclic, $\triangle XAC \sim \triangle XDB$ and $\triangle YAC \sim \triangle YBD$ . Therefore,
$\frac{XA}{XD} = \frac{XC}{XB} = \frac{AC}{DB} = \frac{YA}{YB} = \frac{YC}{YD}.$
Let $s$ be this ratio. Therefore, by the angle bisector theorem,
$\frac{AE}{ED} = \frac{XA}{XD} = \frac{XC}{XB} = \frac{CF}{FB} = s,$
and
$\frac{AG}{GB} = \frac{YA}{YB} = \frac{YC}{YD} = \frac{CH}{HD} = s.$
Hence, $\frac{AG}{GB} = \frac{CF}{FB}$ and $\frac{AE}{ED} = \frac{DH}{HC}$ . Therefore, $EH \parallel AC \parallel GF$ and $EG \parallel DB \parallel HF$ . Hence, $EGFH$ is a parallelogram. $\square$

Want a route through all this instead of an archive? The track puts 2,000 problems in a working order, from AMC 10 level to the IMO shortlist.

Source: MathNet, licensed CC-BY-4.0. Statement and solution reproduced as published; topic and difficulty added by this site.