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
Central sequences
EeEeRUT   12
N 16 minutes ago by Ihatecombin
Source: EGMO 2025 P2
An infinite increasing sequence $a_1 < a_2 < a_3 < \cdots$ of positive integers is called central if for every positive integer $n$ , the arithmetic mean of the first $a_n$ terms of the sequence is equal to $a_n$.

Show that there exists an infinite sequence $b_1, b_2, b_3, \dots$ of positive integers such that for every central sequence $a_1, a_2, a_3, \dots, $ there are infinitely many positive integers $n$ with $a_n = b_n$.
12 replies
EeEeRUT
Apr 16, 2025
Ihatecombin
16 minutes ago
Functional Equation from IMO
prtoi   3
N 20 minutes ago by RevolveWithMe101
Source: IMO
Question: $f(2a)+2f(b)=f(f(a+b))$
Solve for f:Z-->Z
My solution:
At a=0, $f(0)+2f(b)=f(f(b))$
Take t=f(b) to get $f(0)+2t=f(t)$
Therefore, f(x)=2x+n where n=f(0)
Could someone please clarify if this is right or wrong?
3 replies
prtoi
Yesterday at 8:07 PM
RevolveWithMe101
20 minutes ago
inequality with roots
luci1337   0
38 minutes ago
Source: an exam in vietnam
let $a,b,c\geq0: a+b+c=1$
prove that $\Sigma\sqrt{a+(b-c)^2}\geq\sqrt{3}$
0 replies
luci1337
38 minutes ago
0 replies
G, L, H are collinear
Ink68   3
N 44 minutes ago by luci1337
Given an acute, non-isosceles triangle $ABC$. $B, C$ lie on a moving circle $(K)$. $(K)$ intersects $CA$ at $E$ and $BA$ at $F$. $BE, CF$ intersect at $G$. $KG, BC$ intersect at $D$. $L$ is the perpendicular image of $D$ with respect to $EF$. Prove that $G, L$ and the orthocenter $H$ are collinear.
3 replies
Ink68
2 hours ago
luci1337
44 minutes ago
Invertible Matrices
Mateescu Constantin   7
N Yesterday at 6:27 PM by CHOUKRI
Source: Romanian District Olympiad 2018 - Grade XI - Problem 1
Show that if $n\ge 2$ is an integer, then there exist invertible matrices $A_1, A_2, \ldots, A_n \in \mathcal{M}_2(\mathbb{R})$ with non-zero entries such that:

