Stay ahead of learning milestones! Enroll in a class over the summer!

G
Topic
First Poster
Last Poster
k a May Highlights and 2025 AoPS Online Class Information
jlacosta   0
May 1, 2025
May is an exciting month! National MATHCOUNTS is the second week of May in Washington D.C. and our Founder, Richard Rusczyk will be presenting a seminar, Preparing Strong Math Students for College and Careers, on May 11th.

Are you interested in working towards MATHCOUNTS and don’t know where to start? We have you covered! If you have taken Prealgebra, then you are ready for MATHCOUNTS/AMC 8 Basics. Already aiming for State or National MATHCOUNTS and harder AMC 8 problems? Then our MATHCOUNTS/AMC 8 Advanced course is for you.

Summer camps are starting next month at the Virtual Campus in math and language arts that are 2 - to 4 - weeks in duration. Spaces are still available - don’t miss your chance to have an enriching summer experience. There are middle and high school competition math camps as well as Math Beasts camps that review key topics coupled with fun explorations covering areas such as graph theory (Math Beasts Camp 6), cryptography (Math Beasts Camp 7-8), and topology (Math Beasts Camp 8-9)!

Be sure to mark your calendars for the following upcoming events:
[list][*]May 9th, 4:30pm PT/7:30pm ET, Casework 2: Overwhelming Evidence — A Text Adventure, a game where participants will work together to navigate the map, solve puzzles, and win! All are welcome.
[*]May 19th, 4:30pm PT/7:30pm ET, What's Next After Beast Academy?, designed for students finishing Beast Academy and ready for Prealgebra 1.
[*]May 20th, 4:00pm PT/7:00pm ET, Mathcamp 2025 Qualifying Quiz Part 1 Math Jam, Problems 1 to 4, join the Canada/USA Mathcamp staff for this exciting Math Jam, where they discuss solutions to Problems 1 to 4 of the 2025 Mathcamp Qualifying Quiz!
[*]May 21st, 4:00pm PT/7:00pm ET, Mathcamp 2025 Qualifying Quiz Part 2 Math Jam, Problems 5 and 6, Canada/USA Mathcamp staff will discuss solutions to Problems 5 and 6 of the 2025 Mathcamp Qualifying Quiz![/list]
Our full course list for upcoming classes is below:
All classes run 7:30pm-8:45pm ET/4:30pm - 5:45pm PT unless otherwise noted.

Introductory: Grades 5-10

Prealgebra 1 Self-Paced

Prealgebra 1
Tuesday, May 13 - Aug 26
Thursday, May 29 - Sep 11
Sunday, Jun 15 - Oct 12
Monday, Jun 30 - Oct 20
Wednesday, Jul 16 - Oct 29

Prealgebra 2 Self-Paced

Prealgebra 2
Wednesday, May 7 - Aug 20
Monday, Jun 2 - Sep 22
Sunday, Jun 29 - Oct 26
Friday, Jul 25 - Nov 21

Introduction to Algebra A Self-Paced

Introduction to Algebra A
Sunday, May 11 - Sep 14 (1:00 - 2:30 pm ET/10:00 - 11:30 am PT)
Wednesday, May 14 - Aug 27
Friday, May 30 - Sep 26
Monday, Jun 2 - Sep 22
Sunday, Jun 15 - Oct 12
Thursday, Jun 26 - Oct 9
Tuesday, Jul 15 - Oct 28

Introduction to Counting & Probability Self-Paced

Introduction to Counting & Probability
Thursday, May 15 - Jul 31
Sunday, Jun 1 - Aug 24
Thursday, Jun 12 - Aug 28
Wednesday, Jul 9 - Sep 24
Sunday, Jul 27 - Oct 19

Introduction to Number Theory
Friday, May 9 - Aug 1
Wednesday, May 21 - Aug 6
Monday, Jun 9 - Aug 25
Sunday, Jun 15 - Sep 14
Tuesday, Jul 15 - Sep 30

Introduction to Algebra B Self-Paced

Introduction to Algebra B
Tuesday, May 6 - Aug 19
Wednesday, Jun 4 - Sep 17
Sunday, Jun 22 - Oct 19
Friday, Jul 18 - Nov 14

Introduction to Geometry
Sunday, May 11 - Nov 9
Tuesday, May 20 - Oct 28
Monday, Jun 16 - Dec 8
Friday, Jun 20 - Jan 9
Sunday, Jun 29 - Jan 11
Monday, Jul 14 - Jan 19

Paradoxes and Infinity
Mon, Tue, Wed, & Thurs, Jul 14 - Jul 16 (meets every day of the week!)

Intermediate: Grades 8-12

Intermediate Algebra
Sunday, Jun 1 - Nov 23
Tuesday, Jun 10 - Nov 18
Wednesday, Jun 25 - Dec 10
Sunday, Jul 13 - Jan 18
Thursday, Jul 24 - Jan 22

Intermediate Counting & Probability
Wednesday, May 21 - Sep 17
Sunday, Jun 22 - Nov 2

Intermediate Number Theory
Sunday, Jun 1 - Aug 24
Wednesday, Jun 18 - Sep 3

Precalculus
Friday, May 16 - Oct 24
Sunday, Jun 1 - Nov 9
Monday, Jun 30 - Dec 8

Advanced: Grades 9-12

Olympiad Geometry
Tuesday, Jun 10 - Aug 26

Calculus
Tuesday, May 27 - Nov 11
Wednesday, Jun 25 - Dec 17

Group Theory
Thursday, Jun 12 - Sep 11

Contest Preparation: Grades 6-12

MATHCOUNTS/AMC 8 Basics
Friday, May 23 - Aug 15
Monday, Jun 2 - Aug 18
Thursday, Jun 12 - Aug 28
Sunday, Jun 22 - Sep 21
Tues & Thurs, Jul 8 - Aug 14 (meets twice a week!)

MATHCOUNTS/AMC 8 Advanced
Sunday, May 11 - Aug 10
Tuesday, May 27 - Aug 12
Wednesday, Jun 11 - Aug 27
Sunday, Jun 22 - Sep 21
Tues & Thurs, Jul 8 - Aug 14 (meets twice a week!)

AMC 10 Problem Series
Friday, May 9 - Aug 1
Sunday, Jun 1 - Aug 24
Thursday, Jun 12 - Aug 28
Tuesday, Jun 17 - Sep 2
Sunday, Jun 22 - Sep 21 (1:00 - 2:30 pm ET/10:00 - 11:30 am PT)
Monday, Jun 23 - Sep 15
Tues & Thurs, Jul 8 - Aug 14 (meets twice a week!)

AMC 10 Final Fives
Sunday, May 11 - Jun 8
Tuesday, May 27 - Jun 17
Monday, Jun 30 - Jul 21

AMC 12 Problem Series
Tuesday, May 27 - Aug 12
Thursday, Jun 12 - Aug 28
Sunday, Jun 22 - Sep 21
Wednesday, Aug 6 - Oct 22

AMC 12 Final Fives
Sunday, May 18 - Jun 15

