Art of Problem Solving
AoPS Online
Math texts, online classes, and more
for students in grades 5-12.
Visit AoPS Online ‚
Books for Grades 5-12 Online Courses
Beast Academy
Engaging math books and online learning
for students ages 6-13.
Visit Beast Academy ‚
Books for Ages 6-13 Beast Academy Online
AoPS Academy
Small live classes for advanced math
and language arts learners in grades 2-12.
Visit AoPS Academy ‚
Find a Physical Campus Visit the Virtual Campus

2020 USOJMO Problems/Problem 4

Problem

Let $ABCD$ be a convex quadrilateral inscribed in a circle and satisfying $DA < AB = BC < CD$. Points $E$ and $F$ are chosen on sides $CD$ and $AB$ such that $BE \perp AC$ and $EF \parallel BC$. Prove that $FB = FD$.

Solution

Let $G$ be the intersection of $AE$ and $(ABCD)$ and $H$ be the intersection of $DF$ and $(ABCD)$.

Claim: $GH || FE || BC$

By Pascal's on $GDCBAH$, we see that the intersection of $GH$ and $BC$, $E$, and $F$ are collinear. Since $FE || BC$, we know that $HG || BC$ as well. $\blacksquare$

Note that since all cyclic trapezoids are isosceles, $HB = GC$. Since $AB = BC$ and $EB \perp AC$, we know that $EA = EC$, from which we have that $DGCA$ is an isosceles trapezoid and $DA = GC$. It follows that $DA = GC = HB$, so $BHAD$ is an isosceles trapezoid, from which $FB = FD$, as desired. $\blacksquare$

Solution 2

Let $G=\overline{FE}\cap\overline{BC}$, and let $G=\overline{AC}\cap\overline{BE}$. Now let $x=\angle ACE$ and $y=\angle BCA$.

From $BA=BC$ and $\overline{BE}\perp \overline{AC}$, we have $AE=EC$ so $\angle EAC =\angle ECA = x$. From cyclic quadrilateral ABCD, $\angle ABD = \angle ACD = x$. Since $BA=BC$, $\angle BCA = \angle BAC = y$.

Now from cyclic quadrilateral ABC and $\overline{FE}\parallel \overline{BC}$ we have $\angle FAC = \angle BAC = \pi - \angle BCD = \pi - \angle FED$. Thus F, A, D, and E are concyclic, and $\angle DFG = \angle DAE = \angle DAC - \angle EAC = \angle DBC - x$ Let this be statement 1.

Now since $\overline{AH}\perp \overline {BH}$, triangle ABC gives us $\angle BAH + \angle ABG = \frac{\pi}{2}$. Thus $y+x+\angle GBE=\frac{\pi}{2}$, or $\angle GBE = \frac{\pi}{2}-x-y$.

Right triangle BHC gives $\angle HBC = \frac{\pi}{2}-y$, and $\overline{BC}\parallel \overline{FE}$ implies $\angle BEG=\angle HBC = \frac{\pi}{2}-y.$

Now triangle BGE gives $\angle BGE = \pi - \angle BEG - \angle GBE = \pi - (\frac{\pi}{2}-y)-(\frac{\pi}{2}-x-y)=x+2y$. But $\angle FGB = \angle BGE$, so $\angle FGB=x+2y$. Using triangle FGD and statement 1 gives \begin{align*}\angle FDG &= \pi - \angle DFG - \angle FGB \\ &= \pi - (\angle DBC - x) - (x + 2y) \\ &= \pi - (\angle GBE + \angle EBC - x) - (x + 2y) \\ &= \pi - ([\frac{\pi}{2}-x-y]+[\frac{\pi}{2}-y]-x)-(x+2y) \\ &= x \\ &= \angle FBD\end{align*}

Thus, $\angle FDB = \angle FBD$, so $\boxed{FB=FD}$ as desired.$\blacksquare$

~MortemEtInteritum

Retrieved from "https://artofproblemsolving.com/wiki/index.php?title=2020_USOJMO_Problems/Problem_4&oldid=127678"