Revision #666 → #1585 · back to history
addedDefinition of √2be6892cfdd9d
added√2 is algebraic, not transcendental8983b001b026
added√2 as diagonal of unit square1e45eb05e835
addedRational approximation 99/700bac82e712b3
addedBabylonian sexagesimal approximation (YBC 7289)21b76c14beec
addedSulbasutras approximation8e52699b23c4
addedPell-number approximation sequence0615b83c90bf
addedPythagorean discovery of irrationality86f5a9dc8d04
addedAd quadratum doubling of a square8b93d5bc6d3c
addedBabylonian method (Newton's method)abfaf3e91e8d
addedQuadratic convergence of iteration0c32a1d1df94
addedError of 99/70 approximation8fa9834694a6
addedFour-iteration Babylonian approximationb0c7e2e92223
addedIrrationality via infinite descentf2eb1bbdaa47
addedIrrationality via reciprocalsf0863c1175ba
addedIrrationality via unique factorizationc234543b65a3
addedIrrationality via rational root theorem9a37eae94ddc
addedSquare roots of non-squares are irrational66e85927de50
addedTennenbaum's geometric proofd547bdfe48c2
addedApostol's geometric proofea2d207107ec
addedConstructive irrationality proof00de171e8460
addedIrrationality via Pythagorean triples9081d3526a72
addedLemma: hypotenuse of primitive triple is never even02a146fef048
addedTwo equal squares never sum to a square67ed9662f0a5
addedReciprocal of √2 equals its half21f9b46882f5
addedUnit vector at 45°b0e02b56c884
addedSelf-referential property of √230d4680435e2
added√2 from copies of the imaginary unit5a5de6ff882d
addedInfinite tetration equal to its square4be7ab69f7a2
added√2 in Viète's formula for πd40fbf158a55
added√2 in trigonometric constantsda403de3a874
addedNormality of √2 unknown26cf0b7748c0
addedInfinite products from cos/sin π/4a2bf6f08a495
addedTaylor series of cos π/4e206ed6b4424
addedDouble-factorial Taylor series53804d2b6739
addedEuler-transform accelerated series3f902429e343
addedBBP-type formula for √2 unknown89318f773fbd
addedEgyptian-fraction series for √23fc749c41b0d
addedContinued fraction of √23f75fdaf987c
addedConvergents described by Pell numbers0930c3970c81
addedNested square expressions converging to √2bde12f1843ec
addedLichtenberg paper-size ratio280f0c790ce9
added√2 as tritone frequency ratio06463dff4be1
added√2 in photographic f-stops8d25deb5fa81
added√2 scaling of grid-cell mesh size3a5b19dbb20a