# Difference between revisions of "2020 USOJMO Problems/Problem 4"

Xxins1c1vexx (talk | contribs) (Solution 3) |
(→Solution 3 (Angle-Chasing)) |
||

Line 38: | Line 38: | ||

-xXINs1c1veXx | -xXINs1c1veXx | ||

+ | ==Solution 4 == | ||

+ | BE is perpendicular bisector of AC, so <math>\angle ACE = \angle EAC</math>. FE is parallel to BC and ABCD is cyclic, so AFED is also cyclic. <math>\angle AFD = \angle AED = 2 \angle ACE = 2 \angle FBD</math>. Hence, <math>\angle FBD = \angle BDF</math>, <math> FD = FB</math>. | ||

+ | |||

+ | Mathdummy |

## Latest revision as of 01:13, 29 October 2020

## Problem

Let be a convex quadrilateral inscribed in a circle and satisfying . Points and are chosen on sides and such that and . Prove that .

## Solution

Let be the intersection of and and be the intersection of and .

**Claim: **

By Pascal's on , we see that the intersection of and , , and are collinear. Since , we know that as well.

Note that since all cyclic trapezoids are isosceles, . Since and , we know that , from which we have that is an isosceles trapezoid and . It follows that , so is an isosceles trapezoid, from which , as desired.

## Solution 2

Let , and let . Now let and .

From and , we have so . From cyclic quadrilateral ABCD, . Since , .

Now from cyclic quadrilateral ABC and we have . Thus F, A, D, and E are concyclic, and Let this be statement 1.

Now since , triangle ABC gives us . Thus , or .

Right triangle BHC gives , and implies

Now triangle BGE gives . But , so . Using triangle FGD and statement 1 gives

Thus, , so as desired.

~MortemEtInteritum

## Solution 3 (Angle-Chasing)

Proving that is equivalent to proving that . Note that because quadrilateral is cyclic. Also note that because . , which follows from the facts that and , implies that . Thus, we would like to prove that triangle is similar to triangle . In order for this to be true, then must equal which implies that must equal . In order for this to be true, then quadrilateral must be cyclic. Using the fact that , we get that , and that , and thus we have proved that quadrilateral is cyclic. Therefore, triangle is similar to isosceles triangle from AA and thus .

-xXINs1c1veXx

## Solution 4

BE is perpendicular bisector of AC, so . FE is parallel to BC and ABCD is cyclic, so AFED is also cyclic. . Hence, , .

Mathdummy