Re: [math-fun] flat corners

On 8/14/09, Fred lunnon <fred.lunnon@gmail.com> wrote:

... If it could also be proved that both or neither are developable, then we're home and dry.

Of course they are --- this is simply the Gauss-Bonnet theorem --- as any fule no. What's more, using Gaussian curvature (in the form of a "2-D cosine) gives a far easier way to compute the face angle sums than employed by my existing kludgy program (or my dodgy sine formula). WFL