Searching for links to RootTwoIsIrrational:
ContinuedFraction
IrrationalNumber
Proof
Pythagoras
RationalNumber