Digital root number is the number mod 11 (Ɛ), for example, 1972 is 1 + 9 + 7 + 2 = 19 = 17 which is 1 + 7 = 8, while in decimal the root of the same number (3110) is 5; and in base 16 a digital root of a number is the number mod 15 (0xF), for example, 0x7DF is 7 + 13 + 15 = 35 = 0x23 which is 2 + 3 = 5, while in decimal the root of the same number (2015) is 8. Digital roots form an important mechanic in the visual novel adventure
Square root of 2 if is a monic polynomial with integer coefficients, then any rational root of is necessarily an integer. Applying this to the polynomial , it follows that is either an integer or irrational. Because is not an integer (2 is not a perfect square), must therefore be irrational. This proof can be generalized to show that any root of any natural number which is not the square of a natural number is irrational. See quadratic irrational or infinite descent for a proof that the square root of any non-square natural number is irrational. One proof of the number's irrationality is the