\[A_1^{-1} + A_2^{-1} + \ldots + A_n^{-1} = (A_1 + A_2 + \ldots + A_n)^{-1}.\]
Edit.
7 replies
Mateescu Constantin
Mar 10, 2018
CHOUKRI
Yesterday at 6:27 PM
A challenging sum
Polymethical_   2
N Yesterday at 6:19 PM by GreenKeeper
I tried to integrate series of log(1-x) / x
2 replies
Polymethical_
Yesterday at 4:09 AM
GreenKeeper
Yesterday at 6:19 PM
Analytic on C excluding countably many points
Omid Hatami   12
N Yesterday at 6:13 PM by alinazarboland
Source: IMS 2009
Let $ A\subset \mathbb C$ be a closed and countable set. Prove that if the analytic function $ f: \mathbb C\backslash A\longrightarrow \mathbb C$ is bounded, then $ f$ is constant.
12 replies
Omid Hatami
May 20, 2009
alinazarboland
Yesterday at 6:13 PM
2022 Putnam A2
giginori   20
N Yesterday at 6:06 PM by dragoon
Let $n$ be an integer with $n\geq 2.$ Over all real polynomials $p(x)$ of degree $n,$ what is the largest possible number of negative coefficients of $p(x)^2?$
20 replies
giginori
Dec 4, 2022
dragoon
Yesterday at 6:06 PM
fibonacci number theory
FFA21   1
N Yesterday at 2:53 PM by alexheinis
Source: OSSM Comp'25 P3 (HSE IMC qualification)
$F_n$ fibonacci numbers ($F_1=1, F_2=1$) find all n such that:
$\forall i\in Z$ and $0\leq i\leq F_n$
$C^i_{F_n}\equiv (-1)^i\pmod{F_n+1}$
1 reply
FFA21
May 14, 2025
alexheinis
Yesterday at 2:53 PM
Tough integral
Martin.s   3
N Friday at 9:42 PM by GreenKeeper
$$\int_0^{\pi/2}\ln(\tan(\theta/2))
\;\frac{4\cos\theta\cos(2\theta)}{4\sin^4\theta+1}\,d\theta.$$
3 replies
Martin.s
May 12, 2025
GreenKeeper
Friday at 9:42 PM
Integral
Martin.s   1
N Friday at 5:01 PM by Martin.s
$$\int_0^{\pi/6}\arcsin\Bigl(\sqrt{\cos(3\psi)\cos\psi}\Bigr)\,d\psi.$$
1 reply
1 viewing
Martin.s
May 14, 2025
Martin.s
Friday at 5:01 PM
integrals
FFA21   3
N Friday at 2:48 PM by Rohit-2006
Source: OSSM Comp'25 P1 (HSE IMC qualification)
Find all continuous functions $f:[1,8]\to R$ that:
$\int_1^2f(t^3)^2dt+2\int_1^2sin(t)f(t^3)dt=\frac{2}{3}\int_1^8f(t)dt-\int_1^2(t^2-sin(t))^2dt$
3 replies
FFA21
May 14, 2025
Rohit-2006
Friday at 2:48 PM
Number of roots of boundary preserving unit disk maps
Assassino9931   3
N May 16, 2025 by bsf714
Source: Vojtech Jarnik IMC 2025, Category II, P4
Let $D = \{z\in \mathbb{C}: |z| < 1\}$ be the open unit disk in the complex plane and let $f : D \to D$ be a holomorphic function such that $\lim_{|z|\to 1}|f(z)| = 1$. Let the Taylor series of $f$ be $f(z) = \sum_{n=0}^{\infty} a_nz^n$. Prove that the number of zeroes of $f$ (counted with multiplicities) equals $\sum_{n=0}^{\infty} n|a_n|^2$.
3 replies
Assassino9931
May 2, 2025
bsf714
May 16, 2025
|A/pA|<=p, finite index=> isomorphism - OIMU 2008 Problem 7
Jorge Miranda   2
N May 15, 2025 by pi_quadrat_sechstel
Let $A$ be an abelian additive group such that all nonzero elements have infinite order and for each prime number $p$ we have the inequality $|A/pA|\leq p$, where $pA = \{pa |a \in A\}$, $pa = a+a+\cdots+a$ (where the sum has $p$ summands) and $|A/pA|$ is the order of the quotient group $A/pA$ (the index of the subgroup $pA$).

