Questa dimostrazione è attribuita a Al-Sabi Thabit ibn Qurra al-Harrani (826 Harran, nell'odierna Turchia, 901 Bagdad) e si basa sull'equivalenza di due poligoni a cui vengono sottratti tre triangoli equivalenti.