Θα χρησιμοποιήσουμε τον τύπο του Green για εμβαδό επίπεδου χωρίου.
Συγκεκριμένα αν

είναι απλή κλειστή καμπύλη κατά τμήματα λεία ,
θετικά προσανατολισμένη που περιέχει το χωρίο
τότε
οπου

το εμβαδό του
Επειδή η καμπύλη που έχουμε έχει την φορά των δεικτών του ωρολογίου που είναι αρνητική
θα πρέπει να ολοκληρώσουμε ανάποδα.
Το ζητούμενο εμβαδό θα είναι
Παίρνοντας παραμέτριση
υπολογίζουμε ότι
Αθροίζοντας και κάνοντας τις πράξεις παίρνουμε το ζητούμενο
Στην ουσία ο τύπος προκύπτει αθροίζοντας -αφαιρώντας εμβαδά τραπεζίων.
Μπορεί ειδικά στην περίπτωση του κυρτού να γίνει απόδειξη με επαγωγή.
Στην περίπτωση του μη κυρτού και εκεί μπορεί να γίνει απόδειξη με επαγωγή αλλά
θα πρέπει να εξετασθούν κάποιες περιπτώσεις,