O到三顶点距离相等
证法一:作三角形ABC外接圆
因为∠BAC为圆周角且等于90度,所以BC为圆直径
因此O为圆心,所以OA=OB=OC
证法二:从C作AB平行线,从B作AC平行线,交于点D
CD∥AB,BD∥AC
所以四边形ABDC是平行四边形。且∠BAC=90,所以ABDC为矩形
因此AD=BC,且AD、BC互相平分。
因为O为BC中点,所以AD一定过O。
O即为对角线AD、BC交点,OA=OD=AD/2
OB=OC=BC/2
所以OA=OB=OC
相等。
延长AO至点D,使得AO=OD
矩形对角线相等。
OA=OB=OC=√2/2*AB=√2/2*AC=1/2*BC
OA=OB=OC