|
uchinyan |
|
#39850
なるほど。これはうまい解法ですね。 これには及びませんが， 私も，#39845の，#39832のところ，を再考して，次のような解法を思い付きました。 そこの議論を踏まえて，今，1 〜 n の場合で考えると．．． ア + エ = イ + ウ，(ア + エ)/2 = (イ + ウ)/2，と見ると， 四つの数を，最小・最大の平均と間の二つの平均とが等しくなるように選ぶことになります。 これは，平均にあたる値を決め，それに対して小さい大きいが対称になるように選ぶことになります。 つまり，下半分の数からアとイを選び，ウとエは平均がその決めた値になるようにその値に対称に決めること，又はその逆，になります。 平均が (n + 1)/2 のときは， この値の下側から ア，イ を選び，平均に関して対称に上側から ウ，エ を決めることになり， (n + 1)/2 より下側にある自然数から二つを選んでくればいいことになります。 平均がこれ以外の値のときは， (n + 1)/2 より下側に平均がある場合と (n + 1)/2 に関して対称な上側の位置に平均がある場合とは，選び方の数は同じになります。 さらに，下側だけを考えても，平均の値が，自然数の場合と その自然数 - 1/2 の場合の選び方の数も同じです。 そして，下側だけであって平均の値が自然数の場合は， (n + 1)/2 より下側にある自然数から三つを選んで小さい順に ア，イ，平均 とすればいいことになります。 以上のことを踏まえて．．． (n + 1)/2 が自然数でない場合，つまり n が偶数の場合 平均が (n + 1)/2 のときは，(n/2)C2 通り。 平均がこれ以外の値のときは，(n + 1)/2 のすぐ下の平均が自然数なので， 先ほどのままの考え方で，(n/2)C3 * 2 * 2 通り。 そこで，全体では，これらの合計で， (n/2)C2 + (n/2)C3 * 2 * 2 = ((n/2)(n/2 - 1))/2 + ((n/2)(n/2 - 1)(n/2 - 2))/6 * 4 = n(n-2)(2n-5)/24 通り (n + 1)/2 が自然数の場合，つまり n が奇数の場合 平均が (n + 1)/2 のときは，((n-1)/2)C2 通り。 平均がこれ以外の値のときは，(n + 1)/2 のすぐ下の平均が 自然数 - 1/2 なので， 仮にすぐ下の平均が自然数になるように (n + 2)/2 を基に考えると，((n+1)/2)C3 * 2 * 2 通り。 しかし，実際には平均が (n + 1)/2 のときの ((n-1)/2)C2 通り を足し過ぎています。 そこで，全体では，この分を引いて， ((n+1)/2)C3 * 2 * 2 - ((n-1)/2)C2 = (((n+1)/2)((n+1)/2 - 1)((n+1)/2 - 2))/6 * 4 - (((n-1)/2)((n-1)/2 - 1))/2 = (n-1)(n-3)(2n-1)/24 通り になります。 |
|
ネコの住む家
9月30日（日） 20:38:24
39857 |