I denne formelen er vinkel motstående til side . Denne setningen kan bevises ved å dele trekanten inn i to rettvinklede trekanter og bruke Pythagoras’ læresetning.