京大伝説の入試から20年——なぜ「tan 1」の無理数証明は2026年の今も思考を揺さぶり続けるのか

tan1 は 有理数 か——2006年の京都大学理系前期入試において、余白だらけの解答用紙にぽつんと印刷されたこの一文は、日本の受験数学史においてひとつの特異点となった。問題用紙を開いた瞬間の静寂、そして受験生たちが味わった底知れぬ圧迫感。公式の丸暗記に終始していた多くの秀才たちが、このわずか一行の問いを前にペンを止め、己の数学的直観を根本から試されることになった。

あれから20年が経過した2026年、教育とテクノロジーの双方が激変する現場で、この問いは再び熱を帯びている。自動推論AIが大学レベルの難問を数秒で片付ける時代になっても、教育現場で tan1 は 有理数 か という古典的かつ根源的な命題が教材として引っ張りだこになっているのは、思考の自律性を測るリトマス試験紙としてこれ以上の素材がないからだ。この問題が放つ独特の緊張感は、年月の経過とともに薄れるどころか、むしろ凄みを増している。

伝説の2006年京大入試：一行問題が放った知性の爆弾

2006年2月26日、京都大学吉田キャンパス。張り詰めた空気の中、受験生に配られた数学の設問用紙には、誰もが目を疑う光景が広がっていた。「tan 1° は有理数であるか。」問題文はそれだけだった。配点は30点、あるいは40点とも噂されたが、問題用紙の大半を占める白い空白が何よりも受験生の動揺を誘った。

当時の予備校界隈は蜂の巣をつついたような騒ぎになった。誘導設問もなければ、前提条件のヒントもない。知識を詰め込んできた受験生ほど、「どこから手をつければいいのか」「有理数なのか、無理数なのか」という二者択一の分岐点で立ち往生した。知識を吐き出すだけの勉強を徹底的に拒絶し、数学の言葉で論理をゼロから構築できる者だけを選抜する——京大からの強烈なメッセージだった。

「度数法」か「弧度法」か？ ネットと教育現場を二分した解釈の罠

この問いを巡る議論で今なお語り継がれるのが、「1」の単位を巡る解釈のすれ違いだ。入試本番の表記は「tan 1°」と明確に度数法の記号が添えられていたが、受験数学を離れたネット上の掲示板やSNSでは、記号が脱落した「tan 1」という表記が一人歩きを始めた。

高校数学の常識に縛られた者は反射的に「1度」と考え、解析学に親しんだ大学生や数学徒は「1ラジアン」と捉える。度数法なら初等的な三角関数の加法定理で鮮やかに仕留められるが、ラジアンとなれば話は別物だ。大学数学のランベルトの公式や連分数展開、アイゼンシュタインの既約判定法を総動員しなければ歯が立たない超難問へと変貌する。ひとつの記号の有無が、初等幾何と近代数論という全く異なる地平への扉を開くことになった。

わずか数行で仕留める背理法の美学：加法定理から導く決着

度数法としての「tan 1°」の証明は、見事なまでにシンプルだ。背理法を用いる。「tan 1° が有理数である」と仮定することからすべてが始まる。

三角関数の加法定理を繰り返し適用すれば、tan 2°、tan 4°、tan 8°……と倍角の計算を積み重ねていくことができる。有理数同士の足し算、引き算、掛け算、割り算の結果は、常に有理数にしかならない。もし仮定が正しければ、加法定理を重ねて得られる「tan 30°」も必然的に有理数でなければならないはずだ。

しかし、中学生でも知っている通り、tan 30° の値は 1/√3 であり、明らかに無理数だ。ここで決定的な矛盾が生じる。わずかこれだけの論理ステップで、最初の仮定「tan 1° は有理数である」は脆くも崩れ去り、結論として無理数であることが確定する。特別な高等数学の定理など何一つ使わない。教科書の基本公式を道具として自在に使いこなせるか、それだけが問われていた。

2026年のAIフロンティア：最新モデルは「tan 1の壁」をどう超えたのか

時計の針を2026年に進めよう。近年の推論特化型AIは、数学オリンピックの難問すら瞬時に形式言語へ翻訳し、厳密な証明を組み立てるまでに進化を遂げた。では、この京大の伝説的な一行問題を前にしたとき、AIは何を出力するのか。

興味深いことに、近年の先端モデルにこの問いを投げかけると、度数法（1°）の背理法による初等的な証明と、弧度法（1 rad）におけるランベルトの連分数定理を用いた証明を即座に並列して提示する。人間が文脈から暗黙のうちに察する前提の揺らぎを、計算機は多角的な可能性として余すところなく拾い上げるのだ。かつて人間が試験場で味わった沈黙と直感の閃きを、数理エンジンは圧倒的な記号処理能力で平然と再現してみせる。

ランベルトから広がる無理数論の深淵：ラジアンならどうなる？

仮にこの問いが「弧度法（1ラジアン）」だった場合、話のスケールは一気に深淵へと突入する。18世紀の数学者ヨハン・ハインリヒ・ランベルトが円周率の無理性を証明するために用いた「tan x の連分数展開」の出番となる。

x が 0 でない有理数であるとき、tan x は必ず無理数になる——このランベルトの定理を適用すれば、x = 1（有理数）のときの tan 1（ラジアン）は自明に無理数となる。さらに進んで、カール・ジーゲルやアラン・ベイカーの超越数論に足を踏み入れれば、tan 1 が単なる無理数にとどまらず、いかなる代数方程式の解にもなり得ない「超越数」であることまで証明される。受験の枠組みを超えた数学の広大さを実感させる理由がここにある。

思考力を奪うマーク式へのアンチテーゼ：問い続ける知性の未来

タブレット端末とAIチューターが標準化された2026年の教育界において、この問題が持つ重みは増すばかりだ。選択肢を選ぶだけのマークシート方式や、解法のパターンを短期間で詰め込む勉強法に対する強烈な警鐘として機能している。

何を前提とし、何を疑い、どう論理を組み立てるか。未知の空白を前にしたときに立ちすくむのか、それとも手持ちの初等的な道具を組み合わせて突破口を切り拓くのか。京都大学が20年前に放った一撃は、情報が溢れ返り思考のアウトソーシングが進む現代において、人間が自らの頭で考え抜くことの尊さを今も静かに語りかけている。 （出典: tan1 は 有理数 か（Yahoo!ニュース））