京大伝説の入試問題「tan1°は有理数か」の真相と美しい証明手順

大学入試の歴史において、わずか1行の出題で受験界を震撼させた伝説の良問が存在します。その代表格が、2006年の京都大学理系数学で出題された「$\tan 1^\circ$ は有理数か。」という極めてシンプルな問いです。問題文の圧倒的な短さと、数学の本質を突く鮮烈なインパクトは、2026年を迎えた現在でも難関大受験生や数学ファンの間で語り継がれています。

文字数にしてわずか十数文字の設問ですが、そこには「有理数と無理数の定義」「背理法の論理展開」「三角関数の加法定理」といった高校数学の基礎基本が凝縮されています。本記事では、この京大伝説の入試問題の結論と背景、そして誰でも腑に落ちる明快な解答プロセスを徹底解説します。

📌 【この記事の重要ポイントまとめ】

• 要点1：結論は「無理数」。高校数学の範囲である「背理法」と「三角関数の加法定理」を用いて鮮やかに証明可能。
• 要点2：2006年京大入試で出題された数学入試屈指の超短文問題であり、公式暗記ではなく論理の再構築力を測る傑作。
• 要点3：度数法（$1^\circ$）だけでなく「$\tan 1$（ラジアン）」の性質や、難関大が求める数学的思考力の本質まで深く学べる。

【京大伝説の入試問題】わずか1行の超短文「tan1°は有理数か」が与えた衝撃

2006年の京都大学前期日程・理系数学第2問として配られた問題用紙には、余白の中にただ一行、次のように印字されていました。

「$\tan 1^\circ$ は有理数か。」

誘導（小問）もヒントも一切用意されていません。受験生に与えられたのは「有理数なのか、無理数なのか」という二者択一の判断と、その根拠を過不足なく論証する白紙の解答スペースのみでした。

難関大数学の入試問題といえば、複雑な図形や入り組んだ関数条件が提示される長文問題をイメージしがちです。しかし京都大学は、あえて極限まで削ぎ落とした超短文問題をぶつけることで、「公式を当てはめるだけの計算力」ではなく「ゼロから論理を組み立てる本物の思考力」を受験生に突きつけました。この出題は、日本の大学入試史に残る名問として今なお色あせない評価を獲得しています。

【結論と解答の全体像】答えは「無理数」背理法による美しい証明のアプローチ

結論から明かすと、$\tan 1^\circ$ は「無理数」です。したがって答案の着地点は「有理数ではない（無理数である）」ことを証明する流れになります。

ある数が無理数であることを直接証明するのは一般に困難を極めます。そこで威力を発揮するのが、高校数学Aで学ぶ「背理法（はいりほう）」です。

証明の全体設計は極めてシンプルです。

1. 「$\tan 1^\circ$ が有理数である」と仮定する。
2. 三角関数の加法定理を活用し、有理数の四則演算の性質（有理数同士を足し引き・掛け・割り算しても有理数のままであること）を積み重ねる。
3. その結果、「私たちが無理数だと知っている特定の値（$\tan 30^\circ = \frac{1}{\sqrt{3}}$）」が有理数になってしまうという論理的矛盾を導き出す。
4. 矛盾が生じたため、最初の仮定「$\tan 1^\circ$ は有理数である」が誤りであり、$\tan 1^\circ$ は無理数であると結論づける。

この大枠さえ頭に描ければ、あとは計算のステップを丁寧に進めるだけです。

【わかりやすい解答例】加法定理と2倍角・3倍角の公式で矛盾を導く完全ステップ

実際の試験で満点を獲得できる、減点のない標準的な解答例を順を追って確認していきます。

ステップ1：背理法の仮定と有理数の性質

まず、$\tan 1^\circ$ が有理数であると仮定します。
2つの有理数 $x, y$ に対して、和 $x+y$、差 $x-y$、積 $xy$、商 $\frac{x}{y}$（$y \neq 0$）はすべて有理数になります。この「有理数の四則演算は有理数になる」という閉じた性質が証明の土台です。

ステップ2：加法定理による展開

三角関数の加法定理は次の通りです。

$$\tan(\alpha + \beta) = \frac{\tan\alpha + \tan\beta}{1 - \tan\alpha\tan\beta}$$

もし $\tan\alpha$ と $\tan\beta$ がともに有理数であり、分母が $0$ でなければ、計算結果である $\tan(\alpha + \beta)$ も必ず有理数になります。

ステップ3：$30^\circ$ を目指して角度を広げる

$\tan 1^\circ$ が有理数であるならば、加法定理により：
$\tan 2^\circ = \tan(1^\circ + 1^\circ) = \frac{\tan 1^\circ + \tan 1^\circ}{1 - \tan 1^\circ\tan 1^\circ}$
より、$\tan 2^\circ$ も有理数となります。

同様に、$\tan 3^\circ = \tan(2^\circ + 1^\circ)$ も有理数となり、この加法定理の適用を繰り返すことで、一般に自然数 $n$（$1 \le n < 90$）に対して$\tan n^\circ$ はすべて有理数であるといえます。

ステップ4：矛盾の提示と結び

この議論を $n=30$ まで進めると、$\tan 30^\circ$ も有理数でなければなりません。

しかし、三角比の定義から $\tan 30^\circ = \frac{1}{\sqrt{3}}$ です。$\sqrt{3}$ は無理数であるため、$\frac{1}{\sqrt{3}}$ も当然ながら無理数です。

