Also abbreviated as MI.
Forward-Backward Induction
Definition:
Forward-Backward Induction is a variant of mathematical induction. It has a very distinctive inductive step, and though it is rarely used, it is a perfect illustration of how flexible induction can be. It is also known as Cauchy Induction, which is a reference to Augustin Louis Cauchy who used it prove the arithmetic-mean-geometric-mean inequality.
From https://brilliant.org
Process:
1, Lay induction foundation.
2, Forward induction.
That is we figure this proposition stands for some n n n.
E.g. 1 , 2 , 2 2 ⋯ 1,2,2^2\cdots 1,2,22⋯.
3, Backward induction.
We prove it stands for all n < n 0 n<n_0 n<n0.