在圆
O
O
O 上有四边形
A
1
A
2
A
3
A
4
_{A_1A_2A_3A_4}
A1A2A3A4。
H
1
H_1
H1 为
△
A
2
A
3
A
4
\triangle_{A_2A_3A_4}
△A2A3A4 的垂心,
H
2
H_2
H2 为
△
A
1
A
3
A
4
\triangle_{A_1A_3A_4}
△A1A3A4 的垂心,
H
3
H_3
H3 为
△
A
1
A
2
A
4
\triangle_{A_1A_2A_4}
△A1A2A4 的垂心,
H
4
H_4
H4 为
△
A
1
A
2
A
3
\triangle_{A_1A_2A_3}
△A1A2A3 的垂心。证明:
H
1
,
H
2
,
H
3
,
H
4
H_1,H_2,H_3,H_4
H1,H2,H3,H4 四点共圆。
大家可以先思考。
证:
通过画图可以发现:四边形 A 1 A 2 A 3 A 4 ≅ _{A_1A_2A_3A_4}\cong A1A2A3A4≅ 四边形 H 1 H 2 H 3 H 4 _{H_1H_2H_3H_4} H1H2H3H4。我们先证 H 1 H 2 = A 1 A 2 H_1H_2= A_1A_2 H1H2=A1A2。我们发现 H 1 H 2 A 1 A 2 H_1H_2A_1A_2 H1H2A1A2是平行四边形,下面证明这个。
我们先证明一个引理:若
H
,
O
H,O
H,O 分别是
△
A
B
C
\triangle_{ABC}
△ABC 的垂心,外心。作点
D
s
.
t
.
O
D
⊥
B
C
D\ s.t.\ OD\perp BC
D s.t. OD⊥BC 于点
D
D
D。证明:
2
O
D
=
/
/
A
H
2OD_{=}^{//}AH
2OD=//AH。
证:延长
B
O
BO
BO 交圆
O
O
O 于点
E
E
E。易得:四边形
A
H
C
E
_{AHCE}
AHCE 是平四。
∴
A
H
=
/
/
E
C
\therefore AH_{=}^{//}EC
∴AH=//EC。易得:
E
C
=
/
/
2
O
D
EC_{=}^{//}2OD
EC=//2OD。故
2
O
D
=
/
/
A
H
2OD_{=}^{//}AH
2OD=//AH。
回到原命题。作点
B
s
.
t
.
O
B
⊥
A
3
A
4
B\ s.t.\ OB\perp A_3A_4
B s.t. OB⊥A3A4 于点
D
D
D。我们得到:
A
1
H
2
=
/
/
2
O
B
=
/
/
A
2
H
1
A_1H_2{}_{=}^{//}2OB{}_{=}^{//}A_2H_1
A1H2=//2OB=//A2H1。
∴
\therefore
∴ 四边形
A
1
H
2
H
1
A
2
_{A_1H_2H_1A_2}
A1H2H1A2 是平行四边形。
∴
H
1
H
2
=
A
1
A
2
\therefore H_1H_2= A_1A_2
∴H1H2=A1A2 。
同理:
H
2
H
3
=
A
2
A
3
,
H
3
H
4
=
A
3
A
4
,
H
4
H
1
=
A
4
A
1
H_2H_3= A_2A_3,H_3H_4= A_3A_4,H_4H_1= A_4A_1
H2H3=A2A3,H3H4=A3A4,H4H1=A4A1 。
∴
\therefore
∴ 四边形
A
1
A
2
A
3
A
4
≅
_{A_1A_2A_3A_4}\cong
A1A2A3A4≅ 四边形
H
1
H
2
H
3
H
4
_{H_1H_2H_3H_4}
H1H2H3H4。
∵
A
1
,
A
2
,
A
3
,
A
4
\because A_1,A_2,A_3,A_4
∵A1,A2,A3,A4 四点共圆。
∴
H
1
,
H
2
,
H
3
,
H
4
\therefore H_1,H_2,H_3,H_4
∴H1,H2,H3,H4 四点共圆。证毕。
其实四个垂心的圆心和 O O O 关于 A 1 H 1 A_1H_1 A1H1 和 A 2 H 2 A_2H_2 A2H2的交点对称,证明留作读者思考。