第一个你的claim那边 应该是Omega不是big-oh再来归纳假设那边，我想要写<, 不能写<=否则就得证明m=n+1的情况了然后仔细看，详解在T(n)的第二行就已经套用归纳假设了其实你的第二行的<=也是用到了归纳假设，只是你的notation没有代换成m第三行写反了.. n=m+1第五句是第二行的>=....好多笔误QQ抱歉抱歉@@我看懂你的问题了哈哈以为你是问为什么要有归纳假设但你的算式有一步导错了 我想这就是为什么详解要这样设归纳假设的原因（为了消掉多出来那项）所以应该还是要照详解那样设吧
https://i.imgur.com/3PsyX4d.jpg