锐角非等腰三角形 A B C ABC ABC 的垂心为 H H H. 设直线 l a l_a la 经过 B B B 关于 C H CH CH 的对称点和 C C C 关于 B H BH BH 的对称点, 同理定义直线 l b l_b lb, l c l_c lc. 设三条直线围成三角形 T T T, 求证: H H H 在 T T T 的欧拉线上.
证明:
证明
C
A
A
C
C_AA_C
CAAC 和
A
B
B
A
A_BB_A
ABBA 交点(设为
A
′
A'
A′) 在
c
1
c_1
c1 上:
显然,
△
A
B
C
≃
△
A
B
A
C
A
\triangle ABC \simeq \triangle AB_AC_A
△ABC≃△ABACA, 设
c
1
c_1
c1 交
A
B
A
AB_A
ABA 于
X
X
X, 则
X
X
X 与
A
C
A_C
AC 关于
A
H
AH
AH 对称,
∠
A
H
A
B
=
2
∠
A
C
B
\angle AHA_B=2\angle ACB
∠AHAB=2∠ACB,
∠
A
X
A
B
=
π
−
∠
A
B
C
=
π
−
∠
A
B
A
C
\angle AXA_B=\pi-\angle ABC=\pi-\angle AB_AC
∠AXAB=π−∠ABC=π−∠ABAC, 因此
X
X
X 在
(
A
B
C
B
A
)
(A_BCB_A)
(ABCBA) 上,
∠
C
X
B
A
=
∠
C
A
)
B
B
A
=
∠
C
A
A
C
B
\angle CXB_A=\angle CA)BB_A=\angle C_AA_CB
∠CXBA=∠CA)BBA=∠CAACB, 因此
∠
C
A
A
B
A
=
∠
C
A
A
′
B
A
=
∠
B
A
C
\angle C_AAB_A=\angle C_AA'B_A=\angle BAC
∠CAABA=∠CAA′BA=∠BAC,
C
A
A
C
C_AA_C
CAAC 和
A
B
B
A
A_BB_A
ABBA 交点
A
′
A'
A′ 在
c
1
c_1
c1 上.
不妨设 ∠ A B C < ∠ A C B < ∠ B A C \angle ABC<\angle ACB<\angle BAC ∠ABC<∠ACB<∠BAC. 设 △ A B C \triangle ABC △ABC 的外心为 O O O. 设 A A A 关于 B H BH BH, C H CH CH 的对称点分别为 A B A_B AB, A C A_C AC, B B B 关于 A H AH AH, C H CH CH 的对称点分别为 B A B_A BA, B C B_C BC, C C C 关于 A H AH AH, B H BH BH 的对称点分别为 C A C_A CA, C B C_B CB, 显然, A C A_C AC, B C B_C BC 在 A B AB AB 上, B A B_A BA, C A C_A CA 在 B C BC BC 上, C B C_B CB, A B A_B AB 在 A C AC AC 上. 设以 H H H 为圆心, A H AH AH 为半径的圆为 c 1 c_1 c1, 以 H H H 为圆心, B H BH BH 为半径的圆为 c 2 c_2 c2 设 H H H 为圆心, C H CH CH 为半径的圆为 c 3 c_3 c3. 显然, A C A_C AC, A B A_B AB 在 c 1 c_1 c1 上, B A B_A BA, B C B_C BC 在 c 2 c_2 c2 上, C A C_A CA, C B C_B CB 在 c 3 c_3 c3 上.
类似地, A B B A A_BB_A ABBA 和 B C C B B_CC_B BCCB 交点(设为 B ′ B' B′) 在 c 2 c_2 c2 上, C A A C C_AA_C CAAC 和 B C C B B_CC_B BCCB 交点(设为 C ′ ) C') C′) 在 c 3 c_3 c3 上.
由此可知, △ A ′ B ′ C ′ ∼ △ A B C \triangle A'B'C'\sim \triangle ABC △A′B′C′∼△ABC.
显然, △ C B B C H ≃ △ C ′ B ′ H \triangle C_BB_CH \simeq \triangle C'B'H △CBBCH≃△C′B′H. ∠ B C B C = ∠ A C B = π − ∠ A H B \angle BC_BC=\angle ACB=\pi-\angle AHB ∠BCBC=∠ACB=π−∠AHB, ∠ A C A B = ∠ A C B = π − ∠ A H B \angle AC_AB=\angle ACB=\pi-\angle AHB ∠ACAB=∠ACB=π−∠AHB, 因此 C B C_B CB, A A A, H H H, C A C_A CA, B B B 共圆, 同理 B C B_C BC, A A A, H H H, C C C, B A B_A BA 共圆. ∠ C B H B C = ∠ C B H A + ∠ B C H A = ∠ C B B A + ∠ B C C A = 3 ∠ B A C − π = ∠ H B O + ∠ H C O \angle C_BHB_C=\angle C_BHA+\angle B_CHA=\angle C_BBA+\angle B_CCA=3\angle BAC-\pi=\angle HBO+\angle HCO ∠CBHBC=∠CBHA+∠BCHA=∠CBBA+∠BCCA=3∠BAC−π=∠HBO+∠HCO.
作 ∠ C ′ H B ′ \angle C'HB' ∠C′HB′ 的分角线 H O ′ HO' HO′, 使得 ∠ O ′ H C ′ = ∠ O C H \angle O'HC'=\angle OCH ∠O′HC′=∠OCH, ∠ O ′ H B ′ = ∠ O B H \angle O'HB'=\angle OBH ∠O′HB′=∠OBH. 令 H O ′ = B O HO'=BO HO′=BO. 则 △ O ′ H C ′ ≃ △ O H C \triangle O'HC'\simeq \triangle OHC △O′HC′≃△OHC, △ O ′ B ′ H ≃ △ O H B \triangle O'B'H \simeq \triangle OHB △O′B′H≃△OHB. O B ′ = O C ′ OB'=OC' OB′=OC′, 且 ∠ B ′ O C ′ = ∠ B O C \angle B'OC'=\angle BOC ∠B′OC′=∠BOC, 结合 △ A ′ B ′ C ′ ∼ △ A B C \triangle A'B'C'\sim \triangle ABC △A′B′C′∼△ABC, O ′ O' O′ 是 △ A ′ B ′ C ′ \triangle A'B'C' △A′B′C′ 的外心. 进一步, 在线段 O ′ H O'H O′H 上取一点 H ′ H' H′, 使得 O ′ C 2 = O ′ H ′ ⋅ O ′ H O'C^2=O'H' \cdot O'H O′C2=O′H′⋅O′H, 则 △ O ′ H ′ B ′ ∼ △ O ′ B ′ H \triangle O'H'B' \sim \triangle O'B'H △O′H′B′∼△O′B′H, △ O ′ H ′ C ′ ∼ △ O ′ C ′ H \triangle O'H'C' \sim \triangle O'C'H △O′H′C′∼△O′C′H, 则 ∠ O ′ B ′ H ′ = ∠ O ′ H B ′ = ∠ O B H \angle O'B'H'=\angle O'HB'=\angle OBH ∠O′B′H′=∠O′HB′=∠OBH, ∠ O ′ C ′ H ′ = ∠ O ′ H C ′ = ∠ O C H \angle O'C'H'=\angle O'HC'=\angle OCH ∠O′C′H′=∠O′HC′=∠OCH. 结合 △ A ′ B ′ C ′ ∼ △ A B C \triangle A'B'C'\sim \triangle ABC △A′B′C′∼△ABC 可知 H ′ H' H′ 是 △ A ′ B ′ C ′ \triangle A'B'C' △A′B′C′ 垂心, 证毕.