外心Pは、OA, OB, ABの垂直二等分線の交点である。
OP=sa+tbとおくと、 ∣OP−21OA∣2=∣OP−21OB∣2=∣OP∣2が成立する。 ∣sa+tb−21a∣2=∣sa+tb∣2 ∣(s−21)a+tb∣2=∣sa+tb∣2 (s−21)2∣a∣2+2(s−21)ta⋅b+t2∣b∣2=s2∣a∣2+2sta⋅b+t2∣b∣2 (s2−s+41)∣a∣2+2(st−21t)a⋅b+t2∣b∣2=s2∣a∣2+2sta⋅b+t2∣b∣2 (−s+41)∣a∣2−ta⋅b=0 −s(4)+1−t(a⋅b)=0 ∣AB∣2=∣b−a∣2=∣a∣2−2a⋅b+∣b∣2 16=4−2a⋅b+9 2a⋅b=−3 a⋅b=−23 −4s+1+23t=0 4s−23t=1 同様に、
∣OP−21OB∣2=∣OP∣2 ∣sa+tb−21b∣2=∣sa+tb∣2 ∣sa+(t−21)b∣2=∣sa+tb∣2 s2∣a∣2+2s(t−21)a⋅b+(t−21)2∣b∣2=s2∣a∣2+2sta⋅b+t2∣b∣2 s2(4)+2s(t−21)(−23)+(t2−t+41)(9)=s2(4)+2st(−23)+t2(9) −3s(t−21)+(t2−t+41)(9)=−3st+9t2 −3st+23s+9t2−9t+49=−3st+9t2 23s−9t+49=0 23s=9t−49 s=6t−23 4(6t−23)−23t=1 24t−6−23t=1 24t−23t=7 245t=7 t=4514 s=6(4514)−23=4584−23=90168−135=9033=3011 OP=3011a+4514b OH=xa+ybとおく。 OH⋅AB=0 (xa+yb)⋅(b−a)=0 xa⋅b−x∣a∣2+y∣b∣2−ya⋅b=0 −23x−4x+9y+23y=0 −211x+221y=0 x=1121y AH⋅OB=0 (OH−OA)⋅OB=0 (xa+yb−a)⋅b=0 xa⋅b+y∣b∣2−a⋅b=0 −23x+9y+23=0 −3x+18y+3=0 −x+6y+1=0 1121y=6y+1 21y=66y+11 y=−4511 x=6(−4511)+1=−4566+1=−4521=−157 OH=−157a−4511b