Prove that each subgroup of $A$ of finite index is isomorphic to $A$.
2 replies
Jorge Miranda
Aug 28, 2010
pi_quadrat_sechstel
May 15, 2025
China 2017 TSTST1 Day 2 Geometry Problem
HuangZhen   46
N Apr 6, 2025 by ihategeo_1969
Source: China 2017 TSTST1 Day 2 Problem 5
In the non-isosceles triangle $ABC$,$D$ is the midpoint of side $BC$,$E$ is the midpoint of side $CA$,$F$ is the midpoint of side $AB$.The line(different from line $BC$) that is tangent to the inscribed circle of triangle $ABC$ and passing through point $D$ intersect line $EF$ at $X$.Define $Y,Z$ similarly.Prove that $X,Y,Z$ are collinear.
46 replies
HuangZhen
Mar 7, 2017
ihategeo_1969
Apr 6, 2025
China 2017 TSTST1 Day 2 Geometry Problem
G H J
G H BBookmark kLocked kLocked NReply
Source: China 2017 TSTST1 Day 2 Problem 5
The post below has been deleted. Click to close.
This post has been deleted. Click here to see post.
Ghoshadi
926 posts
#36 • 2 Y
Y by Adventure10, Mango247
MNZ2000 wrote:
There is very shorter solution:
Consider polar with center at $I$ and ratio $r^2$. since $X$ is on the $EF$ so its on the polar of $A$. If $P$ is point such $DP$ is tangent to incircle, $X$ is also on the polar of $P$ so pole of $X$ is $AX$
lemma: $AX$ passes through tangent point of A-exircle with $BC$ (call this point $D'$ define $E',F'$ similary.
Proof is easy :D
We shold prove polar of $X,Y,Z$ are concurent. Means prove $AD',BF',CE'$ are concurrent
And its obvious

You think $EF$ is the polar of $A$ w.r.t. the incircle?? No it's not.
This post has been edited 1 time. Last edited by Ghoshadi, Apr 9, 2018, 2:08 AM
Z K Y
The post below has been deleted. Click to close.
This post has been deleted. Click here to see post.
Ghoshadi
926 posts
#37 • 2 Y
Y by Adventure10, Mango247
ABCDE wrote:
Let $XYZ$ be the triangle formed by the three tangents. By Desargues' Theorem, it suffices to prove that $DX$, $EY$, and $FZ$ concur.
Sorry but it is not always that $DX,EY,FZ$ concur.
Z K Y
The post below has been deleted. Click to close.
This post has been deleted. Click here to see post.
madmathlover
145 posts
#39 • 2 Y
Y by Adventure10, Mango247
Let $(I)$ be the incircle of $\triangle ABC$ and let $L, M, N$ be the touchpoints of $(I)$ with $BC, CA, AB$, respectively.

Now let $L'$ be the antipode of $L$ in $(I)$ and $L_1$ be the reflection of $L$ WRT $D$. Suppose, $AL \cap EF = L_2, AL_1 \cap L_3, AD \cap EF = D'$.

$\triangle AEF$ and $\triangle ACB$ are homothetic with homothety center $A$.
So, the homothety with center $A$ and ratio $\dfrac {1} {2}$ sends $L$ to $L_2$, $L_1$ to $L_3$ and $D$ to $D'$.
So, $L_2$ is the touchpoint of the incircle of $\triangle AEF$ with $EF$.

Now, $\triangle AEF$ and $\triangle DFE$ are also homothetic with homothety center $D'$ and ratio $-1$. Since , $D'L_2 = D'L_3$, so, $L_3$ is the touchpoint of the incircle (call it $(I')$) of $\triangle DEF$ with $EF$.

Now, it is well known that $A, L', L_1$ are collinear. Now let $AL_1 \cap (I) = L_4$. Then $\angle LL_4L_1 = 90^{\circ}$. So, $DL = DL_4$ and so $L_4$ is the touchpoint of the tangent $DX$ with $(I)$.

Now $\angle XL_3L_4 = \angle L_4L_1D = \angle DL_4L_1 = \angle XL_4L_3$ $\Rightarrow$ $XL_3 = XL_4$.

