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