Πιο συγκεκριμένα, σε ένα ορθογώνιο τρίγωνο θεωρούμε τα ημικύκλια , , στις πλευρές του και του μηνίσκους και . Τότε, το εμβαδόν του τριγώνου είναι ίσο με το άθροισμα των εμβαδών των μηνίσκων[1][2][3]:364-365[4]:362[5]
.
Το θεώρημα παίρνει το όνομά του από τον Ιπποκράτη από τη Χίο (450 π.Χ.).
Το εμβαδόν ενός ημικυκλίου ακτίνας είναι . Επομένως,
,
, και
.
Συνδυάζοντας με την σχέση από το Πυθαγόρειο θεώρημα, έχουμε ότι το εμβαδόν του μεγάλου ημικυκλιου είναι ίσο με το άθροισμα των δύο μικρών
.
Τα ημικύκλια , και το τρίγωνο επικαλύπτουν πλήρως το , επομένως
Αναδιπλώνοντας το ημικύκλιο της υποτείνουσας και αφαιρώντας τις επιφάνειες που τέμνονται, απομένουν οι δύο εξωτερικοί μηνίσκοι (γκρι) και το ορθογώνιο τρίγωνο (πορτοκαλί).