We have your learning goals covered with Spring and Summer courses available. Enroll today!

G
Topic
First Poster
Last Poster
Not so classic orthocenter problem
m4thbl3nd3r   4
N 12 minutes ago by hanzo.ei
Source: own?
Let $O$ be circumcenter of a non-isosceles triangle $ABC$ and $H$ be a point in the interior of $\triangle ABC$. Let $E,F$ be foots of perpendicular lines from $H$ to $AC,AB$. Suppose that $BCEF$ is cyclic and $M$ is the circumcenter of $BCEF$, $HM\cap AB=K,AO\cap BE=T$. Prove that $KT$ bisects $EF$
4 replies
m4thbl3nd3r
Yesterday at 4:59 PM
hanzo.ei
12 minutes ago
Chile TST IMO prime geo
vicentev   4
N 22 minutes ago by Retemoeg
Source: TST IMO CHILE 2025
Let \( ABC \) be a triangle with \( AB < AC \). Let \( M \) be the midpoint of \( AC \), and let \( D \) be a point on segment \( AC \) such that \( DB = DC \). Let \( E \) be the point of intersection, different from \( B \), of the circumcircle of triangle \( ABM \) and line \( BD \). Define \( P \) and \( Q \) as the points of intersection of line \( BC \) with \( EM \) and \( AE \), respectively. Prove that \( P \) is the midpoint of \( BQ \).
4 replies
vicentev
Today at 2:35 AM
Retemoeg
22 minutes ago
Cute orthocenter geometry
MarkBcc168   77
N 24 minutes ago by ErTeeEs06
Source: ELMO 2020 P4
Let acute scalene triangle $ABC$ have orthocenter $H$ and altitude $AD$ with $D$ on side $BC$. Let $M$ be the midpoint of side $BC$, and let $D'$ be the reflection of $D$ over $M$. Let $P$ be a point on line $D'H$ such that lines $AP$ and $BC$ are parallel, and let the circumcircles of $\triangle AHP$ and $\triangle BHC$ meet again at $G \neq H$. Prove that $\angle MHG = 90^\circ$.

Proposed by Daniel Hu.
77 replies
MarkBcc168
Jul 28, 2020
ErTeeEs06
24 minutes ago
Sharygin CR P20
TheDarkPrince   37
N an hour ago by E50
Source: Sharygin 2018
Let the incircle of a nonisosceles triangle $ABC$ touch $AB$, $AC$ and $BC$ at points $D$, $E$ and $F$ respectively. The corresponding excircle touches the side $BC$ at point $N$. Let $T$ be the common point of $AN$ and the incircle, closest to $N$, and $K$ be the common point of $DE$ and $FT$. Prove that $AK||BC$.
37 replies
TheDarkPrince
Apr 4, 2018
E50
an hour ago
Gheorghe Țițeica 2025 Grade 7 P3
AndreiVila   1
N an hour ago by Rainbow1971
Source: Gheorghe Țițeica 2025
Out of all the nondegenerate triangles with positive integer sides and perimeter $100$, find the one with the smallest area.
1 reply
AndreiVila
Yesterday at 8:41 PM
Rainbow1971
an hour ago
Gheorghe Țițeica 2025 Grade 9 P3
AndreiVila   1
N 2 hours ago by AlgebraKing
Source: Gheorghe Țițeica 2025
Consider the plane vectors $\overrightarrow{OA_1},\overrightarrow{OA_2},\dots ,\overrightarrow{OA_n}$ with $n\geq 3$. Suppose that the inequality $$\big|\overrightarrow{OA_1}+\overrightarrow{OA_2}+\dots +\overrightarrow{OA_n}\big|\geq \big|\pm\overrightarrow{OA_1}\pm\overrightarrow{OA_2}\pm\dots \pm\overrightarrow{OA_n}\big|$$takes place for all choiches of the $\pm$ signs. Show that there exists a line $\ell$ through $O$ such that all points $A_1,A_2,\dots ,A_n$ are all on one side of $\ell$.

Cristi Săvescu
1 reply
AndreiVila
Yesterday at 9:16 PM
AlgebraKing
2 hours ago
Two circles are tangents in a triangles with angle 60
nAalniaOMliO   1
N 2 hours ago by sunken rock
Source: Belarusian National Olympiad 2025
In a triangle $ABC$ angle $\angle BAC = 60^{\circ}$. Point $M$ is the midpoint of $BC$, and $D$ is the foot of altitude from point $A$. Points $T$ and $P$ are marked such that $TBD$ is equilateral, and $\angle BPD=\angle DPC = 30^{\circ}$ and this points lie in the same half-plane with respect to $BC$, not in the same as $A$.
Prove that the circumcircles of $ADP$ and $AMT$ are tangent.
1 reply
nAalniaOMliO
Yesterday at 8:27 PM
sunken rock
2 hours ago
Gheorghe Țițeica 2025 Grade 8 P3
AndreiVila   1
N 2 hours ago by sunken rock
Source: Gheorghe Țițeica 2025
Two regular pentagons $ABCDE$ and $AEKPL$ are given in space, such that $\angle DAK = 60^{\circ}$. Let $M$, $N$ and $S$ be the midpoints of $AE$, $CD$ and $EK$. Prove that:
[list=a]
[*] $\triangle NMS$ is a right triangle;
[*] planes $(ACK)$ and $(BAL)$ are perpendicular.
[/list]
Ukraine Olympiad
1 reply
AndreiVila
Yesterday at 9:00 PM
sunken rock
2 hours ago
Geometry Problem in Taiwan TST
chengbilly   3
N 3 hours ago by Hakurei_Reimu
Source: 2025 Taiwan TST Round 2 Independent Study 2-G
Given a triangle $ABC$ with circumcircle $\Gamma$, and two arbitrary points $X, Y$ on $\Gamma$. Let $D$, $E$, $F$ be points on lines $BC$, $CA$, $AB$, respectively, such that $AD$, $BE$, and $CF$ concur at a point $P$. Let $U$ be a point on line $BC$ such that $X$, $Y$, $D$, $U$ are concyclic. Similarly, let $V$ be a point on line $CA$ such that $X$, $Y$, $E$, $V$ are concyclic, and let $W$ be a point on line $AB$ such that $X$, $Y$, $F$, $W$ are concyclic. Prove that $AU$, $BV$, $CW$ concur at a single point.

Proposed by chengbilly
3 replies
chengbilly
Mar 27, 2025
Hakurei_Reimu
3 hours ago
Proving ZA=ZB
nAalniaOMliO   3
N 3 hours ago by nAalniaOMliO
Source: Belarusian National Olympiad 2025
Point $H$ is the foot of the altitude from $A$ of triangle $ABC$. On the lines $AB$ and $AC$ points $X$ and $Y$ are marked such that the circumcircles of triangles $BXH$ and $CYH$ are tangent, call this circles $w_B$ and $w_C$ respectively. Tangent lines to circles $w_B$ and $w_C$ at $X$ and $Y$ intersect at $Z$.
Prove that $ZA=ZH$.
3 replies
nAalniaOMliO
Yesterday at 8:36 PM
nAalniaOMliO
3 hours ago
orz otl fr
Hip1zzzil   5
N 3 hours ago by LoloChen
Source: FKMO 2025 P3
An acute triangle $\bigtriangleup ABC$ is given.
$I$ is the interior and the incircle of $\bigtriangleup ABC$ meets $BC, CA, AB$ at $D,E,F$. $AD$ and $BE$ meet at $P$. Let $l_{1}$ be a tangent from D to the circumcircle of $\bigtriangleup DIP$, and define $l_{2}$ and $l_{3}$ on $E$ and $F$, respectively.
Prove $l_{1},l_{2},l_{3}$ meet at one point.
5 replies
Hip1zzzil
Today at 10:23 AM
LoloChen
3 hours ago
Geometry with known distances
nAalniaOMliO   1
N 4 hours ago by RagvaloD
Source: Belarusian National Olympiad 2025
In a rectangle $ABCD$ two not intersecting circles $\omega_1$ and $\omega_2$ are drawn such that $\omega_1$ is tangent to $AB$ and $AD$ at points $P$ and $S$ respectively, and $\omega_2$ is tangent to $CB$ and $CD$ at $T$ and $Q$ respectively. It is known that $PQ=11, ST=10, BD=14$.
Find the distance between centers of circles $\omega_1$ and $\omega_2$.
1 reply
nAalniaOMliO
Yesterday at 8:18 PM
RagvaloD
4 hours ago
Two problems for Vietnam IMO team
buratinogigle   26
N Jun 15, 2023 by LoloChen
Source: Own
I plan to use these two problems to train the Vietnam IMO team this afternoon. Enjoy!

