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

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
2020 EGMO P2: Sum inequality with permutations
alifenix-   27
N a minute ago by Maximilian113
Source: 2020 EGMO P2
Find all lists $(x_1, x_2, \ldots, x_{2020})$ of non-negative real numbers such that the following three conditions are all satisfied:

[list]
[*] $x_1 \le x_2 \le \ldots \le x_{2020}$;
[*] $x_{2020} \le x_1  + 1$;
[*] there is a permutation $(y_1, y_2, \ldots, y_{2020})$ of $(x_1, x_2, \ldots, x_{2020})$ such that $$\sum_{i = 1}^{2020} ((x_i + 1)(y_i + 1))^2 = 8 \sum_{i = 1}^{2020} x_i^3.$$[/list]

A permutation of a list is a list of the same length, with the same entries, but the entries are allowed to be in any order. For example, $(2, 1, 2)$ is a permutation of $(1, 2, 2)$, and they are both permutations of $(2, 2, 1)$. Note that any list is a permutation of itself.
27 replies
alifenix-
Apr 18, 2020
Maximilian113
a minute ago
Iterated Digit Perfect Squares
YaoAOPS   3
N 16 minutes ago by awesomeming327.
Source: XOOK Shortlist 2025
Let $s$ denote the sum of digits function. Does there exist $n$ such that
\[
n, s(n), \dots, s^{2024}(n)
\]are all distinct perfect squares?

Proposed by YaoAops
3 replies
YaoAOPS
Feb 10, 2025
awesomeming327.
16 minutes ago
Game of Polynomials
anantmudgal09   13
N 26 minutes ago by Mathandski
Source: Tournament of Towns 2016 Fall Tour, A Senior, Problem #6
Petya and Vasya play the following game. Petya conceives a polynomial $P(x)$ having integer coefficients. On each move, Vasya pays him a ruble, and calls an integer $a$ of his choice, which has not yet been called by him. Petya has to reply with the number of distinct integer solutions of the equation $P(x)=a$. The game continues until Petya is forced to repeat an answer. What minimal amount of rubles must Vasya pay in order to win?

(Anant Mudgal)

(Translated from here.)
13 replies
anantmudgal09
Apr 22, 2017
Mathandski
26 minutes ago
Mobius function
luutrongphuc   2
N 35 minutes ago by top1vien
Consider a sequence $(a_n)$ that satisfies:
\[
\sum_{i=1}^{n} a_{\left\lfloor \frac{n}{i} \right\rfloor} = n^k
\]
Let $c$ be a positive integer. Prove that for all integers $n > 1$, we have:
\[
\frac{c^{a_n} - c^{a_{n-1}}}{n} \in \mathbb{Z}
\]
2 replies
luutrongphuc
Today at 12:14 PM
top1vien
35 minutes ago
No more topics!
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
1510 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
898 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
125 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