# 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 78 pages are in this category, out of 78 total.

### 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
- Consecutive Fibonacci Numbers are Coprime

### E

### F

- Fermat's Little Theorem/Proof 4
- Fibonacci Number as Sum of Binomial Coefficients
- Fibonacci Number in terms of Smaller Fibonacci Numbers/Proof 1
- Fibonacci Number with Negative Index
- Finite Non-Empty Subset of Totally Ordered Set has Smallest and Greatest Elements/Proof 1
- Fundamental Theorem of Finite Abelian Groups

### 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 another natural number 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
- Powers of Ring Elements
- Powers of Ring Elements/General Result
- 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
- 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
- Sum of Sequence of Products of Consecutive Integers/Proof 1
- 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