このページはマス旅の一部です。[br][br]射影幾何では、ユークリッド幾何、アフィン幾何で証明が複雑になるものがカンタンに証明できる定理があります。[br][br]今回はデザルグの定理について探ってみよう。

[b][size=150][br]＜記号のお約束＞[br][/size][/b][br]これから、表現の簡略化のために次のようにzenは、約束します。[br][br]2直線AとBの交点Cを、「[b]点C＝A*B[/b]」と書く。[br]3直線A,B,Cが1点で交わるか平行であることを「[b]A+B+C=0[/b]」と書く。[br]3直線A,B,Cが1点で交わるとき,交点Pは「[b]点P＝A*B*C[/b]」と書く。[br][br]3点A,B,Cが平面Eにあることを「[b]面E＝(A,B,C)[/b]」と書く。[br]4点A,B,C,Dが共通面Eにあるとき、「[b]面E＝(A,B,C,D)[/b]」と書く。[br]何点でも、同様に共通面にある点群を「[b]平面＝点のタプル[/b]」と書く。[br][br]3点A,B,Cが1直線上にあることを「[b]A+B+C=0[/b]」と書く。[br]3点A,B,Cが共通線Lにあることを「[b]線L=(A,B,C)[/b]」と書く。[br][br][b][size=150]＜デザルグの定理＞[br][/size]（３D版)[br]面E1＝(A,B,C)、面E2＝(A',B',C')で、[br]3交点（点D=BC*B'C'、点E=CA*C'A'、点F=AB*A'B'）があるとき、AA'＋BB'＋CC'＝0[br][/b]（略解）[br]面a=(B,C,B',C'),面b=(C,A,C',A'),面c=(A,B,A',B')の３面a,b,cは２つずつの交線が3本ある。[br]この3本が1点で交わるか平行だから、AA'＋BB'＋CC'＝0。[br][br][b]（２D版）　　[br]面E1＝(A,B,C、A',B',C')[br]3交点（点D=BC*B'C'、点E=CA*C'A'、点F=AB*A'B'）があり、しかも、D＋E+F=0（共線）なら[br]AA'＋BB'＋CC'＝0[br][/b]（略解）[br]3次元空間で解決する。[br]線L=(D,E,F)とする。[br]線Lを通る平面E２に3点A",B",C"が、B"+C"+D=0,C"+A"+E=0,A"+B"+F=0となるようにとる。[br]三角形ABCと三角形A"B"C"の間で、2平面型からAA"+BB"+CC"=0。[br]交点があれば点P=AA"*BB"*CC"とする。[br]三角形A'B'C'と三角形A"B"C"の間で、2平面型からA'A"+B'B"+C'C"=0。[br]交点があれば点P'=A'A"*B'B"*C'C"とする。[br]交点PとP'があるときは、直線PP'がE1と交わるときは、交点をP"とすると、点P"=AA'*BB'*CC'だから、AA'＋BB'＋CC'＝0。[br]他の場合も同様にして、AA'＋BB'＋CC'＝0を証明できるでしょう。[br][br][b]（２D版の逆）[br]面E1＝(A,B,C、A',B',C')[br]AA'＋BB'＋CC'＝0ならば、点D=BC*B'C'、点E=CA*C'A'、点F=AB*A'B'とすると、D+E+F=0。[br][/b]（略解）[br]三角形ECC'、三角形EBB'に着目すると、（２D型）と同値になる。[br][br]以上３パターンをすべて、デザルグの定理といいます。[br][br]結構、場合わけとか証明が大変ですね。[br][br][color=#9900ff][u][b][size=150]課題：２D版と３D版のデザルグの定理をgeogebraで作図して、実感しよう。[br][/size][/b][/u][/color][br]タイトル「２D版のデザルグの定理」[br]関数グラフを選びます。[br]A=(0,5)[br]B=(1.5,1.33)[br]C=(3,10)[br]A'=(10,5)[br]B'=(6,3)[br]C'=(8,7)[br]Polygon(A,B,C)[br]Polygon(A',B',C')[br][b]#polygon（3点）つまり三角形を作ると、辺の名前が表示された3辺が増えます。[br]#これらの連動オブジェクトはラベルなしにしましょう。[br][/b][br]bc:Line(B,C) #青[br]bcd:Line(B',C')　　 #青[br]D=Intersect(bc,bcd) #青[br]ca:Line(C,A) #赤[br]cad:Line(C',A') #赤[br]E=Intersect(ca,cad)#赤[br]ab:Line(A,B) #緑[br]abd:Line(A',B') #緑[br]F=Intersect(ab,abd) #緑[br]aad:Line(A,A')　#オレンジ[br]bbd:Line(B,B')　#オレンジ[br]ccd:Line(C,C')　#オレンジ[br]def:Line(E,F) #点線の紫[br]P=Intersect(aad,ccd) #aad,bbd,ccdの交点（射影の視点）[br][br]タイトル「3D版のデザルグの定理」[br]立体図形を選びます。[br]A=(-5,0,5)[br]B=(-1,1,-2)[br]C=(-3,2,3)[br]A'=(5,0,5)[br]B'=(1,1,-2)[br]C'=(3,2,3)[br]Polygon(A,B,C)[br]Polygon(A',B',C')[br][b]#polygon（3点）つまり三角形を作ると、辺の名前が表示された3辺が増えます。[br]#これらの連動オブジェクトはラベルなしにしましょう。[br][/b]bc:Line(B,C) #青[br]bcd:Line(B',C')　　 #青[br]D=Intersect(bc,bcd) #青[br]ca:Line(C,A) #赤[br]cad:Line(C',A') #赤[br]E=Intersect(ca,cad)#赤[br]ab:Line(A,B) #緑[br]abd:Line(A',B') #緑[br]F=Intersect(ab,abd) #緑[br]aad:Line(A,A')　#オレンジ[br]bbd:Line(B,B')　#オレンジ[br]ccd:Line(C,C')　#オレンジ[br]def:Line(E,F) #点線の紫(表示にすると、ｆと重なることを確認する）[br]E1=Plane(A,B,C)[br]E2=Plake(A',B',C')[br]ｆ＝Intersect(E1,E2) #青で濃くする

