It is easy to check that for β = −1
2, 0, and 1
2 , this equation is satisfied for all
triangles. Conversely, since (5) holds on a set U having a non-empty interior,
it holds for all triangles, and in particular it holds for the triangle (A, B, C) =
(π
2 , π
3 , π
6 ). This implies that