MathLabs

第1問

a0<a1<a2<⋯a_0<a_1<a_2<\cdots を正の整数からなる無限数列とする。次を満たす整数 n≥1n\ge1 がただ1つ存在することを証明せよ。an<a0+a1+⋯+ann≤an+1.a_n<\frac{a_0+a_1+\cdots+a_n}{n}\le a_{n+1}.
ステップ 3/5: d_1 は正である
d1=(a0+a1)−1⋅a1=a0>0d_1 = (a_0+a_1) - 1\cdot a_1 = a_0 > 0
詳しい解説

直接計算すると d1=(a0+a1)−a1=a0d_1=(a_0+a_1)-a_1=a_0 であり、a0a_0 は正の整数なのでこれは正である。