Problem 1. Let $ABC$ be a triangle inscribed in circle $\omega$. Bisector of $\angle BAC$ meets $\omega$ again at $P$. Let $AD$ be the symmedian of triangle $ABC$ ($D$ lies on $BC$). Let $M$ and $N$ be the point on lines $BC$ such that $\angle MAN=\angle BAC$ and $AM=AN$. Prove that line $PN$ goes through circumcenter of triangle $AMN$.

Problem 2. Let $ABC$ be a triangle with incircle $(I)$. $(I)$ touches $BC$, $CA$, $AB$ at $D$, $E$, $F$, respectively. $AD$ meets $(I)$ again at $P$. Circle $(K)$ passes through $A$ and is tangent to $(I)$ at $P$. Define similarly circles $(L)$ and $M$. Prove that centroid of triangle $KLM$ lies on the line $IN$ where $N$ is the nine-point center of triangle $ABC$.
26 replies
buratinogigle
May 9, 2023
LoloChen
Jun 15, 2023
Two problems for Vietnam IMO team
G H J
G H BBookmark kLocked kLocked NReply
Source: Own
The post below has been deleted. Click to close.
This post has been deleted. Click here to see post.
buratinogigle
2317 posts
#1 • 4 Y
Y by PRMOisTheHardestExam, Danielzh, LoloChen, PeterZeus
I plan to use these two problems to train the Vietnam IMO team this afternoon. Enjoy!

Problem 1. Let $ABC$ be a triangle inscribed in circle $\omega$. Bisector of $\angle BAC$ meets $\omega$ again at $P$. Let $AD$ be the symmedian of triangle $ABC$ ($D$ lies on $BC$). Let $M$ and $N$ be the point on lines $BC$ such that $\angle MAN=\angle BAC$ and $AM=AN$. Prove that line $PN$ goes through circumcenter of triangle $AMN$.

Problem 2. Let $ABC$ be a triangle with incircle $(I)$. $(I)$ touches $BC$, $CA$, $AB$ at $D$, $E$, $F$, respectively. $AD$ meets $(I)$ again at $P$. Circle $(K)$ passes through $A$ and is tangent to $(I)$ at $P$. Define similarly circles $(L)$ and $M$. Prove that centroid of triangle $KLM$ lies on the line $IN$ where $N$ is the nine-point center of triangle $ABC$.
Attachments:
Z K Y
The post below has been deleted. Click to close.
This post has been deleted. Click here to see post.
trinhquockhanh
522 posts
#2 • 4 Y
Y by buratinogigle, PRMOisTheHardestExam, GeoKing, nguyenducmanh2705
In problem 1, I think it should be "Prove that: line $PD$ goes through the circumcenter of triangle $AMN$"
https://i.ibb.co/Xs18D6r/VN-IMO-Training-P1.png
This post has been edited 2 times. Last edited by trinhquockhanh, May 9, 2023, 6:27 AM
Reason: .
Z K Y
The post below has been deleted. Click to close.
This post has been deleted. Click here to see post.
keglesnit
176 posts
#3 • 2 Y
Y by PRMOisTheHardestExam, GeoKing
Solution to problem 1:
Let $Q$ be the midpoint of arc $BAC$, line $AQ$ intersects $BC$ and $(AMN)$ at $R$ and $A'$.
Claim. $A'NMA\sim ABCQ$.
Proof. It suffices to show that $A'NM\sim ABC$. But this is evident since $\angle NA'M=\angle NAM=\angle BAC$ and $\angle A'MN=A'AN=\angle BAC$ where we have used $AN\parallel BQ$.

Let $K$ be the midpoint of $BC$.
Now from the claim we get $R$ is the center of homothety of $(A'NMA)$ and $(ABCQ)$. Let $P'$ be the midpoint of minor arc $MN$. Then $R$, $P$, and $P'$ are colinear. Finishing up,
$$(A,P';AP'\cap DP,\infty_{\perp BC})\overset{P}{=}(AP\cap BC,R;D,K)\overset{A}{=}(AP,AQ;AD',AK)=-1$$so $J$ is the midpoint of $AP'$ - that is the circumcenter of $(AMN)$.
Z K Y
The post below has been deleted. Click to close.
This post has been deleted. Click here to see post.
PRMOisTheHardestExam
409 posts
#4
Y by
very beautiful problems :)
Z K Y
The post below has been deleted. Click to close.
This post has been deleted. Click here to see post.
Paramizo_Dicrominique
275 posts
#5 • 1 Y
Y by GeoKing
Inversion centered at $A$ radius $\sqrt{AB \cdot AC}$ then reflects over $AI$ we get part $a)$ of the below problem:
Attachments:
This post has been edited 1 time. Last edited by Paramizo_Dicrominique, May 12, 2023, 2:05 PM
Z K Y
The post below has been deleted. Click to close.
This post has been deleted. Click here to see post.
Paramizo_Dicrominique
275 posts
#6 • 1 Y
Y by GeoKing
Here is the sol:
I will rename some points as seen in the picture
Using my solution for the problem below (some sol there is wrong so see my sol):
https://artofproblemsolving.com/community/u1002506h3021469p27165678
By the problem in front, let $\omega_b,\omega_c$ cut $AB,AC$ at $B_1,C_1$. So $\triangle{BB_1W} \sim \triangle{C_1CT} \sim \triangle{BCA} \sim \triangle{S_2S_1A}$ with $\omega_a$ cut $AB,AC$ at $S_1,S_2$.
Let $O$ be the circumcenter. $H$ be the orthocenter, by homothety we can easily prove $AA',BB',CC'$ concur at $H$ since they are parallel to $ID,IE,IF$ ($AA',BB',CC'$ are diameters of $\omega_a,\omega_b,\omega_c$)
Relabel the centers to be $Q,J,S$ .So as proved in the link ,if we let $\omega_b,\omega_c$ cut $BC$ at $W,T$ so $D$ is the midpoint of $WT$. Let $R$ be the midpoint of $JS$. Reflects $O$ over $R$ to get $K$. $M$ midpoint $BC$.
We will prove $K$ lie on $ID$ or $UD = MV \Longleftrightarrow DT + UW = MT + TV \Longleftrightarrow DM + UW = TV \Longleftrightarrow 2DM + BW = TC$ which is true by $D$ midpoint $UV$.
Since $N$ is the midpoint of $OH$ so $2NR = HK$ and $HK//NR$ we will prove $QHKI$ is a parallelogram in order to prove the problem (from the centroid statement).
Since $QH//IK$ so we need $IK=QH$.
(To be continued...)
Attachments:
This post has been edited 6 times. Last edited by Paramizo_Dicrominique, May 19, 2023, 10:43 AM
Z K Y
The post below has been deleted. Click to close.
This post has been deleted. Click here to see post.
Paramizo_Dicrominique
275 posts
#7 • 1 Y
Y by GeoKing
Yesterday it was too late and i was tired so i couldn't complete the sol yet, here is the conclusion part:

