20/10/12 12:24:31.68 w9M/ZM8H.net
>>285-286
ウソ書いた
訂正
記号はそのままで
X=∪[a+b+c≧0]Kabc、Y=∪[a+b+c<0]Kabc、F=∂X=∂Y
とおく
光線の方向ベクトルn=(1,1,1)としてX上の点からnの方向に向かった点はまたXの点である
実際(p,q,r)がKabcの点ならa=[p],b=[q],c=[r]であるから容易に示せる
したがってp∈Fの各点についてそれが余次元2以上の単体の点でない所謂一般の点のときp∈Kabc, a+b+cなるa,b,cが一意に決まる
何故ならばp∈Fが一般の点の時pを含む単体は高々２つであるが、pを含む単体がXの中に二つ以上あるとpはXの内点となりp∈∂Yに反する
以上により全ての光線lにおいてF∩Fが一般の点のときp∈KabcでXに含まれるものがただ一つ決まる
よって∪[～]Kabc∩F)の射影像はαを充満する