De sfäriska cotangensformlerna är en uppsättning av sex formler inom sfärisk trigonometri som säger att för fyra konsekutiva element (sidor eller hörn) i en sfärisk triangel med sidlängderna och med de motsvarande motstående hörnvinklarna respektive på en enhetssfär, som i figur 1, gäller:
Formlerna används för att räkna ut en andra sida när man känner två vinklar och den mellanliggande sidan eller en andra vinkel när man känner två sidor och den mellanliggande vinkeln. De är också att föredra framför den sfäriska sinussatsen i de fall de kan användas, eftersom cotangens ger entydiga resultat mellan noll och (och sålunda är entydig för alla Eulerska trianglar), vilket gör att man slipper det tvetydiga resultatet som fås från arcsinus inom samma intervall, men å andra sidan är den sfäriska sinussatsen både enklare att använda och, inte minst, att minnas.