We define $G_1,H_1$ similar with $R$ .We define $O_1',O_2'$ similar with $K$ so $O_1',O_2'$ lie on $IE,IF$.
By homothety we have $\triangle{QJS} \overset{\frac{-1}{2}}{\longrightarrow} \triangle{RG_1H_1} \overset{2}{\longrightarrow} \triangle{KO_1'O_2'}$
so that $\triangle{KO_1'O_2'} \cong \triangle{QJS}$. Since $ID,QH \perp BC$ so $IK//QH$, similarly $IO_1'//JH$ and $IO_2'//SH$ so combining $\triangle{KO_1'O_2'} \cong \triangle{QJS}$ we get $QH = IK , JH = IO_1' , SH = IO_2'$ so we are done.

$Q.E.D.$
Attachments:
This post has been edited 1 time. Last edited by Paramizo_Dicrominique, May 13, 2023, 7:09 AM
Z K Y
The post below has been deleted. Click to close.
This post has been deleted. Click here to see post.
buratinogigle
2317 posts
#8 • 1 Y
Y by Nurmuhammad06
Proof of Problem 1. Ignore the trivial case of $AB=AC$. Assume that $AB<AC$. Let $PQ$ be the diameter of $\omega$. Let $O$ be the center of $\omega$. $AQ$ meets $BC$ at $S$. Tangents at $B$ and $C$ of $\omega$ meet at $T$. Let $R$ be the midpoint of $BC$. $AJ$ cuts $BC$ at $H$. Easily seen, the homothety center $S$ swap triangle $QBC$ to triangle $AMN$ so it swaps $O$ to $J$ or $S,J,O$ are collinear. By Thales theorem and using the signed length of segments, we have
$$\frac{JH}{AH}=\frac{OR}{QR}=\frac{RC^2/RT}{RC^2/RP}=\frac{RP}{RT}.$$From $A$, $D$, $T$ are collinear, we deduce that $J,D,P$ are are collinear.
Attachments:
Z K Y
The post below has been deleted. Click to close.
This post has been deleted. Click here to see post.
buratinogigle
2317 posts
#9
Y by
Proof for problem 2. Take circumcircle of $ABC$ be the unit circle in the complex plane with $$A(a^2),B(b^2),C(c^2).$$We get $i=-(ab+bc+ca)$. Hence,
$$d=\frac{ab^{2} + ac^{2} + bc^{2} - a^{2}b - a^{2}c + b^{2}c}{2a},$$$$e=\frac{-ab^{2} + ac^{2} + bc^{2} + a^{2}b + a^{2}c - b^{2}c}{2b},$$and
$$f=\frac{ab^{2} - ac^{2} - bc^{2} + a^{2}b + a^{2}c + b^{2}c}{2c}.$$Circle $(I)$ has equation
$$(z-i)(\bar z-\bar i)=(d-i)(\bar d-\bar i).$$We get intersections $P$, $Q$, $R$ of $AD$, $BE$, $CF$, respectively, with $(I)$ have coordinates
$$p=\frac{2a^{3}b + 2a^{3}c - a^{2}b^{2} - 2a^{2}bc - a^{2}c^{2} - ab^{3} + ab^{2}c + abc^{2} - ac^{3} - b^{3}c + 2b^{2}c^{2} - bc^{3}}{2\left(ab + ac - 2bc \right)},$$$$q=\frac{-a^{3}b - a^{3}c - a^{2}b^{2} + a^{2}bc + 2a^{2}c^{2} + 2ab^{3} - 2ab^{2}c + abc^{2} - ac^{3} + 2b^{3}c - b^{2}c^{2} - bc^{3}}{2\left(ab - 2ac + bc \right)},$$and
$$r=\frac{a^{3}b + a^{3}c - 2a^{2}b^{2} - a^{2}bc + a^{2}c^{2} + ab^{3} - ab^{2}c + 2abc^{2} - 2ac^{3} + b^{3}c + b^{2}c^{2} - 2bc^{3}}{2\left(2ab - ac - bc \right)}.$$From this $K$ is the intersection of line $IP$ and the perpendicular bisector of $AP$, $K$ has coordinates
$$k=\frac{-\left(b^{3}a + b^{3}c + b^{2}a^{2} - b^{2}ac - 2b^{2}c^{2} - 4ba^{3} + 2ba^{2}c - bac^{2} + bc^{3} + 4a^{4} - 4a^{3}c + a^{2}c^{2} + ac^{3} \right)}{4\left(a - c \right)\left(b - a \right)}.$$Similarly, we get
$$l=\frac{-a^{3}b - a^{3}c - a^{2}b^{2} + a^{2}bc + 2a^{2}c^{2} + 4ab^{3} - 2ab^{2}c + abc^{2} - ac^{3} - 4b^{4} + 4b^{3}c - b^{2}c^{2} - bc^{3}}{4\left(b - c \right)\left(a - b \right)}$$and
$$m=\frac{a^{3}b + a^{3}c - 2a^{2}b^{2} - a^{2}bc + a^{2}c^{2} + ab^{3} - ab^{2}c + 2abc^{2} - 4ac^{3} + b^{3}c + b^{2}c^{2} - 4bc^{3} + 4c^{4}}{4\left(b - c \right)\left(a - c \right)}.$$Now centroid $J$ of triangle $KLM$ has coordinates
$$j=\frac{k+l+m}{3}=\frac{a^{2} - ab - ac + b^{2} - bc + c^{2}}{3}.$$Thus, we get
$$\frac{j-i}{n-i}=\frac{2}{3}$$which is a real number. This means $J$ lies on the line $IN$ also $\frac{IJ}{IN}=\frac{2}{3}$.
Z K Y
The post below has been deleted. Click to close.
This post has been deleted. Click here to see post.
buratinogigle
2317 posts
#10 • 2 Y
Y by GeoKing, Paramizo_Dicrominique
Continue with two problems

Problem 3 (Proposed by Buratino, a generalization of P3 Class 11 Moscow Mathematical Olympiad 2023). Let $ABCD$ be a quadrilateral inscribed in circle $(O)$. Two diagonals $AC$ and $BD$ meet at $P$. Construct two similar isosceles triangles $BCE$ and $ADF$ outside $ABCD$ ($FA=FD, EB=EC$). Let $\alpha$ and $\beta$ be the incircles of $AODF$ and $BOCE$, respectively. Prove that internal tangents of $\alpha$ and $\beta$ are concurrent with line $OP$.

Problem 4 (Proposed by Buratino). Let $ABCD$ be a square. Let $M$ and $N$ be the midpoints of $AB$ and $AD$, respectively. $CM$ cuts $BN$ at $P$. Circle $\omega$ passes through $D$ and two Fermat points of triangle $PAN$. Radical axis of $\omega$ and $(APN)$ meets $AD$ at $X$. Prove that $AD=8NX$.
Attachments:
Z K Y
The post below has been deleted. Click to close.
This post has been deleted. Click here to see post.
Paramizo_Dicrominique
275 posts
#11 • 2 Y
Y by GeoKing, buratinogigle
I think the statement of two isosceles similar triangle is unnecessary.
$\textbf{Solution:}$

