http://www.j3e.info/ojyuken/math/tokyo/q_jpg/1961_4.jpg

これもベクトルで計算して1/7になるけど、題意から相似の正三角形とかで計算すれば
ベクトルの外積でやらなくても計算できるけど、やったら減点するのかな?