>>159
B-C=A+2B-π から cos(B-C)=-cos(A+2B)
A<π/3<B< から 3A<A+2B
でいけない?ちゃんと計算はしてないけど