189. Pascal's theorem and some nice and easy applications.

by Virgil Nicula, Dec 11, 2010, 10:58 AM

Pascal's theorem. $ABCDEF$ is a cyclic hexagon (convex or not) $\implies\ \boxed{\ \begin{array}{c}
M\in AB\cap DE\\\
N\in BC\cap EF\\\
P\in CD\cap FA\end{array}\ \implies\ P\in MN\ }$ .
Proof

=====================================================================================

Proposed problem 1 (Gerry Leversha - England). For the triangle $ABC$ with the orthocenter $H$ denote $D\in AH\cap BC$ , $E\in BH\cap CA$ , $F\in CH\cap AB$ and

midpoints $L$ , $M$ , $N$ of the sides $[BC]$ , $[CA]$ , $[AB]$ respectively. Prove that the points $X\in MF\cap NE$ , $Y\in ND\cap LF$ and $Z\in LE\cap MD$ are colinearly.


Proof. Apply the Pascal's theorem to the hexagon $MDNELF$ which is inscribed in the Euler's circle of $\triangle ABC\ :\ \left\{\begin{array}{c}
Z\in MD\cap EL\\\
Y\in DN\cap LF\\\
X\in NE\cap FM\end{array}\right\|$ $\implies\ Z\in XY$ .


Proposed problem 2 (theory). Let $ABCDEF$ be an hexagon which is inscribed in the circle $w$ and for which exists $I\in AD\cap BE\cap CF$ .

For $L\in w$ denote the intersections $M\in BC\cap LD$ , $N\in CA\cap LE$ and $P\in AB\cap LF$ . Prove that the points $M,N,P,I$ are colinearly.


Proof. Apply the Pascal's theorem to the hexagons $\begin{array}{c}
\nearrow\\\
\rightarrow\\\
\searrow\end{array}\left|\begin{array}{cccc}
ABCFLD\ : & \begin{array}{c}
P\in AB\cap FL\\\
M\in BC\cap LD\\\
I\in CF\cap DA\end{array} & \implies & I\in PM\\\\
BCADLE\ : & \begin{array}{c}
M\in BC\cap DL\\\
N\in CA\cap LE\\\
I\in AD\cap EB\end{array} & \implies & I\in MN\\\\
CABELF\ : & \begin{array}{c}
N\in CA\cap EL\\\
P\in AB\cap LF\\\
I\in BE\cap FC\end{array} & \implies & I\in NP\end{array}\right| \implies\ I\in\overline{MNP}$ .

Remark. Let $ABCDEF$ be a cyclical hexagon. Then $\boxed {\ AD\cap BE\cap CF\ne\emptyset\ \iff\ AB\cdot CD\cdot EF=BC\cdot DE\cdot FA\ }$ . See
here my message.


Proposed problem 3 (own). Let $ABC$ be a triangle with the circumcircle $w$ . Denote the intersections $E\in BB\cap CC$ and $\{A,F\}=AE\cap w$ . For

$M\in w$ define the intersections $N\in BC\cap MF$ , $P\in CA\cap MB$ and $Q\in AB\cap MC$ . Prove that the points $E,N,P,Q$ are colinearly.


Proof. Apply Pascal's theorem to $\begin{array}{c}
\nearrow\\\
\searrow\end{array}\left|\begin{array}{cccc}
ABCCMF\ : & \begin{array}{c}
Q\in AB\cap CM\\\
N\in BC\cap MF\\\
E\in CC\cap AF\end{array} & \implies & Q\in NE\\\\
BCAFMB\ : & \begin{array}{cc}
N\in BC\cap FM\\\
P\in CA\cap MB\\\
E\in AF\cap BB\end{array} & \implies & P\in NE\end{array}\right|$ $\implies$ $E\in\overline{NPQ}$ .


Proposed problem 4 (own). Let $ABC$ bw a triangle with orthocenter $H$ and circumcircle $w=C(O,R)$ . Denote $\left\{\begin{array}{ccc}
D\in w\cap (AH & ; & A'\in w\cap (AO\\\\
E\in w\cap (BH & ; & B'\in w\cap (BO\\\\
F\in w\cap (CH & ; & C'\in w\cap (CO\end{array}\right\|$ .

Prove that : $\left\{\begin{array}{ccccc}
1.\blacktriangleright & X\in A'E\cap AC\ \wedge\ Y\in A'F\cap AB & \implies & XY\parallel BC\ \wedge\ H\in XY\\\\
2.\blacktriangleright & U\in B'D\cap AC\ \wedge\ V\in C'D\cap AB & \implies & UV\parallel BC\ \wedge\ O\in UV\end{array}\right\|$ .


Proof.


Proposed problem 5 (own, very nice). Let $\triangle ABC$ with circumcircle $w=C(O,R)$ and incircle $w_1=C(I,r)$ . Denote $\left\{\begin{array}{c}
A'\in w\cap (AO\\\
D\in w_1\cap BC\\\
X\in AB\cap IA'\\\
Y\in AI\cap CA'\end{array}\right\|$ . Prove that $D\in XY$ . Proof.
This post has been edited 95 times. Last edited by Virgil Nicula, Nov 22, 2015, 6:04 PM

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: 404398
  • Total comments: 37
Search Blog
a