京大伝説「tan1°は有理数か」の答え！背理法と加法定理による鮮やかな証明

大学入試数学の歴史において、今なお燦然と輝く伝説の超短文問題が存在します。それが、2006年の京都大学前期日程で出題された「$\tan 1^\circ$ は有理数か。」という極限まで削ぎ落とされた問いです。問題文はわずか1行、文字数にしてわずか十数文字。問題用紙を開いた瞬間に受験生を凍りつかせたこの一問は、20年が経過した現在も「数学史上に残る最高峰の良問」として語り継がれています。

一見すると手掛かりが何もない難問に見えますが、要求されている知識は高校数学の基礎である「背理法」と「三角関数の加法定理」のみです。本稿では、受験界を震撼させた出題の真相、明確な答えとその鮮やかな証明プロセス、さらにはド・モアブルの定理を用いた発展的な別解や出題背景にある教育的メッセージまで徹底解説します。

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

• 要点1：問いに対する結論（答え）は「無理数である」であり、証明には背理法を用いるのが最も王道かつ鮮明。
• 要点2：三角関数の加法定理を繰り返し適用して $\tan 30^\circ = \frac{1}{\sqrt{3}}$ の矛盾を導くことで、高校生レベルの知識で完結する。
• 要点3：公式の暗記偏重に警鐘を鳴らし、数学の根本的な「定義」と「論理的思考力」を問う京大の強い意志が込められた傑作である。

【問題の概要と答え】たった1行の超短文！2006年京都大学入試の衝撃

2006年2月25日、京都大学の個別学力検査（理系数学第6問・文系数学第3問共通）で配布された問題用紙には、目を疑うような問題が印刷されていました。

【問題】
$\tan 1^\circ$ は有理数か。

問題文に与えられた前提条件や誘導は一切ありません。配点は理系で30点、文系でも30点分が割り振られていました。多くの受験生が「どう書き始めればよいのか」「答えは有理数なのか無理数なのか」と混乱に陥りました。

まず核心となる結論から述べると、答えは「$\tan 1^\circ$ は有理数ではなく、無理数である」です。有理数か無理数かを判定した上で、それが無理数であることを論理の飛躍なく厳密に証明し切ることが求められました。

【鮮やかな証明手順】背理法と三角関数の加法定理で解き明かす完全解答

この問題の最も標準的かつ美しい証明方法は、「背理法（ある命題の否定を仮定して矛盾を導く論法）」と「三角関数の加法定理」を組み合わせる手法です。高校数学IIの教科書レベルの知識だけで、完璧な論理展開を組み立てることができます。

ステップ1：背理法の仮定を設定する

まず、命題を否定し、「$\tan 1^\circ$ が有理数である」と仮定します。

ステップ2：加法定理から「有理数の加法性」を示す

2つの角 $\alpha, \beta$ に対して、正接の加法定理は次の通りです。

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

ここで、$\tan\alpha$ と $\tan\beta$ がともに有理数であり、分母が0にならない場合、四則演算の性質から $\tan(\alpha + \beta)$ も必ず有理数になります。

ステップ3：加法定理を連続して適用する

仮定より $\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 30^\circ = \frac{1}{\sqrt{3}}$ は無理数である」という事実は真っ向から矛盾します。したがって、最初の仮定「$\tan 1^\circ$ は有理数である」が誤りであったことになり、$\tan 1^\circ$ は無理数であることが証明されました。

※入試の実戦においては、念のため「$\sqrt{3}$ が無理数であること」を背理法（既約分数 $p/q$ と置いて平方し、素因数3の偶奇を論じる証明）で数行添えておくと、減点のリスクを完全にゼロにできます。

【別解アプローチ】ド・モアブルの定理を用いた多項式展開

加法定理によるドミノ倒しのような証明のほかにも、理系受験生であれば複素数平面とド・モアブルの定理を用いたエレガントな別解を構築できます。

ド・モアブルの定理によれば、自然数 $n$ に対して以下の等式が成り立ちます。

$$(\cos\theta + i\sin\theta)^n = \cos(n\theta) + i\sin(n\theta)$$

両辺を $\cos^n\theta$ で割り、$\tan\theta = t$ とおいて二項展開することで、$\tan(n\theta)$ を $\tan\theta$ の代数方程式（有理数係数多項式）として表現できます。

