证明:假设O是三角形ABC的垂心成立,并设三边AB,AC,BC上的垂足分别是F,E,D,则有 OA^2=AE^2+OE^2 BC^2=BE^2+EC^2 则有 OA^2+BC^2 =AE^2+OE^2+BE^2+EC^2 =(AE^2+BE^2)+(OE^2+EC^2) =AB^2+OC^2 又有 OB^2=OF^2+FB^2 AC^2=AF^2+CF^2 则有 OB^2+AC^2 =OF^2+FB^2+AF^2+CF^2 =(OF^2+AF^2)+(FB^2+CF^2) =OA^2+BC^2 所以有 OA^2+BC^2=OB^2+CA^2=OC^2+AB^2 与已知条件符合,所以假设成立 所以O是三角形ABC的垂心 所以AB⊥OC