(1)の雑案です。
まず、帰納的に an≥0 が分かります。したがって、相加相乗平均の関係を用いることで0以上の整数 n に対して an+1≥αを示すことができます。これを言い換えれば、1以上の整数 n に対して an≥αとなります。
次に、 an−an+1 を考えます。愚直に計算すればよくて
an−an+1=an−21(an+anα)=21(an−anα)=2an1(an2−α)≥0(∵an≥α)
となり an≥an+1 を得ることができ、よって示されました。