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

G
Topic
First Poster
Last Poster
Areas of triangles AOH, BOH, COH
Arne   71
N 15 minutes ago by EpicBird08
Source: APMO 2004, Problem 2
Let $O$ be the circumcenter and $H$ the orthocenter of an acute triangle $ABC$. Prove that the area of one of the triangles $AOH$, $BOH$ and $COH$ is equal to the sum of the areas of the other two.
71 replies
Arne
Mar 23, 2004
EpicBird08
15 minutes 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
2375 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
2375 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
2375 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
2375 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
2375 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
2375 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
2375 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
2375 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
2375 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
2375 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
2375 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
2375 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
479 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