Dette er den sfæriske cosinussetningen. I det spesielle tilfellet at = = 90° gir den at cos = cos. Det betyr at som skyldes at i dette tilfellet er hjørnet polen til linjen gjennom og .