Join our FREE webinar on May 1st to learn about managing anxiety.

G
Topic
First Poster
Last Poster
k a April Highlights and 2025 AoPS Online Class Information
jlacosta   0
Apr 2, 2025
Spring is in full swing and summer is right around the corner, what are your plans? At AoPS Online our schedule has new classes starting now through July, so be sure to keep your skills sharp and be prepared for the Fall school year! Check out the schedule of upcoming classes below.

WOOT early bird pricing is in effect, don’t miss out! If you took MathWOOT Level 2 last year, no worries, it is all new problems this year! Our Worldwide Online Olympiad Training program is for high school level competitors. AoPS designed these courses to help our top students get the deep focus they need to succeed in their specific competition goals. Check out the details at this link for all our WOOT programs in math, computer science, chemistry, and physics.

Looking for summer camps in math and language arts? Be sure to check out the video-based summer camps offered at the Virtual Campus that are 2- to 4-weeks in duration. 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 events:
[list][*]April 3rd (Webinar), 4pm PT/7:00pm ET, Learning with AoPS: Perspectives from a Parent, Math Camp Instructor, and University Professor
[*]April 8th (Math Jam), 4:30pm PT/7:30pm ET, 2025 MATHCOUNTS State Discussion
April 9th (Webinar), 4:00pm PT/7:00pm ET, Learn about Video-based Summer Camps at the Virtual Campus
[*]April 10th (Math Jam), 4:30pm PT/7:30pm ET, 2025 MathILy and MathILy-Er Math Jam: Multibackwards Numbers
[*]April 22nd (Webinar), 4:00pm PT/7:00pm ET, Competitive Programming at AoPS (USACO).[/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
Sunday, Apr 13 - Aug 10
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
Sunday, Apr 13 - Aug 10
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
Monday, Apr 7 - Jul 28
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
Wednesday, Apr 16 - Jul 2
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
Thursday, Apr 17 - Jul 3
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
Wednesday, Apr 16 - Jul 30
Tuesday, May 6 - Aug 19
Wednesday, Jun 4 - Sep 17
Sunday, Jun 22 - Oct 19
Friday, Jul 18 - Nov 14

Introduction to Geometry
Wednesday, Apr 23 - Oct 1
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

Intermediate: Grades 8-12

Intermediate Algebra
Monday, Apr 21 - Oct 13
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
Friday, Apr 11 - Jun 27
Sunday, Jun 1 - Aug 24
Wednesday, Jun 18 - Sep 3

Precalculus
Wednesday, Apr 9 - Sep 3
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
Wednesday, Apr 16 - Jul 2
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
Friday, Apr 11 - Jun 27
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

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
Sat & Sun, Apr 26 - Apr 27 (4:00 - 7:00 pm ET/1:00 - 4:00pm PT)
Mon, Tue, Wed & Thurs, Jun 23 - Jun 26 (meets every day of the week!)
0 replies
jlacosta
Apr 2, 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
Trivial fun Equilateral
ItzsleepyXD   2
N 38 minutes ago by moony_
Source: Own , Mock Thailand Mathematic Olympiad P1
Let $ABC$ be a scalene triangle with point $P$ and $Q$ on the plane such that $\triangle BPC , \triangle CQB$ is an equilateral . Let $AB$ intersect $CP$ and $CQ$ at $X$ and $Z$ respectively and $AC$ intersect $BP$ and $BQ$ at $Y$ and $W$ respectively .
Prove that $XY\parallel ZW$
2 replies
ItzsleepyXD
3 hours ago
moony_
38 minutes ago
problem interesting
Cobedangiu   2
N an hour ago by Cobedangiu
Let $a=3k^2+3k+1 (a,k \in N)$
$i)$ Prove that: $a^2$ is the sum of $3$ square numbers
$ii)$ Let $b \vdots a$ and $b$ is the sum of $3$ square numbers. Prove that: $b^n$ is the sum of $3$ square numbers
2 replies
Cobedangiu
Today at 5:06 AM
Cobedangiu
an hour ago
Invariant board combi style
ItzsleepyXD   1
N an hour ago by waterbottle432
Source: Own , Mock Thailand Mathematic Olympiad P7
Oh write $2025^{2025^{2025}}$ real number on the board such that each number is more than $2025^{2025}$ .
Oh erase 2 number $x,y$ on the board and write $\frac{xy-2025}{x+y-90}$ .
Prove that the last number will always be the same regardless the order of number that Oh pick .
1 reply
ItzsleepyXD
2 hours ago
waterbottle432
an hour ago
weird Condition
B1t   8
N an hour ago by lolsamo
Source: Mongolian TST 2025 P4
deleted for a while
8 replies
B1t
Apr 27, 2025
lolsamo
an hour ago
D1025 : Can you do that?
Dattier   3
N an hour ago by Dattier
Source: les dattes à Dattier
Let $x_{n+1}=x_n^3$ and $x_0=3$.

