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

わずか一行、文字数にして「tan1°は有理数か。」という極限まで削ぎ落とされた問題文が、当時の受験生と数学界に与えた衝撃は計り知れません。2006年京大理系数学の第6問として出題されたこの一問は、現在に至るまで「伝説の大学入試問題」の筆頭として語り継がれています。

一見すると小学生でも意味が理解できるほど簡潔でありながら、高校数学の本質的な論理的思考力を試す名問です。なぜこの超短文問題がこれほどまでに受験界を揺るがし、今なお色褪せない名作と称されるのか。その背景から、背理法と加法定理を駆使した鮮やかな証明手順、さらにはド・モアブルの定理を用いた別アプローチまで、徹底的に構造を解き明かします。

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

• 要点1：結論（答え）は「tan1°は無理数（有理数ではない）」であり、論証には背理法を用いるのが最も王道のアプローチ。
• 要点2：「tan1°が有理数である」と仮定し、三角関数の加法定理を繰り返すことでtan30°（=1/√3）が有理数になるという矛盾を導く。
• 要点3：公式の暗記偏重に警鐘を鳴らし、数学の根本である「定義と論理の組み立て」を問う京都大学からの強烈なメッセージが込められている。

【出題の背景】わずか一行の最短問題文が大学受験界に投じた波紋

2006年2月26日、京都大学の二次試験（前期日程）数学の試験会場で、問題冊子を開いた受験生たちに走った緊張は異様なものでした。大問6に並んでいたのは、注釈や誘導の一切ない「tan1°は有理数か。」という文字だけでした。最短問題文 京大の記録としても有名なこの問題は、問題文の短さランキングでも日本の大学入試史上トップクラスに君臨しています。

大手予備校の分析速報や当時の受験生の手記によると、「一瞬目を疑った」「問題の印刷ミスではないかと会場が静まり返った」という証言が多数残されています。公式の誘導が一切ないという構造は、受験生自身の力で「問いの言い換え」「証明の方針決定」「矛盾の導出」を一から構築しなければならないことを意味していました。

数学の学力観が「解法パターンの暗記」へと偏重しつつあった教育環境に対し、京都大学数学教室が「真の論理的思考力とは何か」を突きつけた象徴的な出題として位置づけられています。

【完全解説】tan1°が無理数であることの証明手順と論理構造

この問題に対するtan1度 有理数 答えは「無理数である（有理数ではない）」です。問題文は「〜か」と尋ねているため、「有理数ではない」という結論を明示した上で、その論理的な証明を記述する必要があります。

最も美しく高校数学の範囲で簡潔に完結するtan1° 背理法 証明の手順は以下の3ステップで展開されます。

ステップ1：背理法の仮定

まず、命題を否定して次のように仮定します。
「tan1°は有理数である」と仮定する。

ステップ2：加法定理による有理数の閉性の利用

2つの有理数 $x, y$ に対して、$x + y$ や $1 - xy$（分母が0でない場合）もすべて有理数になります（有理数は四則演算について閉じている性質）。ここで、加法定理 三角関数の公式を振り返ります。

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

もし $\tan\alpha$ と $\tan\beta$ がともに有理数であれば、分母が0にならない限り $\tan(\alpha + \beta)$ も必ず有理数になります。

いま $\tan1^\circ$ が有理数であると仮定しているため、$\tan2^\circ = \tan(1^\circ + 1^\circ)$ も有理数となります。同様の操作を数学的帰納法または連続した加法定理の適用によって繰り返していくと、$\tan3^\circ, \tan4^\circ, \dots, \tan30^\circ$ もすべて有理数でなければならないという結論に至ります。

ステップ3：tan30°の無理数性と矛盾の導出

しかし、幾何学的な定義から明らかに $\tan30^\circ = \frac{1}{\sqrt{3}}$ です。ここでtan30° 無理数である事実（$\sqrt{3}$ が無理数であること）と照らし合わせます。

もし $\frac{1}{\sqrt{3}}$ が有理数 $\frac{p}{q}$（$p, q$ は互いに素な正の整数）と表せるとすると、$\sqrt{3} = \frac{q}{p}$ となり、$\sqrt{3}$ が有理数となってしまい矛盾します（※厳密な答案では $\sqrt{3}$ が無理数であることも簡潔に示すと完璧です）。

したがって、「$\tan30^\circ$ が有理数である」という帰結は明らかな矛盾を孕んでいます。ゆえに最初の仮定「$\tan1^\circ$ は有理数である」は誤りであり、「tan1°は無理数である（有理数ではない）」ことが証明されます。

【実態検証】当時の受験生コミュニティの阿鼻叫喚と合格ラインのリアル

入試本番当時、この問題に直面した受験生の反応はどうだったのでしょうか。当時の大手予備校関係者の分析データおよび合格者の回想録を検証すると、本問の現場正答率は決して高くありませんでした。

