Maxima で綴る数学の旅

ラマヌジャンの円周率公式のひとつである $$\frac{16}{\pi}=\sum_{k=0}^{\infty }{\frac{\left(42\,k+5\right)\,A_{k}}{2^{6\,k}}}\, ただし A_k=\frac{\left(\frac12\right)_k^3}{k!^3}$$ の証明を調べてMaximaで式変形を追いながら理解することができました。2021年10月21日に書いた記事 から始まるこの１年間の数学の記…