Can you calculate $\sum\limits_{i=1}^{2^{2025}} x_i \mod 10^{30}$?
3 replies
Dattier
Yesterday at 8:24 PM
Dattier
an hour ago
Parallel condition and isogonal
ItzsleepyXD   1
N an hour ago by moony_
Source: Own , Mock Thailand Mathematic Olympiad P5
Let $ABC$ be triangle and point $D$ be $A-$ altitude of $\triangle ABC$ .
Let $E,F$ be a point on $AC$ and $AB$ such that $DE\parallel AB$ and $DF\parallel AC$ . Point $G$ is the intersection of $(AEF)$ and $(ABC)$ . Point $P$ be intersection of $(ADG)$ and $BC$ . Line $GD$ intersect circumcircle of $\triangle ABC$ again at $Q$ .
Prove that
(a) $\angle BAP = \angle QAC$ .
(b) $AQ$ bisect $BC$ .
1 reply
ItzsleepyXD
2 hours ago
moony_
an hour ago
RMM 2013 Problem 1
dr_Civot   31
N an hour ago by cursed_tangent1434
For a positive integer $a$, define a sequence of integers $x_1,x_2,\ldots$ by letting $x_1=a$ and $x_{n+1}=2x_n+1$ for $n\geq 1$. Let $y_n=2^{x_n}-1$. Determine the largest possible $k$ such that, for some positive integer $a$, the numbers $y_1,\ldots,y_k$ are all prime.
31 replies
dr_Civot
Mar 2, 2013
cursed_tangent1434
an hour ago
Inspired by old results
sqing   0
an hour ago
Source: Own
Let $  a , b , c>0  $and $  abc=1 $. Prove that
$$\frac{a^2}{b}+\frac{b^2}{c}+\frac{c^2}{a} +3 \geq  \frac{a}{b}+\frac{b}{c}+\frac{c}{a}+\frac{1}{a}+\frac{1}{b}+\frac{1}{c}$$h
0 replies
sqing
an hour ago
0 replies
amazing balkan combi
egxa   7
N 2 hours ago by Assassino9931
Source: BMO 2025 P4
There are $n$ cities in a country, where $n \geq 100$ is an integer. Some pairs of cities are connected by direct (two-way) flights. For two cities $A$ and $B$ we define:

$(i)$ A $\emph{path}$ between $A$ and $B$ as a sequence of distinct cities $A = C_0, C_1, \dots, C_k, C_{k+1} = B$, $k \geq 0$, such that there are direct flights between $C_i$ and $C_{i+1}$ for every $0 \leq i \leq k$;
$(ii)$ A $\emph{long path}$ between $A$ and $B$ as a path between $A$ and $B$ such that no other path between $A$ and $B$ has more cities;
$(iii)$ A $\emph{short path}$ between $A$ and $B$ as a path between $A$ and $B$ such that no other path between $A$ and $B$ has fewer cities.
Assume that for any pair of cities $A$ and $B$ in the country, there exist a long path and a short path between them that have no cities in common (except $A$ and $B$). Let $F$ be the total number of pairs of cities in the country that are connected by direct flights. In terms of $n$, find all possible values $F$

Proposed by David-Andrei Anghel, Romania.
7 replies
egxa
Apr 27, 2025
Assassino9931
2 hours ago
Question on Balkan SL
Fmimch   2
N 2 hours ago by Assassino9931
Does anyone know where to find the Balkan MO Shortlist 2024? If you have the file, could you send in this thread? Thank you!
2 replies
Fmimch
Today at 12:13 AM
Assassino9931
2 hours ago
Or statement function
ItzsleepyXD   1
N 2 hours ago by Haris1
Source: Own , Mock Thailand Mathematic Olympiad P2
Find all $f: \mathbb{R} \to \mathbb{Z^+}$ such that $$f(x+f(y))=f(x)+f(y)+1\quad\text{ or }\quad f(x)+f(y)-1$$for all real number $x$ and $y$
1 reply
ItzsleepyXD
3 hours ago
Haris1
2 hours ago
Add a digit to obtain a new perfect square
Lukaluce   2
N 2 hours ago by TopGbulliedU
Source: 2024 Junior Macedonian Mathematical Olympiad P4
Let $a_1, a_2, ..., a_n$ be a sequence of perfect squares such that $a_{i + 1}$ can be obtained by concatenating a digit to the right of $a_i$. Determine all such sequences that are of maximum length.

