>>566 の類題

半径2の円に外接する三角形の三辺の長さをa,b,cとする。このとき

　(a+b-c)(b+c-a)(c+a-b) = 16(a+b+c),

となることを示せ。