方程式x^3-2y^3=±1の整数解について (1)

※ MathJax を使用しています。数式を表示するためには、JavaScript をオンにする必要があります。

[補題] $m$ を正の整数とする. このとき, $$ \sum_{k=0}^{\lfloor m/3 \rfloor}\binom{m}{3k}\not\equiv 0\pmod{3} $$ が成り立つ.

[証明] $i=0$, $1$, $2$ に対し, $$ S_{i} = \sum_{k=0}^{\lfloor (m-i)/3 \rfloor}\binom{m}{3k+i} $$ とおく. すると, $$ 2^{m} = (1+1)^{m} = \sum_{j=0}^{m}\binom{m}{j} = S_{0} + S_{1} + S_{2}. $$ また, \begin{align*} S_{1} &= \sum_{k=0}^{\lfloor (m-1)/3 \rfloor}\binom{m}{3k+1} = \sum_{k=0}^{\lfloor m/3 \rfloor}\binom{m}{3k}\frac{m-3k}{3k+1} \\ &\equiv mS_{0}\pmod{3}, \\ S_{0} &= \sum_{k=0}^{\lfloor (m-2)/3 \rfloor}\binom{m}{3k+2} = \sum_{k=0}^{\lfloor (m-1)/3 \rfloor}\binom{m}{3k+1}\frac{m-3k-1}{3k+2} \\ &\equiv -(m-1)S_{1}\equiv -m(m-1)S_{0} \pmod{3}. \end{align*} ゆえに, $$ 0\not\equiv 2^{m} \equiv (1+2m-m^{2})S_{0}\pmod{3}. $$ さらに, $1+2m-m^{2}\not\equiv 0\pmod{3}$. 実際, $$ 1+2m-m^{2} \equiv \begin{cases} 1, & \mbox{$m\equiv 0$ または $2\;(\mathrm{mod}\;3)$ のとき}, \\ 2, & \mbox{$m\equiv 1\;(\mathrm{mod}\;3)$ のとき}. \\ \end{cases} $$ したがって, $S_{0}\not\equiv 0\pmod{3}$. (証明終)

[定理] $n$ を $2$ 以上の整数とする. このとき, 方程式 \begin{equation} x^{3} - 2y^{3} = \pm 1 \tag{1} \end{equation} の整数解は $$ (x, y) = (1, 0),\,(-1, 0),\,(1, 1),\,(-1, -1) $$ のみである.

定理の証明は次回の記事にて.

参考文献

  • Paulo Ribenboim: Catalan's Conjecture: Are 8 and 9 the Only Consecutive Powers?, Academic Press, 1994.

関連記事

方程式x^3-2y^3=±1の整数解について (2)
Diophantus方程式 まとめ

【theme : 数学
【genre : 学問・文化・芸術

検索フォーム
最新記事
リンク
RSSリンクの表示
プロフィール

よしいず

Author:よしいず
MATHEMATICS.PDFというウェブサイトを運営しています。アマゾンにて電子書籍を販売しています。

管理の都合上、トラックバックとコメントはオフにしてあります。ブログ経験者なら分かっていただけると思いますが、スパム(アダルトやその他の宣伝)ばかりなのが現実です。

リンクは自由です。ただし、ブログ記事アップ直後はミスが多く、頻繁に修正します。場合によっては削除する可能性もあります。その際、何も断りもなく修正・削除しますがご了承ください。内容を参考にする場合には投稿後一週間ほど様子を見てからにしてください。

Kindle 本についても、販売開始直後は修正のためのアップロードを行うことが多いです。あと、購入前に、ダブルクォートで囲んたキーワード「"よしいず"」で検索し、結果を「出版年月が新しい順番」で並べ替えて、今購入しようとしている Kindle 本の新バージョンがないかどうか確認してください。

当ブログ記事中のプログラムについて、当ブログの管理者は、プログラムのサポートの義務や、プログラムを実行したことによって発生した損害の責任を一切負いません。簡単で短いものばかりなのでそもそも著作物と呼べるかどうかわかりませんが、それでも丸々コピーしたものに対して自分の権利を主張する行為はご遠慮ください。プログラムを利用する際は、不具合がないか確認しつつ、ご自身のコーディングスタイルで一から書き直してお使いください。そうすれば、プログラムの「表現」が変わり、新しいプログラムの著作権者はあなた自身になると思います。(その結果として、もはや当サイトにプログラムの利用について確認を求める必要は無くなります。)

このブログのタイトル一覧

カテゴリ
月別アーカイブ