>880
　OG = {(1+cosα+cosθ)/3, (sinα+sinθ)/3}
　OG^2 = (2/9){(3/2) + cosα + cosθ + cos(θ-α)}
　　　　= (2/9){(3/2) + cosα + 2cos(α/2)cos(θ-(α/2)) }.
　0<α<π　より　cos(α/2)>0,
　cos(θ-(α/2)) の最大・最小と同時だから…