m"时公式成立。即formula_3【等式P（"m"）】然后在等式等号两边分别加上"m" + 1得到formula_4【等式P（"m"+1）】这就是"n" = "m"+1时的等式。现在需要根据等式P（"m"+1）演绎出等式P（"m"）的符号形式。(需要注意的是如果给定公示不为真，则做不到）通过因式分解合并(形式变换/字符操纵)，等式P（"m"+1)的右手边formula_5也就是说formula_6这样便证明了从等式P（"m"） 成立可推理出等式P（"m"+1） 也成立。证