In the proving process, we mainly use the induction on the formula structure.

在具体的证明过程中，主要使用的是关于公式结构的归纳法。

youdao

Taking the stem points of the red solid beautiful strawberry, the different big and small stem points are vaccinated in the different formula stem point induction culture medium.

以红实美草莓匍匐茎剥取茎尖，不同大小茎尖接种到不同配方的茎尖诱导培养基中。

youdao

According to that algorithm, this article puts forward a formula to calculate the number of movements necessary for the 4-peg Hanoi Tower problem, and proves it using mathematical induction.

本文按照这种算法总结出完成四柱汉诺塔游戏之最少步数的公式，并用数学归纳法证明了它。

youdao