| Formula | Name | Theorem name |
| a^2 + b^2 = c^2 | |
| e^(i*pi) + 1 = 0 | |
| f(x) = f(0) + f'(0)*x + f''(x) * x^2/2! + ... + f^(n)(0) * x^n /n! | |
| f(x) = f(a) + f'(a)*(x-a) + f''(x) * (x-a)^2/2! + ... + f^(n)(a) * (x-a)^n/n! | |
| If lim_(x-->a) f(x)/g(x) is indeterminate, lim_(x-->a) f(x)/g(x) = lim_(x-->a) f'(x)/g'(x) | |
| x^n + y^n = z^n has no positive integer solutions for x,y, and z for n is an integer > 2 | |
| The real part of any non-trivial zero of ζ(s) is 1/2. | |
| R_n(x) = (f^(n+1)(z)*(x-a)^(n+1))/(n+1)! | |
| 1/2 + 1/4 + 1/8 + ... + (1/2)^n = 1 | |