Difference between revisions of "2024 USAJMO Problems/Problem 1"
(→Solution 4 (Coord Bash)) |
(→Solution 4 (Coord Bash)) |
||
Line 153: | Line 153: | ||
Analogously, we can show that the perpendicular bisector of line <math>QR</math> also passes through the origin. | Analogously, we can show that the perpendicular bisector of line <math>QR</math> also passes through the origin. | ||
− | Since the perpendicular bisectors of the sides of quadrilateral <math>PQRS</math> all intersect at the same point, namely (0,0), which is also the circumcenter of quadrilateral <math>ABCD</math>, we can conclude that <math>PQRS</math> is a cyclic quadrilateral. | + | Since the perpendicular bisectors of the sides of quadrilateral <math>PQRS</math> all intersect at the same point, namely <math>(0,0)</math>, which is also the circumcenter of quadrilateral <math>ABCD</math>, we can conclude that <math>PQRS</math> is a cyclic quadrilateral. |
− | ~KevinChen_Yay | + | ~[https://artofproblemsolving.com/wiki/index.php/User:Kevinchen_yay KevinChen_Yay] |
==See Also== | ==See Also== | ||
{{USAJMO newbox|year=2024|before=First Question|num-a=2}} | {{USAJMO newbox|year=2024|before=First Question|num-a=2}} | ||
{{MAA Notice}} | {{MAA Notice}} |
Revision as of 18:28, 29 April 2024
Problem
Let be a cyclic quadrilateral with
and
. Points
and
are selected on segment
such that
. Points
and
are selected on segment
such that
. Prove that
is a cyclic quadrilateral.
Solution 1
First, let and
be the midpoints of
and
, respectively. It is clear that
,
,
, and
. Also, let
be the circumcenter of
.
By properties of cyclic quadrilaterals, we know that the circumcenter of a cyclic quadrilateral is the intersection of its sides' perpendicular bisectors. This implies that and
. Since
and
are also bisectors of
and
, respectively, if
is indeed a cyclic quadrilateral, then its circumcenter is also at
. Thus, it suffices to show that
.
Notice that ,
, and
. By SAS congruency,
. Similarly, we find that
and
. We now need only to show that these two pairs are equal to each other.
Draw the segments connecting to
,
,
, and
.
Also, let be the circumradius of
. This means that
. Recall that
and
. Notice the several right triangles in our figure.
Let us apply Pythagorean Theorem on . We can see that
Let us again apply Pythagorean Theorem on . We can see that
Let us apply Pythagorean Theorem on . We get
.
We finally apply Pythagorean Theorem on . This becomes
.
This is the same expression as we got for . Thus,
, and recalling that
and
, we have shown that
. We are done. QED
~Technodoggo
Solution 2
We can consider two cases: or
The first case is trivial, as
and we are done due to symmetry. For the second case, WLOG, assume that
and
are located on
and
respectively. Extend
and
to a point
and by Power of a Point, we have
which may be written as
or
We can translate this to
so
and therefore by the Converse of Power of a Point
is cyclic, and we are done.
Solution 3
All 4 corners of have equal power of a point (
) with respect to the circle
, with center
.
Draw diameters (of length ) of circle
through
and
, with length
. Let
be the distance from
to the circle along a diameter, and likewise
be distance from
to the circle.
Then and
(radius). Therefore,
and
. But
,
,
and
by symmetry around the perpendicular bisectors of
and
, so
are all equidistant from
, forming a circumcircle around
.
-BraveCobra22aops and oinava
Solution 4 (Coord Bash)
Let ,
,
,
, and the circumcircle center be
.
Let's list what we know from the givens:
Since the radii of a circle are equal in length, we can let
From the distance formula on and
, we can simplify and get
and
using the above substitution with
.
Since ,
,
, and
are weighted points on
and
, we can get
along with
Now, we want to show that the perpendicular bisectors of the sides of quadrilateral are concurrent to prove that it is cyclic. Moreover, we suspect that the circumcenter of quadrilateral
is the circumcenter of quadrilateral
, both of them being
.
We only list the linear equations of the perpendicular bisectors of lines and
, as the perpendicular bisectors of lines
and
are the same as the perpendicular bisectors of lines
and
, respectively.
First, we analyze the perpendicular bisector of line . Notice that it has slope
and point
The point-slope form equation would thus be
Since we claim that
is on the line, we substitute to get
and this simplifies to
Using substitutions from the first three equations, this becomes
which is true, implying that
does indeed satisfy the equation.
Analogously, we can show that the perpendicular bisector of line also passes through the origin.
Since the perpendicular bisectors of the sides of quadrilateral all intersect at the same point, namely
, which is also the circumcenter of quadrilateral
, we can conclude that
is a cyclic quadrilateral.
See Also
2024 USAJMO (Problems • Resources) | ||
Preceded by First Question |
Followed by Problem 2 | |
1 • 2 • 3 • 4 • 5 • 6 | ||
All USAJMO Problems and Solutions |
The problems on this page are copyrighted by the Mathematical Association of America's American Mathematics Competitions.