>>800
二つ目の式は展開すれば一つ目の式になるからわかるはず
OはACの中点(二つの対角線の交点)のことだろうから
(GA↑+GC↑)/2=GO↑