AIME Problem Series A
Thursday, May 22 - Jul 31

AIME Problem Series B
Sunday, Jun 22 - Sep 21

F=ma Problem Series
Wednesday, Jun 11 - Aug 27

WOOT Programs
Visit the pages linked for full schedule details for each of these programs!


MathWOOT Level 1
MathWOOT Level 2
ChemWOOT
CodeWOOT
PhysicsWOOT

Programming

Introduction to Programming with Python
Thursday, May 22 - Aug 7
Sunday, Jun 15 - Sep 14 (1:00 - 2:30 pm ET/10:00 - 11:30 am PT)
Tuesday, Jun 17 - Sep 2
Monday, Jun 30 - Sep 22

Intermediate Programming with Python
Sunday, Jun 1 - Aug 24
Monday, Jun 30 - Sep 22

USACO Bronze Problem Series
Tuesday, May 13 - Jul 29
Sunday, Jun 22 - Sep 1

Physics

Introduction to Physics
Wednesday, May 21 - Aug 6
Sunday, Jun 15 - Sep 14
Monday, Jun 23 - Sep 15

Physics 1: Mechanics
Thursday, May 22 - Oct 30
Monday, Jun 23 - Dec 15

Relativity
Mon, Tue, Wed & Thurs, Jun 23 - Jun 26 (meets every day of the week!)
0 replies
jlacosta
May 1, 2025
0 replies
k i Adding contests to the Contest Collections
dcouchman   1
N Apr 5, 2023 by v_Enhance
Want to help AoPS remain a valuable Olympiad resource? Help us add contests to AoPS's Contest Collections.

Find instructions and a list of contests to add here: https://artofproblemsolving.com/community/c40244h1064480_contests_to_add
1 reply
dcouchman
Sep 9, 2019
v_Enhance
Apr 5, 2023
k i Zero tolerance
ZetaX   49
N May 4, 2019 by NoDealsHere
Source: Use your common sense! (enough is enough)
Some users don't want to learn, some other simply ignore advises.
But please follow the following guideline:


To make it short: ALWAYS USE YOUR COMMON SENSE IF POSTING!
If you don't have common sense, don't post.


More specifically:

For new threads:


a) Good, meaningful title:
The title has to say what the problem is about in best way possible.
If that title occured already, it's definitely bad. And contest names aren't good either.
That's in fact a requirement for being able to search old problems.

Examples:
Bad titles:
- "Hard"/"Medium"/"Easy" (if you find it so cool how hard/easy it is, tell it in the post and use a title that tells us the problem)
- "Number Theory" (hey guy, guess why this forum's named that way¿ and is it the only such problem on earth¿)
- "Fibonacci" (there are millions of Fibonacci problems out there, all posted and named the same...)
- "Chinese TST 2003" (does this say anything about the problem¿)
Good titles:
- "On divisors of a³+2b³+4c³-6abc"
- "Number of solutions to x²+y²=6z²"
- "Fibonacci numbers are never squares"


b) Use search function:
Before posting a "new" problem spend at least two, better five, minutes to look if this problem was posted before. If it was, don't repost it. If you have anything important to say on topic, post it in one of the older threads.
If the thread is locked cause of this, use search function.

Update (by Amir Hossein). The best way to search for two keywords in AoPS is to input
[code]+"first keyword" +"second keyword"[/code]
so that any post containing both strings "first word" and "second form".


c) Good problem statement:
Some recent really bad post was:
[quote]$lim_{n\to 1}^{+\infty}\frac{1}{n}-lnn$[/quote]
It contains no question and no answer.
If you do this, too, you are on the best way to get your thread deleted. Write everything clearly, define where your variables come from (and define the "natural" numbers if used). Additionally read your post at least twice before submitting. After you sent it, read it again and use the Edit-Button if necessary to correct errors.


For answers to already existing threads:


d) Of any interest and with content:
Don't post things that are more trivial than completely obvious. For example, if the question is to solve $x^{3}+y^{3}=z^{3}$, do not answer with "$x=y=z=0$ is a solution" only. Either you post any kind of proof or at least something unexpected (like "$x=1337, y=481, z=42$ is the smallest solution). Someone that does not see that $x=y=z=0$ is a solution of the above without your post is completely wrong here, this is an IMO-level forum.
Similar, posting "I have solved this problem" but not posting anything else is not welcome; it even looks that you just want to show off what a genius you are.

e) Well written and checked answers:
Like c) for new threads, check your solutions at least twice for mistakes. And after sending, read it again and use the Edit-Button if necessary to correct errors.



To repeat it: ALWAYS USE YOUR COMMON SENSE IF POSTING!


Everything definitely out of range of common sense will be locked or deleted (exept for new users having less than about 42 posts, they are newbies and need/get some time to learn).

The above rules will be applied from next monday (5. march of 2007).
Feel free to discuss on this here.
49 replies
ZetaX
Feb 27, 2007
NoDealsHere
May 4, 2019
Division involving difference of squares
BR1F1SZ   1
N 12 minutes ago by grupyorum
Source: Austria National MO Part 1 Problem 4
Determine all integers $n$ that can be written in the form
\[
n = \frac{a^2 - b^2}{b},
\]where $a$ and $b$ are positive integers.

(Walther Janous)
1 reply
BR1F1SZ
24 minutes ago
grupyorum
12 minutes ago
Erasing the difference of two numbers
BR1F1SZ   0
27 minutes ago
Source: Austria National MO Part 1 Problem 3
Consider the following game for a positive integer $n$. Initially, the numbers $1, 2, \ldots, n$ are written on a board. In each move, two numbers are selected such that their difference is also present on the board. This difference is then erased from the board. (For example, if the numbers $3,6,11$ and $17$ are on the board, then $3$ can be erased as $6 - 3=3$, or $6$ as $17 - 11=6$, or $11$ as $17 - 6=11$.)

For which values of $n$ is it possible to end with only one number remaining on the board?

(Michael Reitmeir)
0 replies
BR1F1SZ
27 minutes ago
0 replies
Centroid, altitudes and medians, and concyclic points
BR1F1SZ   0
30 minutes ago
Source: Austria National MO Part 1 Problem 2
Let $\triangle{ABC}$ be an acute triangle with $BC > AC$. Let $S$ be the centroid of triangle $ABC$ and let $F$ be the foot of the perpendicular from $C$ to side $AB$. The median $CS$ intersects the circumcircle $\gamma$ of triangle $\triangle{ABC}$ at a second point $P$. Let $M$ be the point where $CS$ intersects $AB$. The line $SF$ intersects the circle $\gamma$ at a point $Q$, such that $F$ lies between $S$ and $Q$. Prove that the points $M,P,Q$ and $F$ lie on a circle.

