a, b, c > 0
0° < A < 180°

とし、

a^2 = b^2 + c^2 - 2*b*c*cos(A)

が成り立っているとする。

このとき、

3辺の長さが a, b, c で b, c の挟む角が A であるような三角形は存在するか?