Derive the spherical cosine rule

A unit vector is a direction arrow of length one. The dot product adds products of matching x, y and z coordinates. Geometrically it equals the projection of one unit arrow onto the other, hence cosine of their separation. גזירת משפט הקוסינוסים הכדורי

Opening public animation…