Let $I,J$ be the centers of the two pinky circles called $\omega_1,\omega_2$. $IJ$ cut $PO$ at $X$. To solve the problem our task is to prove $\frac{XI}{XJ} = \frac{R_{\omega_1}}{R_{\omega_2}}$.
Let $IS,JT \perp OA,OB$ at $S,T$.
We need $\frac{XI}{XJ} = \frac{R_{\omega_1}}{R_{\omega_2}} = \frac{IS}{JT}$
We have $\frac{XI}{XJ} = \frac{sin(POI)}{sin(POJ)} \cdot \frac{OI}{OJ}$
So we will show $\frac{sin(POI)}{sin(POJ)} \cdot \frac{OI}{OJ} = \frac{IS}{JT}$ $\Longleftrightarrow \frac{sin(POI)}{sin(POJ)} = \frac{IS}{IO} \cdot \frac{JO}{JT} = \frac{sin(SOI)}{sin(JOT)} = \frac{sin(ACD)}{sin(BDC)} \Longleftrightarrow \frac{sin(POI)}{sin(POJ)} \cdot \frac{sin(ACD)}{sin(BDC)}  = 1 $.
Let the perpendicular from $P$ to $PO$ cut $AD,BC$ at $X',Y'$ so $\frac{sin(POI)}{sin(POJ)} = \frac{sin(PX'E)}{sin(PY'E)} = \frac{EY'}{EX'}$. Also $\frac{sin(ACD)}{sin(BDC)} = \frac{PC}{PD} = \frac{BC}{AD}$
We are now left to prove $\frac{EY'}{EX'} = \frac{BC}{AD}$ which is true since $\triangle{WAB} \sim \triangle{EX'Y'}$ with $W$ is the Miquel point of $ABCD$.

$Q.E.D.$
Attachments:
This post has been edited 6 times. Last edited by Paramizo_Dicrominique, May 14, 2023, 6:46 AM
Z K Y
The post below has been deleted. Click to close.
This post has been deleted. Click here to see post.
buratinogigle
2317 posts
#12 • 1 Y
Y by Vnmboyacgn
Paramizo_Dicrominique wrote:
I think the statement of two isosceles similar triangle is unnecessary.

That's right thanks. $\alpha$ and $\beta$ can be two arbitrary circles that are tangent to $\angle BOC$ and $\angle AOD$. Here is a proof without the law of sine. This solution is based on the idea of the original proof.

Let $K$ and $L$ be the centers of $\alpha$ and $\beta$, respectively. Let $X$ be the insimilicenter of $(K)$ and $(L)$. Let $S$ and $T$ be the projections of $P$ on the lines $AD$ and $BC$, respectively. Let $M$ and $N$ be the midpoints of $AD$ and $BC$, respectively. Let $Q$ and $R$ be the tangent points of $\alpha$ and $\beta$ with $OA$ and $OB$, respectively. We have
$$\frac{d(X,OK)}{d(X,OL)}=\frac{2[XOK]/OK}{2[XOL]/OL}=\frac{OL}{OK}\cdot\frac{[XOK]}{[XOL]}=\frac{OL}{OK}\cdot\frac{XK}{XL}=\frac{OL}{OK}\cdot\frac{R_K}{R_L}=\frac{OL}{OK}\cdot\frac{KQ}{LR}=\frac{OB}{BN}\cdot\frac{AM}{OA}=\frac{AD}{BC}=\frac{SM}{TN}=\frac{d(P,OK)}{d(P,OL)}.$$Where $R_K$ and $R_L$ are radius of $\alpha$ and $\beta$, respectively. From this, we easily see $P$, $X$, and $O$ are collinear.
Attachments:
Z K Y
The post below has been deleted. Click to close.
This post has been deleted. Click here to see post.
buratinogigle
2317 posts
#13
Y by
buratinogigle wrote:
Paramizo_Dicrominique wrote:
I think the statement of two isosceles similar triangle is unnecessary.

That's right thanks. $\alpha$ and $\beta$ can be two arbitrary circles that are tangent to $\angle BOC$ and $\angle AOD$. Here is a proof without the law of sine. This solution is based on the idea of the original proof.

Let $K$ and $L$ be the centers of $\alpha$ and $\beta$, respectively. Let $X$ be the insimilicenter of $(K)$ and $(L)$. Let $S$ and $T$ be the projections of $P$ on the lines $AD$ and $BC$, respectively. Let $M$ and $N$ be the midpoints of $AD$ and $BC$, respectively. Let $Q$ and $R$ be the tangent points of $\alpha$ and $\beta$ with $OA$ and $OB$, respectively. We have
$$\frac{d(X,OK)}{d(X,OL)}=\frac{2[XOK]/OK}{2[XOL]/OL}=\frac{OL}{OK}\cdot\frac{[XOK]}{[XOL]}=\frac{OL}{OK}\cdot\frac{XK}{XL}=\frac{OL}{OK}\cdot\frac{R_K}{R_L}=\frac{OL}{OK}\cdot\frac{KQ}{LR}=\frac{OB}{BN}\cdot\frac{AM}{OA}=\frac{AD}{BC}=\frac{SM}{TN}=\frac{d(P,OK)}{d(P,OL)}.$$Where $R_K$ and $R_L$ are radius of $\alpha$ and $\beta$, respectively. From this, we easily see $P$, $X$, and $O$ are collinear.

Base on this solution, we can generalize this problem as follows

Let $ABCD$ be a quadrilateral (not necessarily convex). Let $P$ be the intersection of the perpendicular bisector of $AD$ and $BC$. Let $\alpha$ and $\beta$ be two circles that are tangent to $\angle APD$ and $\angle BPC$. Let $Q$ and $R$ be the points on rat $PA$ and $PB$ such that $PQ=PR$. Let $S$ be the point such that $QS\perp AD$ and $RS\perp CB$. Prove that insimilicenter of $\alpha$ and $\beta$ lies on the line $PS$.

Note that. When $P$ is the circumcenter of $ABCD$ the lines $PS$ and $AC,BD$ are concurrent.

We may not need $P$ to be the intersection of two perpendicular bisectors for the insimimilcenter of $\alpha$ and $\beta$ to lie on a fixed line (when either circles $\alpha$ or $\beta$ change). This configuration has been discussed here (also a problem of mine in XVII Sharygin Geometry Olympiad).
Attachments:
This post has been edited 1 time. Last edited by buratinogigle, May 14, 2023, 9:16 AM
Z K Y
The post below has been deleted. Click to close.
This post has been deleted. Click here to see post.
buratinogigle
2317 posts
#14
Y by
buratinogigle wrote:
I plan to use these two problems to train the Vietnam IMO team this afternoon. Enjoy!

Problem 1. Let $ABC$ be a triangle inscribed in circle $\omega$. Bisector of $\angle BAC$ meets $\omega$ again at $P$. Let $AD$ be the symmedian of triangle $ABC$ ($D$ lies on $BC$). Let $M$ and $N$ be the point on lines $BC$ such that $\angle MAN=\angle BAC$ and $AM=AN$. Prove that line $PN$ goes through circumcenter of triangle $AMN$.

A proof of my student (class 9) for this problem.

