>>438
＞それはなんでなんですか??
n=kのときの成立を仮定して、n=k+1のときに成立するかどうかを示しているから。

n=k+1のときの成立を示すために、n=k+1のときの(左辺)-(右辺)を計算し、
その過程で n=kに仮定した成立条件を用いている。