Let s be the sum of the interior angles of a convex
poltyope of area A.
In class, we showed that
s = pi + KA
for triangles, where K = 0 for the Euclidean plane, K = 1/r2for
a sphere of radius r, and K = -1/r2 for a hyperbolic plane
of radius r.
Prove that, for convex quadrilateral,
s = 2 pi + KA.
Hint: draw a diagonal.