Dưới đây là lời giải chi tiết cho bài toán tam giác ABC vuông tại A, với các điều kiện đã cho:

• Tam giác $ABC$ABC vuông tại $A$A, có $AB<AC$AB<AC.
• Tia phân giác của góc $ABC$ABC cắt $AC$AC tại $D$D.
• Trên cạnh $BC$BC lấy điểm $E$E sao cho $AB=BE$AB=BE.

Yêu cầu:

a) Chứng minh $DE\perp BC$DE⊥BC và $BD$BD là đường trung trực của đoạn thẳng $AE$AE.

b) So sánh $DA$DA và $DC$DC.

c) Hạ $CF\perp BD$CF⊥BD tại $F$F. Chứng minh ba đường thẳng $AB$AB, $DE$DE, $CF$CF đồng quy.

• Bước 1: Xác định các điểm và tính chất

  • Tam giác $ABC$ABC vuông tại $A$A nên $\mathrm{\angle }A=90^{\circ }$∠A=90∘.
  • $AB<AC$AB<AC nên $B$B nằm gần $A$A hơn $C$C.
  • $D$D là điểm trên $AC$AC sao cho $BD$BD là tia phân giác của góc $ABC$ABC.
  • $E$E trên $BC$BC sao cho $BE=AB$BE=AB.

• Bước 2: Chứng minh $DE\perp BC$DE⊥BC

  • Vì $BD$BD là tia phân giác góc $ABC$ABC, nên theo định lý phân giác trong tam giác:

    $$\frac{AD}{DC}=\frac{AB}{BC}$$DCAD​=BCAB​

  • Ta có $E$E trên $BC$BC sao cho $BE=AB$BE=AB.

  • Xét tam giác $BDE$BDE:

    • $BE=AB$BE=AB (giả thiết).
    • $BD$BD là tia phân giác góc $ABC$ABC.

  • Ta sẽ chứng minh $DE\perp BC$DE⊥BC bằng cách chứng minh tam giác $BDE$BDE vuông tại $E$E hoặc $D$D.

  • Cách khác: Sử dụng tính chất hình học hoặc tọa độ để chứng minh.

• Cách sử dụng tọa độ:

  • Đặt $A$A tại gốc tọa độ $(0,0)$(0,0).

  • Vì tam giác vuông tại $A$A, giả sử:

    $$A=(0,0),B=(b,0),C=(0,c)$$A=(0,0),B=(b,0),C=(0,c)

    với $b=AB$b=AB, $c=AC$c=AC, và $b<c$b<c.

  • Tọa độ $D$D trên $AC$AC (đường thẳng $x=0$x=0):

    $$D=(0,d)$$D=(0,d)

  • Tia phân giác góc $ABC$ABC cắt $AC$AC tại $D$D.

  • Góc $ABC$ABC tại $B(b,0)$B(b,0), các vectơ:

    $$\overrightarrow{BA}=(0-b,0-0)=(-b,0)$$BA=(0−b,0−0)=(−b,0)
    $$\overrightarrow{BC}=(0-b,c-0)=(-b,c)$$BC=(0−b,c−0)=(−b,c)

  • Tia phân giác góc $ABC$ABC là vectơ đơn vị:

    $$\vec{u}=\frac{\overrightarrow{BA}}{\mathrm{\mid }\overrightarrow{BA}\mathrm{\mid }}+\frac{\overrightarrow{BC}}{\mathrm{\mid }\overrightarrow{BC}\mathrm{\mid }}$$u=∣BA∣BA​+∣BC∣BC​
    • $\mathrm{\mid }\overrightarrow{BA}\mathrm{\mid }=b$∣BA∣=b
    • $\mathrm{\mid }\overrightarrow{BC}\mathrm{\mid }=\sqrt{b^2+c^2}$∣BC∣=b2+c2​
    $$\vec{u}=(-1,0)+(-\frac{b}{\sqrt{b^2+c^2}},\frac{c}{\sqrt{b^2+c^2}})=(-1-\frac{b}{\sqrt{b^2+c^2}},\frac{c}{\sqrt{b^2+c^2}})$$u=(−1,0)+(−b2+c2​b​,b2+c2​c​)=(−1−b2+c2​b​,b2+c2​c​)

  • Phương trình đường thẳng phân giác góc $ABC$ABC đi qua $B(b,0)$B(b,0):

    $$x=b+t(-1-\frac{b}{\sqrt{b^2+c^2}}),y=0+t\frac{c}{\sqrt{b^2+c^2}}$$x=b+t(−1−b2+c2​b​),y=0+tb2+c2​c​

  • Điểm $D$D nằm trên $AC$AC (đường $x=0$x=0) nên:

    $$0=b+t(-1-\frac{b}{\sqrt{b^2+c^2}})⟹t=\frac{b}{1+\frac{b}{\sqrt{b^2+c^2}}}=\frac{b\sqrt{b^2+c^2}}{\sqrt{b^2+c^2}+b}$$0=b+t(−1−b2+c2​b​)⟹t=1+b2+c2​b​b​=b2+c2​+bbb2+c2​​

  • Tọa độ $D$D:

    $$y_D=t\frac{c}{\sqrt{b^2+c^2}}=\frac{b\sqrt{b^2+c^2}}{\sqrt{b^2+c^2}+b}\cdot \frac{c}{\sqrt{b^2+c^2}}=\frac{bc}{\sqrt{b^2+c^2}+b}$$yD​=tb2+c2​c​=b2+c2​+bbb2+c2​​⋅b2+c2​c​=b2+c2​+bbc​

    Vậy:

    $$D=(0,\frac{bc}{\sqrt{b^2+c^2}+b})$$D=(0,b2+c2​+bbc​)