「問題の意味は誰でもわかる。しかし、どこから手を付ければいいのか全く見当がつかなかった」という声が受験掲示板や回想記に溢れました。特に多かった失敗パターンは以下の通りです。

第一に、$\tan1^\circ$ の値をマクローリン展開や微少近似で直接求めようとして計算の泥沼にハマったケース。第二に、「有理数ではない」と答えだけを書き、肝心の論証部分で有理数の加減乗除の閉性に言及できず大幅な減点を食らったケースです。

京大 数学 難問 解説の文脈において、本問は「知識の量」ではなく「数学的な勘所（センス）」が合否を分けた典型例として挙げられます。$30^\circ$ や $45^\circ$ といった有名角にどうやって持ち込むかという発想の転換ができた受験生は、試験開始後わずか10分足らずで完答し、他の大問に圧倒的なアドバンテージを持って臨むことができました。

一般に知られていない盲点とネット上の誤解

ネット上の解説記事やSNSにおいて、本問に関してしばしば見受けられる誤解が存在します。それは「$\sqrt{3}$ が無理数であることを証明なしに使ってよいのか」という論争です。

高校数学の入試採点基準において、教科書に定理や基本性質として証明付きで掲載されている事実（$\sqrt{2}$ や $\sqrt{3}$ が無理数であること）は、問題文に「証明なしで用いてよい」と明記されていない場合でも既知の事実として引用して減点されないケースが一般的です。しかし、厳密性を極限まで重んじる京都大学の採点において、万全を期すならば「$\sqrt{3}$ が無理数であること」の簡易的な証明（素因数分解の一意性を用いた背理法）を余白に数行添えることが、真の満点を獲得するための安全策とされていました。

また、「$1^\circ$ ずつ足していくと30回加法定理を使わなければならないのか」という疑問も散見されます。実際には「$\tan n^\circ$ が有理数と仮定すると、加法定理により $\tan(n+1)^\circ$ も有理数になる」という数学的帰納法の論理を1回記述すれば、一網打尽に証明が成立するため、何十回も式を書く必要はありません。

【プロの結論】思考力型入試を突破できる学習者と挫折する学習者の決定的な違い

認知心理学や教育測定論の観点から見ると、京大の「tan1°」問題は「スキーマの単純適用」から「メタ認知的問題解決」への脱却を測る最高峰のリトマス試験紙です。

思考力型入試に適応できる学習者の特徴

典型的な高校数学 解法パターンを単にストックするだけでなく、「なぜその手法が使えるのか」という定義に立ち返る習慣を持っています。「有理数か？」と問われた瞬間に、反射的に「背理法」「既知の無理数との矛盾」「四則演算の閉性」というツールボックスから最適な道具を選択できます。

暗記型学習で挫折しやすい学習者の特徴

問題文に「誘導（小問1、小問2）」がないと手が止まってしまうタイプです。問題の見た目がこれまでに解いた問題集のどれとも一致しない場合、「解き方を知らない難問」と錯覚してパニックに陥ります。しかし本問の本質は、高校1〜2年で習う教科書レベルの基本公式の組み合わせに過ぎません。

公式を単なる「数値を代入する機械」として記憶するのではなく、「前提条件と論理のつながり」として深く理解することが、京大をはじめとする最難関大学入試を突破するための不変の条件です。

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

Q1：tan1°は結局、有理数ですか？無理数ですか？
A1：答えは「無理数（有理数ではない）」です。背理法を用いて有理数と仮定すると、加法定理の連続適用により tan30°（=1/√3）が有理数になってしまうという矛盾が生じるためです。

Q2：証明でド・モアブルの定理を使う別解とはどのようなものですか？
A2：複素数 $(\cos 1^\circ + i\sin 1^\circ)^{90} = \cos 90^\circ + i\sin 90^\circ = i$ に対して二項定理を適用し、実部と虚部を比較することで、$\tan 1^\circ$ を根に持つ整数係数多項式を導き出す代数学的アプローチです。高校数学の範囲を超えた美しい対称性を持つ別解として知られています。

Q3：なぜ tan45° や tan60° ではなく tan30° を矛盾の着地点にするのですか？
A3：$\tan 45^\circ = 1$ は有理数であるため矛盾が作れません。$\tan 60^\circ = \sqrt{3}$ でも証明可能ですが、$1^\circ$ から順に足していった際に最も早く到達する有名な無理数値が $\tan 30^\circ = 1/\sqrt{3}$（または $\tan 60^\circ$）だからです。

まとめ：時代を超えて輝く「数学の本質」

2006年の京都大学理系数学第6問「tan1°は有理数か」は、単なるトリビア的な難問ではなく、数学という学問の根底にある「論理の美しさ」を凝縮した記念碑的な一問です。

複雑な計算や膨大な知識を詰め込むこと以上に、「自らの頭で論理を組み立て、矛盾を突き止める力」こそが真の知性であるという大学側からのメッセージは、現代の数学学習においても極めて重要な指針であり続けています。 （出典: tan1 は 有理数 か（Yahoo!ニュース））