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

Difference between revisions of "2019 USAJMO Problems/Problem 3"

m (→‎Solution)
(→‎Solution)
Line 3: Line 3:
  
 
==Solution==
 
==Solution==
−
[THERE IS NO AVAILIBLE SOLUTION]
+
Let <math>PE \cap DC = M</math>. Also, let <math>N</math> be the midpoint of <math>AB</math>.
 +
 
 +
Note that only one point <math>P</math> satisfies the given angle condition. With this in mind, construct <math>P'</math> with the following properties:
 +
[list]  
 +
[*] <math>AP' \cdot AB = AD^2</math>
 +
[*] <math>BP' \cdot AB = CD^2</math>
 +
[/list]
 +
 
 +
[b]Claim:[/b]<math>P = P'</math>
 +
 
 +
[i]Proof:[/i]
 +
 
 +
The conditions imply the similarities <math>ADP \sim ABD</math> and <math>BCP \sim BAC</math> whence <math>\measuredangle APD = \measuredangle BDA = \measuredangle BCA = \measuredangle CPB</math> as desired. <math>\square</math>
 +
 
 +
[b]Claim:[/b] <math>PE</math> is a symmedian in <math>AEB</math>
 +
 
 +
[i]Proof:[/i]
 +
 
 +
We have
 +
\begin{align*}
 +
AP \cdot AB = AD^2 \iff AB^2 \cdot AP &= AD^2 \cdot AB \
 +
\iff \left( \frac{AB}{AD} \right)^2 &= \frac{AB}{AP} \
 +
\iff \left( \frac{AB}{AD} \right)^2 - 1 &= \frac{AB}{AP} - 1 \
 +
\iff \frac{AB^2 - AD^2}{AD^2} &= \frac{BP}{AP} \
 +
\iff \left(\frac{BC}{AD} \right)^2 &= \left(\frac{BE}{AE} \right)^2 = \frac{BP}{AP}
 +
\end{align*}
 +
as desired. <math>\square</math>
 +
 
 +
Since <math>P</math> is the isogonal conjugate of <math>N</math>, <math>\measuredangle PEA = \measuredangle MEC = \measuredangle BEN</math>. However <math>\measuredangle MEC = \measuredangle BEN</math> implies that <math>M</math> is the midpoint of <math>CD</math> from similar triangles, so we are done. <math>\square</math>
  
 
{{MAA Notice}}
 
{{MAA Notice}}

Revision as of 12:32, 25 June 2019

Problem

$(*)$ Let $ABCD$ be a cyclic quadrilateral satisfying $AD^2+BC^2=AB^2$. The diagonals of $ABCD$ intersect at $E$. Let $P$ be a point on side $\overline{AB}$ satisfying $\angle APD=\angle BPC$. Show that line $PE$ bisects $\overline{CD}$.

Solution

Let $PE \cap DC = M$. Also, let $N$ be the midpoint of $AB$.

Note that only one point $P$ satisfies the given angle condition. With this in mind, construct $P'$ with the following properties: [list] [*] $AP' \cdot AB = AD^2$ [*] $BP' \cdot AB = CD^2$ [/list]

[b]Claim:[/b]$P = P'$

[i]Proof:[/i]

The conditions imply the similarities $ADP \sim ABD$ and $BCP \sim BAC$ whence $\measuredangle APD = \measuredangle BDA = \measuredangle BCA = \measuredangle CPB$ as desired. $\square$

[b]Claim:[/b] $PE$ is a symmedian in $AEB$

[i]Proof:[/i]

We have AP⋅AB=AD2⟺AB2⋅AP=AD2⋅AB⟺(ABAD)2=ABAP⟺(ABAD)2−1=ABAP−1⟺AB2−AD2AD2=BPAP⟺(BCAD)2=(BEAE)2=BPAP as desired. $\square$

Since $P$ is the isogonal conjugate of $N$, $\measuredangle PEA = \measuredangle MEC = \measuredangle BEN$. However $\measuredangle MEC = \measuredangle BEN$ implies that $M$ is the midpoint of $CD$ from similar triangles, so we are done. $\square$

These problems are copyrighted © by the Mathematical Association of America, as part of the American Mathematics Competitions. AMC logo.png

See also

2019 USAJMO (Problems • Resources)
Preceded by
Problem 2 		Followed by
Problem 4
1 • 2 • 3 • 4 • 5 • 6
All USAJMO Problems and Solutions
Retrieved from "https://artofproblemsolving.com/wiki/index.php?title=2019_USAJMO_Problems/Problem_3&oldid=106973"