97. Problem of butterfly.

by Virgil Nicula, Sep 2, 2010, 3:50 PM

$\blacksquare\ P.B.$ Given are a circle $w(O)$, a line $l$ and the point $F\in l$. Let $\{M,N,P,R\}\subset w$ be four points so that $F\in MN\cap PR$.
Denote the points $A\in MR\cap l$, $B\in NP\cap l$. Prove that $\boxed{\ OF\perp l\Longleftrightarrow FA=FB\ }\ .$


Proof. Denote the projections $U$, $V$ of the center $O$ to the lines $MR$, $PN$ respectively. Thus, $\triangle FNP\sim\triangle FRM$ $\Longrightarrow$ $\widehat{FUM}\equiv\widehat{FVP}$ because the sides $[FM]$, $[RM]$ of the triangle $FRM$ are similarly with the sides $[FP]$, $[NP]$ of the triangle $FNP$ $\Longrightarrow$ $\widehat{FUA}\equiv\widehat{FVB}\ \ (1)$.
$\triangleright$ Suppose that $OF\perp l\ .$ The quadrilaterals $AFUO$, $BFVO$ are cycclically with the diameters $[AO]$, $[BO]$ respectively $\Longrightarrow$ $\widehat{FUA}\equiv\widehat{FOA}$ and $\widehat{FVB}\equiv\widehat{FOB}$. From the relation $(1)$ obtain $\widehat{FOA}\equiv\widehat{FOB}$. From $OF\perp l$ results that the triangle $AOB$ is isosceles, i.e. $FA=FB\ .$
$\triangleleft$ Suppose that $FA=FB\ .$ Denote the intersections $X$, $Y$ of the bisector line of the segment $[AB]$ with the lines $OU$, $OV$ respectively. The quadrilaterals $AFXU$, $BFYV$ are cyclically with the diameters $AX$, $BY$ respectively. Thus, $\widehat{FXA}\equiv\widehat{FUA}$ and $\widehat{FYB}\equiv\widehat{FVB}$. From the relation $(1)$ obtain $\widehat{FXA}\equiv\widehat{FYB}$, i.e. $X\equiv Y\equiv O$ $\Longrightarrow$ $OF\perp l\ .$

Quote:
Let $ABCD$ be a convex quadrilateral inscribed in the circle $w$ . For the point $P\in AB\cap CD$ consider a line $d$ for which $P\in d$ .
Denote $\left\|\begin{array}{c}
U\in BC\cap d\ ,\ V\in AD\cap d\\\
X\in AC\cap d\ ,\ Y\in BD\cap d\end{array}\right\|$ . Prove that $\boxed {\ PU=PV\ \Longleftrightarrow\\ PX=PY\ \Longleftrightarrow\  OP\perp d\ }$ .

Particular case 1. Consider four points $A$ , $B$ , $C$ , $D$ which belong to the circle $w=C(O)$ and a line $d$ so that $O\in d$ and
$d\cap (AC)\ne\emptyset$ , $d\cap (AD)\ne\emptyset$ , $d\cap [AB]=\emptyset$ . Denote $\left\|\begin{array}{ccccc}
M_1\in AB\cap d & , & M_2\in AD\cap d & , & M_3\in AC\cap d\\\
N_1\in CD\cap d & , & N_2\in BC\cap d & , & N_3\in BD\cap d\end{array}\right\|$ .
Prove that $\boxed {\ OM_1=ON_1\ \Longleftrightarrow\ OM_2=ON_2\ \Longleftrightarrow\ OM_3=ON_3\ }$ .


Particular case 2. Let $ABC$ be a triangle inscribed in the circle $w=C(O)$ . A line $d$ for which $O\in d$ cut the lines
$AB$, $AC$ , $BC$ and $AA$ in the points $M$ , $N$ , $P$ , $R$ respectively. Prove that $\boxed {\ OM=ON\ \Longleftrightarrow\ OP=OR\ }$ .


