Сформулируйте и обоснуйте аксиому пифагора

В прямоугольном треугольнике квадрат гипотенузы равен сумме квадратов катетов.
Подтверждение:
Пусть дан прямоугольный треугольник с катетами а и b и гипотенузой с.
Составим из 4 таких треугольников квадрат со стороной а + b как на рисунке.
Внутри получим квадрат со стороной с.
Площадь великого квадрата одинакова сумме площадей сочиняющих его фигур:
S = 4S + c = 4 ab/2 + c
либо
S = (a + b)
Приравняем правые доли:
2ab + c = (a + b)
2ab + c = a + b + 2ab
c = a + b
Что и требовалось обосновать.