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 "2025 USAMO Problems/Problem 4"
Line 5: Line 5:
 
Let <math>H</math> be the orthocenter of acute triangle <math>ABC</math>, let <math>F</math> be the foot of the altitude from <math>C</math> to <math>AB</math>, and let <math>P</math> be the reflection of <math>H</math> across <math>BC</math>. Suppose that the circumcircle of triangle <math>AFP</math> intersects line <math>BC</math> at two distinct points <math>X</math> and <math>Y</math>. Prove that <math>C</math> is the midpoint of <math>XY</math>.
 
Let <math>H</math> be the orthocenter of acute triangle <math>ABC</math>, let <math>F</math> be the foot of the altitude from <math>C</math> to <math>AB</math>, and let <math>P</math> be the reflection of <math>H</math> across <math>BC</math>. Suppose that the circumcircle of triangle <math>AFP</math> intersects line <math>BC</math> at two distinct points <math>X</math> and <math>Y</math>. Prove that <math>C</math> is the midpoint of <math>XY</math>.
  
−
== Solution ==
+
== Solution 1 ==
 
Let AP intersects BC at D. Extend FC to the point E on the circumcircle <math>\omega</math> of <math>AFP</math>. Since <math>H</math> is the orthocenter of <math>\Delta ABC</math>, we know that <math>HD = DP</math> or <math>HP = 2HD</math>, and <math>AH \cdot HD = CH \cdot HF</math>. Next we use the power of H in <math>\omega</math>: <math>AH \cdot HP = CH \cdot HE</math>. These relations imply that <math>HE = 2HF</math>.
 
Let AP intersects BC at D. Extend FC to the point E on the circumcircle <math>\omega</math> of <math>AFP</math>. Since <math>H</math> is the orthocenter of <math>\Delta ABC</math>, we know that <math>HD = DP</math> or <math>HP = 2HD</math>, and <math>AH \cdot HD = CH \cdot HF</math>. Next we use the power of H in <math>\omega</math>: <math>AH \cdot HP = CH \cdot HE</math>. These relations imply that <math>HE = 2HF</math>.
  
 
Hence <math>C, D</math> are midpoints of <math>HE, HP</math> respectively. By midline theorem, <math>CD // EP</math>. Since <math>AD \perp CD</math>, we have <math>AD \perp EP</math>. This implies that <math>\angle APE = 90^{\circ}</math>. Consequently, <math>AE</math> is the diameter of <math>\omega</math>. Let <math>G</math> be the midpoint of <math>AE</math> which is also the center of <math>\omega</math>. <math>G,C</math> are midpoints of <math>AE, EH</math> respectively. By the midline theorem again, we have <math>GC//AH</math>, consequently, <math>GC \perp BC</math>. This implies that <math>GC</math> is the perpendicular bisector of the chord <math>XY</math> hence <math>C</math> is the midpoint of <math>XY</math>.    ~ Dr. Shi davincimath.com
 
Hence <math>C, D</math> are midpoints of <math>HE, HP</math> respectively. By midline theorem, <math>CD // EP</math>. Since <math>AD \perp CD</math>, we have <math>AD \perp EP</math>. This implies that <math>\angle APE = 90^{\circ}</math>. Consequently, <math>AE</math> is the diameter of <math>\omega</math>. Let <math>G</math> be the midpoint of <math>AE</math> which is also the center of <math>\omega</math>. <math>G,C</math> are midpoints of <math>AE, EH</math> respectively. By the midline theorem again, we have <math>GC//AH</math>, consequently, <math>GC \perp BC</math>. This implies that <math>GC</math> is the perpendicular bisector of the chord <math>XY</math> hence <math>C</math> is the midpoint of <math>XY</math>.    ~ Dr. Shi davincimath.com
 +
 +
== Solution 2 ==
 +
Denote <math>O_1</math> as the center of <math>(ABC)</math>, <math>O_2</math> as the center of <math>AFP</math>, <math>K</math> as the midpoint of <math>AF</math>, <math>M</math> as the midpoint of <math>AC</math>, and <math>N</math> as the midpoint of <math>AP</math>. It suffices to show that <math>\angle{O_2CB}=90</math>.
 +
 +
Claim: <math>O_1MO_2C</math> is cyclic.
 +
 +
Proof: Since <math>AK=FK</math> and <math>AM=MC</math>, KM is a midline of <math>\triangle{AFC}</math> and <math>KM\parallel FC</math>. <math>KO_2\parallel FC</math> as well since <math>\angle{AKO_2}=\angle{AFC}=90</math>, so <math>M</math> lies on <math>KO_2</math>.
 +