So, $X$ lies on the radical axis of $(I)$ and $(I')$.
Similarly, $Y$ and $Z$ also lie on the radical axis. So $X, Y, Z$ are collinear.
Z K Y
The post below has been deleted. Click to close.
This post has been deleted. Click here to see post.
math_pi_rate
1218 posts
#40 • 2 Y
Y by Adventure10, Mango247
My solution: Let $M,N$ be the $A$-intouch and $A$-extouch points in $\triangle ABC$. Also let $DX$ meet the incircle at $T$, and $M'$ be the antipode of $M$ in the incircle. From here, we get that $M'$ and $T$ lie on $AN$, and that $D$ is the center of $\odot (MTN)$. Let $AN \cap EF = S$. Then by the homothety centered at $A$ that sends $\triangle AEF$ to $\triangle ABC$, we get that $S$ is the $A$-extouch point in $\triangle AEF$. As $AEDF$ is a parallelogram, we have that $S$ is the $D$-intouch point in $\triangle DEF$.

Now, $\angle XST=\angle DNT=\angle DTN=\angle XTS \Rightarrow XS=XT \Rightarrow X$ lies on the radical axis of the incircles of $\triangle DEF$ and $\triangle ABC$. Similarly, $Y$ and $Z$ lie on the radical axis of the incircles of $\triangle DEF$ and $\triangle ABC$. Thus, $X,Y,Z$ are collinear. $\blacksquare$
This post has been edited 1 time. Last edited by math_pi_rate, Sep 16, 2018, 3:17 PM
Z K Y
The post below has been deleted. Click to close.
This post has been deleted. Click here to see post.
Ali3085
214 posts
#41 • 4 Y
Y by Muaaz.SY, duanby, Adventure10, Mango247
here's a different approach using poles and polars:
let $R,S,T$ the tangency points and $R',S',T'$ the second tangency points from $D,E,F$
and let $X'=SS' \cap TT'$ difine $Y',Z'$ similary
$polar(E)=TT'$
$polar(F)=RR' \implies polar (X)=X'R'$
so $X,Y,Z $ are collinear is equivalent to $X'R',Y'S',Z'T'$ are concurrent which is equivalent to $X'R,Y'S,Z'T$ are concurrent
$polar(EF \cap BC ) =X'R $
but $EF \cap BC =P_{\infty BC}$
thus $I \in X'R$ similary $I \in Y'S$ $I \in Z'T$
and we win :D
Z K Y
The post below has been deleted. Click to close.
This post has been deleted. Click here to see post.
Aryan-23
558 posts
#42 • 1 Y
Y by Mango247
Quite a simple problem; yet it took me quite a while to realize the solution. :wallbash:

Solution
This post has been edited 1 time. Last edited by Aryan-23, Feb 9, 2021, 9:32 PM
Reason: Minor correction
Z K Y
The post below has been deleted. Click to close.
This post has been deleted. Click here to see post.
ACGNmath
327 posts
#43
Y by
tenplusten wrote:
Easy with Barycentre.

Indeed, easy with barycentric coordinates.
[asy]
size(10cm);
pair A = dir(110);
pair B = dir(210);
pair C = dir(330);
pair I = incenter(A,B,C);
pair A1 = foot(I,B,C);
pair E = (A+C)/2;
pair F = (A+B)/2;
pair D = (B+C)/2;
path inc = incircle(A,B,C);
pair A4 = B+C-A1;
pair A3 = foot(A1,A,A4);
pair A2 = 2*I-A1;
pair X = extension(D,A3,F,E);
draw(A--B--C--A--cycle);
draw(inc);
draw(E--F);
draw(F--X);
draw(D--X);
draw(A--A4);
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("$F$",F,dir(F));
dot("$I$",I,dir(I));
dot("$X$",X,dir(X));
dot("$A_1$",A1,dir(A1));
dot("$A_2$",A2,dir(A2));
dot("$A_3$",A3,dir(A3));
dot("$A_4$",A4,dir(A4));
[/asy]

Let $A_1$ be the point of tangency of the incircle with side $BC$, and let $A_1 A_2$ be a diameter of the incircle. Let the other tangent from $D$ to the incircle meet the incircle at $A_3$. Then $\angle A_1 A_3 A_2=90^{\circ}$. The extension of $A_2A_3$ meets the side $BC$ at a point $A_4$. It is well-known that $A_4$ is the point of tangency of the $A$-excircle with the side $BC$. Thus,
$$A_4=(0:s-b:s-c)$$Note that the displacement vector $\overrightarrow{AA_4}$ is given by
$$\left(0,\frac{s-b}{a},\frac{s-c}{a}\right)-(1,0,0)=(-a:s-b:s-c)$$
Next, we use the following fact:
Let $(l:m:n)$ be a displacement vector. Then a displacement vector perpendicular to $(l:m:n)$ is given by
$$(a^2(n-m)+(c^2-b^2)l:b^2(l-n)+(a^2-c^2)m:c^2(m-l)+(b^2-a^2)n)$$In this case, a displacement vector perpendicular to $AA_4$ is given by
$$(2a(b-c)s:-ab^2-b^2(s-c)+(a^2-c^2)(s-b):c^2a+c^2(s-b)+(b^2-a^2)(s-c))$$Simplifying, this is equal to
$$(2a(b-c):a^2-2ab-(b-c)^2:-a^2+2ac+(b-c)^2)$$Also, $A_1=(0:s-c:s-b)$. Thus, we can parametrise the line $A_1 A_3$ is
$$(2a(b-c)t:s-c+t(a^2-2ab-(b-c)^2):s-b+(-a^2+2ac+(b-c)^2))$$Substituting this into line $AA_4$ given by $-(s-c)y+(s-b)z=0$, we get that
$$t=\frac{-b+c}{a^2-ab-ac-2b^2+4bc-2c^2}=\frac{2(b-c)}{a(s-a)+4(b-c)^2}$$From this,
$$A_3=(-4(b-c)^2:(a-b)^2-c^2:(c-a)^2-b^2)=(-4(b-c)^2:-4(s-b)(s-a):-4(s-c)(s-a))=\left(\frac{(b-c)^2}{s-a}:s-b:s-c\right)$$Similarly,
$$B_3=\left(s-a:\frac{(c-a)^2}{s-b}:s-c\right)$$$$C_3=\left(s-a:s-b:\frac{(a-b)^2}{s-c}\right)$$From this, we get that $DA_3$ is
$$(s-a)x+(b-c)y+(c-b)z=0$$Since $EF$ is given by $-x+y+z=0$, we obtain
$$X=(b-c:s-c_b-s)$$Similarly,
$$Y=(c-s:c-a:s-a)$$$$Z=(s-b:a-s:a-b)$$It remains to verify that
$$\begin{vmatrix} b-c & s-c & b-s \\ c-s & c-a & s-a \\ s-b & a-s & a-b \end{vmatrix}=0$$But this is true as the sum of the three rows is the zero row.

Thus, $X$, $Y$ and $Z$ are collinear.
Z K Y
The post below has been deleted. Click to close.
This post has been deleted. Click here to see post.
spartacle
538 posts
#44 • 3 Y
Y by SK_pi3145, Aryan-23, PRMOisTheHardestExam
One line, technically
Z K Y
The post below has been deleted. Click to close.
This post has been deleted. Click here to see post.
ike.chen
1162 posts
#45 • 1 Y
Y by Rounak_iitr
Let $I$ be the incenter, the incircle touch $BC, CA, AB$ at $A_1, B_1, C_1$ respectively, the aforementioned tangents from $D, E, F$ touch the incircle at $P_1, P_2, P_3$ respectively, $H_1$ be the orthocenter of $BIC$, $Q = CI \cap BH_1$, and $R = CI \cap EF$.

Claim: $BH_1$ is the polar of $R$ (wrt the incircle).

Proof. Since $BH_1 \perp CI \equiv IR$, it suffices to show $B$ lies on the polar of $R$.

By the Iran Lemma, $A_1C_1$ passes through $R$. But $A_1C_1$ is the polar of $B$, so the desired result follows by La Hire's. $\square$

Claim: $EF$ is the polar of $H_1$.

Proof. La Hire's implies $R$ lies on the polar of $H_1$. Because $H_1I \perp BC$ and $EF \parallel BC$, we know $IH_1 \perp EF$. But $R \in EF$, so $EF$ is the polar of $H_1$, as required. $\square$

If we let $H_2, H_3$ be the orthocenters of $CIA, AIB$ respectively, then analogous reasoning implies $FD$ is the polar of $H_2$ and $DE$ is the polar of $H_3$.

Claim: $H_1P_1$ is the polar of $X$.

Proof. Trivially, $P_1$ lies on the polar of $X$.

Since $X \in EF$, i.e. the polar of $H_1$, we know $H_1$ lies on the polar of $X$ by La Hire's. $\square$

Similarly, we conclude $H_2P_2, H_3P_3$ are the polars of $Y, Z$. By the Concurrent Polars Induces Collinear Poles Lemma, it suffices to show $H_1P_1, H_2P_2, H_3P_3$ concur.

Claim: $H_1, H_2, C_1, P_3$ are collinear.

Proof. By tangency, it's easy to see $C_1P_3$ is the polar of $F$. But we've previously shown that $F$ lies on the polars of $H_1$ and $H_2$, so both orthocenters lie on the polar of $F$ by La Hire's, which suffices. $\square$

Analogously, we conclude $H_2, H_3, A_1, P_1$ and $H_3, H_1, B_1, P_2$ are also sets of collinear points.

Now, observe $H_1A_1, H_2B_1, H_3C_1$ concur at $I$. Since $P_1, P_2, P_3$ all lie on $(A_1B_1C_1)$, the desired concurrency follows from the existence of the Cyclocevian Conjugate. $\blacksquare$
Attachments:
Z K Y
The post below has been deleted. Click to close.
This post has been deleted. Click here to see post.
rcorreaa
238 posts
#46
Y by
Trigbash for the win! :coolspeak:

Let the incircle $\omega$ touch $BC$ at $P$, $CA$ at $Q$ and $AB$ at $R$. Let $D_2$ be the antipode of $P$ and $D_1= \omega \cap AD_2$. Since $AD_2$ intersects $BC$ on the touching point of $A$-excircle, and $D_1P \perp D_1D_2$, we have that $DP=DD_1$, so $DD_1$ touches $\omega$. Furthermore, $D_1QD_2R$ is a harmonic quadrilateral, so $\frac{D_1Q}{D_1R}=\frac{D_2Q}{D_2R}=\frac{sin \angle IPQ}{sin \angle IPR}=\frac{sin \frac{C}{2}}{sin \frac{B}{2}} (\star)$
By Ratio Lemma, we know that $$\frac{XF}{XE}=\frac{sin \angle XDF}{sin \angle XDE} \frac{DF}{DE}=\frac{sin \angle XDF}{sin \angle XDE}\frac{b}{c}$$Since $DF \parallel AC$, $\angle XDF= \angle D_1DF= 180º- \angle D_1IQ$, so $sin \angle XDF= sin \angle D_1IQ= \frac{D_1Q}{2r}$, where $r$ is the inradius of $ABC$. Similarly, $sin \angle XDE= \frac{D_1R}{2r} \implies \frac{sin \angle XDF}{sin \angle XDE}= \frac{D_1Q}{D_1R}$, which is equals to $\frac{sin \frac{C}{2}}{sin \frac{B}{2}}$, from $(\star)$.
Therefore, $\frac{XF}{XE}=\frac{sin \frac{C}{2}}{sin \frac{B}{2}}\frac{b}{c}$. Analogously, $\frac{YE}{YD}=\frac{sin \frac{B}{2}}{sin \frac{A}{2}}\frac{a}{b}$ and $\frac{ZD}{ZF}=\frac{sin \frac{A}{2}}{sin \frac{C}{2}}\frac{c}{a}$. Multiplying everything, we have that $$\frac{XF}{XE}.\frac{YE}{YD}.\frac{ZD}{ZF}=1$$so we are done by Menelaus' Theorem on triangle $DEF$ WRT line $XYZ$.
$\blacksquare$
Z K Y
The post below has been deleted. Click to close.
This post has been deleted. Click here to see post.
InterLoop
279 posts
#47 • 1 Y
Y by GeoKing
orz
solution
a proof of the generalisation of the problem is stated in my post 2 posts underneath this one: https://artofproblemsolving.com/community/c6h1397197p30861050
Attachments:
This post has been edited 3 times. Last edited by InterLoop, Jun 4, 2024, 8:05 PM
Z K Y
The post below has been deleted. Click to close.
This post has been deleted. Click here to see post.
GeoKing
520 posts
#48
Y by
InterLoop wrote:
orz
solution
Is the following lemma known by carnot's theorem?
Lemma:- A circle meets the interior of $BC,CA,AB$ at $A_1,A_2;B_1,B_2;C_1,C_2$ respectively. If $AA_1,BB_1,CC_1$ concur then so does $AA_2,BB_2,CC_2$ concur
Z K Y
The post below has been deleted. Click to close.
This post has been deleted. Click here to see post.
InterLoop
279 posts
#49 • 1 Y
Y by GeoKing
GeoKing wrote:
Is the following lemma known by carnot's theorem?
Lemma:- A circle meets the interior of $BC,CA,AB$ at $A_1,A_2;B_1,B_2;C_1,C_2$ respectively. If $AA_1,BB_1,CC_1$ concur then so does $AA_2,BB_2,CC_2$ concur
this is a special case! Carnot's theorem states that even if any six points as defined above lie on a conic, the relation holds :D

anyways, here is a proof of a generalisation of the problem (instead of the medial triangle, consider any cevian triangle).

generalisation
This post has been edited 1 time. Last edited by InterLoop, Jun 4, 2024, 8:03 PM
Z K Y
The post below has been deleted. Click to close.
This post has been deleted. Click here to see post.
bin_sherlo
731 posts
#50 • 1 Y
Y by tiny_brain123
Change the tangency points to $D,E,F$ and midpoints to $M,N,P$. Let $D',E',F'$ be the antipodes of $D,E,F$ on the incircle. Let $AD',BE',CF'$ meet the incircle at $T_D,T_E,T_F$ for second time. Note that $MT_D,NT_E,PT_F$ are tangent to incircle by homothety. In order to use menelaus,
\[\Pi{(\frac{XN}{XP})}=\Pi{(\frac{\frac{\sin NMT_D.MN}{\sin MXN}}{\frac{\sin PMT_D.MP}{\sin MXN}})}=\Pi{(\frac{\sin MNT_D}{\sin PMT_D})}.\Pi{(\frac{MN}{MP})}=1\]We observe that $\Pi{(\frac{MN}{MP})}=1$.
\[\Pi{(\frac{\sin MNT_D}{\sin PMT_D})}=\Pi{(\frac{\sin FIT_D}{\sin EIT_D})}=\Pi{(\frac{T_DF}{T_DE})}=\Pi{(\frac{\sin FD'A}{\sin AD'E})}=\Pi{(\frac{AF.\frac{\sin \frac{B}{2}}{AD'}}{AE.\frac{\sin \frac{C}{2}}{AD'}})}=1\]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.
ihategeo_1969
236 posts
#51
Y by
Replace $\triangle DEF$ with $\triangle M_AM_BM_C$.

All pole-polars in the proof will be with respect to $\omega$. Define some new points.
  • Let $\triangle DEF$ be the intouch triangle.
  • Let $D_1=2I-D$ and $D_2=\overline{AD_1} \cap \omega$. Then $\overline{M_AD_2}$ is tangent to $\omega$ is well known. Define $E_1$, $E_2$, $F_1$, $F_2$.
  • Let $H_A$ be orthocenter of $\triangle BIC$. Define $H_B$, $H_C$ similarly.
See that pole of $A$-midline is $\overline{FF_2} \cap \overline{EE_2}$ and similar.

Claim: $H_A$ is $\overline{EE_2} \cap \overline{FF_2}$.
Proof: We want to prove $H_A$ is pole of $A$-midline.

Let $U=\overline{BI} \cap \overline{EF}$ and $V=\overline{CI} \cap \overline{EF}$ for lack of better names. Then by Iran Lemma, we have $H_A=\overline{BV} \cap \overline{CU}$.

Now by countless La Hires, we want to show that $(AB) \cap \overline{DE}$ and $(AC) \cap \overline{DF}$ is the $A$-midline which is just Iran Lemma again. $\square$

Now $\overline{H_AD} \perp \overline{BC}$ and hence $I$ lies on $\overline{H_AD}$. Similarly it lies on $\overline{H_BE}$ and $\overline{H_CF}$.

We want to prove $\overline{H_AD_2}$, $\overline{H_BE_2}$, $\overline{H_CF_2}$ concurrent and now see that \begin{align*}
& \frac{F_2H_A}{F_2H_B} \cdot \frac{D_2H_B}{D_2H_C} \cdot \frac{E_2H_C}{E_2H_A} 
 =  \frac{\operatorname{Pow}(H_B,\omega)}
{\operatorname{Pow}(H_A,\omega)} \cdot \frac{F_2H_A}{F_2H_B} \cdot \frac{\operatorname{Pow}(H_C,\omega)}{\operatorname{Pow}(H_B,\omega)} \frac{D_2H_B}{D_2H_C} \cdot \frac{\operatorname{Pow}(H_A,\omega)}{\operatorname{Pow}(H_C,\omega)} \cdot \frac{E_2H_C}{E_2H_A} 
=  \frac{FH_B}{FH_A} \cdot \frac{DH_C}{DH_B} \cdot \frac{EH_C}{EH_A} \overset{\text{Ceva}}= 1
\end{align*}Now we are done by converse of Ceva. Taking the dual of this, we get $X$, $Y$, $Z$ collinear.
Z K Y
N Quick Reply
G
H
=
a