Definition:Rational Diagonal/Historical Note

Historical Note on Rational Diagonal
The concept of the rational diagonal was raised by in his  of c. $380$ BCE.

was aware that the actual length of the diagonal of the $5 \times 5$ square is the irrational number $5 \sqrt 2$.