Fricke's trace identity and spin groups

We give a proof of Fricke’s trace identity using the exceptional spin double cover of an orthogonal group in four variables. We also explain how Fricke’s identity is related to the double-angle formula from trigonometry as well as an identity for symplectic matrices.