Since $AT$ is the symmedian, easily seen $AP$ is the bisector of $\angle RAT$. Also $\triangle OAR\sim\triangle OTA$ (because $OA^2=OB^2=OR\cdot OT$) and $\triangle OBR\sim\triangle JNH$ (a.a), so
$$\frac{PR}{PT}=\frac{AR}{AT}=\frac{OR}{OA}=\frac{OR}{OB}=\frac{JH}{JN}=\frac{JH}{JA}.$$We are done.
Attachments:
Z K Y
The post below has been deleted. Click to close.
This post has been deleted. Click here to see post.
buratinogigle
2317 posts
#15 • 3 Y
Y by GeoKing, Thudi, LoloChen
I plan to use this problem to train the Vietnam IMO team tomorrow. Enjoy!

Problem 5. Let $ABC$ be a triangle with incircle $(I)$. A circle passes through $B$ and $C$ that is tangent to $(I)$ at $X$. Circle $\omega_a$ passes through $A$ and is tangent to $(I)$ at $X$. Define similarly the circles $\omega_b$ and $\omega_c$. Let $P$ be the radical center of $\omega_a$, $\omega_b$, and $\omega_c$. Let $H$ and $Ge$ be the orthocenter and Gergonne point of triangle $ABC$. Line $PGe$ cuts line $IH$ at $Q$. Prove that $QI=2QH$.
Attachments:
Z K Y
The post below has been deleted. Click to close.
This post has been deleted. Click here to see post.
guywholovesmathandphysics
44 posts
#16
Y by
buratinogigle wrote:
I plan to use this problem to train the Vietnam IMO team tomorrow. Enjoy!

Problem 5. Let $ABC$ be a triangle with incircle $(I)$. A circle passes through $B$ and $C$ that is tangent to $(I)$ at $X$. Circle $\omega_a$ passes through $A$ and is tangent to $(I)$ at $X$. Define similarly the circles $\omega_b$ and $\omega_c$. Let $P$ be the radical center of $\omega_a$, $\omega_b$, and $\omega_c$. Let $H$ and $Ge$ be the orthocenter and Gergonne point of triangle $ABC$. Line $PGe$ cuts line $IH$ at $Q$. Prove that $QI=2QH$.

how hard do you think this problem is?(mohs) if it is too hard, i don't want to spend much time
Z K Y
The post below has been deleted. Click to close.
This post has been deleted. Click here to see post.
nervy
415 posts
#17 • 2 Y
Y by buratinogigle, GeoKing
buratinogigle wrote:
Continue with two problems

Problem 3 (Proposed by Buratino, a generalization of P3 Class 11 Moscow Mathematical Olympiad 2023). Let $ABCD$ be a quadrilateral inscribed in circle $(O)$. Two diagonals $AC$ and $BD$ meet at $P$. Construct two similar isosceles triangles $BCE$ and $ADF$ outside $ABCD$ ($FA=FD, EB=EC$). Let $\alpha$ and $\beta$ be the incircles of $AODF$ and $BOCE$, respectively. Prove that internal tangents of $\alpha$ and $\beta$ are concurrent with line $OP$.

Problem 4 (Proposed by Buratino). Let $ABCD$ be a square. Let $M$ and $N$ be the midpoints of $AB$ and $AD$, respectively. $CM$ cuts $BN$ at $P$. Circle $\omega$ passes through $D$ and two Fermat points of triangle $PAN$. Radical axis of $\omega$ and $(APN)$ meets $AD$ at $X$. Prove that $AD=8NX$.
In fact, I discussed this generalization immediately after the end of the Olympiad and proved it absolutely synthetically.
Solution problem 3:
Generalization:
There is a convex inscribed quadrilateral $ABCD$, and its center of the circumscribed circle $O$. The circles $w_1$ and $w_2$ are inscribed in the angle $\angle AOB$ and $\angle COD$, respectively. The diagonals $AC$ and $BD$ intersect at point $P$. Point $X$ is the intersection of the inner tangent circles $w_1$ and $w_2$. Then the points $X,P,O$ lie on the same straight line.
Claim 1: Let $w_3$ be a circle inscribed in the angle $\angle AOB$, which does not coincide with $w_1$. The point $X'$ is the insimimilcenter to the circles $w_2$ and $w_3$. Then, by Monge's Theorem, $A,X,X'$ lie on the same straight line. $=> $ The point $X$ will move along a fixed straight line if you move the circles $w_1$ and $w_2$ at the angle$\angle AOB$ and $\angle COD$
Claim 2: Let's take the circle $w_1$ so that the points of contact with the sides of the angle $\angle AOB$ will coincide with the vertices $A$ and $B$, and the circle $w_2$ so that the points of contact with the sides of the angle $\angle COD$ will coincide with the vertices $C$ and $D$. Now we prove that then the point $X$ will coincide with the point $P$. Let's make an inversion + symmetry with respect to the point P, which translates $A$ to $C$, and $B$ to $D$, which exists as $ABCD$ inscribed. Note that with this inversion, the circle $w_1$ will turn into the circle $w_2$, that is, $P$ is the insimimilcenter circles $w_1$ and $w_2$ $=>$ $P = X$
Attachments:
This post has been edited 1 time. Last edited by nervy, May 15, 2023, 2:43 PM
Z K Y
The post below has been deleted. Click to close.
This post has been deleted. Click here to see post.
SerdarBozdag
892 posts
#18 • 5 Y
Y by hakN, buratinogigle, GeoKing, sevket12, Cookierookie
Problem 2. Let $ABC$ be a triangle with incircle $(I)$. $(I)$ touches $BC$, $CA$, $AB$ at $D$, $E$, $F$, respectively. $AD$ meets $(I)$ again at $P$. Circle $(K)$ passes through $A$ and is tangent to $(I)$ at $P$. Define similarly circles $(L)$ and $M$. Prove that centroid of triangle $KLM$ lies on the line $IN$ where $N$ is the nine-point center of triangle $ABC$.


Proof with sevket12: Let $UVW$ be the medial triangle of $KLM$. Observe that if we prove IVW and NLM are homothetic we are done. Thus it is enough to prove that $PI \parallel NU$ and the symmetric ones. Let $Z$ be the reflection of $H$ (orthocenter of $ABC$) across $U$. Observe that we need to prove that $OZ \parallel PI$. Note that $ZM$ and $ZL$ are perpendicular to $AC$ and $AB$.

Lemma: Segments $XY$ and $ZT$ are parellel iff ratio of the length of the projections of these segments onto $AB$ and $AC$ are equal.

Let $d_b(XY)$ and $d_c(XY)$ be the length of the projections of $XY$ onto $AB$ and $AC$. Now using the lemma we need to prove that $$\frac{d_b(OZ)}{d_c(OZ)}=\frac{d_b(IP)}{d_c(IP)} \iff \frac{AS}{AT}=\frac{(u-a)-AP\cos DAB}{(u-a)-AP\cos DAC}(=\frac{AD-(u-a)\cos DAB}{AD-(u-a)\cos DAC})$$
By PoP $$\frac{AS}{AT}=\frac{c^2-(u-b)^2}{c}\frac{b}{b^2-(u-c)^2}$$.
Also $$\frac{AD-(u-a)\cos DAB}{AD-(u-a)\cos DAC}=\frac{AD-(u-a)\frac{AD^2+AB^2-BD^2}{2AD\cdot AB}}{AD-(u-a)\frac{AD^2+AC^2-CD^2}{2AD\cdot AC}}=\frac{(2c-(u-a))AD^2-(u-a)^2(AB+BD)}{(2b-(u-a))AD^2-(u-a)^2(AC+CD)} \frac{b}{c}$$Note that $\frac{2c-(u-a)}{2b-(u-a)}=\frac{AB+BD}{AC+CD}=\frac{c^2-(u-b)^2}{b^2-(u-c)^2}$. Thus we are done.

