Proof: By Euclid
(related to Proposition: Prop. 10.101: Square on Straight Line which produces Medial Whole with Rational Area applied to Rational Straight Line)
Thank you to the contributors under CC BYSA 4.0!
 Github:

 nonGithub:
 @Fitzpatrick
References
Adapted from (subject to copyright, with kind permission)
 Fitzpatrick, Richard: Euclid's "Elements of Geometry"