ラマヌジャン・スコーレムの定理は
\begin{align}
2^n-7=x^2
\end{align}
なる関数が\(n=3,4,5,7,15\)のとき自然数解を持つというものである。
この定理をsympyを使って確かめる。\(n\)を好きな範囲で指定すれば答えを計算してくれる。
以下ソースコード
import sympy
sympy.var('x')
n=3
Sol1=sympy.solve (2**n-7-x**2, x)
print(Sol1)
【数論】sympyを使ってラマヌジャン・スコーレムの定理を解く
python
コメント