51. A nice problem with perpendicularity from Jaime.

by Virgil Nicula, Jul 6, 2010, 1:41 PM

Quote:
In an $A$-right $\triangle ABC$ denote the midpoint $M$ of the side $[BC]$ , the foot $D$ of the $A$-altitude and the point $E\in AB$ for which $DE\perp AB$ . For a point $X\in (AM)$ denote the intersection $Z\in BX\cap DE$ . Prove that $CX\perp AZ$ .

Proof 1. Denote $U\in CX\cap AB$ and $V\in BX\cap AC$ . Observe that $UV\parallel BC$ and $V\in BX$ . Since $\triangle AED\sim\triangle CAB$ and $\frac {ZE}{ZD}=$ $\frac {VA}{VC}=$ $\frac {UA}{UB}$ obtain that the points $Z\in ED$ , $U\in AB$ are omologously in this similarity. Since $AE\perp CA$ , $ED\perp AB$ and $AD\perp CB$ results that we can obtain the triangle $AED$ from the triangle $CAB$ by a rotation with $90^{\circ}$ and a homothety. In conclusion, $CX\perp AZ$ .

Proof 2 (directly, without geometrical transformations - rotation and homothety). Denote $U\in CX\cap AB$ and $V\in BX\cap AC$ . Observe that $UV\parallel BC$ . Since $\triangle AED\sim\triangle CAB$ and $\frac {ZE}{ZD}=$ $\frac {VA}{VC}=$ $\frac {UA}{UB}$ obtain that the points $Z\in ED$ , $U\in AB$ are omologously in this similarity. Therefore, $\widehat {ZAE}\equiv\widehat {UCA}$ . Since $AE\perp CA$ and $\widehat {ZAE}\equiv\widehat {UCA}$ obtain $CU\perp AZ$ , i.e. $CX\perp AZ$ .


Quote:
$1\blacktriangleright$ Generalization. In an $A$-right $\triangle ABC$ choose a point $D$ on the line of $A$-altitude and a point $X$ on the line of $A$-median. Denote $E\in AB$ for which $DE\perp AB$ , $Y\in AB\cap CD$ , $V\in BX\cap AC$ and $Z\in ED\cap YV$ . Prove that $CX\perp AZ$ .
Particular case. For $D\in BC$ obtain the proposed problem by Jaime from here

Proof. Denote $U\in CX\cap AB$ . Observe that $UV\parallel BC$ . Since $\triangle AED\sim\triangle CAB$ and $\frac {ZE}{ZD}=$ $\frac {VA}{VC}=$ $\frac {UA}{UB}$ obtain that the points $Z\in ED$ , $U\in AB$ are omologously in this similarity. Therefore, $\widehat {ZAE}\equiv\widehat {UCA}$ . Since $AE\perp CA$ and $\widehat {ZAE}\equiv\widehat {UCA}$ obtain $CU\perp AZ$ , i.e. $CX\perp AZ$ .
Quote:
Equivalent enunciation. Let $ABC$ be a $A$-right triangle. Choose a point $F$ on the sideline $AB$ and denote the midpoint $M$ of $[CF]$ . Denote $D\in BC$ so that $AD\perp FC$ and $E\in AB$ for which $DE\perp AB$ . Choose a point $L$ on the line $AM$ and denote $V\in FL\cap AC$ and $K\in DE\cap VB$ . Prove that $AK\perp CL$ .
Quote:
$2\blacktriangleright$ Generalization. In $\triangle ABC$ with $a>b$ consider the point $M\in (BC)$ so that $MA=MB$ , the point $D\in (BC)$ so that $\widehat{DAB}\equiv\widehat{DCA}$ , the point $E\in (AB)$ for which $\widehat {EDA}\equiv\widehat{EBC}$ . For a point $X\in AM$ define $Z\in ED\cap BX$ and $L\in AZ\cap CX$ . Prove that the quadrilateral $ALDC$ is cyclically . See here.

Proof. Denote $U\in CX\cap AB$ . I"ll show the relation $\boxed{\ \frac {UA}{UB}=\frac {ZE}{ZD}\ }\ (*)$ . Thus, $\triangle BAD\sim\triangle BCA \implies \frac ca=\frac {AD}{b}=\frac {BD}{c} \implies \left\{\begin{array}{c}
BD=\frac {c^2}{a}\\\\
AD=\frac {bc}{a}\end{array}\right\|$ .