• Tọa độ điểm $E$E trên $BC$BC:

  • $BC$BC đi từ $B(b,0)$B(b,0) đến $C(0,c)$C(0,c).

  • Vector $\overrightarrow{BC}=(-b,c)$BC=(−b,c).

  • Điểm $E$E trên $BC$BC có dạng:

    $$E=B+\lambda \overrightarrow{BC}=(b-\lambda b,\lambda c)$$E=B+λBC=(b−λb,λc)

  • Điều kiện $BE=AB=b$BE=AB=b:

    $$BE=\mathrm{\mid }\overrightarrow{BE}\mathrm{\mid }=\sqrt{(-\lambda b{)}^2+(\lambda c{)}^2}=\lambda \sqrt{b^2+c^2}=b$$BE=∣BE∣=(−λb)2+(λc)2​=λb2+c2​=b
    $$\Rightarrow \lambda =\frac{b}{\sqrt{b^2+c^2}}$$⇒λ=b2+c2​b​

  • Vậy:

    $$E=(b-\frac{b^2}{\sqrt{b^2+c^2}},\frac{bc}{\sqrt{b^2+c^2}})$$E=(b−b2+c2​b2​,b2+c2​bc​)

• Bước 3: Tính vectơ $\overrightarrow{DE}$DE và kiểm tra vuông góc với $BC$BC

  • $D=(0,\frac{bc}{\sqrt{b^2+c^2}+b})$D=(0,b2+c2​+bbc​)

  • $E=(b-\frac{b^2}{\sqrt{b^2+c^2}},\frac{bc}{\sqrt{b^2+c^2}})$E=(b−b2+c2​b2​,b2+c2​bc​)

  • Vectơ $\overrightarrow{DE}=E-D$DE=E−D:

    $$(b-\frac{b^2}{\sqrt{b^2+c^2}}-0,\frac{bc}{\sqrt{b^2+c^2}}-\frac{bc}{\sqrt{b^2+c^2}+b})$$(b−b2+c2​b2​−0,b2+c2​bc​−b2+c2​+bbc​)

  • Vectơ $\overrightarrow{BC}=(-b,c)$BC=(−b,c).

• Kiểm tra tích vô hướng $\overrightarrow{DE}\cdot \overrightarrow{BC}=0$DE⋅BC=0:

  $$(b-\frac{b^2}{\sqrt{b^2+c^2}})(-b)+(\frac{bc}{\sqrt{b^2+c^2}}-\frac{bc}{\sqrt{b^2+c^2}+b})c=0$$(b−b2+c2​b2​)(−b)+(b2+c2​bc​−b2+c2​+bbc​)c=0

  • Tính từng phần:

    $$(b-\frac{b^2}{\sqrt{b^2+c^2}})(-b)=-b^2+\frac{b^3}{\sqrt{b^2+c^2}}$$(b−b2+c2​b2​)(−b)=−b2+b2+c2​b3​

    [ \left(\frac{b c}{\..........................................................