Next, note that <math>P</math> lies on <math>(ABC)</math>, so the perpendicular bisector of <math>AP</math> through <math>N</math> passes through <math>O_1</math>. In other words, <math>N, O_1</math>, and <math>O_2</math> are collinear. Since <math>NO_2</math> and <math>BC</math> are both perpendicular to <math>AP</math>, it follows that they are parallel.
 +
Since <math>KO_2\parallel FC</math> and <math>NO_2\parallel BC</math>, then <math>\angle KO_2N=\angle{FCB}</math>.
 +
Finally, we have that <cmath>\angle{MO_2O_1}=\angle{KO_2N}=\angle{FCB}=90-B=\angle{MCO_1},</cmath>
 +
and thus <math>O_1MO_2C</math> is cyclic. It follows that <math>\angle O_1O_2C=\angle{O_1MC}=90</math>, so <math>\angle{O_2CB}=180-\angle{O_1MC}=90</math>, as desired.
 +
 +
-mop
  
 
==See Also==
 
==See Also==

Revision as of 12:34, 22 March 2025

The following problem is from both the 2025 USAMO #4 and 2025 USAJMO #5, so both problems redirect to this page.

Problem

Let $H$ be the orthocenter of acute triangle $ABC$, let $F$ be the foot of the altitude from $C$ to $AB$, and let $P$ be the reflection of $H$ across $BC$. Suppose that the circumcircle of triangle $AFP$ intersects line $BC$ at two distinct points $X$ and $Y$. Prove that $C$ is the midpoint of $XY$.

Solution 1

Let AP intersects BC at D. Extend FC to the point E on the circumcircle $\omega$ of $AFP$. Since $H$ is the orthocenter of $\Delta ABC$, we know that $HD = DP$ or $HP = 2HD$, and $AH \cdot HD = CH \cdot HF$. Next we use the power of H in $\omega$: $AH \cdot HP = CH \cdot HE$. These relations imply that $HE = 2HF$.

Hence $C, D$ are midpoints of $HE, HP$ respectively. By midline theorem, $CD // EP$. Since $AD \perp CD$, we have $AD \perp EP$. This implies that $\angle APE = 90^{\circ}$. Consequently, $AE$ is the diameter of $\omega$. Let $G$ be the midpoint of $AE$ which is also the center of $\omega$. $G,C$ are midpoints of $AE, EH$ respectively. By the midline theorem again, we have $GC//AH$, consequently, $GC \perp BC$. This implies that $GC$ is the perpendicular bisector of the chord $XY$ hence $C$ is the midpoint of $XY$. ~ Dr. Shi davincimath.com

Solution 2

Denote $O_1$ as the center of $(ABC)$, $O_2$ as the center of $AFP$, $K$ as the midpoint of $AF$, $M$ as the midpoint of $AC$, and $N$ as the midpoint of $AP$. It suffices to show that $\angle{O_2CB}=90$.

Claim: $O_1MO_2C$ is cyclic.

Proof: Since $AK=FK$ and $AM=MC$, KM is a midline of $\triangle{AFC}$ and $KM\parallel FC$. $KO_2\parallel FC$ as well since $\angle{AKO_2}=\angle{AFC}=90$, so $M$ lies on $KO_2$. Next, note that $P$ lies on $(ABC)$, so the perpendicular bisector of $AP$ through $N$ passes through $O_1$. In other words, $N, O_1$, and $O_2$ are collinear. Since $NO_2$ and $BC$ are both perpendicular to $AP$, it follows that they are parallel. Since $KO_2\parallel FC$ and $NO_2\parallel BC$, then $\angle KO_2N=\angle{FCB}$. Finally, we have that \[\angle{MO_2O_1}=\angle{KO_2N}=\angle{FCB}=90-B=\angle{MCO_1},\] and thus $O_1MO_2C$ is cyclic. It follows that $\angle O_1O_2C=\angle{O_1MC}=90$, so $\angle{O_2CB}=180-\angle{O_1MC}=90$, as desired.

-mop

See Also

2025 USAMO (Problems • Resources)
Preceded by
Problem 3 		Followed by
Problem 5
1 • 2 • 3 • 4 • 5 • 6
All USAMO Problems and Solutions
2025 USAJMO (Problems • Resources)
Preceded by
Problem 4 		Followed by
Problem 6
1 • 2 • 3 • 4 • 5 • 6
All USAJMO Problems and Solutions

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

Retrieved from "https://artofproblemsolving.com/wiki/index.php?title=2025_USAMO_Problems/Problem_4&oldid=245837"