Proposed by Ilija Jovčeski
2 replies
Lukaluce
Apr 14, 2025
TopGbulliedU
2 hours ago
Simple inequality
sqing   7
N 2 hours ago by sqing
Source: Daniel Sitaru
Let $a,b,c>0$ . Prove that$$\frac{a^3}{b^3}+\frac{b^3}{c^3}+\frac{c^3}{a^3}+9>\frac{3}{2}\left(\frac{a^2}{b^2}+\frac{b^2}{c^2}+\frac{c^2}{a^2}+
\frac{a}{b}+\frac{b}{c}+\frac{c}{a}\right)$$
7 replies
sqing
Feb 10, 2017
sqing
2 hours ago
Incircle-excircle config geo
a_507_bc   13
N Apr 6, 2025 by Bonime
Source: Serbia 2024 MO Problem 4
Let $ABC$ be a triangle with incenter and $A$-excenter $I, I_a$, whose incircle touches $BC, CA, AB$ at $D, E, F$. The line $EF$ meets $BC$ at $P$ and $X$ is the midpoint of $PD$. Show that $XI \perp DI_a$.
13 replies
a_507_bc
Apr 4, 2024
Bonime
Apr 6, 2025
Incircle-excircle config geo
G H J
G H BBookmark kLocked kLocked NReply
Source: Serbia 2024 MO Problem 4
The post below has been deleted. Click to close.
This post has been deleted. Click here to see post.
a_507_bc
676 posts
#1 • 3 Y
Y by Rounak_iitr, Funcshun840, PikaPika999
Let $ABC$ be a triangle with incenter and $A$-excenter $I, I_a$, whose incircle touches $BC, CA, AB$ at $D, E, F$. The line $EF$ meets $BC$ at $P$ and $X$ is the midpoint of $PD$. Show that $XI \perp DI_a$.
Z K Y
The post below has been deleted. Click to close.
This post has been deleted. Click here to see post.
MathLuis
1514 posts
#2 • 4 Y
Y by GeoKing, KevinYang2.71, Funcshun840, PikaPika999
This is Spoiler config, but here's a way to solve if you didn't know that.
Let $(PD) \cap (DEF)=X'$, $H$ feet of altitude from $A$ to $BC$, $DD'$ diameter in $(DEF)$, $AD \cap (DEF)=J$, $AI \cap BC=K$ and $N$ midpoint of $AH$.
As $-1=(P, D; E, F)$ by McLaurin we have $XD^2=XB \cdot XC$ so $XX'$ is tangent to $(BX'C)$ in addition as $XX'=DX$ we must have $XX'$ tangent to $(DEF)$ as well, also note that $P,X',D'$ sre colinear due to the $90º$ angles so as $-1=(J, D; E, F)$ and the given colinearity we have that $-1=(J, D; X', D') \overset{D}{=} (A, H; DX' \cap AH, \infty_{AH})$ therefore $D,X',N$ are colinear and now we finish with $-1=(A, H; N, \infty_{AH}) \overset{D}{=} (A, K; X'D \cap AI, I)$ therefore $X',D,I_a$ are colinear and now this means that since $XI \perp DX'$ we in fact have $XI \perp DI_a$ as desired thus we are done :D.
Motivational Remarks
This post has been edited 1 time. Last edited by MathLuis, Apr 4, 2024, 6:58 PM
Z K Y
The post below has been deleted. Click to close.
This post has been deleted. Click here to see post.
PROF65
2016 posts
#3 • 2 Y
Y by Steff9, PikaPika999
Since $(DP,BC)=-1$ then $XB\cdot XC=XD^2$ hence $X$ in the radical axis of $(I)$ and $(ABC)$
but $X$ is also on the radical axis of $(ABC)$ and $(IBC)$
therefore $X$ is the radical center of $(ABC),(IBC),(I)$
hence $X$ is on the radical axis of $ (IBC)$ and $(I)$ which is $ST$ where $S,T $ their intersections;
but $II_a$ is diameter then $I_aS\perp SI, I_aT\perp ST$ i.e. $X$ on the polar of $I_a$ so $I_a$ is on the polar of $X$
therfore $DI_a$ is the polar of $X$ which leads to the desired result.

Best regards.
RH HAS
Z K Y
The post below has been deleted. Click to close.
This post has been deleted. Click here to see post.
rstenetbg
72 posts
#4 • 3 Y
Y by VicKmath7, Assassino9931, PikaPika999
Solution 1:

WLOG assume $AB>AC$. Let $I_aK\perp BC$, where $K\in BC$ and let $S=XI\cap I_aD.$ Since $\angle IDX=90^{\circ}$, we will be done if we show that $$\angle DIS=\angle SDX \iff \angle DIS=\angle KDI_a \iff \triangle KDI_a \sim \triangle DIX\iff \frac{KI_a}{KD}=\frac{DX}{DI}.$$
Firstly, we will calculate $PC$. Since $(B,C;D,P)=-1$ from the Ceva/Menelaus picture, we obtain that $$\frac{DB}{DC}\div\frac{PB}{PC}=1\iff \frac{PC}{PC+BC}=\frac{DC}{DB}\iff PC=\frac{BC\cdot CD}{DB-DC}=\frac{a(p-c)}{c-b}.$$Hence, $$PD=PC+CD=(p-c)\left(\frac{a}{c-b}+1\right)=\frac{(p-c)(a+c-b)}{c-b}.$$Therefore, $$XD=\frac{PD}{2}=\frac{(p-c)(a+c-b)}{2(c-b)}=\frac{(p-c)(p-b)}{c-b}$$
Also, note that $KB=CD=p-c$, so $$KD=BC-BK-CD=a-2(p-c)=c-b.$$
Moreover, $$KI_a\cdot DI=r_a\cdot r=\frac{S}{p-a}\cdot \frac{S}{p}=\frac{S^2}{p(p-a)}=(p-b)(p-c),$$where we used Heron's formula. Thus, $$XD\cdot KD=(p-c)(p-b)=KI_a\cdot DI,$$as desired.


Solution 2: With help from VicKmath7

Let $Y=XI\cap(IBC)$. We wish to show that $Y, D, I_a$ are collinear.

Since $(B,C;D,P)=-1$ and $X$ is the midpoint of $PD$, we obtain that $XB\cdot XC=XD^2.$
However, from PoP we know that $XB\cdot XC=XY\cdot XI$.

Hence, $XD^2=XY\cdot XI$ and since $\angle IDX = 90^{\circ}$, we obtain that $DY\perp XI$.
Note that $II_a$ is the diameter in $(IBC)$, thus $\angle IYI_a = 90^{\circ}=\angle IYD$, so $Y, D, I_a$ are collinear, as desired.
This post has been edited 2 times. Last edited by rstenetbg, Apr 5, 2024, 9:36 AM
Z K Y
The post below has been deleted. Click to close.
This post has been deleted. Click here to see post.
gvole
201 posts
#5 • 1 Y
Y by PikaPika999
MathLuis wrote:
This is Spoiler config, but here's a way to solve if you didn't know that.
Let $(PD) \cap (DEF)=X'$, $H$ feet of altitude from $A$ to $BC$, $DD'$ diameter in $(DEF)$, $AD \cap (DEF)=J$, $AI \cap BC=K$ and $N$ midpoint of $AH$.
As $-1=(P, D; E, F)$ by McLaurin we have $XD^2=XB \cdot XC$ so $XX'$ is tangent to $(BX'C)$ in addition as $XX'=DX$ we must have $XX'$ tangent to $(DEF)$ as well, also note that $P,X',D'$ sre colinear due to the $90º$ angles so as $-1=(J, D; E, F)$ and the given colinearity we have that $-1=(J, D; X', D') \overset{D}{=} (A, H; DX' \cap AH, \infty_{AH})$ therefore $D,X',N$ are colinear and now we finish with $-1=(A, H; N, \infty_{AH}) \overset{D}{=} (A, K; X'D \cap AI, I)$ therefore $X',D,I_a$ are colinear and now this means that since $XI \perp DX'$ we in fact have $XI \perp DI_a$ as desired thus we are done :D.
Motivational Remarks

How unexpected that yet another problem is well-known. Let's hope they came up with something original for the TST! :oops_sign:
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
#6 • 1 Y
Y by PikaPika999
Let ${N}=DI_A\cap (DEF)$,obviously $(P,D,B,C)=-1$ so well known X is the center of circle appolonius for points $S$ such that $\frac{SB}{SC}=\frac{DB}{DC}$.By 2002 G7 $(BNC)$ is tangent to $(DFEN)$ and since $BC$ is a chord tangent to incircle, $ND$ is bisector of $\angle BNC$ so $\frac{NB}{NC}=\frac{DB}{DC}$ so $N$ is on the circle appolonius.
Finish: ND is the radical axis of the appolonius circle and incircle so $ND\perp XI$ (the line of centers). Since $ND$ is the same as $I_aD$ 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.
NuMBeRaToRiC
19 posts
#7 • 1 Y
Y by PikaPika999
Another Solution
Let $G$ be a point on incircle such that $XG$ tangent to incircle.Then $GD \perp XI$. Since $(P,D;B,C)=-1$ and $X$ midpoint of $PD$, from harmonic properties we get that $XD^2=XB \cdot XC$, from $XD=XG$ we get that $XG^2=XB \cdot XC$, so $XG$ tangent to the $(BGC)$. From IMO 2002 G7 we get that $G, D, I_a$ collinear, so $I_aD \perp XI$
This post has been edited 2 times. Last edited by NuMBeRaToRiC, Apr 30, 2024, 6:25 AM
Z K Y
The post below has been deleted. Click to close.
This post has been deleted. Click here to see post.
jrpartty
44 posts
#8 • 1 Y
Y by PikaPika999
WLOG, assume $AB<AC$. Let the $A-$excircle touches $BC$ at $Q$.

Let $DI$ and $DI_a$ meet the incircle again at $R$ and $S$,
respectively. Note that $\triangle DRS\sim\triangle I_aDR$.

By length chasing, we obtain that $PD=\dfrac{\left(a-b+c\right)\left(a+b-c\right)}{2\left(b-c\right)}$ and $DQ=b-c$.

Hence, $$PD\cdot DQ=\dfrac{\left(a-b+c\right)\left(a+b-c\right)}{2}=2rr_a=DR\cdot I_aQ=DS\cdot DI_a,$$i.e. $P,S,Q,I_a$ are concyclic. This implies $P,S,R$ are collinear and $PR\perp DI_a$.

Since $XI\parallel PR$, we are done.
This post has been edited 1 time. Last edited by jrpartty, Apr 30, 2024, 10:50 AM
Z K Y
The post below has been deleted. Click to close.
This post has been deleted. Click here to see post.
sami1618
900 posts
#9 • 5 Y
Y by GeoKing, ehuseyinyigit, zzSpartan, Steff9, PikaPika999
Let the excircle touch $BC$ at $G$ and $H$ be the antipode of $G$.

Claim: $HD\perp IP$
By homthety $A$, $D$, and $H$ are collinear. Let $AD$ intersect the incircle again at $Q$. By construction $EQFD$ is harmonic so $PQ$ is tangent to the incircle. So $DQ\perp IP$ as desired.

Claim: $XI\perp DI_a$
Notice triangles $IPD$ and $DHG$ are similar so triangles $IXD$ and $DI_aG$ are also similar finishing the problem.
Attachments:
Z K Y
The post below has been deleted. Click to close.
This post has been deleted. Click here to see post.
WLOGQED1729
43 posts
#10 • 1 Y
Y by PikaPika999
Just Bash!
Let $AB=c$, $BC=a$, $CA=b$, $s=\frac{a+b+c}{2}$, inradius$=r$ and $A$-exradius$=R$
WLOG, assume that $b>c$
Step 1 Identify the position of $X$
It is well-known that $(P,D;B,C)=-1$
Since $X$ is midpoint of $BC$, we obtain $XD^2=XB\cdot XC$.
Let $XB=k \implies \left(k+\frac{a+c-b}{2}\right)^2=(k)(k+a)\implies k=\frac{(a+c-b)^2}{4(b-c)}$
$\implies XD= k+\frac{a+c-b}{2}=\frac{(a+c-b)(a+b-c)}{4(b-c)}$
Step 2 Spot similar triangles
Let $A’$ be a point which $A$-excircle is tangent to $BC$ $\implies DA’=b-c $
Note that $\angle IDX=\angle DA’I_A$
Consider $$XD\cdot DA’=\frac{(a+c-b)(a+b-c)}{4}=(s-b)(s-c)=\frac{s(s-a)(s-b)(s-c)}{s(s-a)}=\frac{4[ABC]^2}{(a+b+c)(b+c-a)}=\frac{2[ABC]}{a+b+c}\cdot \frac{2[ABC]}{b+c-a}=rR$$So, $\triangle IDX \sim \triangle DA’I_A \implies XI \perp DI_A \qquad \blacksquare$
This post has been edited 1 time. Last edited by WLOGQED1729, Nov 12, 2024, 3:09 AM
Reason: Minor mistake
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
#11 • 1 Y
Y by PikaPika999
Beautiful problem :10: Setup

Since $II_a$ is a diameter in $(BIC)$ we get $\overline{I_a-T-R}$ and $I_aV\parallel BC$. Notice that \[-1=(P,D;X,\infty_{BC})\overset{I}{=}(Q,V;K,R)\]Now, it suffices to prove that $I_a$, $D$ and $K$ are collinear. If we let $I_aD$ meet $(BIC)$ again at $K'$, it suffices to then prove $-1=(Q,V;K',R)$.

We also have \[-1=(P,D;B,C)\overset{I}{=}(Q,V;B,C)\overset{I_a}{=}(I_aQ\cap BC,\infty_{BC};B,C)\]Hence $Q$, $M$ and $I_a$ are collinear and since $BD=TC$, by butterfly theorem we get that $R$, $M$ and $U$ are also collinear. Therefore \[(Q,V;K',R)\overset{D}{=}(U,I;I_a,S)\overset{R}{=}(M,\infty_{BC};D,T)=-1. \ \ \blacksquare\]
Z K Y
The post below has been deleted. Click to close.
This post has been deleted. Click here to see post.
cosdealfa
27 posts
#12 • 2 Y
Y by Steff9, PikaPika999
:love:
Denote the incircle by $\omega$.
Let $(BIC) \cap \omega = {J, K}$. Since $(P, D; B, C)=-1$ and $M$ is the midpoint of $PD$, from EGMO Lemma 9.17 we have $XB \cdot XC = XD^2$. Therefore $X$ has equal power wrt $(BIC)$ and $\omega$ so $X-J-K$ collinear. But $\angle IJI_a = \angle IBI_a = 90^{\circ}$ so $JI_a$ is tangent to $\omega$. Similarly, $KI_a$ is tangent to $\omega$, hence $JK$ is the pole of $I_a$ wrt to $\omega$. By La Hire’s Theorem, $I_a$ lies on the pole of $X$ wrt $\omega$. Since $XD$ is tangent to $\omega$, $D$ lies on the pole of $X$ too, so the conclusion follows $\blacksquare$
This post has been edited 1 time. Last edited by cosdealfa, Nov 28, 2024, 2:08 PM
Reason: Forgot to add the number of the lemma
Z K Y
The post below has been deleted. Click to close.
This post has been deleted. Click here to see post.
tugra_ozbey_eratli
7 posts
#13 • 3 Y
Y by bin_sherlo, poirasss, PikaPika999
Let $K$ be the feet of the altitude from $A$ to $BC$, $M$ be the midpoint of $AK$,$D'$ be the antipode of $D$
in $(DEF)$. We know that $M,D,I_A$ are colinear. Because of homothety from $D$, we have $XI\parallel PD'$.
So we want to show that $MD \perp PD'$
Now we will use complex bashing. WLOG
$$|d|=|e|=|f|=1$$$$d=1$$$$d'=-1$$$PD$ tangent to $(DEF)\implies$ $$p=2-\overline{p}$$$P;E,F$ are colinear $\implies$ $$p=e+f-ef\overline{p}$$from two of this, $$p=\frac{e+f-2ef}{1-ef}$$
$$a=\frac{2ef}{e+f}$$
$$k=\frac{a+2-\overline{a}}{2}=\frac{ef+e+f-1}{e+f}$$
$$m=\frac{a+k}{2}=\frac{3ef+e+f-1}{2(e+f)}$$
$$\frac{m-d}{p-d'}=\frac{ef-1}{2(e+f)}\in i\mathbb{R} \implies MD \perp PD'$$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.
Bonime
36 posts
#14 • 1 Y
Y by PikaPika999
Cute and simple geo.

Define $G=(BIC) \cap XI$ since $(B,C; D, P)=-1$ we get that $XD^2=XB\cdot XC=XG\cdot XI$ so $G$ is the feet of perpendicular from $D$ in $XI$. Then, by IE-lemma, $II_a$ is diameter of $(BIC)$, so the perpendicular from $G$ in $XI$ pass trough $I_a$ and then, we´re done! $\blacksquare$
Z K Y
N Quick Reply
G
H
=
a