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

G
Topic
First Poster
Last Poster
Two circles, a tangent line and a parallel
Valentin Vornicu   103
N an hour ago by zuat.e
Source: IMO 2000, Problem 1, IMO Shortlist 2000, G2
Two circles $ G_1$ and $ G_2$ intersect at two points $ M$ and $ N$. Let $ AB$ be the line tangent to these circles at $ A$ and $ B$, respectively, so that $ M$ lies closer to $ AB$ than $ N$. Let $ CD$ be the line parallel to $ AB$ and passing through the point $ M$, with $ C$ on $ G_1$ and $ D$ on $ G_2$. Lines $ AC$ and $ BD$ meet at $ E$; lines $ AN$ and $ CD$ meet at $ P$; lines $ BN$ and $ CD$ meet at $ Q$. Show that $ EP = EQ$.
103 replies
Valentin Vornicu
Oct 24, 2005
zuat.e
an hour ago
No more topics!
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
2344 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
2344 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
2344 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
2344 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
2344 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
2344 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
2344 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
2344 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
416 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
2344 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
2344 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
2344 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
2344 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
416 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
478 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