Posto allora sin(2a) = 2Area(OAC) Inoltre, poiché quindi sina·cosa=Area(OAC). Infine sin(2a)=2sina·cosa.
Poiché i triangoli OAT e AKT sono simili quindi Poiché i triangoli OAT e CHA sono simili quindi e Infine