Vart kommer denna formeln i från

Hej! Jag stötte på denna formeln i facit och jag ser den inte i mitt formel blad

Jag antar att den är en utveckling av denna formeln

men varför tar de bort cos?