同次座標の性質から、数式で証明ができるはずです。[br][br][b][size=150]＜２点の和差は直線上の点＞[br][/size][/b][br]直線の方程式はユークリッド幾何では定点＋ｔ方向ベクトルで表すことができました。[br]2点A＝[a,b,c],B=[p,q,r]があるとき、[br]ABを通る直線はA＋t(B-A)=(1-t)A+tBのように点ベクトルの1次結合で表すことができる。[br]点ベクトル自体が連比だから和や差だけで、直線上の点を表す。[br]つまり「A-B」、「A+B」は直線AB上の「点」になる。[br][br][b][size=150]＜直線と直線の加減＝０が線束＞[br][/size][/b][br]射影幾何では、直線の方程式は法線ベクトルNと点のベクトルXの内積NX＝０で表すことができました。[br]L１＝ax+by+czと、L2＝px+qy+qzとするとき、[br]L1＝０、L2＝０は直線を表すことは、前回わかりました。[br]L1+λL2はL1とL2をともにゼロにするベクトルX＝[x,y,z]で＝０になります。[br]L1＋λL2をXの成分で整理すると、これ自体が内積の式になりますね。[br]ということはL1+λL2＝０は直線を表します。しかも、λを動かすことで、法線ベクトル（傾き）は[br]変化します。つまり、直線群、線束だと言えます。[br]同次座標自体が、固定値ではなくて、連比なので和や差でも＝０とすると線束を表しますね。[br][br][size=150][b]＜デザルグの定理＞[/b][br][/size]では、デザルグの定理の証明に取り掛かりましょう。[br]2Dの逆版を３Dにして一般化したバージョンです。[br][b]（前提）[br][/b]面E1＝(A,B,C）、面E2＝(A',B',C')[br]点P=(AA',BB',CC')があり、3交点（点D=BC*B'C'、点E=CA*C'A'、点F=AB*A'B'）があれば、[br][b]（結論）D+E+F=0（共線）[br][/b][br][b][size=150]＜２点和差による証明＞[/size][br]（前提）[br][/b]点P=(AA',BB',CC')[br]点ベクトルでは、AーA’＝B－B'=CーC'=Pとなる。[br]式変形すると、[br]直線上の点＝直線上の点となる点は2直線の交点だから、[br]B－C=B'ーC'＝D、C－A＝C’－A'＝E、AーB=A'ーB'＝F。[br][b]（結論）[br][/b]ここで、辺々たし算すると、（B-C)+(C-A)+(A-B)=D+E+Fとなるね。[br]左辺＝０だから、[b]D＋E+F＝０（共線）[/b][br][br][b][size=150]＜線束による証明＞[/size][br]（前提）[/b][br]直線AA',BB',CC',BC,B'C',CA,C'A'の名前自体を内積として利用する。[br]Pを通る線束AA'＋BB'＋CC'＝０がある。[br]Dを通る線束BC＋B'C'＝０、Eを通る線束CA＋C'A'＝０、Fを通る線束AB＋A'B'＝０がある。[br][b]（結論）[/b][br]直線AA'は、Aを通る線束とA’を通る線束の一致から、CAーAB＝-（C'A'ーA'B'）[br]直線BB'は、Bを通る線束とB’を通る線束の一致から、AB－BC＝-（A'B'ーB'C'）[br]直線CC'は、Cを通る線束とC’を通る線束の一致から、BC－CA=‐（B'C'ーC'A')[br]Pを通る線束AA'＋BB'＋CC'＝０から、[br]（CAーAB）＋（AB－BC）＋（BC－CA）＋（C'A'ーA'B'）＋（A'B'ーB'C'）＋（B'C'ーC'A')＝０[br]（CA＋C'A'）＋（AB＋A'B'）＋（BC＋B'C'）＝０[br]Dを通る線束＋Eを通る線束＋Fを通る線束＝０[br][b]D＋E+F=0（共線）[/b][br]