2022-05-19

ラマヌジャン・スコーレムの定理は\begin{align}2^n-7=x^2\end{align}なる関数が\(n=3,4,5,7,15\)のとき自然数解を持つというものである。この定理をsympyを使って確かめる。\(n\)を好きな範囲で...