Re:Euclid's Proof that √2 is Irrational
by tines on Wednesday August 21, 2024 @06:05PM
(#41314656)
True, but the FTA proof is just really intuitive for me and I like it.
[ Parent
| on HN ]
Re:Euclid's Proof that √2 is Irrational
by Hackbraten on Wednesday August 21, 2024 @06:28PM
(#41314822)
Thanks for the proof, it was fun to follow, and I agree that it's quite intuitive.
I think that it would be helpful to mention why sqrt(y) must be an integer.
(I know that it is, but it also feels a bit glossed over, given that all the other steps of the proof were explained so thoroughly.)