Definition:Rational Diagonal/Historical Note

From ProofWiki
Jump to navigation Jump to search

Historical Note on Rational Diagonal

The concept of the rational diagonal was raised by Plato in his Republic of c. $380$ BCE.

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


Sources