An equivalent enunciation. Let $ABC$ be a triangle inscribed in the circle $w=C(O)$ with diameter $[AD]$ . Denote
$P\in BC\cap DD$ . Consider $M\in OP\cap AB$ and $N\in OP\cap AC$ . Prove that $\boxed {\ OM=ON\ \Longleftrightarrow\ P\in MN\ }$ .


Remark. I denoted the tangent $XX$ in the point $X\in w$ to the circle $w$.


Proof (metric). Denote the intersection $R\in AC\cap BD$. The powers of the points $R\ ,\ N_{3}\ ,\ M_{3}$ w.r.t. the circle $w$ are : $p_{w}(R)=RA\cdot RC=RB\cdot RD$ : $p_{w}(N_{3})=N_{3}D\cdot N_{3}B$ ; $p_{w}(M_{3})=M_{3}A\cdot M_{3}C$.
$\blacktriangleright$ Apply the Menelaus' theorem to the transversals $\overline{AM_{2}D}$, $\overline{BN_{2}C}$ for the triangle $M_{3}RN_{3}$ : $\frac{M_{2}M_{3}}{M_{2}N_{3}}\cdot \frac{DN_{3}}{DR}\cdot\frac{AR}{AM_{3}}=1$ and $\frac{N_{2}N_{3}}{N_{2}M_{3}}\cdot\frac{CM_{3}}{CR}\cdot\frac{BR}{BN_{3}}=1$ $\Longrightarrow$ $\frac{N_{2}M_{3}}{N_{2}N_{3}}\cdot \frac{M_{2}M_{3}}{M_{2}N_{3}}\cdot\frac{RA}{RD}\cdot\frac{RC}{RB}\cdot\frac{N_{3}D}{M_{3}C}\cdot\frac{N_{3}B}{M_{3}A}=1$, i.e. $\boxed{\ \frac{M_{2}M_{3}}{M_{2}N_{3}}\cdot\frac{N_{2}M_{3}}{N_{2}N_{3}}=\frac{p_{w}(M_{3})}{p_{w}(N_{3})}\ }\ \ (1)\ .$
$\blacktriangleright$ Apply the Menelaus' theorem to the transversals $\overline{M_{1}AB}$, $\overline{N_{1}CD}$ for the triangle $M_{3}RN_{3}$ : $\frac{M_{1}M_{3}}{M_{1}N_{3}}\cdot\frac{BN_{3}}{BR}\cdot\frac{AR}{AM_{3}}=1$ and $\frac{N_{1}M_{3}}{N_{1}N_{3}}\cdot\frac{DN_{3}}{DR}\cdot\frac{CR}{CM_{3}}=1$ $\Longrightarrow$ $\frac{M_{1}M_{3}}{M_{1}N_{3}}\cdot\frac{N_{1}M_{3}}{N_{1}N_{3}}\cdot\frac{RA}{RB}\cdot\frac{RC}{RD}\cdot\frac{N_{3}B}{M_{3}A}\cdot\frac{N_{3}D}{M_{3}C}=1$, i.e. $\boxed{\ \frac{M_{1}M_{3}}{M_{1}N_{3}}\cdot\frac{N_{1}M_{3}}{N_{1}N_{3}}=\frac{p_{w}(M_{3})}{p_{w}(N_{3})}\ }\ \ (2)\ .$ From the relations $(1)$, $(2)$ obtain the conclusion of the our problem.

A very interesting particular case, when $A\equiv B$.
Let $ABC$ be an acute triangle inscribed in the circle $w=C(O,R)$. Denote the point $A'\in w\cap (AO$ and the intersections $P\in BC\cap A'A'$, $M\in AB\cap PO$, $N\in AC\cap PO$. Then $OM=ON\ .$

Proposed problem. Let $ABC$ be an isosceles triangle with $AB=AC$ , and let $D$ be the midpoint of $[BC]$ . Let $E$ be the foot of the perpendicular from $D$ to $AB$ and $F$ be the midpoint of $DE$ . Prove that $AF\perp CE$ .

