已知:
△
A
B
C
\triangle_{ABC}
△ABC 为非直角三角形,
A
D
AD
AD平分
∠
B
A
C
\angle_{BAC}
∠BAC,
D
D
D 在
B
C
BC
BC上,
D
F
⊥
A
C
DF\perp AC
DF⊥AC 于
F
F
F,
D
E
⊥
A
B
DE\perp AB
DE⊥AB 于
E
E
E,
C
E
CE
CE 交
B
F
BF
BF于点
P
P
P。求证:
A
P
⊥
B
C
AP\perp BC
AP⊥BC
证:过
A
A
A 作
A
H
⊥
B
C
AH\perp BC
AH⊥BC。要证
A
,
P
,
H
A,P,H
A,P,H共线
⇔
A
E
E
B
∗
B
H
H
C
∗
C
F
F
A
=
1
\Leftrightarrow \frac{AE}{EB}*\frac{BH}{HC}*\frac{CF}{FA}=1
⇔EBAE∗HCBH∗FACF=1(塞瓦)。
∵
{
∠
E
A
D
=
∠
D
A
F
,
∠
A
E
D
=
∠
A
F
D
=
9
0
∘
A
D
=
A
D
\because \begin{cases} \angle_{EAD}=\angle_{DAF}, \\ \angle_{AED}=\angle_{AFD}=90^\circ\\ AD=AD \end{cases}
∵⎩⎪⎨⎪⎧∠EAD=∠DAF,∠AED=∠AFD=90∘AD=AD
∴
△
A
E
D
≅
△
A
F
D
,
A
E
=
A
F
\therefore \triangle_{AED}\cong\triangle_{AFD},AE=AF
∴△AED≅△AFD,AE=AF。
则
A
,
P
,
H
A,P,H
A,P,H共线
⇔
B
H
E
B
=
H
C
C
F
⇔
B
H
c
o
s
∠
A
B
H
E
B
c
o
s
∠
A
B
H
=
H
C
c
o
s
∠
A
C
H
C
F
c
o
s
∠
A
C
H
⇔
A
B
B
D
=
A
C
C
D
\Leftrightarrow \frac{BH}{EB}=\frac{HC}{CF}\Leftrightarrow \large\frac{\frac{BH}{cos\angle_{ABH}}}{\frac{EB}{cos\angle_{ABH}}}=\frac{\frac{HC}{cos\angle_{ACH}}}{\frac{CF}{cos\angle_{ACH}}}\small\Leftrightarrow \frac{AB}{BD}=\frac{AC}{CD}
⇔EBBH=CFHC⇔cos∠ABHEBcos∠ABHBH=cos∠ACHCFcos∠ACHHC⇔BDAB=CDAC。
由角分线定理得证。
这题其实本质上并不难,主要是要想到做出来的
A
H
AH
AH 是满足
A
H
⊥
B
C
AH\perp BC
AH⊥BC 而不是延长
A
P
AP
AP。
然后后面的塞瓦就很显然了 (我第一次还在想梅氏) 。