This bash can be done in an easier way as my friend Şevket suggested:

Define $B_1$ and $C_1$ as the intersection of $OZ$ with $AC$ and $AB$. $X-P-Y$ is tangent to $(I)$ with $X \in AC$ and $Y \in AB$. We want $XY \perp B_1C_1$. It is enough to prove that $\frac{\sin AXY}{\sin AYX}=\frac{\cos AB_1C_1}{\cos AC_1B_1} \iff \frac{AY}{AX}=\frac{AT}{AS}$. This is true because $\angle YPD=\angle PDB=\angle BSD \implies YPDS, YXTD $ are cyclic quads which gives $AY \cdot AS =AP \cdot AD=AX \cdot AT$.
This post has been edited 2 times. Last edited by SerdarBozdag, May 15, 2023, 6:21 PM
Z K Y
The post below has been deleted. Click to close.
This post has been deleted. Click here to see post.
sevket12
122 posts
#19 • 1 Y
Y by Cookierookie
SerdarBozdag wrote:
my friend Şevket
Am i really your friend :oops: ? thnx.
Z K Y
The post below has been deleted. Click to close.
This post has been deleted. Click here to see post.
buratinogigle
2317 posts
#20 • 1 Y
Y by Paramizo_Dicrominique
buratinogigle wrote:
I plan to use this problem to train the Vietnam IMO team tomorrow. Enjoy!

Problem 5. Let $ABC$ be a triangle with incircle $(I)$. A circle passes through $B$ and $C$ that is tangent to $(I)$ at $X$. Circle $\omega_a$ passes through $A$ and is tangent to $(I)$ at $X$. Define similarly the circles $\omega_b$ and $\omega_c$. Let $P$ be the radical center of $\omega_a$, $\omega_b$, and $\omega_c$. Let $H$ and $Ge$ be the orthocenter and Gergonne point of triangle $ABC$. Line $PGe$ cuts line $IH$ at $Q$. Prove that $QI=2QH$.

My proof. Take circumcircle of $ABC$ be the unit circle and $A(a^2), B(b^2), C(c^2)$. It follows from IMO ShortList 2002, geometry Problem 7, $X$ is the intersection of $DM$ with circle $(I)$ where $D$ is the tangent point of $(I)$ with $BC$ and $M$ is the midpoint of altitude $AK$. We have
$$i=-(ab+bc+ca).$$Orthocenter $H$ of $ABC$ is
$$h=a^2+b^2+c^2.$$So feet of altitude
$$k=\frac{1}{2}\left(a^2 + b^2 + c^2 - b^2 \cdot \frac{c^2}{a^2} \right)$$and
$$m=\frac{a^2+k}{2}=\frac{b^2a^2 - b^2c^2 + 3a^4 + a^2c^2}{4a^2}.$$Also $D$ is the projection of $I$ on the line $BC$
$$d=\frac{ab^2 + ac^2 + bc^2 - a^2b - a^2c + b^2c}{2a}.$$Similar, tangent point $E$ of $(I)$ and $CA$ is
$$e=\frac{-ab^2 + ac^2 + bc^2 + a^2b + a^2c - b^2c}{2b}.$$Gergonne point is the intersection of $AD$ and $BE$ that is
$$ge=\frac{a^4b + a^4c - a^3b^2 - 2a^3bc - a^3c^2 - a^2b^3 + 2a^2b^2c + 2a^2bc^2 - a^2c^3 + ab^4 - 2ab^3c + 2ab^2c^2 - 2abc^3 + ac^4 + b^4c - b^3c^2 - b^2c^3 + bc^4}{a^2b + a^2c + ab^2 + ac^2 + b^2c + bc^2- 6abc}.\quad (1)$$Point $Q$ which divide $IH$ in ratio $2:1$ is
$$q=\frac{2h+i}{3}=\frac{1}{3}\left(2\left(a^2 + b^2 + c^2 \right) - ab - ac - bc \right).\quad (2)$$We get the intersection of $DM$ and $(I)$ that is
$$x=\frac{-b^3a^2 - 2b^3ac - b^3c^2 + 3b^2a^2c + 2b^2ac^2 - b^2c^3 + ba^4 - 2ba^3c + 3ba^2c^2 - 2bac^3 + a^4c - a^2c^3}{2a\left(ba - 3bc + a^2 + ac \right)}.$$From this center $K_a$ of $\omega_a$ is
$$k_a=\left(6abc-ab^2 - ac^2 - bc^2 - a^2b - a^2c - b^2c \right)\frac{4a^3 + ab^2 + ac^2 + bc^2 - 3a^2b - 3a^2c + b^2c - 2abc}{4\left(a - c \right)^2\left(a - b \right)^2}.$$Similarly, we get centers $K_b$ and center $K_c$ of $\omega_b$ and $\omega_c$ are
$$k_b=\left(6abc-ab^2 - ac^2 - bc^2 - a^2b - a^2c - b^2c\right)\frac{4b^3 - 3ab^2 + ac^2 + bc^2 + a^2b + a^2c - 3b^2c - 2abc}{4\left(b-a\right)^2\left(b - c \right)^2}$$and
$$k_c=\left(6abc-ab^2 - ac^2 - bc^2 - a^2b - a^2c - b^2c \right)\frac{4c^3 + ab^2 - 3ac^2 - 3bc^2 + a^2b + a^2c + b^2c - 2abc}{4\left(c-a \right)^2\left(c-b\right)^2}.$$From center $k_a, k_b, k_c$. We get radical center of $\omega_a$, $\omega_b$, $\omega_c$ is
$$p=\frac{-a^3b^8 - a^3c^8 + 5a^4b^7 + 5a^4c^7 - 4a^5b^6 - 4a^5c^6 - 4a^6b^5 - 4a^6c^5 + 5a^7b^4 + 5a^7c^4 - a^8b^3 - a^8c^3 - b^3c^8 + 5b^4c^7 - 4b^5c^6 - 4b^6c^5 + 5b^7c^4 - b^8c^3 - 3ab^2c^8 + 12ab^3c^7 - 29ab^4c^6 + 40ab^5c^5 - 29ab^6c^4 + 12ab^7c^3 - 3ab^8c^2 - 3a^2bc^8 + 14a^2b^2c^7 - 27a^2b^3c^6 + 12a^2b^4c^5 + 12a^2b^5c^4 - 27a^2b^6c^3 + 14a^2b^7c^2 - 3a^2b^8c + 12a^3bc^7 - 27a^3b^2c^6 + 64a^3b^3c^5 - 48a^3b^4c^4 + 64a^3b^5c^3 - 27a^3b^6c^2 + 12a^3b^7c - 29a^4bc^6 + 12a^4b^2c^5 - 48a^4b^3c^4 - 48a^4b^4c^3 + 12a^4b^5c^2 - 29a^4b^6c + 40a^5bc^5 + 12a^5b^2c^4 + 64a^5b^3c^3 + 12a^5b^4c^2 + 40a^5b^5c - 29a^6bc^4 - 27a^6b^2c^3 - 27a^6b^3c^2 - 29a^6b^4c + 12a^7bc^3 + 14a^7b^2c^2 + 12a^7b^3c - 3a^8bc^2 - 3a^8b^2c}{a^3b^6 + a^3c^6 - 5a^4b^5 - 5a^4c^5 - 5a^5b^4 - 5a^5c^4 + a^6b^3 + a^6c^3 + b^3c^6 - 5b^4c^5 - 5b^5c^4 + b^6c^3 - 5ab^2c^6 + 44ab^3c^5 - 30ab^4c^4 + 44ab^5c^3 - 5ab^6c^2 - 5a^2bc^6 - 30a^2b^2c^5 - 25a^2b^3c^4 - 25a^2b^4c^3 - 30a^2b^5c^2 - 5a^2b^6c + 44a^3bc^5 - 25a^3b^2c^4 + 120a^3b^3c^3 - 25a^3b^4c^2 + 44a^3b^5c - 30a^4bc^4 - 25a^4b^2c^3 - 25a^4b^3c^2 - 30a^4b^4c + 44a^5bc^3 - 30a^5b^2c^2 + 44a^5b^3c - 5a^6bc^2 - 5a^6b^2c}.\quad (3)$$From (1), (2), (3) we get
$$\frac{ge-q}{p-q}=\frac{\overline{ge}-\bar q}{\bar p-\bar q}.$$This means $P$, $Q$ and $Ge$ are collinear.
Z K Y
The post below has been deleted. Click to close.
This post has been deleted. Click here to see post.
buratinogigle
2317 posts
#21
Y by
Problem 6. Let $ABC$ be a triangle with incircle $(I)$ touches $BC$ at $D$. Let $K$ and $L$ be the excenters at vertices $B$ and $C$, respectively. Reflections of the line $KL$ in the lines $KC$ and $LB$ meet at $J$. Let $H$ be the orthocenter of triangle $JKL$. Let $M$ be the midpoint of $IH$. Prove that $MD$ and $IA$ meet on the circumcircle of $ABC$.
Attachments:
Z K Y
The post below has been deleted. Click to close.
This post has been deleted. Click here to see post.
buratinogigle
2317 posts
#22 • 1 Y
Y by Paramizo_Dicrominique
Problem 7. Let $ABC$ be a triangle with orthocenter $H$. A circles passes through $H$ and intersects lines $HA$, $HB$, $HC$ again at $D$, $E$, $F$, respectively. Choose points $X$, $Y$, $Z$ on the lines $HA$, $HB$, $HC$, respectively such that $\frac{1}{\overline{HX}}=\frac{1}{\overline{HA}}+\frac{1}{\overline{HD}},\,\frac{1}{\overline{HY}}=\frac{1}{\overline{HB}}+\frac{1}{\overline{HE}},\,\frac{1}{\overline{HZ}}=\frac{1}{\overline{HC}}+\frac{1}{\overline{HF}}$. Prove that pedal circle of $H$ with respect to triangle $XYZ$ is tangent to nine-point circle of $ABC$.
Attachments:
Z K Y
The post below has been deleted. Click to close.
This post has been deleted. Click here to see post.
Paramizo_Dicrominique
275 posts
#23 • 1 Y
Y by ThisNameIsNotAvailable
buratinogigle wrote:
Problem 6. Let $ABC$ be a triangle with incircle $(I)$ touches $BC$ at $D$. Let $K$ and $L$ be the excenters at vertices $B$ and $C$, respectively. Reflections of the line $KL$ in the lines $KC$ and $LB$ meet at $J$. Let $H$ be the orthocenter of triangle $JKL$. Let $M$ be the midpoint of $IH$. Prove that $MD$ and $IA$ meet on the circumcircle of $ABC$.

