A,B,Cの角度をそれぞれx, y, zとおいて、三角形の内角の条件から
x､y､zの満たすべき式を導いて、あとはcos x + cos y + cos zの
最大値を求める