別にOAとOBの大きさ求める必要ないけどなww

ちなみにcosθ=(2-√3)/√15