Travou nisso? Resolva com IA
Geometry · real student question

Triangle ABC is a right isosceles triangle with the right angle at B. Point H lies on side AB, and point D lies on the ray opposite to ray BC with BH = BD. Prove that DH is perpendicular to AC, and that CH is perpendicular to AD.

Question

Let ABCABC be a right isosceles triangle with the right angle at BB (so AB=BCAB=BC and AB⊥BCAB\perp BC). Take a point HH on side ABAB, and a point DD on the ray opposite to ray BCBC such that BH=BDBH=BD.

Prove that:

(a) DH⊥ACDH\perp AC
(b) CH⊥ADCH\perp AD

Step-by-step solution

  1. Set up coordinates at the right angle — that is what makes both parts routine. Because the right angle is at BB and the two legs are equal, placing BB at the origin with the legs along the axes costs nothing and turns every hypothesis into a coordinate:

    B=(0,0),A=(a,0),C=(0,a),a>0B=(0,0),\quad A=(a,0),\quad C=(0,a),\qquad a>0

    HH lies on segment ABAB, so H=(t,0)H=(t,0) with 0<t≤a0<t\le a. DD lies on the ray opposite ray BCBC, i.e. on the negative yy-axis, so D=(0,−d)D=(0,-d) with d>0d>0. The condition BH=BDBH=BD says t=dt=d, hence

    H=(t,0),D=(0,−t)H=(t,0),\qquad D=(0,-t)

    Notice the single parameter tt now encodes the whole configuration.

  2. Prove (a) with a dot product. Form the two direction vectors:

    DH⃗=H−D=(t−0, 0−(−t))=(t, t),AC⃗=C−A=(0−a, a−0)=(−a, a)\vec{DH}=H-D=(t-0,\,0-(-t))=(t,\,t),\qquad \vec{AC}=C-A=(0-a,\,a-0)=(-a,\,a)

    Their dot product is

    DH⃗⋅AC⃗=t(−a)+t(a)=−at+at=0\vec{DH}\cdot\vec{AC}=t(-a)+t(a)=-at+at=0

    Since neither vector is zero (t>0t>0 and a>0a>0), a zero dot product means the lines are perpendicular, so DH⊥ACDH\perp AC.

  3. Read (a) again through angles, to see why it is forced. Triangle BHDBHD has the right angle at BB (the axes are perpendicular) and legs BH=BDBH=BD, so it is right isosceles and ∠BHD=∠BDH=45∘\angle BHD=\angle BDH=45^{\circ}. Triangle ABCABC is right isosceles too, so ∠BAC=∠BCA=45∘\angle BAC=\angle BCA=45^{\circ}. Line DHDH therefore meets line BCBC at 45∘45^{\circ} and line ACAC meets it at 45∘45^{\circ} on the other side, and the two 45∘45^{\circ} angles add to 90∘90^{\circ}. The perpendicularity is really a statement about two isosceles right triangles sharing a perpendicular pair of lines.

  4. Prove (b) with the same coordinates. Now use the other pairing:

    CH⃗=H−C=(t, −a),AD⃗=D−A=(−a, −t)\vec{CH}=H-C=(t,\,-a),\qquad \vec{AD}=D-A=(-a,\,-t)

    So

    CH⃗⋅AD⃗=t(−a)+(−a)(−t)=−at+at=0\vec{CH}\cdot\vec{AD}=t(-a)+(-a)(-t)=-at+at=0

    Hence CH⊥ADCH\perp AD. Equivalently, via slopes, mCH=0−at−0=−atm_{CH}=\dfrac{0-a}{t-0}=-\dfrac{a}{t} and mAD=−t−00−a=tam_{AD}=\dfrac{-t-0}{0-a}=\dfrac{t}{a}, and their product is −at⋅ta=−1-\dfrac{a}{t}\cdot\dfrac{t}{a}=-1, the slope criterion for perpendicular lines. The slope form needs t≠0t\neq 0, which the dot-product form does not, so the dot product is the cleaner argument.

  5. Note the structural reason and verify numerically. Part (b) is really the orthocentre in disguise: in triangle ACDACD the line ABAB is an altitude from AA (it is perpendicular to CDCD, the yy-axis) and HH lies on it, while DH⊥ACDH\perp AC from part (a) makes DHDH the altitude from DD; the two altitudes meet at HH, so the third altitude CHCH must also pass through it, giving CH⊥ADCH\perp AD. A numerical check with a=3.7a=3.7, t=1.4t=1.4 returns DH⃗⋅AC⃗=0\vec{DH}\cdot\vec{AC}=0 and CH⃗⋅AD⃗=0\vec{CH}\cdot\vec{AD}=0 exactly, and the slope product equals −1.0-1.0.

Answer

DH⃗⋅AC⃗=(t,t)⋅(−a,a)=0 ⇒ DH⊥AC;CH⃗⋅AD⃗=(t,−a)⋅(−a,−t)=0 ⇒ CH⊥AD\vec{DH}\cdot\vec{AC}=(t,t)\cdot(-a,a)=0 \ \Rightarrow\ DH\perp AC;\quad \vec{CH}\cdot\vec{AD}=(t,-a)\cdot(-a,-t)=0 \ \Rightarrow\ CH\perp AD

Need to solve a different problem like this? Open the solver →