>>469
この補題間違ってるよ

cos(2A)＋cos(2B)＋cos(2C)＝1

だと、二倍角の公式から

cos(A)^2＋cos(B)^2＋cos(C)^2＝2

になる。しかし方向余弦の性質から右辺は１なので、２ではない