[math-fun] Fwd: Re: generalized law of cosines