[数学]三角形的五心之外心

三角形外心的性质

三角形外接圆的圆心称为三角形的外心。外心也是三角形三边的中垂线的交点

性质1

设O为$△ABC$所在平面内的一点，则$O$为$△ABC$的外心的充要条件是下列条件之一
1.1 $OA=OB=OC$

充分性证明：
以$O$为圆心，$OA$为半径作圆，则该圆过$A,B,C$
因此$圆O$为$△ABC$的外接圆
所以$O$是$△ABC$的外心
必要性证明：
$△ABC$的外接圆圆心为$O$，而$A,B,C$在圆上，所以$OA=OB=OC$

1.2 $\angle BOC=2\angle A，\angle COA=2\angle B，\angle AOB=2\angle C$
1.3 $OB=OC,\angle BOC=2\angle A$

充分性证明：
以$O$为圆心，$OB$为半径作圆，则该圆过$B,C$
根据圆周角定理逆定理，点$A$也在圆$O$上
故圆$O$是$△ABC$的外接圆，$O$为外心
必要性证明：
因为圆$O$为$△ABC$的外接圆，所以$OB=OC$
根据圆周角定理：$\angle BOC=2\angle A$

性质2

三角形外心到三边的有向距离（外心在边的形内一侧距离为正，形外一侧为负）之和等于其外接圆半径与内切圆半径的和

证明：
我们发现$d_A=RcosA$
则即证$R(cosA+cosB+cosC)=(R+r)$
$⟺R(cosA+cosB+cosC)=R+2R\cdot \frac{sinAsinBsinC}{sinA+sinB+sinC}$
$⟺(cosA+cosB+cosC-1)(sinA+sinB+sinC)=2sinAsinBsinC$
由三角恒等式：$sinA+sinB+sinC=4cos\frac{A}{2}cos\frac{B}{2}cos\frac{C}{2}$
和$cosA+cosB+cosC=1+4sin\frac{A}{2}sin\frac{B}{2}sin\frac{C}{2}$相乘即证

性质3

过$△ABC$的外心$O$任作一条直线与$AB,AC$所在的直线分别相交于$P,Q$,则
$$\frac{AB}{AP}sin2B+\frac{AC}{AQ}sin2C=sin2A+sin2B+sin2C$$

证明：
对$△APQ$用张角定理：$$\frac{sin\angle OAQ}{AP}+\frac{sin\angle OAP}{AQ}=\frac{sin\angle PAQ}{AO}$$
$⟺\frac{cosB}{AP}+\frac{cosC}{AQ}=\frac{sinA}{R}$
等号左右均乘$4RsinBsinC$即证