ｎ次元正単体のｎ＋１個の頂点ｖ1，ｖ2，・・・，ｖn+1を単位円周上に写す．その際，４個の移り先（ｘ1，±ｙ1），（ｘ2，±ｙ2）は既知であるが，（ｘ3，±ｙ3）は未知である．それを求めたい．

　　ｘ1^2＋ｙ1^2＝１，ｘ2^2＋ｙ2^2＝１，ｘ3^2＋ｙ3^2＝１

＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝

　６次元正単体の７頂点

ｖ1（＋１／２，−１／√１２，−１／√２４，−１／√４０，−１／√６０，−１／√８４）

ｖ2（−１／２，−１／√１２，−１／√２４，−１／√４０，−１／√６０，−１／√８４）

ｖ3（　　　０，＋２／√１２，−１／√２４，−１／√４０，−１／√６０，−１／√８４）

ｖ4（　　　０，　　　　　０，＋３／√２４，−１／√４０，−１／√６０，−１／√８４）

ｖ5（　　　０，　　　　　０，　　　　　０，＋４／√４０，−１／√６０，−１／√８４）

ｖ6（　　　０，　　　　　０，　　　　　０，　　　　　０，＋５／√６０，−１／√８４）

ｖ7（　　　０，　　　　　０，　　　　　０，　　　　　０，　　　　　０，，＋６／√８４）

　　ｘ2＝−（（５＋√７）／１２）^1/2

　　ｙ2＝（（７−√７）／１２）^1/2

　　ｘ1＝（−４＋√７）／３・ｘ2

　　ｙ1＝（２＋√７）／３・ｙ2

　　投影図上P1P2=P2P3=P3P4となっている．

　ｖ1〜ｖ7を縦ベクトルとする．

ｖ1［＋１／２，−１／√１２，−１／√２４，−１／√４０，−１／√６０，−１／√８４］’

ｖ2［−１／２，−１／√１２，−１／√２４，−１／√４０，−１／√６０，−１／√８４］’

ｖ3［　　　０，＋２／√１２，−１／√２４，−１／√４０，−１／√６０，−１／√８４］’

ｖ4［　　　０，　　　　　０，＋３／√２４，−１／√４０，−１／√６０，−１／√８４］’

ｖ5［　　　０，　　　　　０，　　　　　０，＋４／√４０，−１／√６０，−１／√８４］’

ｖ6［　　　０，　　　　　０，　　　　　０，　　　　　０，＋５／√６０，−１／√８４］’

ｖ7［　　　０，　　　　　０，　　　　　０，　　　　　０，　　　　　０，，＋６／√８４］’

６×６行列ｖ＝［ｖ1，ｖ2，ｖ3，ｖ4，ｖ5，ｖ6］の逆行列ｖ^-1をｕとする．

ｕ＝［ｕ11，ｕ12，ｕ13，ｕ14，ｕ15，ｕ16］

　　［ｕ21，ｕ22，ｕ23，ｕ24，ｕ25，ｕ26］

　　［ｕ31，ｕ32，ｕ33，ｕ34，ｕ35，ｕ36］

　　［ｕ41，ｕ42，ｕ43，ｕ44，ｕ45，ｕ46］

　　［ｕ51，ｕ52，ｕ53，ｕ54，ｕ55，ｕ56］

　　［ｕ61，ｕ62，ｕ63，ｕ64，ｕ65，ｕ66］

未知数（ｘ3，±ｙ3）を含む２×６行列

［ｘ1，　ｘ1，ｘ2，　ｘ2，ｘ3，　ｘ3］

［ｙ1，−ｙ1，ｙ2，−ｙ2，ｙ3，−ｙ3］

との積の２×６行列を

ｒ＝［ｒ11，ｒ12，ｒ13，ｒ14，ｒ15，ｒ16］

　　［ｒ21，ｒ22，ｒ23，ｒ24，ｒ25，ｒ26］

とする．

ｒ11＝ｘ1ｕ11＋ｘ1ｕ21＋ｘ2ｕ31＋ｘ2ｕ41＋ｘ3ｕ51＋ｘ3ｕ61

ｒ21＝ｙ1ｕ11−ｙ1ｕ21＋ｙ2ｕ31−ｙ2ｕ41＋ｙ3ｕ51−ｙ3ｕ61

・・・・・・・・・・・・・・・・・・・・・・・・・

　これは直交表列であって

　　ｒ11ｒ21＋ｒ12ｒ22＋ｒ13ｒ23＋ｒ14ｒ24＋ｒ15ｒ25＋ｒ16ｒ26＝０

　　ｒ11^2＋ｒ12^2＋ｒ13^2＋ｒ14^2＋ｒ15^2＋ｒ16^2＝ｒ21^2＋ｒ22^2＋ｒ23^2＋ｒ24^2＋ｒ25^2＋ｒ26^2

が成り立つ．この連立方程式を解いて（ｘ3，ｙ3）を求める．

　［ｘ4］＝［ｒ11，ｒ12，ｒ13，ｒ14，ｒ15，ｒ16］［ｖ7］

　［ｙ4］　［ｒ21，ｒ22，ｒ23，ｒ24，ｒ25，ｒ26］

（ｘ4，ｙ4）は(1,0)か(-1,0)に移るはずである．

＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝

　もし，６×６行列ｖを三角行列にしたければ［ｖ2，ｖ3，ｖ4，ｖ5，ｖ6，ｖ7］

　［ｘ4］＝［ｒ11，ｒ12，ｒ13，ｒ14，ｒ15，ｒ16］［ｖ1］

　［ｙ4］　［ｒ21，ｒ22，ｒ23，ｒ24，ｒ25，ｒ26］

（ｘ4，ｙ4）は(1,0)か(-1,0)に移るはずである．

＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