1) P1 = W1 + 0,5B1 – 1
W1 = 25
B1 = 24
P1 = 25 + 12 – 1 = 36
2) P2 = W2 + 0,5B2 – 1
W2 = 81
B2 = 40
P2 = 81 + 20 - 1 = 100
3) P3 = W3 + 0,5B3 – 1
W3 = 133
B3 = 8
P3 = 133 + 4 - 1 = 136
P1 + P2 = P3
36 + 100 = 136 zgadza się
Tak, teza jest prawdziwa.
Gdy zliczysz i wypiszesz wszystkie punkty kratowe leżących wewnątrz wielokątów i na brzegach wielokątów, to obliczając odpowiednio pola każdego trójkąta, zauważysz, że ma tutaj miejsce zależność definiująca twierdzenie Pitagorasa.