Proof 1 (synthetic).Denote the intersection $I\in CE\cap AF$ and the projection $G$ of the point $C$ to the line $AB$. Thus, $DE\parallel CG$ and $EG=EB$, i.e. the ray $[CE$ is the $C$- median in the triangle $CGB$. Prove easily that $ADE\sim CBG$. The $A$-median of the triangle $ADE$ is similarly with the $C$- median of the triangle $CGB$ and the side $[AD]$ of the triangle $ADE$ is similarly with the side $[CB]$ of the triangle $CBG$. Therefore, $\widehat{DAF}\equiv\widehat{BCE}$, i.e. $\widehat{DAI}\equiv\widehat{DCI}$, what means that the quadrilateral $ACDI$ is cyclically, i.e. $\widehat{ADC}\equiv\widehat{AIC}$. But $DA\perp DC$. In conclusion, and $IA\perp IC$, i.e. $AF\perp CE\ .$
Proof 2 (metric). $AC^{2}-AE^{2}=AC^{2}-(AD^{2}-DE^{2})=$ $(AC^{2}-AD^{2})+DE^{2}=DC^{2}+DE^{2}$ $\Longrightarrow$ $\boxed{\ AC^{2}-AE^{2}=DC^{2}+DE^{2}\ }\ \ (1)\ .$
$4\cdot (FC^{2}-FE^{2})=$ $2\cdot (CE^{2}+CD^{2})-DE^{2}-DE^{2}=$ $2\cdot (CE^{2}+DB^{2}-DE^{2})=$ $2\cdot (CE^{2}+BE^{2})=$ $4\cdot DE^{2}+CB^{2}=$ $4\cdot (DC^{2}+DE^{2})$ $\Longrightarrow$ $\boxed{\ FC^{2}-FE^{2}=DC^{2}+DE^{2}\ }\ \ (2)\ .$ From the relations $(1)$ and $(2)$ obtain $AC^{2}-AE^{2}=FC^{2}-FE^{2}$, i.e. $\boxed{\ AF\perp CE\ }\ .$
Proof 3 (trigonometric). Denote $\phi =m(\widehat{DAF})$ and $\psi =m(\widehat{BCE})$. Therefore, $1=\frac{FD}{FE}=\frac{AD}{AE}\cdot\frac{\sin\phi}{\sin\left(\frac{A}{2}-\phi\right)}=\frac{\sin\phi}{\cos\frac{A}{2}\sin\left(\frac{A}{2}-\phi\right)}$ $\Longrightarrow$
$2\sin\phi =\sin (A-\phi )-\sin \phi$ $\Longrightarrow$ $3\sin \phi =\sin (A-\phi )$ $\Longrightarrow$ $3\tan\phi =\sin A-\cos A\tan\phi$ $\Longrightarrow$ $\boxed{\ \tan\phi =\frac{\sin A}{3+\cos A}\ }\ \ (1)\ .$
$\frac{EB}{EA}=\left(\frac{DB}{DA}\right)^{2}=\tan^{2}\frac{A}{2}\ ,\ \frac{EB}{EA}=\frac{CB}{CA}\cdot\frac{\sin\psi }{\sin \left(90-\frac{A}{2}-\psi \right)}=\frac{2\sin\frac{A}{2}\sin\psi }{\cos\left(\frac{A}{2}+\psi\right)}\ .$ Therefore, $\sin\frac{A}{2}\cos\left(\frac{A}{2}+\psi \right)=2\cos^{2}\frac{A}{2}\sin\psi$ $\Longrightarrow$ $\sin (A+\psi )-\sin \psi =2\sin\psi (1+\cos A)$ $\Longrightarrow$ $\sin A\cos\psi=3\sin\psi+\sin\psi \cos A$ $\Longrightarrow$ $\sin A=\cos A\tan \psi+3\tan\psi$ $\Longrightarrow$ $\boxed{\ \tan\psi =\frac{\sin A}{3+\cos A}\ }\ \ (2)\ .$ From the relations $(1)$ and $(2)$ obtain $\phi =\psi$ $\Longrightarrow$ the quadrilateral $ACDI$ is cyclically $\Longrightarrow$ $AF\perp CE\ .$
Proof 4 (analytic). $D(0,0)\ ,\ B(0,b)\ ,\ C(-b,0)\ ,\ A(0,a)$, where $a>0$, $b>0$. The slope of the line $AB$ is $s(AB)=-\frac{a}{b}$, the slope of the line $DE$ is $s(DE)=-\frac{1}{s(AB)}=\frac{b}{a}$ and the point $E$ is the intersection between the line $AB$ with the equation $\frac{x}{b}+\frac{y}{a}=1$ and the line $DE$ with the equation $y=\frac{b}{a}x$. Thus, the point $E$ has the coordinates $x_{E}=\frac{a^{2}b}{a^{2}+b^{2}}$ and $y_{E}=\frac{b^{2}a}{a^{2}+b^{2}}$. The middlepoint $F$ of the segment $DE$ has the coordinates $x_{F}=\frac{1}{2}\cdot \frac{a^{2}b}{a^{2}+b^{2}}$ and $y_{F}=\frac{1}{2}\cdot \frac{b^{2}a}{a^{2}+b^{2}}$. Therefore, the slope of the line $CE$ is $s(CE)=\frac{\frac{b^{2}a}{a^{2}+b^{2}}}{\frac{a^{2}b}{a^{2}+b^{2}}+b}=\frac{ab}{2a^{2}+b^{2}}$ and the slope of the line $AF$ is $s(AF)=\frac{\frac{b^{2}a}{2(a^{2}+b^{2})}-a}{\frac{a^{2}b}{2(a^{2}+b^{2})}}=-\frac{2a^{2}+b^{2}}{ab}\ .$ In conclusion, $s(CE)\cdot s(AF)=-1$, i.e. $CE\perp AF\ .$
This post has been edited 11 times. Last edited by Virgil Nicula, Nov 23, 2015, 8:35 AM

Comment

0 Comments

Own problems or extensions/generalizations of some problems which was posted here.

avatar

Virgil Nicula
Archives
+ October 2017
+ September 2017
+ December 2016
+ October 2016
+ February 2016
+ September 2013
+ October 2010
+ September 2010
Shouts
Submit
  • orzzzzzzzzz

    by mathMagicOPS, Jan 9, 2025, 3:40 AM

  • this css is sus

    by ihatemath123, Aug 14, 2024, 1:53 AM

  • 391345 views moment

    by ryanbear, May 9, 2023, 6:10 AM

  • We need virgil nicula to return to aops, this blog is top 10 all time.

    by OlympusHero, Sep 14, 2022, 4:44 AM

  • :omighty: blog

    by tigerzhang, Aug 1, 2021, 12:02 AM

  • Amazing blog.

    by OlympusHero, May 13, 2021, 10:23 PM

  • the visits tho

    by GoogleNebula, Apr 14, 2021, 5:25 AM

  • Bro this blog is ripped

    by samrocksnature, Apr 14, 2021, 5:16 AM

  • Holy- Darn this is good. shame it's inactive now

    by the_mathmagician, Jan 17, 2021, 7:43 PM

  • godly blog. opopop

    by OlympusHero, Dec 30, 2020, 6:08 PM

  • long blog

    by MrMustache, Nov 11, 2020, 4:52 PM

  • 372554 views!

    by mrmath0720, Sep 28, 2020, 1:11 AM

  • wow... i am lost.

    369302 views!

    -piphi

    by piphi, Jun 10, 2020, 11:44 PM

  • That was a lot! But, really good solutions and format! Nice blog!!!! :)

    by CSPAL, May 27, 2020, 4:17 PM

  • impressive :D
    awesome. 358,000 visits?????

    by OlympusHero, May 14, 2020, 8:43 PM

72 shouts
Tags
About Owner
  • Posts: 7054
  • Joined: Jun 22, 2005
Blog Stats
  • Blog created: Apr 20, 2010
  • Total entries: 456
  • Total visits: 404396
  • Total comments: 37
Search Blog
a