Own Geometry

by utkarshgupta, Apr 6, 2015, 4:04 PM

Problem :
Let $ABC$ be an acute triangle and $\tau$ it's circumcircle. Denote be $A_0,B_0,C_0$ the midpoints of sides $BC,AC,AB$ respectively.Let $X$ be point on arc $\hat{BC}$ of $\tau$ not containing $A$ such that the circumcircle $\omega$ of $\triangle XB_0C_0$ is tangent to $\tau$.Let $E$ be the perpendicular from $A_0$ to $B_0C_0$. Prove that the intersection of $BE$ and $XB_0$ lies on $\tau$.

Solution 1 (ME) :

Define $R$ as above (the radical centre of circles $\odot AB_0C_0, \odot XB_0C_0, \odot ABC$).
Then obviously $R$ lies on $B_0C_0$ and $RA,RX$ are tangent to $\odot ABC$.
Thus $AX$ is the polar of $R$ w.r.t. $\odot ABC$

Let $B_0C_0 \cap \odot ABC = P,Q$ and $AX \cap B_0C_0 = S$

Then it is well known that $AS$ is the symmedian of triangle $APQ$
Also it is easy to see that $E$ is the midpoint of $PQ$.
Now using, $PQ || BC$,
$\implies \angle C_0AS = \angle B_0AE$
Since, $\angle AXB = \angle AB_0C_0$,
We have $A$ is the centre of spiral symmetry that sends $B \to E$ and $X \to B_0$

Let $BE \cap XB_0 = T$

Then it is well known that $A,B,X,T$ are concyclic (since $A$ is the centre of the spiral symmetry)

$\implies T \in \odot ABX =  \tau$

QED


Solution 2 (TelvCohl) :

Let $ A' \in \odot (ABC) $ be a point such that $ AA' \parallel BC $ .
Let $ K=XB_0 \cap \odot (ABC) $ and $ D $ be the projection of $ A $ on $ BC $ .
Let $ R $ be the intersection of $ B_0C_0 $ with the tangent of $ \odot (ABC) $ through $ X $ .

WLOG $ \angle CBA>\angle ACB $ .

Since $ \odot (AB_0C_0) $ is tangent to $ \odot (ABC) $ at $ A $ ,
so $ R $ is the radical center of $ \{ \odot (ABC), \odot (AB_0C_0), \odot (XB_0C_0) \} $ ,
hence we get $ RA $ is tangent to $ \odot (ABC) $ at $ A $ and $ {RX}^2={RA}^2={RD}^2 \Longrightarrow R $ is the center of $ \odot (ADX) $ .

From $ \angle DXA=\tfrac{1}{2} \angle DRA=\angle ERA=\angle CBA-\angle ACB =\angle A'XA \Longrightarrow A', D,E,  X $ are collinear ,
so we get $ \angle AEC_0=\angle EAA'=\angle AA'X=\angle AKX=\angle AKB_0 \Longrightarrow A, B_0, E, K $ are concyclic ,
hence $ \angle AKE=\angle AB_0C_0=\angle ACB=\angle AKB \Longrightarrow K \in BE $ . i.e. $ BE \cap B_0X \in \odot (ABC) $

Q.E.D

Comment

2 Comments

The post below has been deleted. Click to close.
This post has been deleted. Click here to see post.
Nice problem. Truly Remarkable.

by anantmudgal09, Apr 6, 2015, 4:59 PM

The post below has been deleted. Click to close.
This post has been deleted. Click here to see post.
All solutions are really nice.But I think there exists very simple proof.
Denote intersections of $XC_0$ and $XB_0$ As $Y$ and $Z$
By pascal,intersection of $CY$ and $BZ$ say $M$ lies on $C_0B_0$
Drawing tangent at $X$ we infer that $YZ$ is parallel to $BC$.Which implies $K$ is on the perpendicular bisector of $BC$ so $E=K$. Done!

by kapilpavase, Apr 9, 2015, 5:06 AM

Stay insane,Coz it's your will, labour and pain,which takes you to the top of the mountain.

avatar

utkarshgupta
Archives
- September 2017
+ September 2016
+ July 2016
+ December 2015
+ August 2015
+ December 2014
Shouts
Submit
  • Here goes first post of 2025! Great blog.

    by math_holmes15, Jan 14, 2025, 8:53 AM

  • First post of 2024

    by Yiyj1, Feb 8, 2024, 5:40 AM

  • First post of 2023

    by HoRI_DA_GRe8, Jul 22, 2023, 7:45 AM

  • Nice blog ! Your isogonality lemma is really powerful !

    by 554183, Oct 14, 2021, 8:55 AM

  • Post plss....

    by samrocksnature, Apr 11, 2021, 10:12 PM

  • alas,this is ded

    by Hamroldt, Mar 18, 2021, 4:13 PM

  • Thanks for the nice blog.

    by Feridimo, Mar 6, 2020, 4:17 PM

  • I think this might be silly but ... when should we expect to have another post ?? I am very keen to see it :D

    by gamerrk1004, Nov 4, 2019, 4:54 PM

  • Let's all echo what's written in the blog description - Stay Insane / 'Cause it's your labor, will and pain/ That takes you to the top of soda fountain :D

    by Kayak, Oct 2, 2017, 7:18 PM

  • hey utkarsh jee is over now ... continue your elementary blog pleaseeeeeee!

    by kk108, Jun 17, 2017, 11:19 AM

  • Congrats on becoming a contest moderator!

    by Ankoganit, Mar 9, 2017, 5:22 AM

  • INTERSTING BLOG

    by kk108, Feb 19, 2017, 2:04 PM

  • I have no plans for this blog right now....
    No time here people !
    But lets see....
    I may try some combinatorics :P

    by utkarshgupta, Feb 15, 2017, 12:47 PM

  • Thanks for the nice blog!

    by Orkhan-Ashraf_2002, Feb 13, 2017, 6:34 PM

  • Revive it!!!
    Best blog out there, for sure!

    by rmtf1111, Jan 12, 2017, 6:02 PM

48 shouts
Tags
About Owner
  • Posts: 2280
  • Joined: Jan 4, 2013
Blog Stats
  • Blog created: Nov 30, 2013
  • Total entries: 86
  • Total visits: 39667
  • Total comments: 102
Search Blog
a