Setningen kan utledes på mange forskjellige måter. Man kan for eksempel angi de tre hjørnene , og på kuleflaten ved vektorer i et kartesisk koordinatsystem med kulens sentrum i origo. Hvis nå er det aktuelle hjørnet med motsatt sidekant , vil indreprodukt når kulens radius er .