(Karl Czakler)
0 replies
BR1F1SZ
30 minutes ago
0 replies
Mount Inequality erupts in all directions!
BR1F1SZ   0
33 minutes ago
Source: Austria National MO Part 1 Problem 1
Let $a$, $b$ and $c$ be pairwise distinct nonnegative real numbers. Prove that
\[
(a + b + c) \left( \frac{a}{(b - c)^2} + \frac{b}{(c - a)^2} + \frac{c}{(a - b)^2} \right) > 4.
\](Karl Czakler)
0 replies
BR1F1SZ
33 minutes ago
0 replies
4 wise men and 100 hats. 3 must guess their numbers
NO_SQUARES   2
N an hour ago by NO_SQUARES
Source: 239 MO 2025 10-11 p5
There are four wise men in a row, each sees only those following him in the row, i.e. the $1$st sees the other three, the $2$nd sees the $3$rd and $4$th, and the $3$rd sees only the $4$th. The devil has $100$ hats, numbered from $1$ to $100$, he puts one hat on each wise man, and hides the extra $96$ hats. After that, each wise man (in turn: first the first, then the second, etc.) loudly calls a number, trying to guess the number of his hat. The numbers mentioned should not be repeated. When all the wise men have spoken, they take off their hats and check which one of them has guessed. Can the sages to act in such a way that at least three of them knowingly guessed?
2 replies
NO_SQUARES
5 hours ago
NO_SQUARES
an hour ago
\sqrt{2-a}+\sqrt{2-b}+\sqrt{2-c}\geqslant 2+\sqrt{(2-a)(2-b)(2-c)}
NO_SQUARES   2
N an hour ago by ektorasmiliotis
Source: 239 MO 2025 8-9 p4
Positive numbers $a$, $b$ and $c$ are such that $a^2+b^2+c^2+abc=4$. Prove that \[\sqrt{2-a}+\sqrt{2-b}+\sqrt{2-c}\geqslant 2+\sqrt{(2-a)(2-b)(2-c)}.\]
2 replies
1 viewing
NO_SQUARES
5 hours ago
ektorasmiliotis
an hour ago
Inequality with a,b,c
GeoMorocco   5
N an hour ago by lele0305
Source: Morocco Training
Let $   a,b,c   $ be positive real numbers such that : $   ab+bc+ca=3   $ . Prove that : $$\frac{\sqrt{1+a^2}}{1+ab}+\frac{\sqrt{1+b^2}}{1+bc}+\frac{\sqrt{1+c^2}}{1+ca}\ge \sqrt{\frac{3(a+b+c)}{2}}$$
5 replies
GeoMorocco
Apr 11, 2025
lele0305
an hour ago
BMO 2024 SL A4
MuradSafarli   2
N an hour ago by GreekIdiot
A4.
Let \(a \geq b \geq c \geq 0\) be real numbers such that \(ab + bc + ca = 3\).
Prove that:
\[
3 + (2 - \sqrt{3}) \cdot \frac{(b-c)^2}{b+(\sqrt{3}-1)c} \leq a+b+c
\]and determine all the cases when the equality occurs.
2 replies
MuradSafarli
Apr 27, 2025
GreekIdiot
an hour ago
Aime type Geo
ehuseyinyigit   0
an hour ago
Source: Turkish First Round 2024
In a scalene triangle $ABC$, let $M$ be the midpoint of side $BC$. Let the line perpendicular to $AC$ at point $C$ intersect $AM$ at $N$. If $(BMN)$ is tangent to $AB$ at $B$, find $AB/MA$.
0 replies
ehuseyinyigit
an hour ago
0 replies
1996 St. Petersburg City Mathematical Olympiad
Sadece_Threv   2
N an hour ago by reni_wee
Source: 1996 St. Petersburg City Mathematical Olympiad
Find all positive integers $n$ such that $3^{n-1}+5^{n-1}$ divides $3^{n}+5^{n}$
2 replies
Sadece_Threv
Jul 29, 2024
reni_wee
an hour ago
IMO 2010 Problem 5
mavropnevma   55
N 2 hours ago by maromex
Each of the six boxes $B_1$, $B_2$, $B_3$, $B_4$, $B_5$, $B_6$ initially contains one coin. The following operations are allowed

Type 1) Choose a non-empty box $B_j$, $1\leq j \leq 5$, remove one coin from $B_j$ and add two coins to $B_{j+1}$;

Type 2) Choose a non-empty box $B_k$, $1\leq k \leq 4$, remove one coin from $B_k$ and swap the contents (maybe empty) of the boxes $B_{k+1}$ and $B_{k+2}$.

Determine if there exists a finite sequence of operations of the allowed types, such that the five boxes $B_1$, $B_2$, $B_3$, $B_4$, $B_5$ become empty, while box $B_6$ contains exactly $2010^{2010^{2010}}$ coins.

Proposed by Hans Zantema, Netherlands
55 replies
mavropnevma
Jul 8, 2010
maromex
2 hours ago
NT ineq: sum 1/a_i < (m+n)/m , {a_1,a_2,...,a_n} subset of {1,2,...,m}
parmenides51   1
N 2 hours ago by DVDTSB
Source: 2006 MOP Homework Blue NT 6
Let $m$ and $n$ be positive integers with $m > n \ge 2$. Set $S =\{1,2,...,m\}$, and set $T = \{a_1,a_2,...,a_n\}$ is a subset of $S$ such that every element of $S$ is not divisible by any pair of distinct elements of $T$. Prove that
$$\frac{1}{a_1}+\frac{1}{a_2}+ ...+ \frac{1}{a_n} < \frac{m+n}{m}$$
1 reply
parmenides51
Apr 12, 2020
DVDTSB
2 hours ago
Never 8
chess64   21
N 3 hours ago by reni_wee
Source: Canada 1970, Problem 10
Given the polynomial \[ f(x)=x^n+a_{1}x^{n-1}+a_{2}x^{n-2}+\cdots+a_{n-1}x+a_n \] with integer coefficients $a_1,a_2,\ldots,a_n$, and given also that there exist four distinct integers $a$, $b$, $c$ and $d$ such that \[ f(a)=f(b)=f(c)=f(d)=5, \] show that there is no integer $k$ such that $f(k)=8$.
21 replies
chess64
May 14, 2006
reni_wee
3 hours ago
old and easy imo inequality
Valentin Vornicu   215
N 3 hours ago by cubres
Source: IMO 2000, Problem 2, IMO Shortlist 2000, A1
Let $ a, b, c$ be positive real numbers so that $ abc = 1$. Prove that
\[ \left( a - 1 + \frac 1b \right) \left( b - 1 + \frac 1c \right) \left( c - 1 + \frac 1a \right) \leq 1.
\]
215 replies
Valentin Vornicu
Oct 24, 2005
cubres
3 hours ago
A lies on the radical axis of BQX and CPX
a_507_bc   35
N Apr 2, 2025 by jordiejoh
Source: APMO 2024 P1
Let $ABC$ be an acute triangle. Let $D$ be a point on side $AB$ and $E$ be a point on side $AC$ such that lines $BC$ and $DE$ are parallel. Let $X$ be an interior point of $BCED$. Suppose rays $DX$ and $EX$ meet side $BC$ at points $P$ and $Q$, respectively, such that both $P$ and $Q$ lie between $B$ and $C$. Suppose that the circumcircles of triangles $BQX$ and $CPX$ intersect at a point $Y \neq X$. Prove that the points $A, X$, and $Y$ are collinear.
35 replies
a_507_bc
Jul 29, 2024
jordiejoh
Apr 2, 2025
A lies on the radical axis of BQX and CPX
G H J
Source: APMO 2024 P1
The post below has been deleted. Click to close.
This post has been deleted. Click here to see post.
a_507_bc
678 posts
#1 • 4 Y
Y by Rounak_iitr, erringbubble, omgggg, ItsBesi
Let $ABC$ be an acute triangle. Let $D$ be a point on side $AB$ and $E$ be a point on side $AC$ such that lines $BC$ and $DE$ are parallel. Let $X$ be an interior point of $BCED$. Suppose rays $DX$ and $EX$ meet side $BC$ at points $P$ and $Q$, respectively, such that both $P$ and $Q$ lie between $B$ and $C$. Suppose that the circumcircles of triangles $BQX$ and $CPX$ intersect at a point $Y \neq X$. Prove that the points $A, X$, and $Y$ are collinear.
Z K Y
The post below has been deleted. Click to close.
This post has been deleted. Click here to see post.
bin_sherlo
719 posts
#2 • 2 Y
Y by sami1618, ehuseyinyigit
Let $(BQX)$ and $(CPX)$ intersect $AB,AC$ at $K,L$ respectively. Since $\angle KXE=\angle B=\angle KDE$ and $\angle DXL=\angle C=\angle DEL,$ we get $D,E,X,K,L$ are cyclic. Hence $AK.AB=AL.AC$ which gives that $A$ lies on the radical axis of $(BQXK),(CPXL)$ as desired.$\blacksquare$
Z K Y
The post below has been deleted. Click to close.
This post has been deleted. Click here to see post.
sami1618
902 posts
#3 • 1 Y
Y by MS_asdfgzxcvb
Let $AB$ and $AC$ meet $(BQX)$ and $(CPX)$ again at $F$ and $G$.

