数論
integer_pointsのドキュメントは、Henri Cohen、Number Theory、Vol。 I:ツールとディオファントス方程式。 GTM 239、Springer、2007年。
整数$ m、n $(両方ともゼロではない)が与えられると、ベズーのアイデンティティは次を満たす整数$ x、y $を見つけます。$$ xm + ny = gcd(m、n)$$ 1つの重要なアプリケーションは、$ gcdを知っているかどうかです。 ((
以下は、$ mathbb {N} $に対する部分的な答えであり、(一次)定義可能性の通常の概念です。これは、あなたが暗示している概念よりも制限的です。
ラテン語のtotはルートの起源として正しいですが、接尾辞 '-iens'は、間違いなくすでにfを考えていたSylvesterに由来していません。
Laméの証明は非常に短く、現代の読者にとっては簡単に理解できます。私は完全な翻訳を与えるのではなく、要約だけを与えます。私のフランス語は私の代数よりはるかに優れているので
@barakmanosと@Alqatrkapaの提案で、私は自分の投稿を改善できることに気づきました。 $ 2 + 2 sqrt {28n ^ 2 + 1} $は偶数の整数であることに注意してください。また、$ 28n ^ 2 + 1 $はpです
私は数値的に身元を確認することに固執します。連分数の$ n $番目の部分商の逆漸化式は$$ s_ {k-1} = 1-eです。