この問題を次のような問題を考えることからはじめよう.
拓生 最近,三つのよく似た問題に出会いました.まず問題を見て下さい.
例 1.7.1 [88名大]
放物線 上に相異なる三点, , , がある.原点を中心とする半径1の円を とし,直線 , 直線 はそれぞれ に接するとする. このとき,直線 もまた に接することを証明せよ.
例 1.7.2 [90京大前期理系]
円 を内部に含む楕円 がある. 上の一点 から にひとつの接線をひき, その延長が再び と交わる点を とする. から に とは異なる接線をひき, その延長が再び と交わる点を とする. から に とは異なる接線をひき, その延長が再び と交わる点を とすると となった. このとき を の関数として表わせ.
例 1.7.3 [90東大前期理系]
円 を ,楕円 を とする. 上のどんな点 に対しても, を頂点にもち, に外接して に内接する平行四辺形が存在するための必要十分条件を で表せ.
南海 とりあえず三つの問題自身はできたか.
拓生 はい.名古屋大,京大の問題は難しくありません.東大のも何とかなりました.
南海 拓生君は次のような解答を示した.
解答
例題1.7.1
直線 の式は,
より, に注意すれば,
これは,直線 もまた に接することを示している.□
例題1.7.2
となるということは, から円に二つの接線を引き,楕円との交点 を , とするとき,直線 が再び円に接する,ということである.
が 軸上の点であり,円も楕円も 軸対称の位置にあるので, 直線 が再び円に接するのは, と の 座標がのときである.
従って題意をみたす と はあるとすれば一組のみであるから, と をその 座標が -1 の楕円上の点とするとき, が円と接することが となるための条件である.
である.
の式は,
これが と接するので,
これから,
例題1.7.3
[必要条件] を とし,
とする.
を頂点の一つとする平行四辺形が存在するためには,円と楕円がともに 軸,
軸に関して対称であるから, が円に接しなければならない.
[十分条件] とする. のとき,題意をみたす平行四辺形が存在することを示せばよい.
を頂点とし, を向かい合う頂点とする.
,および を通る直線を
この二解を とする.解と係数の関係から,
とを頂点とする平行四辺形が存在するためには, この二直線の交点が再び楕円上にあればよい.
交点は
ここで に注意して,
この交点を楕円の式に代入する.
ところが
であるから,これを代入して整理すると,
南海 それぞれ入試問題の解答としてはこれで充分だ.
拓生 と順にとって になるのと, から二つの接線 と を引いたとき, もまた円に接することとは同値です. それは,外部の点から円への接線がちょうど2本引けることからわかります.
そこで,京大の問題は, を特別な点としたとき となる条件を求めよというものです.
一方,名大の問題は三点が一般的に文字で与えられているのですから, を どこにとっても, となるというのです.
また東大の問題は四点について,二つの問題の中間を主張していて,平行四辺形という条件 にしぼれば,常に同様のことが成り立つ,と主張しています.ある四点を頂点とする平行四辺形が 存在することから必要条件を求め,そのときつねに指定された点を頂点とする平行四辺形が存在 することを示すのですから.
それぞれ類似のことを証明させようとしていますが,また同時に少しずつ違っていて, どのようなことが成り立つのか,背景にどのような事実があるのか,はっきりわかりません.
南海 問題とされていることがそれぞれ違うのは,入試問題としての難易を調節するためである. こういうときにいちばんいいのは,「できるだけ一般的にとらえ,具体的に考える」ことだ.
拓生 名大の問題は円と放物線がある位置関係にあるときつねに が成り立つ. 京大の問題は特定の点で となる位置関係を求めさせる, . 東大の問題も必ずしも平行四辺形でなくても四辺形で成り立つ.
南海 東大の問題では次のことに注意すればよい.
同心の円と楕円があり,円が楕円の内部にあるとする. 円に外接し楕円に内接する四角形は結局のところ平行四辺形しかない.
円に外接する四角形の隣りあう辺の長さは等しい.一方円も楕円も原点に関して対称なので, 必ずひし形になる.
拓生 なるほど.すると一般に,
円と二次曲線で,ある点 から順に接線を引いて,3回目
(ないしは4回目)の点 について になれば,
をどこにとっても常に となる.
が成り立つということでしょうか.
南海 その通り. 放物線と楕円が出てきたので,そこを「二次曲線」ととらえたのも大変よろしい.
南海 しかしさらに一般化すれば,中の円も「二次曲線」にしたくなる. また,3および4で成り立つのだから,これを一般に にしたくなる.
二つの二次曲線が置かれた位置関係も制限が必要ない.
一般に二つの二次曲線 と3以上の自然数 に関して,
上のある点を頂点の一つとし, に外接し に内接する 角形が一つでも存在すれば, 任意の点についてそれを頂点の一つとする同様の 角形が存在する.ことが成り立つと推測される.
ポンスレの閉形定理とよばれている. 一般の場合,複素射影幾何の場で証明される.これは後に考えたい.
まず,上の三つの入試問題をそれぞれ一般的に考えよう. そのために,まず名大の問題をわれわれの観点で一般化するとどうなるか.