$\triangle ADE\sim\triangle CBA\implies\frac {AD}{a}=\frac {DE}{c}=\frac {AE}{b}\implies\left\{\begin{array}{c}
DE=\frac {bc^2}{a^2}\\\\
AE=\frac {b^2c}{a^2}\end{array}\right\|$ .

Observe that $BE=c-AE=c-\frac {b^2c}{a^2}$ , i.e. $BE=\frac {c(a^2-b^2)}{a^2}$ . Apply the Menelaus' theorem to the transversal $\overline{CXU}$ and $\triangle ABM\ :$ $\frac {CM}{CB}\cdot\frac {UB}{UA}\cdot\frac {XA}{XM}=1$ $\implies$ $\frac {UA}{UB}=\frac {CM}{a}\cdot\frac {XA}{XM}$ . Apply in $\triangle ABM$ an well-known relation $\frac {ZE}{ZD}=\frac {XA}{XM}\cdot\frac {BE}{BD}\cdot\frac {BM}{BA}$ . Therefore, $\frac {ZE}{ZD}=\frac {UA}{UB}$ $\Longleftrightarrow$ $\frac {CM}{a}=\frac {BE}{BD}\cdot\frac {BM}{c}$ $\Longleftrightarrow$ $\boxed {\frac {MB}{MC}=\frac ca\cdot\frac {BD}{BE}}\ (2)$ $\Longleftrightarrow$ $\frac {MB}{MC}=\frac ca\cdot\frac {c^2}{a}\cdot\frac {a^2}{c(a^2-b^2)}$ $\Longleftrightarrow$ $\frac {MB}{MC}=\frac {c^2}{a^2-b^2}$ $\Longleftrightarrow$ $\frac {MB}{a}=\frac {c^2}{a^2+c^2-b^2}$ $\Longleftrightarrow$ $MB=\frac {ac^2}{2ac\cdot\cos B}$ , $\Longleftrightarrow$ $AB=2\cdot MB\cdot \cos B$ $\Longleftrightarrow$ $MA=MB$ , what is truly. Therefore, $\triangle ADE\sim \triangle CBA$ and for the points $Z\in (DE)$ , $U\in (BA)$ exists the relation $\frac {UA}{UB}=\frac {ZE}{ZD}$ . It means these points are omologously in similarity. Thus, $\widehat {ZAE}\equiv\widehat{UCA}$ $\Longleftrightarrow$ $\widehat{LAD}\equiv\widehat{LCD}$ , i.e. the quadrilateral $ALDC$ is cyclically.

Remark. Can define otherwise the point $M$ from the relation $(2)$ . Consider the point $N\in BC$ so that $AN\parallel DE$ . Observe that $\frac {BD}{BE}=\frac {BN}{BA}$ and $\frac {MB}{MC}=\frac ca\cdot\frac {BD}{BE}=$ $\frac ca\cdot\frac {BN}{BA}=$ $\frac {BN}{BC}=$ $\frac {MN}{MB}$ , i.e. $MB^2=MN\cdot MC$ what means that $MA=MB$ $\Longleftrightarrow$ $MA^2=MN\cdot MC$ $\Longleftrightarrow$ $\widehat {MAN}\equiv\widehat {MCA}$ , i.e. $\widehat {MAN}\equiv\widehat {DAB}$ $\Longleftrightarrow$ the rays $[AD$ , $[AM$ are isogonally in the angle $\widehat {BAN}$ .


A similar proposed problem. In $\triangle ABC$ consider the point $M\in (BC)$ so that $\widehat {MAB}\equiv\widehat {BCA}$ . A circle through $B$ , $M$ cut $AB$ , $AM$ in $N$ , $P$ respectively. Denote the midpoints $R$ , $S$ of $[AB]$ , $[NP]$ respectively and $L\in CR\cap AS$ . Prove that the quadrilateral $ALMC$ is cyclically. Remark. Another similar problem is here
This post has been edited 22 times. Last edited by Virgil Nicula, Nov 23, 2015, 4:44 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: 404396
  • Total comments: 37
Search Blog
a