佐藤大八郎の方程式 ― 2019年藤田医科大学・推薦
2019年 藤田医科大(推薦)で以下の問題が出題されていました。
のとき連立方程式\begin{eqnarray}
\left\{
\begin{array}{l}
x^3 = y^4 \\
x^y = y^x
\end{array}
\right.
\end{eqnarray}の解は,である.
という方程式は佐藤大八郎という数学者が研究しました。
今回は、この藤田医科大の解答の代わりに、次の問題の解答を考えてみます。
を満たす有理数
をすべて求めよ.
解答は次のようになります。
の両辺を
乗して
両辺を で割って
とおく.
より
すなわち
である.また,
は有理数である.
両辺を 乗して
が有理数となるような
を求める.
を互いに素である自然数として,
とおく.
とおくと,
と
が互いに素であるから
と
も互いに素である.
よって,①が有理数になる条件は,分子 と分母
がともに整数の
乗になることであり,
を
を満たす整数として
とおける.
となり、 を②とおく。
と仮定すると,②は
個の自然数の和であり,
であるから,
である.
であるから,これは左辺が
であることに矛盾する.
よって, であり,このとき
したがって, を任意の自然数として
(解答おわり)
この類題が1991年東大・後期と2015年名古屋大に出題されているので、メモしておきます。
(1) 省略
(2) 省略
(3) を満たす正の有理数は,3以外に存在しないことを示せ.
(1) 省略
(2) 省略
(3) 方程式 の解で有理数であるものをすべて求めよ.