¿Atascado con esto? Resuélvelo con IA
Geometry · real student question

El triángulo ABC es rectángulo isósceles con el ángulo recto en B. El punto H está en el lado AB y el punto D está en la semirrecta opuesta a la semirrecta BC, con BH = BD. Demuestra que DH es perpendicular a AC y que CH es perpendicular a AD.

Question

Sea ABCABC un triángulo rectángulo isósceles con el ángulo recto en BB (de modo que AB=BCAB=BC y AB⊥BCAB\perp BC). Toma un punto HH sobre el lado ABAB, y un punto DD sobre la semirrecta opuesta a la semirrecta BCBC tal que BH=BDBH=BD.

Demuestra que:

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

Step-by-step solution

  1. Coloca coordenadas en el ángulo recto — eso es lo que vuelve rutinarios los dos apartados. Como el ángulo recto está en BB y los dos catetos son iguales, situar BB en el origen con los catetos sobre los ejes no cuesta nada y convierte cada hipótesis en una coordenada:

    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 está sobre el segmento ABAB, así que H=(t,0)H=(t,0) con 0<t≤a0<t\le a. DD está sobre la semirrecta opuesta a la semirrecta BCBC, es decir, sobre el semieje yy negativo, de modo que D=(0,−d)D=(0,-d) con d>0d>0. La condición BH=BDBH=BD dice que t=dt=d, y por tanto

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

    Fíjate en que ahora un solo parámetro tt codifica toda la configuración.

  2. Demuestra (a) con un producto escalar. Forma los dos vectores directores:

    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)

    Su producto escalar es

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

    Como ninguno de los dos vectores es nulo (t>0t>0 y a>0a>0), un producto escalar nulo significa que las rectas son perpendiculares, así que DH⊥ACDH\perp AC.

  3. Vuelve a leer (a) en términos de ángulos, para ver por qué es forzoso. El triángulo BHDBHD tiene el ángulo recto en BB (los ejes son perpendiculares) y catetos BH=BDBH=BD, así que es rectángulo isósceles y ∠BHD=∠BDH=45∘\angle BHD=\angle BDH=45^{\circ}. El triángulo ABCABC también es rectángulo isósceles, de modo que ∠BAC=∠BCA=45∘\angle BAC=\angle BCA=45^{\circ}. Por lo tanto la recta DHDH corta a la recta BCBC formando 45∘45^{\circ} y la recta ACAC la corta formando 45∘45^{\circ} por el otro lado, y los dos ángulos de 45∘45^{\circ} suman 90∘90^{\circ}. La perpendicularidad es en realidad una afirmación sobre dos triángulos rectángulos isósceles que comparten un par de rectas perpendiculares.

  4. Demuestra (b) con las mismas coordenadas. Usa ahora el otro emparejamiento:

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

    Así que

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

    Por lo tanto CH⊥ADCH\perp AD. De forma equivalente, con pendientes, mCH=0−at−0=−atm_{CH}=\dfrac{0-a}{t-0}=-\dfrac{a}{t} y mAD=−t−00−a=tam_{AD}=\dfrac{-t-0}{0-a}=\dfrac{t}{a}, y su producto es −at⋅ta=−1-\dfrac{a}{t}\cdot\dfrac{t}{a}=-1, el criterio de las pendientes para rectas perpendiculares. La forma con pendientes exige t≠0t\neq 0, cosa que la del producto escalar no necesita, así que el producto escalar es el argumento más limpio.

  5. Observa la razón estructural y verifica numéricamente. El apartado (b) es en realidad el ortocentro disfrazado: en el triángulo ACDACD la recta ABAB es una altura desde AA (es perpendicular a CDCD, el eje yy) y HH está sobre ella, mientras que DH⊥ACDH\perp AC, por el apartado (a), convierte a DHDH en la altura desde DD; las dos alturas se cortan en HH, así que la tercera altura CHCH también tiene que pasar por ahí, lo que da CH⊥ADCH\perp AD. Una comprobación numérica con a=3.7a=3.7, t=1.4t=1.4 devuelve DH⃗⋅AC⃗=0\vec{DH}\cdot\vec{AC}=0 y CH⃗⋅AD⃗=0\vec{CH}\cdot\vec{AD}=0 exactamente, y el producto de las pendientes vale −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 →