Notice that $I$ is the incenter of $\triangle{JKL}$, Let $LJ$ cut $BC$ at $G$, since $\angle{KJL} = 2\angle{KIL} - 180 = 2\angle{BIC} - 180$ by simple angle chasing we can prove $JI \perp BC$ so $\overline{J,I,D}.$
Let $U$ be the $A-$excenter so it is suffice to prove that $DN//HU$ where $N$ both midpoint $IU$ and arc $BC$.
Let $H'$ be the orthocenter of $\triangle{JFG}$ where $JK,JL$ cut $BC$ at $F,G$. It is easy to show that line $F,G$ are the tangency points of $(I;IA)$ with $JK,JL.$ (Notice that $\angle{KAI} = \angle{LAI} = 90$ and the reflections over bisectors $IC,IB$).
It is also easy to show that $IFH'G$ is a rhombus so $I,H'$ are reflection over $D$.
Let $HH'$ cut $BC$ at $W$ so it is well known $AW \perp BC$ (The well known lemma applied for $\triangle{JKL}$). By ratio it is easy to show $\overline{W,H',U}$ and since $D$ midpoint $IJ$,$N$ midpoint $IU$ we are done.
(To prove $\overline{U,H',W}$ we need $\frac{AW}{IH'} = \frac{UA}{UI}$ but since $\frac{AW}{IH'} = \frac{AW}{2ID} = \frac{EA}{2EI}$,combine with $(AE,IU)=-1$ we are done.)

$Q.E.D.$
Attachments:
This post has been edited 10 times. Last edited by Paramizo_Dicrominique, May 19, 2023, 1:20 PM
Z K Y
The post below has been deleted. Click to close.
This post has been deleted. Click here to see post.
buratinogigle
2317 posts
#24 • 1 Y
Y by Paramizo_Dicrominique
buratinogigle wrote:
Problem 6. Let $ABC$ be a triangle with incircle $(I)$ touches $BC$ at $D$. Let $K$ and $L$ be the excenters at vertices $B$ and $C$, respectively. Reflections of the line $KL$ in the lines $KC$ and $LB$ meet at $J$. Let $H$ be the orthocenter of triangle $JKL$. Let $M$ be the midpoint of $IH$. Prove that $MD$ and $IA$ meet on the circumcircle of $ABC$.

Proof due to An Thinh (a member of the Vietnam IMO team 2023)

Let $P$ be the second intersection of $AI$ and $(ABC)$. Let $X$ be the intersection of line $PD$ and $JH$. Let $L$ be the orthocenter of triangle $ABC$. Note that $\triangle JKL\cup H\cup A\sim\triangle ABC\cup L\cup D$. We have
$$\frac{\overline{HX}}{\overline{PI}}=\frac{\overline{JX}-\overline{JH}}{\overline{PI}}=\frac{\overline{DJ}}{\overline{ID}}-\frac{\overline{JH}}{\overline{IA}}\cdot\frac{\overline{IA}}{\overline{PI}}=\frac{\overline{DJ}}{\overline{ID}}-\frac{\overline{AL}}{\overline{ID}}\cdot\frac{\overline{IA}}{\overline{PI}}.$$Then,
\begin{align*}&\qquad\frac{\overline{HX}}{\overline{PI}}=1\\
&\iff \frac{\overline{DJ}}{\overline{ID}}-1=\frac{\overline{AL}}{\overline{ID}}\cdot\frac{\overline{IA}}{\overline{PI}}\\
&\iff \frac{\overline{DJ}+\overline{DI}}{\overline{ID}}=\frac{\overline{AL}}{\overline{ID}}\cdot\frac{\overline{IA}}{\overline{PI}}\\
&\iff\frac{\overline{ZJ}}{\overline{AL}}=\frac{\overline{IA}}{\overline{PI}}\quad (1)
\end{align*}where $Z$ is the reflection of $I$ in $BC$. Let $S$ and $T$ be the reflection of $A$ in $IC$ and $IB$, respectively. Easily seen $Z$ is the orthocenter of $JST$ with circumradius $\frac{IJ}{2}$ an note that $\angle SJT=\angle BAC$ so
$$\frac{\overline{ZJ}}{\overline{AL}}=\frac{IJ}{2R}\quad (2)$$where $R$ is circumradius of $ABC$.
It is not hard to see $I$ lies on the segment $AP$ so
$$\frac{\overline{IA}}{\overline{PI}}=\frac{IA}{PI}.\quad (3)$$From (2), (3), we get
\begin{align*}(1)&\iff \frac{IJ}{2R}=\frac{IA}{PI}\\
&\iff\frac{IJ}{IA}=\frac{2R}{PI}\\
&\iff\frac{IA}{ID}=\frac{2R}{PI}.\quad (4)
\end{align*}We see that (4) is true because two triangles $IKL$ and $IBC$ are similar, they have circumradii $2R$ and $PI$, and altitudes $IA$ and $ID$, respectively. 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.
Paramizo_Dicrominique
275 posts
#25
Y by
buratinogigle wrote:
buratinogigle wrote:
Problem 6. Let $ABC$ be a triangle with incircle $(I)$ touches $BC$ at $D$. Let $K$ and $L$ be the excenters at vertices $B$ and $C$, respectively. Reflections of the line $KL$ in the lines $KC$ and $LB$ meet at $J$. Let $H$ be the orthocenter of triangle $JKL$. Let $M$ be the midpoint of $IH$. Prove that $MD$ and $IA$ meet on the circumcircle of $ABC$.

Proof due to An Thinh (a member of the Vietnam IMO team 2023)

Let $P$ be the second intersection of $AI$ and $(ABC)$. Let $X$ be the intersection of line $PD$ and $JH$. Let $L$ be the orthocenter of triangle $ABC$. Note that $\triangle JKL\cup H\cup A\sim\triangle ABC\cup L\cup D$. We have
$$\frac{\overline{HX}}{\overline{PI}}=\frac{\overline{JX}-\overline{JH}}{\overline{PI}}=\frac{\overline{DJ}}{\overline{ID}}-\frac{\overline{JH}}{\overline{IA}}\cdot\frac{\overline{IA}}{\overline{PI}}=\frac{\overline{DJ}}{\overline{ID}}-\frac{\overline{AL}}{\overline{ID}}\cdot\frac{\overline{IA}}{\overline{PI}}.$$Then,
\begin{align*}&\qquad\frac{\overline{HX}}{\overline{PI}}=1\\
&\iff \frac{\overline{DJ}}{\overline{ID}}-1=\frac{\overline{AL}}{\overline{ID}}\cdot\frac{\overline{IA}}{\overline{PI}}\\
&\iff \frac{\overline{DJ}+\overline{DI}}{\overline{ID}}=\frac{\overline{AL}}{\overline{ID}}\cdot\frac{\overline{IA}}{\overline{PI}}\\
&\iff\frac{\overline{ZJ}}{\overline{AL}}=\frac{\overline{IA}}{\overline{PI}}\quad (1)
\end{align*}where $Z$ is the reflection of $I$ in $BC$. Let $S$ and $T$ be the reflection of $A$ in $IC$ and $IB$, respectively. Easily seen $Z$ is the orthocenter of $JST$ with circumradius $\frac{IJ}{2}$ an note that $\angle SJT=\angle BAC$ so
$$\frac{\overline{ZJ}}{\overline{AL}}=\frac{IJ}{2R}\quad (2)$$where $R$ is circumradius of $ABC$.
It is not hard to see $I$ lies on the segment $AP$ so
$$\frac{\overline{IA}}{\overline{PI}}=\frac{IA}{PI}.\quad (3)$$From (2), (3), we get
\begin{align*}(1)&\iff \frac{IJ}{2R}=\frac{IA}{PI}\\
&\iff\frac{IJ}{IA}=\frac{2R}{PI}\\
&\iff\frac{IA}{ID}=\frac{2R}{PI}.\quad (4)
\end{align*}We see that (4) is true because two triangles $IKL$ and $IBC$ are similar, they have circumradii $2R$ and $PI$, and altitudes $IA$ and $ID$, respectively. We are done.

Cách vẽ thêm của anh Thịnh giống cách em ạ.
This solution's construction idea is similar to mine.
This post has been edited 1 time. Last edited by Paramizo_Dicrominique, May 19, 2023, 1:52 PM
Z K Y
The post below has been deleted. Click to close.
This post has been deleted. Click here to see post.
nervy
415 posts
#26 • 2 Y
Y by Geometrineq, GeoKing
buratinogigle wrote:
Problem 7. Let $ABC$ be a triangle with orthocenter $H$. A circles passes through $H$ and intersects lines $HA$, $HB$, $HC$ again at $D$, $E$, $F$, respectively. Choose points $X$, $Y$, $Z$ on the lines $HA$, $HB$, $HC$, respectively such that $\frac{1}{\overline{HX}}=\frac{1}{\overline{HA}}+\frac{1}{\overline{HD}},\,\frac{1}{\overline{HY}}=\frac{1}{\overline{HB}}+\frac{1}{\overline{HE}},\,\frac{1}{\overline{HZ}}=\frac{1}{\overline{HC}}+\frac{1}{\overline{HF}}$. Prove that pedal circle of $H$ with respect to triangle $XYZ$ is tangent to nine-point circle of $ABC$.

After inversion centered at point $H$ + homothety centered at point $H$ with a coefficient of $\frac{1}{2}$, we get the problem IMO Shortlist 2018 G5
This post has been edited 1 time. Last edited by nervy, May 19, 2023, 2:07 PM
Z K Y
The post below has been deleted. Click to close.
This post has been deleted. Click here to see post.
LoloChen
477 posts
#27 • 3 Y
Y by buratinogigle, GeoKing, Vnmboyacgn
buratinogigle wrote:
Problem 2. Let $ABC$ be a triangle with incircle $(I)$. $(I)$ touches $BC$, $CA$, $AB$ at $D$, $E$, $F$, respectively. $AD$ meets $(I)$ again at $P$. Circle $(K)$ passes through $A$ and is tangent to $(I)$ at $P$. Define similarly circles $(L)$ and $M$. Prove that centroid of triangle $KLM$ lies on the line $IN$ where $N$ is the nine-point center of triangle $ABC$.

Very nice problem!
My solution to P2: Let altitudes of A B C be Ha Hb Hc and extend $AK$ to $AS$ s.t. $AS=2AK$. Let $G, O$ be the centroid and circumcenter and $J$ the centroid of $\triangle KLM$. Midpoints of arcs $BC, CA, AB$ of (O) are $D', E', F'$ and define $a, b, c, R$ as the length of BC CA AB and radius of (O).Let $\vec{d},\vec{e},\vec{f}$ be $\vec{OD'} \vec{OE'} \vec{OF'}$.

Easy to see that AK//ID, so AK//OD'. $AK\cdot AH_a=\frac12\cdot AS\cdot AH_a=AP\cdot AD/2=AE^2/2$. Because $AH_a=bc/2R$, so $AK=(b+c-a)^2\cdot R/4bc$, that is to say, $\vec{AK}=\frac{(b+c-a)^2}{4bc}\vec{d}$. Because $\vec d+\vec e+\vec f=\vec{OI} $ and $a\vec d+b\vec e+c\vec f=\vec0$, so $3\vec{GJ}=\vec{AK}+\vec{BL}+\vec{CM}=\vec {OI}$, so IJ=2JN.
This post has been edited 6 times. Last edited by LoloChen, Jun 15, 2023, 7:02 AM
Z K Y
N Quick Reply
G
H
=
a