Olympiad Toolkit
A growing collection of essential formulas, identities, and techniques for mathematical olympiad problem solving.
Showing 151–156 of 156 toolkits
- 151.
Mathematical induction proves statements for every integer in a specified range using a base case and an inductive step.
Base Case
Inductive Step
Extensions include strong induction, step-size induction, binary induction, and Cauchy induction.

- 152.
The Fibonacci sequence starts with 0 and 1, and each subsequent term is the sum of the previous two.
- 153.
Every real square is nonnegative. This helps prove inequalities and find minimum values.
- 154.

- 155.
The incenter is the intersection of the three internal angle bisectors of a triangle.

- 156.