回答

✨ ベストアンサー ✨

いいえ
いまa>0, b>0は大前提にある条件です
これは示すことではありません

②の仮定のもとで、
n=k+1のときの①の両辺の差≧0、
つまり(a-b)(aᵏ-bᵏ)/4≧0を示す場面です

a≧bであればa-bもaᵏ-bᵏも0以上、
a≦bであればa-bもaᵏ-bᵏも0以下なので、
いずれの場合でも(つまりあらゆる場合に)
(a-b)(aᵏ-bᵏ)/4≧0であることが示せました

この回答にコメントする
疑問は解決しましたか?