$n=30, \theta=1^\circ$ または $n=45, \theta=1^\circ$ などを代入して展開すると、もし $\tan 1^\circ$ が有理数であれば既知の三角比の値と矛盾することが代数的に導かれます。数学オリンピックや大学数学への接続を感じさせる、非常に視野の広い解法です。

【出題の背景と意図】なぜ京大は「tan1°」を出題したのか？

なぜ京都大学は、このような極限のシンプルさを追求した問題を出題したのでしょうか。その背景には、当時の教育環境に対する強烈なメッセージが存在しました。

1990年代末から2000年代初頭にかけては、いわゆる「ゆとり教育」の導入に伴い、基礎学力の低下や公式の丸暗記主義が社会的な議論を呼んでいた時代でした。1999年には東京大学が「$\sin x, \cos x$ の定義と加法定理の証明」を出題して受験界に衝撃を与えましたが、2006年の京大による「$\tan 1^\circ$」の出題もまさにその系譜に連なるものです。

京大が求めたのは、複雑な計算パターンを暗記して機械的に解く力ではなく、「定義に戻る勇気」「論理をゼロから組み立てる構成力」でした。「公式を知っているか」ではなく、「有理数や無理数とは何か」「加法定理の本質とは何か」を深く理解している者だけが、迷うことなく背理法のペンを走らせることができたのです。

【難問であり良問】京大数学が求める「思考の飛躍」と受験数学への教訓

この問題が「単なる奇問」ではなく「歴史的良問」と称賛される理由は、使う知識自体は誰でも知っている基礎事項ばかりである点にあります。

• 有理数と無理数の定義（中学校〜高校数学I）
• 背理法による論証（高校数学I）
• 三角関数の加法定理（高校数学II）
• $\tan 30^\circ$ や $\tan 45^\circ$ の値（中学校〜高校数学I）

道具立ては極めて基本的でありながら、「1°という扱いづらい角度から、自分が知っている30°や45°という確固たる足場へと論理を橋渡しできるか」という思考の跳躍が試されています。知識の量を競うのではなく、持っている基礎知識をどう組み合わせて未知の命題を攻略するかという、数学の本質が凝縮されています。

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

Q1：tan1°の答えは有理数ですか、それとも無理数ですか？
A1：答えは「無理数」です。入試本番では、単に「無理数」と答えるだけでなく、背理法などを用いて無理数であることを論理的に証明しなければ得点になりません。

Q2：証明の際、$\sqrt{3}$ が無理数であることは無証明で使っても大丈夫でしたか？
A2：一般的な大学入試採点基準において、教科書に証明が掲載されている「$\sqrt{2}$ や $\sqrt{3}$ が無理数であること」は自明として扱っても大幅な減点はされないと見られています。ただし、記述試験の万全を期すならば、余白や文末に2〜3行で「$\sqrt{3}$ が有理数と仮定した場合の矛盾」を補足しておくのが最も安全です。

Q3：加法定理で30回も計算を繰り返す記述は必要ですか？
A3：実際に1°から30°まで30行計算を書く必要はありません。「$\tan n^\circ$ が有理数ならば $\tan(n+1)^\circ$ も有理数である」ことを一般的に示し、数学的帰納法を用いるか、あるいは倍角・加法定理を組み合わせて $\tan 2^\circ \to \tan 4^\circ \to \dots \to \tan 30^\circ$ と飛び石で示す論述を行えば十分です。

Q4：sin1°やcos1°も無理数なのですか？
A4：はい、$\sin 1^\circ$ も $\cos 1^\circ$ も無理数です。もし $\cos 1^\circ$ が有理数だと仮定すると、倍角公式などを経由して $\cos 30^\circ = \frac{\sqrt{3}}{2}$ が有理数にならざるを得ず、同様に矛盾が生じます。

まとめ：伝説の問題が教えてくれる数学の美しさと学びの本質

2006年の京都大学入試「$\tan 1^\circ$ は有理数か」は、単なる受験テクニックの枠を超え、数学という学問が持つ厳密さと美しさを象徴する金字塔です。

公式を暗記して当てはめるだけの学習では、問題文が短くなればなるほど手足が出なくなります。しかし、基本概念の定義を深く理解し、背理法のような論理展開の型を身につけていれば、どれほど奇抜に見える問題であっても突破口を切り拓くことができます。この超短文問題が放つ知的な輝きは、これからも多くの数学ファンや受験生を魅了し続けるはずです。 （出典: tan1 は 有理数 か（Yahoo!ニュース））