3 ms·
These days I much prefer a different proof of this fact, attributed to Conway: https://www.youtube.com/watch?v=wNOtOPjaLZs https://www.youtube.com/watch?v=wNOtO
by abstractbill 2y ago
These days I much prefer a different proof of this fact, attributed to Conway: https://www.youtube.com/watch?v=wNOtOPjaLZs https://www.youtube.com/watch?v=wNOtOPjaLZs -- I'm actually about half-way through teaching it to my kids right now!
- scythmic_waves 2y agoI hadn't seen this before, it's fantastic! Thanks!
- red_trumpet 2y agoThe cool thing is this argument immediately generalizes to zeroes of monic polynomials with integer coefficients, i.e. x^n + a_0 x^{n-1} + ... + a_n. In commutative algebra one says "the ring Z is integrally closed in its field of fractions Q", or short "Z is normal".[1] [1] https://en.wikipedia.org/wiki/Integrally_closed_domain#Normal_rings?wprov=sfla1 https://en.wikipedia.org/wiki/Integrally_closed_domain#Norma...