Add new comment

That's the problem though: the proof through unique factorisation assumes the Fundamental Theorem of Arithmetic, which needs to be built from the ground up first. Either way, the irrationality of root 2 is a great piece of mathematics both for us and the ancient humans.

Filtered HTML

  • Web page addresses and email addresses turn into links automatically.
  • Allowed HTML tags: <a href hreflang> <em> <strong> <cite> <code> <ul type> <ol start type> <li> <dl> <dt> <dd>
  • Lines and paragraphs break automatically.