Bài toán 145 (AoPS). Cho tam giác $ABC$ với $\angle BAC<45^{\circ}$. $D$ ở trong tam giác $ABC$ sao cho $BD=CD$ và $\angle BDC=4\angle BAC$. $E$ là đối xứng của $C$ qua $AB$. $F$ là đối xứng của $B$ qua $AC$. Chứng minh rằng $AD\perp EF$.
Lời giải của em như sau:
Lời giải bài toán 145: Gọi $O$ là tâm ngoại tiếp tam giác $ABC$ thì $D$ là tâm ngoại tiếp tam giác $OBC$. Đặt $BC=a,CA=b,AB=c$ và bán kính của $(ABC)$, $(OBC)$ lần lượt là $R,r$, ta sẽ chứng minh rằng $DE^2-DF^2=AE^2-AF^2=b^2-c^2$. Thật vậy, dễ dàng tính được $\angle DBE=\angle A+90^{\circ}+\angle B-\angle C$ và $\angle DBE=\angle A+90^{\circ}+\angle C-\angle B$.
Lại có các đẳng thức $DE^2=a^2+r^2-2ar\cdot cos\angle DBE, \\DF^2=a^2+r^2-2ar\cdot cos\angle DCF$ và $r=\frac{a}{2sin\angle 2A}=\frac{a}{4sin\angle A\cdot cos\angle A}$ nên ta có:
$DE^2-DF^2=2ar(cos\angle DCF-cos\angle DBE)\\= \frac{-a^2\cdot sin(\angle A+90^{\circ})\cdot sin(\angle C-\angle B)}{sin\angle A\cdot cos\angle A}\\=4R^2\cdot sin\angle A\cdot sin(\angle C-\angle B)$
Mặt khác $b^2-c^2=2R^2(cos\angle 2C-cos\angle 2B)=4R^2sin(\angle C+\angle B)sin(\angle C-\angle B)$, dẫn đến $DE^2-DF^2=b^2-c^2=AE^2-AF^2$ hay $AD\perp EF$ $\blacksquare$
Bài viết đã được chỉnh sửa nội dung bởi moonkey01: 26-01-2017 - 14:16