2022-05-19

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