Обоснуйте аксиому:диагонали прямоугольника одинаковы.

Пусть ABCD-данный прямоугольник. Утверждение теоремы следует из равенства прямоугольных треугольников BAD и СDA. У их углы BAD и СDA равны как противолежащие стороны параллелограмма. Из равенства треугольников следует, что их гипотенузы равны т. е. AC=BD, ч.т.д.