これは「$\tan 30^\circ$ が有理数である」という帰結と真っ向から矛盾します。したがって、最初の仮定「$\tan 1^\circ$ は有理数である」は誤りであり、$\tan 1^\circ$ は有理数ではない（無理数である）ことが証明されました。

【別解・発展考察】加法定理の連鎖展開と数学的帰納法による厳密な論理構築

実際の採点現場において、記述の厳密性を高めたい場合は「数学的帰納法」を明示的に組み込むのが定石です。

「自然数 $k$ に対して $\tan k^\circ$ が有理数であると仮定すると、加法定理より $\tan (k+1)^\circ$ も有理数になる」という論法を提示すれば、一足飛びに $\tan 30^\circ$ へ進む議論の飛躍を完全に防ぐことができます。

また、ステップ数を大幅に短縮する別解として、「2倍角の公式」や「3倍角の公式」を活用するルートも知られています。

• $\tan 1^\circ$ が有理数 $\to$ 2倍角を使い $\tan 2^\circ, \tan 4^\circ, \tan 8^\circ$ を順に構成する
• 3倍角の公式 $\tan 3\theta = \frac{3\tan\theta - \tan^3\theta}{1 - 3\tan^2\theta}$ を絡めて $\tan 30^\circ$ や $\tan 60^\circ$ へジャンプする

どのようなルートを経由しても、「加法定理によって有理数性が保存される」というコア概念さえ把握していれば、迷わず矛盾へ到達できる点がこの問題の美しさです。

【度数法と弧度法の違い】「tan1°」と「tan1ラジアン」はどちらも無理数なのか？

数学ファンや受験生の間でしばしば熱い議論を呼ぶのが、「度数法の $\tan 1^\circ$」と「弧度法の $\tan 1$（ラジアン）」の違いです。

結論を言えば、$\tan 1$（1ラジアン）も無理数です。ただし、その証明難易度は高校数学を遥かに超越します。

1ラジアンは約 $57.2958^\circ$ であり、$1^\circ$ のように「整数倍して $30^\circ$ や $45^\circ$ といった有名角に持ち込む」手法が使えません。$\tan 1$ が無理数であることを示すには、ランベルトの定理（Lambert's theorem）や連分数展開、あるいは微分積分学を駆使した高等数学の知識が要求されます。

京大の出題者が単位に「$1$」ではなく明確に「$1^\circ$」を指定した理由は、高校生が習得している道具立て（加法定理と背理法）だけでエレガントに解き切れるよう、極めて綿密に計算されていたからに他なりません。

【難関大数学の教訓】京大が「tan1°」を通して受験生に求めた数学的思考力

なぜ京都大学はこの問題を世に送り出したのでしょうか。そこには、知識偏重型の学習に対する強烈なメッセージが込められています。

多くの受験生は、問題集に載っている解法パターンを暗記し、数値を当てはめる練習に終始しがちです。しかし、本問では公式をどれだけ暗記していても、「そもそも有理数とは何か」「無理数を証明するにはどう論理を展開すべきか」という定義への深い理解がなければ手も足も出ません。

与えられた道具（加法定理）をどう組み合わせれば既知の矛盾（$\tan 30^\circ$ の無理数性）に接続できるのか。自らの手で論理の架け橋を架ける力こそ、難関大学が真に求めている数学的リテラシーなのです。

【tan1 は 有理数 か】に関するよくある質問（FAQ）

Q1：解答の中で「$\sqrt{3}$ が無理数であること」は証明なしで使って良いのですか？
A1：大学入試の標準的な採点基準では、$\sqrt{2}$ や $\sqrt{3}$、あるいは $\tan 30^\circ = \frac{1}{\sqrt{3}}$ が無理数であることは高校の既知の事実として断りなく使用して問題ありません。心配な場合は「$\sqrt{3}$ が無理数であることは既知とする」と1行添えるだけで十分です。

Q2：$\tan 30^\circ$ ではなく $\tan 45^\circ$ や $\tan 60^\circ$ を使っても証明できますか？
A2：$\tan 45^\circ = 1$ は有理数であるため、矛盾を導くターゲットには使えません。一方、$\tan 60^\circ = \sqrt{3}$ は無理数なので、$\tan 60^\circ$ を目標角にして矛盾を導く証明も完全に有効です。

Q3：なぜ $\sin 1^\circ$ や $\cos 1^\circ$ ではなく $\tan 1^\circ$ が出題されたのですか？
A3：$\sin$ や $\cos$ の加法定理は「$\sin(\alpha+\beta) = \sin\alpha\cos\beta + \cos\alpha\sin\beta$」のように2種類の三角比が混在し、有理数の閉性を1つの関数だけで追うのが難しくなります。一方、$\tan$ の加法定理は $\tan$ だけで完結するため、四則演算の論理を最もシンプルかつ美しく展開できるからです。

まとめ：本質を問う名問から学ぶ数学の奥深さ

2006年の京都大学入試問題「$\tan 1^\circ$ は有理数か」は、わずか一行の設問の中に数学の醍醐味がすべて詰まった金字塔と言えます。

答えは無理数であり、その論証には背理法と加法定理という基本知識の有機的な結合が必要でした。入試問題の枠を超え、「論理を論理として正しく紡ぐことの美しさ」を教えてくれる本問は、これからも多くの学び手に知的な刺激を与え続けることでしょう。 （出典: tan1 は 有理数 か（Yahoo!ニュース））