第一题
设OA=a,OB=b,OC=c
a^2+(b-c)^2=b^2+(c-a)^2
整理得(b-a)*c=0
即AB*OC=0 所以AB垂直OC 其他的BC与OA,CA与OB垂直
O是垂心
第二题
要证的等价与(Sn)*(S(n+2))