OA^2+BC^2=OB^2+CA^2=OC^2+AB^2
OA^2-OB^2=CA^2-BC^2
(OA+OB)(OA-OB)=(CA+CB)(CA-CB)
BA(OA+OB)-BA(CA+CB)=0
BA(OA+OB+AC+BC)=0
BA(OC+OC)=0
AB·2OC=0
AB·OC=0
即AB⊥OC
以上全为向量点乘，注 -向量AB=向量BA
用坐标法。设 B （0，0） 依次设出来，再利用OA^2+BC^2=OB^2+CA^2，既可证，
内容全部来源于网络收集，如有侵权，请联系网站删除：QQ：24596024