COMPASS

真の理解のためのシンプルな数学のノート

数式を枠からはみ出さずに表示するためには, 画面を横に傾けてください(532 ピクセル以上推奨).

$3$ 次式の展開と因数分解

$3$ 次式の因数分解

定理≪$3$ 次式の因数分解≫

\begin{align*} x^3+y^3 &= (x+y)(x^2-xy+y^2), \\ x^3-y^3 &= (x-y)(x^2+xy+y^2) \end{align*} が成り立つ.

問題≪タクシー数に関する方程式の整数解≫

 実数 $x,$ $y$ に対して, $a = x+y,$ $b = x^2-xy+y^2$ とおく.
(1)
$a,$ $b$ を用いて $x$ を表せ.
(2)
$x^3+y^3 = 1729$ のとき, $a > 0,$ $b > 0$ であることを示せ.
(3)
$x^3+y^3 = 1729$ の整数解をすべて求めよ.
[2009 一橋大*]

解答例

(1)
$y = a-x$ を $x^2-xy+y^2 = b$ に代入して整理すると \[ 3x^2-3ax+a^2-b = 0\] となるから, $2$ 次方程式の解の公式により, $x$ は \begin{align*} x &= \frac{3a\pm\sqrt{9a^2-12(a^2-b)}}{6} \\ &= \frac{3a\pm\sqrt{12b-3a^2}}{6} \quad \cdots [1] \end{align*} と表される.
(2)
$x^3+y^3 = 1729$ であるとする. $[1]$ は実数であるから,
$12b-3a^2 \geqq 0$ よって $b \geqq \dfrac{a^2}{4} \geqq 0$
である. 一方, $ab = 1729$ であるから, $a > 0,$ $b > 0$ である.
(3)
$x,$ $y$ を $x^3+y^3 = 1729$ の整数解とする. \[ x^3+y^3 = (x+y)(x^2-xy+y^2) = ab\] であり, \[ 1729 = 7\cdot 13\cdot 19\] であるから, \[ ab = 7\cdot 13\cdot 19\] が成り立つ. $a,$ $b$ は整数であり, (2) により正であるから, \begin{align*} (a,b) = &(1,1729),(7,13\cdot 19),(13,7\cdot 19),(19,7\cdot 13),\\ &(7\cdot 13,19),(7\cdot 19,13),(13\cdot 19,7),(1729,1) \end{align*} が成り立つ. このうち, $[1]$ が整数となるのは \[ (a,b) = (13,7\cdot 19),(19,7\cdot 13)\] の場合に限り, このとき \[ (x,y) = (1,12),(9,10),(10,9),(12,1)\] である.

背景

  • $1729 = 1^3+12^3 = 9^3+10^3$ は $2$ 通りの立方数の和として表される最小の正の整数である. 「インドの魔術師」という異名を持つ数学者 S・ラマヌジャンは療養中, G・H・ハーディーが見舞いに訪れた際に, 「乗ってきたタクシーのナンバーは $1729$ だった. さして特徴のない数字だったよ」 というハーディー教授に対し, すぐさま 「そんなことはありません, とても興味深い数字です. それは $2$ 通りの $2$ つの立方数の和として表せる最小の数です」 と答えたという逸話がある. そのため, $1729$ は「ハーディー=ラマヌジャンのタクシー数」(Hardy–Ramanujan taxicab number)と呼ばれる.
  • 本問の結果から, $1729$ は $3$ 通り以上の $2$ つの立方数の和としては表せないことが分かる.