Claim: $XDEFG$ is cyclic
We show that $F\in (XDE)$, $$\measuredangle DFX=\measuredangle BQX=\measuredangle DEX$$
By Reim's Theorem $BCFG$ is cyclic, so we are done by applying the Radical Axes Theorem on $(BCFG)$, $(BQXF)$, and $(CPXG)$.
Attachments:
This post has been edited 6 times. Last edited by sami1618, Jul 30, 2024, 3:24 AM
Z K Y
The post below has been deleted. Click to close.
This post has been deleted. Click here to see post.
Rijul saini
904 posts
#4 • 2 Y
Y by sami1618, SatisfiedMagma
India 1995.
This post has been edited 2 times. Last edited by Rijul saini, Jul 29, 2024, 8:41 PM
Z K Y
The post below has been deleted. Click to close.
This post has been deleted. Click here to see post.
Z4ADies
64 posts
#5
Y by
Let $(BXC) \cap AB,AC$ at $Q',P'$.By it is known that, $BQ'P'C$ is cyclic.So,$\angle DEQ=180-\angle DQ'X=\angle PQE$ $\implies$ $BQ'XQ$ is cyclic and with the same way we can found $CP'XP$ is cyclic.Thus, radical axises of $(BQX),(CPX)$,and $BQ'P'C$ are concurrent.
This post has been edited 1 time. Last edited by Z4ADies, Sep 29, 2024, 3:48 PM
Z K Y
The post below has been deleted. Click to close.
This post has been deleted. Click here to see post.
AshAuktober
1004 posts
#6
Y by
When you do a four page coordinate bash :_(
Z K Y
The post below has been deleted. Click to close.
This post has been deleted. Click here to see post.
MELSSATIMOV40
29 posts
#7 • 2 Y
Y by Rounak_iitr, ehuseyinyigit
#attachments
Attachments:
Z K Y
The post below has been deleted. Click to close.
This post has been deleted. Click here to see post.
MELSSATIMOV40
29 posts
#8
Y by
#attachments
Attachments:
Z K Y
The post below has been deleted. Click to close.
This post has been deleted. Click here to see post.
crazyeyemoody907
450 posts
#9 • 1 Y
Y by anirbanbz
Let $K=\overline{AX}\cap\overline{BC}$. Then it suffices to show $KB\cdot KQ=KC\cdot KP$ which may be obtained by applying DDIT to $X$ and $BCED$, then projecting the resulting involution onto $\overline{BC}$ as $(\infty_{BC}K;BQ;CP)$.
trivia
This post has been edited 2 times. Last edited by crazyeyemoody907, Jul 30, 2024, 6:11 AM
Reason: clarify
Z K Y
The post below has been deleted. Click to close.
This post has been deleted. Click here to see post.
khanhnx
1618 posts
#10
Y by
Suppose that $AX$ intersects $BC, DE$ at $Z, T$ then $\dfrac{\overline{ZP}}{\overline{ZQ}} = \dfrac{\overline{TD}}{\overline{TE}} = \dfrac{\overline{ZB}}{\overline{ZC}}$. So $\overline{ZP} \cdot \overline{ZC} = \overline{ZQ} \cdot \overline{ZB}$ or $Z$ lies on radical axis of $(BQX)$ and $(CPX)$. Hence $Z \in XY$ or $A \in XY$
Z K Y
The post below has been deleted. Click to close.
This post has been deleted. Click here to see post.
Rogestive8828
35 posts
#11 • 1 Y
Y by CrazyInMath
crazyeyemoody907 wrote:
Let $K=\overline{AX}\cap\overline{BC}$. Then it suffices to show $KB\cdot KQ=KC\cdot KP$ which may be obtained by applying DDIT to $X$ and $BCED$, then projecting the resulting involution onto $\overline{BC}$ as $(\infty_{BC}K;BQ;CP)$.
trivia

Your solution is similar to me.(P.S. I AM WEAK)
I didn't bring my cellphone to school ...
My solution: (just for storage) :
Let $T=AX \cap BC $,then we apply DDIT on quadrilateral $ADXE$ and $BC $ we have$ (BQ),(C,P),(T,\infty_{BC}) $are involution pairs.
Then there exists a point $T'$ such that $TB \times TQ =TC\times TP =TT\times T \infty_{BC}$
So $T=T'$ and it lies on radical axis of $(BQX) and (CPX)$,so we are done.
This post has been edited 1 time. Last edited by Rogestive8828, Jul 30, 2024, 8:16 AM
Reason: typo
Z K Y
The post below has been deleted. Click to close.
This post has been deleted. Click here to see post.
L13832
267 posts
#12 • 1 Y
Y by CRT_07
This is not INMO 1995 problem, anyways this is easier than the P5.

To prove: $\overline{A-X-Y}$ where $XY$ is radical axis.
Let $AB\cap(BQX)=G$ and $AC \cap (CPX)=F$, we do this to use Reim's theorem to get $(BCFG)$ and then finish by radical axis on $(BCFG)$, $(BQXYG)$ and $(CPXBY)$ we prove that $\overline{A-X-Y}$. For that we need the following claims
Claim I: $\odot(XDFGE)\implies \odot(BFGC)$
Proof: Reim's Theorem.
Claim II: $\odot(XDFGE)$
Proof:\begin{align*}
\measuredangle BQX=\measuredangle BGX&=\measuredangle DGX=\measuredangle DEX\\
\measuredangle CPX=\measuredangle CFX&=\measuredangle XFE=\measuredangle XDE 
\end{align*}
Figure
This post has been edited 2 times. Last edited by L13832, Sep 11, 2024, 5:00 AM
Z K Y
The post below has been deleted. Click to close.
This post has been deleted. Click here to see post.
i3435
1350 posts
#13
Y by
Rogestive8828 wrote:
crazyeyemoody907 wrote:
Let $K=\overline{AX}\cap\overline{BC}$. Then it suffices to show $KB\cdot KQ=KC\cdot KP$ which may be obtained by applying DDIT to $X$ and $BCED$, then projecting the resulting involution onto $\overline{BC}$ as $(\infty_{BC}K;BQ;CP)$.
trivia

Your solution is similar to me.(P.S. I AM WEAK)
I didn't bring my cellphone to school ...
My solution: (just for storage) :
Let $T=AX \cap BC $,then we apply DDIT on quadrilateral $ADXE$ and $BC $ we have$ (BQ),(C,P),(T,\infty_{BC}) $are involution pairs.
Then there exists a point $T'$ such that $TB \times TQ =TC\times TP =TT\times T \infty_{BC}$
So $T=T'$ and it lies on radical axis of $(BQX) and (CPX)$,so we are done.

Your solution is similar to mine.
Let $T=\overline{AX}\cap\overline{BC}$, then we apply DDIT from $A$ to $\{\overline{DE},\overline{DP},\overline{QE},\overline{QP}\}$ and project on $\overline{BC}$ to get that $(B,Q),(C,P),(T,\infty_{\overline{BC}})$ are pairs under an involution. Thus $TB\cdot TQ=TC\cdot TP$ and $\overline{AXT}$ is the radical axis of $(BQX)$ and $(CPX)$.
Z K Y
The post below has been deleted. Click to close.
This post has been deleted. Click here to see post.
Tqhoud
26 posts
#14
Y by
Let $(BQX) $ intersects $AB$again in $M$ and $ (CPX) $ intersects $AC$ at point $N$

We see that

$$\angle{XMD}=\angle{BMX}=\angle{XQP}=\angle{XED}$$
So $DXEM$ is cyclic

in the same way we get $DXEN$ is cyclic so $DEMN$ is cyclic

By reim's theorem we get that $MNCB$ is cyclic and because $NC$ and $MB$ intersect at $A$

so $A$ lies on radical axis between $w_1$ and $ w_2$

So easily we get that $A,X,Y$ are collinear
This post has been edited 5 times. Last edited by Tqhoud, Jul 30, 2024, 8:07 PM
Reason: .
Z K Y
The post below has been deleted. Click to close.
This post has been deleted. Click here to see post.
motannoir
171 posts
#15
Y by
Let $(BXQ)\cap AB=\{S\}, (CPX)\cap AC=\{L\}$
Claim: $DXELS$ is cyclic
Proof:We will use directed angles mod $\pi$
$$\measuredangle XDE=\measuredangle XPQ=\measuredangle XPC=\measuredangle XLC=\measuredangle XLE$$and similary for $S$ and we are done.
Now we have $AD\cdot AS=AE\cdot AL$ and since $\frac{AD}{AE}=\frac{AB}{AC}$ we have that $AS\cdot AB=AL\cdot AC$ so $A$ has the same power wrt $(BXQ)$ and $(CXP)$ meaning it lies on their radical axis i.e $XY$ so we are done.
Z K Y
The post below has been deleted. Click to close.
This post has been deleted. Click here to see post.
Anancibedih
18 posts
#17
Y by
Let $(BQX)\cap AB,(CPX)\cap AC$ be $T,Z$ respectively and $T\neq B,Z\neq C$. If $TZCB$ were cyclic, $YX$ would pass through $A$ because of the radical axis theorem for $(CPX),(BQX),(TZCB)$. Proving this ends the question. $$\angle{XQP}=\alpha,\angle{XPQ}=\theta\Longrightarrow \angle{DTX}=\angle{BEX}=\alpha, \angle{XDE}=\angle{XZE}=\theta $$$$\Longrightarrow\hspace{1mm}\text{T,X,E,Z,D cyclic}$$from $\angle{DTZ}=\angle{DEZ}=\angle{ACB}\Longrightarrow\hspace {1mm}\text{TZCB cyclic}$ $\blacksquare$
This post has been edited 3 times. Last edited by Anancibedih, Aug 2, 2024, 1:35 PM
Z K Y
The post below has been deleted. Click to close.
This post has been deleted. Click here to see post.
SomeonesPenguin
128 posts
#18 • 3 Y
Y by ehuseyinyigit, zzSpartan, Rounak_iitr
Trig bash because Im bad and cant do synthetic. :blush:

Let $\{F\} = (BQX) \cap AB$ and $\{G\} = (CPX) \cap AC$. From LOS in $\triangle{BXF}$ we have $\frac{FX}{\sin(\angle ABX)} = \frac{BX}{\sin(\angle BFX)} = \frac{BX}{\sin(\angle DEX)}$. Also apply LOS in $\triangle{CEX}$ and divide the relations to get:

\begin{align*}
    \frac{\sin(\angle XGF)}{\sin(\angle XFG)} &= \frac{FX}{GX}\\
    &= \frac{\sin(\angle ABX)}{\sin(\angle ACX)}\cdot\frac{BX}{CX}\cdot\frac{\sin(\angle XDE)}{\sin(\angle XED)}\\
    &= \frac{\sin(\angle ABX)}{\sin(\angle ACX)}\cdot\frac{BX}{CX}\cdot\frac{EX}{DX}
\end{align*}
From LOS in $\triangle{BXA}$ we get $\frac{BX}{\sin(\angle BAX)}=\frac{AX}{\sin(\angle ABX)}$. Do the same in $\triangle{AXC}$ and divide the relations to get $\frac{\sin(\angle ABX)}{\sin(\angle ACX)}\cdot\frac{BX}{CX} = \frac{\sin(\angle BAX)}{\sin(\angle CAX)}$. So we finally get: $$\frac{\sin(\angle XGF)}{\sin(\angle XFG)} = \frac{\sin(\angle BAX)}{\sin(\angle CAX)}\cdot\frac{EX}{DX}$$
Now apply LOS in $\triangle{ADX}$ and $\triangle{AEX}$ like we did before and divide the relations to get: $$\frac{\sin(\angle ADX)}{\sin(\angle AEX)} = \frac{\sin(\angle BAX)}{\sin(\angle CAX)}\cdot\frac{EX}{DX}$$
So we actually have: $$\frac{\sin(\angle XGF)}{\sin(\angle XFG)}=\frac{\sin(\angle ADX)}{\sin(\angle AEX)}=\frac{\sin(\angle BDX)}{\sin(\angle CEX)}$$
Now denote $\angle XDE = x$ and $\angle XED = y$. We have:
\begin{align*}
    \angle BDX + \angle CEX &= 360^{\circ} - \angle ADX - \angle AEX\\
    &= 180^{\circ}+(180^{\circ}-x-y) - B - C\\
    &= 180^{\circ} - (360^{\circ} - (180^{\circ}-x-y) - (180^{\circ} - B) - (180^{\circ} - C))\\
    &= 180^{\circ} - (360^{\circ} - \angle QXP - \angle FXQ - \angle EXP)\\
    &= 180^{\circ} - \angle FXE\\
    &= \angle XGF + \angle XFG
\end{align*}
So we have that $\angle XGF = \angle BDX$ and $\angle XFG = \angle XEC$ (well known lemma). Finally, we have that: $$\angle BFG = \angle BFX + \angle XFG = y + \angle XEC = y + 180^{\circ} - C - y = 180^{\circ} - C$$
So $BFGC$ is cyclic and hence $A$ lies on the radical axis of $(BQX)$ and $(CPX)$ as desired.
Z K Y
The post below has been deleted. Click to close.
This post has been deleted. Click here to see post.
alba_tross1867
44 posts
#19
Y by
crazyeyemoody907 wrote:
Let $K=\overline{AX}\cap\overline{BC}$. Then it suffices to show $KB\cdot KQ=KC\cdot KP$ which may be obtained by applying DDIT to $X$ and $BCED$, then projecting the resulting involution onto $\overline{BC}$ as $(\infty_{BC}K;BQ;CP)$.
trivia

What's DDIT?
Z K Y
The post below has been deleted. Click to close.
This post has been deleted. Click here to see post.
Rogestive8828
35 posts
#21
Y by
alba_tross1867 wrote:
crazyeyemoody907 wrote:
Let $K=\overline{AX}\cap\overline{BC}$. Then it suffices to show $KB\cdot KQ=KC\cdot KP$ which may be obtained by applying DDIT to $X$ and $BCED$, then projecting the resulting involution onto $\overline{BC}$ as $(\infty_{BC}K;BQ;CP)$.
trivia

What's DDIT?

Dual Desargues Involution Theorem.
Z K Y
The post below has been deleted. Click to close.
This post has been deleted. Click here to see post.
matematica007
17 posts
#22
Y by
Let $AB$ and $AC$ meet $(BQX)$ and $(CPX)$ again at $U$ and $V$.

CLAIM : $DUXVE$ is cyclic.

$\angle QBU = \angle UXE $ but $\angle QBU=\angle EDA$ so $\angle UXE= 180^{\circ} - \angle UDE$ so $UXED$ is cyclic.
Analogous we have $DXVE$ cyclic so $DUXVE$ is cyclic. So the claim is proved.

By PoP we have $AD \cdot AU=AE \cdot AV$ and how $\frac{AB}{AD}=\frac{AC}{AE}$ we have $AB \cdot AU=AC \cdot AV$ so A lies on the radical axis of $(BQXU)$ and $(CPXV)$. So A lies on $XY$.So the problem is proved.
This post has been edited 1 time. Last edited by matematica007, Aug 14, 2024, 12:21 PM
Z K Y
The post below has been deleted. Click to close.
This post has been deleted. Click here to see post.
SatisfiedMagma
458 posts
#23 • 1 Y
Y by Rounak_iitr
Why did the asymptote take more time than solving the problem? Here's a short solution, same as others I think.

Solution: Consider $U \coloneqq AB \cap \odot(XQB) \ne B$ and $V \coloneqq AC \cap \odot(XPC) \ne C$. Here's the central claim of the problem.

[asy]
import olympiad;
import geometry;
size(9cm);
// defaultpen(fontsize(10pt));

pair A = (-0.36,0.93);
pair B = (-0.86,-0.51);
pair C = (0.86,-0.51);
pair D = (-0.59, 0.27);
pair E = extension(D,D+(C-B),A,C);
pair X = (-0.13, -0.12);
pair P = extension(D,X,B,C);
pair Q = extension(E,X,B,C);
pair U = intersectionpoints(circumcircle(D,X,E),circumcircle(B,Q,X))[0];
pair V = intersectionpoints(circumcircle(D,X,E), circumcircle(X,P,C))[0];
pair Y = intersectionpoints(circumcircle(X,P,C), circumcircle(X,Q,B))[0];

draw(A--B--C--A, red);
draw(A--X, magenta+dashed);
draw(D--E, red);
draw(D--P, red);
draw(E--Q, red);
draw(circumcircle(P,X,C), orange);
draw(circumcircle(Q,X,B), orange);
draw(circumcircle(D,X,E), deepgreen+dashed);
draw(circumcircle(B,C,U), blue+dashed);

dot("$A$", A, dir(A));
dot("$B$", B, dir(B));
dot("$C$", C, dir(C));
dot("$D$", D, dir(D));
dot("$E$", E, dir(E));
dot("$X$", X, dir(270)*1.8);
dot("$Y$", Y, dir(E)*1.8);
dot("$P$", P, dir(P));
dot("$Q$", Q, dir(Q));
dot("$U$", U, dir(110));
dot("$V$", V, dir(90));
[/asy]

Claim: $DXEUV$ and $UVBC$ are cyclic quadrilaterals.

Proof: By symmetry, it suffices to show that $V \in \odot(DXE)$. This is true since
\[\measuredangle XDE = \measuredangle XPQ = \measuredangle XVC = \measuredangle XVE. \]For $UVBC$, observe
\begin{align*}
\measuredangle UVC &= \measuredangle UVX + \measuredangle XVC \\
&= \measuredangle BDX + \measuredangle QPX \\
&= \measuredangle BDP + \measuredangle BPD \\
&= \measuredangle DBP = \measuredangle UBC.   
\end{align*}This completes the proof. $\square$
Since the pairwise radical axis of $\odot(XPCV)$, $\odot(XQBU)$ and $\odot(UVBC)$ concur, it must follow that $A-X-Y$ are collinear. $\blacksquare$
This post has been edited 1 time. Last edited by SatisfiedMagma, Oct 17, 2024, 6:04 AM
Z K Y
The post below has been deleted. Click to close.
This post has been deleted. Click here to see post.
UI_MathZ_25
116 posts
#24
Y by
Solution
Attachments:
Z K Y
The post below has been deleted. Click to close.
This post has been deleted. Click here to see post.
bjump
1015 posts
#26
Y by
USEMO derusting, 38 minute solve

WLOG $AB<AC$. Let $(XBP)$ intersect $AB$ again at $F$, and $(XQC)$ intersect $AC$ again at $G$. Now $\angle XDE = \angle XQP = \angle XGE $ which means that $XEGD$ is cyclic. Similarly $XFED$ is cyclic. Therefore $XEGDF$ is cyclic. Now observe $$\angle BFG + \angle C = 180^\circ-\angle DFG+ \angle C = 180^\circ - \angle DEG +\angle C = 180^\circ - \angle C + \angle C = 180^\circ$$therefore $BFEC$ is cyclic and since $A$ is the radical center of $(PBFYX)$, $(QCGYX)$, and $(BCFG)$. Then $A$ lies on the radical axis of $(PBFYX)$ and $(QCGYX)$ therefore $A$, $X$, and $Y$ are collinear.
Z K Y
The post below has been deleted. Click to close.
This post has been deleted. Click here to see post.
ehuseyinyigit
821 posts
#27
Y by
Let $(BQX)\cap AB=S$ and $(CPX)\cap AC=S$

Claim: Points $D$, $T$, $X$ and $E$ are concyclic
Proof:

Since $\angle XSB=\angle XQP=\angle XED$ which implies the points $D$, $E$, $X$ and $S$ are concyclic. Similarly $\angle XTC=\angle XPQ=\angle XDE$ gives the points $D$, $T$, $X$ and $E$ are concyclic. Thus, points $D$, $E$, $X$, $T$ and $S$ are concyclic.

Claim: Points $S$, $T$, $B$ and $C$ are concyclic
Proof:

Observe that from the circumcirle $(DEXTS)$ and $DE\parallel BC$, we have

$$\dfrac{AS}{AT}=\dfrac{AE}{AD}=\dfrac{AC}{AB}$$which means points $S$, $T$, $B$ and $C$ are concyclic (also can be shown via Reim's Theorem). Thus, point $A$ is on radical axis of $(BQX)$ and $(CPX)$ and $A\in XY$ as desired.
This post has been edited 1 time. Last edited by ehuseyinyigit, Oct 28, 2024, 10:19 AM
Z K Y
The post below has been deleted. Click to close.
This post has been deleted. Click here to see post.
ihategeo_1969
231 posts
#28
Y by
Let $\overline{AX} \cap \overline{BC}=T$.

Apply DDIT from $X$ to $DECB$ and we get $(\overline{XD};\overline{XC})$; $(\overline{XE};\overline{XB})$; $(\overline{XA};\overline{X \infty})$ are pairs under some involution. Projecting this onto $\overline{BC}$ we get that $(P,C)$; $(Q,B)$; $(T,\infty)$ are pairs under some involution.

This gives us that $T$ is the center of this involution (inversion) and so $TP \cdot TC=TQ \cdot TB$ and we are done.

Remark: This is just the buffed down version of IMO $2019/2$.
This post has been edited 2 times. Last edited by ihategeo_1969, Nov 26, 2024, 2:33 PM
Z K Y
The post below has been deleted. Click to close.
This post has been deleted. Click here to see post.
Sadigly
159 posts
#29
Y by
Let $(BQX)$ and $(CPX)$ intersect $AB$ and $AC$ at $M;N$,respectively.
Claim 1.:$DEXN$ is cyclic.
Proof:$$\measuredangle BPD=\alpha\Rightarrow \measuredangle PDE=\measuredangle XPE=180-\alpha$$$$\measuredangle DPC=\measuredangle XPC=\measuredangle XNC=\measuredangle XNE=180-\alpha$$$$\measuredangle XPE=\measuredangle XNE$$.

Do this for $\measuredangle CQE=\beta$ to get $DEXM$ is cyclic.

$DEXN$ and $DEXM$ is cyclic$\Rightarrow DEXNM$ is cyclic.

Claim 2:$BMNC$ is cyclic
Proof:$\measuredangle BMN=\measuredangle BMX+\measuredangle XMN=\measuredangle BQX+\measuredangle XEN=\measuredangle CQX+\measuredangle XEC=\measuredangle CQE+\measuredangle QEC=-\measuredangle ECQ=\measuredangle QCE=\measuredangle BCN$

We got cyclic quadrilaterals $BMNC;BXYM;CXYN$, so their radical axises $BM;CN;XY$ concur at some point. But we know that $BM$ and $CN$ concur at $A$, so that means line $XY$ passes through $A$
Z K Y
The post below has been deleted. Click to close.
This post has been deleted. Click here to see post.
eibc
600 posts
#30
Y by
Let $(BQX)$ meet $AB$ again at $F$ and $(CPX)$ meet $(AC)$ again at $G$. By Reim's theorem, $DXEF$ and $DXEG$ are cyclic. Thus, $DEGF$ is cyclic, so by Reim's theorem again, $BFGC$ is cyclic. Thus, $A$ must be the radical center of $(BQXF)$, $(CPXG)$, and $(BFGC)$, so it lies on $XY$.
Z K Y
The post below has been deleted. Click to close.
This post has been deleted. Click here to see post.
redred123
32 posts
#31
Y by
Easy
let the circumcircles meet $AB$ at $H$ and $AC$ at $F$ then $X$ $D$ $H$ and $F$ are concyclic (that follows directly from the parallelism and the $2$ concyclicities then the statement is equivalent to show that $AH$.$AB$=$AF$.$AC$ but we already have that $AH$.$AD$=$AF$.$AE$ but since $DE\parallel BC$
$$\dfrac{AD}{AE}=\dfrac{AB}{AC}$$and hence $A$ lies on the radical axcis of $(HXQB)$ and $(FXPC)$ and hence the conclusion $\blacksquare$
This post has been edited 1 time. Last edited by redred123, Dec 22, 2024, 11:41 PM
Reason: K
Z K Y
The post below has been deleted. Click to close.
This post has been deleted. Click here to see post.
MATH-TITAN
7 posts
#32
Y by
Different Solution
Motivation
Z K Y
The post below has been deleted. Click to close.
This post has been deleted. Click here to see post.
ItsBesi
146 posts
#33
Y by
Did this one while ago but I am posting it now for storage.
,
Let $\odot(BQXY)=\omega_B, \odot(CPXY)=\omega_C$ , $\omega_B \cap AB=\{K\} , \omega_C \cap AC=\{L\}$

Claim: Points $K,D,L$ and $E$ are concyclic

Proof: Let $\odot (XED)=\Gamma$

$\angle DEX \equiv DEQ \stackrel{DE \parallel BC}{=} \angle EQC \equiv XQC =180-\angle XQB \stackrel{\omega_b}{=}\angle BKX=180-\angle DKX \implies \angle DEX=180-\angle DKX \implies$

$\angle DEX+\angle DKX=180 \implies$ Points $X,K,E$ and $D$ are concyclic. $\implies K \in \Gamma$

Simmilarly:

$\angle EDX \equiv EDB \stackrel{ED \parallel BC}{=}180-\angle DPC \equiv 180-\angle XPC \stackrel{\omega_C}{=} \angle XLC \equiv \angle XLE\equiv \angle ELX \implies$

$ \angle EDX=\angle ELX \implies$ Points $E,L,D$ and $X$ are concyclic. $\implies L \in \Gamma$

So since $K,L \in \Gamma \implies$ Points $K,D,L$ and $E$ are concyclic $\square$.

Claim: Points $B,K,L$ and $C$ are concyclic

Proof:

$180-\angle BKL=\angle AKL \equiv \angle DXL \stackrel{\Gamma}{=} \angle DEL \equiv \angle DEA \equiv \angle AED \stackrel{DE \parallel BC}{=} \angle ACB \equiv \angle LCB \implies 180-\angle BKL=\angle LCB \implies$

$ \angle BKL+\angle LCB=180 \implies$ Points $B,K,L$ and $C$ are concyclic $\square$

Claim: Points $\overline{A-X-Y}$ are collinear

Proof: By using Power of the Point Theorem we get:

Points $B,K,L$ and $C$ are concyclic $\implies AK \cdot AB=AL \cdot AC \implies Pow(A,\omega_B)=Pow(A, \omega_C) \implies$

$A$ lies on the radical axis of $\omega_B$ and $\omega_C$ but $\omega_B \cap \omega_C=\{X,Y \} \implies$ Points $\overline{A-X-Y}$ are collinear $\blacksquare$
Attachments:
Z K Y
The post below has been deleted. Click to close.
This post has been deleted. Click here to see post.
Bonime
36 posts
#34
Y by
A different solution by some ratio bashing
Let $R=XY\cap BC$, $S=AR\cap DE$ and $T=XY\cap DE$
We´re going to prove that $S=T$, so we´ll have $A \in \overline{SR}=\overline{TR}=\overline{XY}$.
Thus, once $R$ is in the radical axis of $(BQX)$ and $(CPX)$, we get that $$RQ\cdot RB=RC\cdot RP \Rightarrow \frac{RB}{RC}=\frac{RP}{RQ}$$Then, by the ratio lemma at $AR$ in $\Delta ABC$ and at $XR$ in $\Delta XQP$ $$\frac{RB}{RC}=\frac{AB}{AC} \cdot \frac{sin \ \angle RAB}{sin \ \angle RAC} = \frac {SD}{SE}=\frac{RP}{RQ}=\frac{XP}{XQ}\cdot \frac{sin \ \angle RXP}{sin \ \angle RXQ}$$but, by the paralelism and from the the fact that $T$, $X$ and $R$ are colinear, we get that $$\frac{SD}{SE}=\frac{XP}{XQ}\cdot \frac{sin \ \angle RXP}{sin \ \angle RXQ}=\frac{XD}{XE}\cdot \frac{sin \ \angle TXD}{sin \ \angle TXE}=\frac{TD}{TE}$$what makes us get that $S=T$, finishing the problem. $\blacksquare$
Z K Y
The post below has been deleted. Click to close.
This post has been deleted. Click here to see post.
ray66
35 posts
#35
Y by
Let $\odot (BQX)$ intersect $\overline{AB}$ at $H$ and let $\odot (CPX)$ intersect $\overline{AC}$ at $I$. The line $\overline{XY}$ is the radical axis of the two circles, and $A$ lies on the axis iff $BCIH$ is cyclic. We have that $\angle{XQP} = \angle{BHX} = \angle{DEX}$ so $HDXE$ is cyclic. But $$\angle{XPQ} = \angle{XIC} = \angle{XDE}$$so $IEXD$ is cyclic. So the entire pentagon $HDXEI$ is cyclic. Now $BHIC$ is cyclic if $\angle{BHI} = 180 - \angle{C}$ or if $$\angle{BHI} = \angle{XQP} + \angle{XEC}$$. But $\angle{BHX} = \angle{XQP}$ and $$\angle{XHI} = 180-\angle{IEX} = \angle{XEC}$$so $BHIC$ is cyclic and $A$ is the radical center of $\odot(BQX)$, $\odot(CPX)$, and $\odot(BHIC)$.
This post has been edited 1 time. Last edited by ray66, Mar 5, 2025, 7:04 PM
Z K Y
The post below has been deleted. Click to close.
This post has been deleted. Click here to see post.
AshAuktober
1004 posts
#36
Y by
Main idea: Let $AB \cap (BQX) = F,AC \cap (CPY) = G$. Then prove that $D,E,F,G,X$ are concyclic, and finish by PoP and radax.
Z K Y
The post below has been deleted. Click to close.
This post has been deleted. Click here to see post.
bo18
38 posts
#37
Y by
Easy solution with bary-bash, even it is not needed to have full form of barycentric coordinates to point Y
Z K Y
The post below has been deleted. Click to close.
This post has been deleted. Click here to see post.
Maximilian113
575 posts
#38
Y by
Let $R=AB \cap (BQX), S=AC \cap (CPX).$ Then $$\angle XSE=\angle XSC = \angle XPB = \angle XDE.$$Similarly $\angle XRD=\angle XED,$ so pentagon $XDRSE$ is cyclic. Now by homothety $RSCB$ is cyclic, and we finish by Radical Axis. QED
Z K Y
The post below has been deleted. Click to close.
This post has been deleted. Click here to see post.
jordiejoh
5 posts
#39
Y by
Let be $\omega$ and $\gamma$ circumcircles of $\triangle BQX$ and $\triangle CPX$, respectly.
Let $S: AB\cap \omega$ different of $B$
Let $R: AC\cap \gamma$ different of $C$

Claim 1: $DXES$ and $DXER$ are cyclic.
$BQXS$ is cyclic, then $\angle XSB+\angle BQX=180^\circ$ $\iff$ $\angle XSB+180^\circ-\angle XQP=180^\circ \iff \angle XSB=\angle XSD =\angle XQP$. Analogous with $XPCR$ cyclic, we have $\angle ERX+\angle XPC=180^\circ \iff \angle ERX+180^\circ-\angle QPX=180^\circ \iff \angle ERX=\angle CRX= \angle QPX$. Notice that $P$ and $Q \in BC$ then $QP\parallel DE \iff \angle XQP=\angle EQP=\angle QED=\angle XED$. then $\angle XSD=\angle XQP=\angle XED \iff \angle XSD=\angle XED$ that means $DXES$ is cyclic.
Analogous, $\angle QPX=\angle QPD=\angle EDP=\angle EDX$ then $\angle ERX=\angle QPX= \angle EDX$ that means $DXER$ is cyclic.

Claim 2: $DERS$ is cyclic.
By Claim 1, we obtain that $D, X, E, S$ and $R$ are on the same circuference, so $DERS$ is cyclic.

By Claim 2 and $BC\parallel DE$, $\angle RSD+\angle DER=180^\circ \iff \angle RSB+\angle BCR=180^\circ$ means $RSBC$ is cylic. Then $\frac{AS}{AC}=\frac{AR}{AB} \iff AS\cdot AB=AR\cdot AC$ where we obtain $A$ is equipotent point of $\omega$ and $\gamma$. Notice that $XY$ is radical axis of $\omega$ and $\gamma$, then $A\in XY$ and we´re done.
Attachments:
This post has been edited 1 time. Last edited by jordiejoh, Apr 2, 2025, 8:41 PM
Z K Y
N Quick Reply
G
H
=
a