Застряли на этом? Решите с помощью ИИ
Geometry · real student question

Треугольник ABC — прямоугольный и равнобедренный с прямым углом при вершине B. Точка H лежит на стороне AB, а точка D — на луче, противоположном лучу BC, причём BH = BD. Докажите, что DH перпендикулярно AC и что CH перпендикулярно AD.

Question

Пусть ABCABC — прямоугольный равнобедренный треугольник с прямым углом при вершине BB (то есть AB=BCAB=BC и AB⊥BCAB\perp BC). Возьмём точку HH на стороне ABAB и точку DD на луче, противоположном лучу BCBC, так что BH=BDBH=BD.

Докажите, что:

(а) DH⊥ACDH\perp AC
(б) CH⊥ADCH\perp AD

Step-by-step solution

  1. Введём координаты в вершине прямого угла — именно это делает оба пункта рутинными. Так как прямой угол расположен при BB, а катеты равны, поместить BB в начало координат и направить катеты по осям ничего не стоит, зато каждое условие превращается в координату:

    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 лежит на отрезке ABAB, поэтому H=(t,0)H=(t,0) при 0<t≤a0<t\le a. Точка DD лежит на луче, противоположном лучу BCBC, то есть на отрицательной полуоси yy, поэтому D=(0,−d)D=(0,-d) при d>0d>0. Условие BH=BDBH=BD означает t=dt=d, откуда

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

    Заметим, что теперь всю конфигурацию задаёт единственный параметр tt.

  2. Докажем пункт (а) через скалярное произведение. Составим два направляющих вектора:

    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)

    Их скалярное произведение равно

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

    Ни один из векторов не нулевой (t>0t>0 и a>0a>0), а нулевое скалярное произведение означает перпендикулярность прямых, поэтому DH⊥ACDH\perp AC.

  3. Прочитаем пункт (а) заново на языке углов, чтобы увидеть, почему иначе и быть не могло. В треугольнике BHDBHD угол при вершине BB прямой (оси перпендикулярны), а катеты равны: BH=BDBH=BD, значит, он прямоугольный равнобедренный и ∠BHD=∠BDH=45∘\angle BHD=\angle BDH=45^{\circ}. Треугольник ABCABC тоже прямоугольный равнобедренный, поэтому ∠BAC=∠BCA=45∘\angle BAC=\angle BCA=45^{\circ}. Значит, прямая DHDH пересекает прямую BCBC под углом 45∘45^{\circ}, а прямая ACAC пересекает её под углом 45∘45^{\circ} с другой стороны, и два угла по 45∘45^{\circ} в сумме дают 90∘90^{\circ}. По сути перпендикулярность — это утверждение о двух равнобедренных прямоугольных треугольниках с общей парой перпендикулярных прямых.

  4. Докажем пункт (б) в тех же координатах. Теперь берём другую пару векторов:

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

    Тогда

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

    Следовательно, CH⊥ADCH\perp AD. То же самое через угловые коэффициенты: mCH=0−at−0=−atm_{CH}=\dfrac{0-a}{t-0}=-\dfrac{a}{t} и mAD=−t−00−a=tam_{AD}=\dfrac{-t-0}{0-a}=\dfrac{t}{a}, а их произведение равно −at⋅ta=−1-\dfrac{a}{t}\cdot\dfrac{t}{a}=-1 — это признак перпендикулярности прямых. Запись через угловые коэффициенты требует t≠0t\neq 0, а запись через скалярное произведение — нет, поэтому она чище.

  5. Отметим структурную причину и проверим численно. Пункт (б) — это замаскированный ортоцентр: в треугольнике ACDACD прямая ABAB является высотой из вершины AA (она перпендикулярна CDCD, то есть оси yy), и точка HH лежит на ней, а из пункта (а) следует, что DH⊥ACDH\perp AC, то есть DHDH — высота из вершины DD; две высоты пересекаются в точке HH, значит, и третья высота CHCH обязана проходить через неё, откуда CH⊥ADCH\perp AD. Численная проверка при a=3.7a=3.7 и t=1.4t=1.4 даёт ровно DH⃗⋅AC⃗=0\vec{DH}\cdot\vec{AC}=0 и CH⃗⋅AD⃗=0\vec{CH}\cdot\vec{AD}=0, а произведение угловых коэффициентов равно −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 →