Để cho #ABCD# là một hình vuông của đơn vị diện tích.
Vì thế
Để cho
Áp dụng Pythagoras thorem chúng ta có thể viết
Bây giờ bởi vấn đề chúng ta có
Vì thế