Category:Proofs by Induction
Jump to navigation
Jump to search
Subcategories
This category has only the following subcategory.
Pages in category "Proofs by Induction"
The following 96 pages are in this category, out of 96 total.
A
C
- Cardinality of Proper Subset of Finite Set
- Cardinality of Set of Injections/Formal Proof
- Cauchy's Mean Theorem/Proof 1
- Closed Form for Triangular Numbers/Proof by Induction
- Coefficients of Polynomial Product
- Column Operation is Equivalent to Post-Multiplication by Product of Elementary Matrices
- Congruence Modulo Power of p as Linear Combination of Congruences Modulo p
- Consecutive Fibonacci Numbers are Coprime
- Convex Hull is Smallest Convex Set containing Set/Lemma
D
- De Moivre's Formula/Positive Integer Index/Proof 1
- Divisibility of Fibonacci Number
- Divisor of Integer/Examples/6 divides 7^n - 1
- Divisor of Integer/Examples/6 divides 7^n - 1/Proof 1
- Divisor of Integer/Examples/63 divides 8^2n - 1
- Divisor of Integer/Examples/63 divides 8^2n - 1/Proof 1
- Divisor of Integer/Examples/8 divides 3^2n + 7/Proof 1
- Divisor of Integer/Examples/80 divides 9^2n - 1/Proof 1
E
F
I
M
N
- Natural Number Addition is Commutative/Proof 2
- Natural Number Multiplication Distributes over Addition/Proof 2
- Natural Number Multiplication is Associative/Proof 2
- Niven's Theorem/Lemma
- Nonzero Natural Number is Successor
- Nth Derivative of Exponential of Minus One over x
- Nth Derivative of Natural Logarithm
P
- Polynomial is of Exponential Order Epsilon
- Power Function is Strictly Increasing on Positive Elements
- Power of Identity is Identity
- Powers of 16 Modulo 20/Proof 1
- Prime Power of Sum Modulo Prime
- Principle of Finite Choice
- Product of Sums of Four Squares/Corollary
- Proper Subset of Finite Ordinal is Equivalent to Smaller Ordinal
R
S
- Sine of X over X as Infinite Product
- Size of Complete Graph
- Size of Linearly Independent Subset is at Most Size of Finite Generator/Proof 1
- Strictly Increasing Sequence of Natural Numbers
- Sum of Even Index Binomial Coefficients
- Sum of Even Index Binomial Coefficients/Proof 2
- Sum of Geometric Sequence/Proof 1
- Sum of Integrals on Adjacent Intervals for Integrable Functions/Corollary
- Sum of Odd Sequence of Products of Consecutive Fibonacci Numbers
- Sum of Powers of 2/Proof 2
- Sum of Sequence of Cubes/Proof by Induction
- Sum of Sequence of Even Index Fibonacci Numbers
- Sum of Sequence of Fibonacci Numbers
- Sum of Sequence of Odd Cubes
- Sum of Sequence of Odd Index Fibonacci Numbers
- Sum of Sequence of Product of Fibonacci Number with Binomial Coefficient/Proof 1
- Sum of Sequence of Products of 3 Consecutive Integers
- Sum of Sequence of Products of Consecutive Integers/Proof 1
- Sum of Sequence of Products of Consecutive Odd and Consecutive Even Numbers
- Sum of Sequence of Products of Consecutive Reciprocals/Proof 1
- Sum of Sequence of Squares of Fibonacci Numbers
- Sum of Sequence of Squares/Proof by Induction
- Summation Formula for Polygonal Numbers
- Summation is Linear/Scaling of Summations
- Summation is Linear/Sum of Summations