直線
上の3点
,
,
,および直線
上の3点
,
,
に対して,直線
と
の交点を
とおく.但し添字は3を法として考える.このとき3点
,
,
は同一直線上にある
とある資料では,,
,
を
,
,
とおいているが,3直線が共点のときは交点の座標が
となってしまうので,3直線が共点のときは別に証明しなければならない.対称性が高くて証明は綺麗なのだけど.
もちろん,3直線が共点のときは極限を考えれば成り立つのだが.
とりあえず別の座標をとってみる.
また,直線 と
の交点
の座標を
とする.
直線 の方程式を
とする.
は
と
を通るので
である.
同様に となる.
は
と
の束だから
とかける.
同様に とかける.
は
と
の束だから
とかける一方,
と
の束だから
ともかけるので,
となり,
とかける.
同様に とかける.
よって3次曲線
および
は9点 ,
,
,
,
,
,
,
,
を通る.
よって2つの3次曲線の束
も9点 ,
,
,
,
,
,
,
,
を通る.3点 ,
,
は
上にも
上にもないので、
をみたすので、
をみたす.つまり,この3点は直線 上にある.