△7

Ｐ0（１，０，　　　０，０，４／２√６，８／４√３，２）

Ｐ1（０，０，０，　０，０，　　　　　０，　　　０，０）

Ｐ2（１，２／√２，２，０，　　　　　０，　　　０，０）

Ｐ3（２，４／√２，０，０，　　　　　０，　　　０，０）

Ｐ4（３，２／√２，０，２，　　　　　０，　　　０，０）

Ｐ5（４，０，　　　０，０，　　　　　０，　　　０，０）

Ｐ6（３，０，　　　０，０，１２／２√６，　　　０，０）

Ｐ7（２，０，　　　０，０，　８／２√６，１６／４√３，０）

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

　Ｇ7について

Ｐ1（０，０，０，　０，０，　　　　　０）

Ｐ2（１，２／√２，２，０，　　　　　０）

Ｐ3（２，４／√２，０，０，　　　　　０）

Ｐ4（３，２／√２，０，２，　　　　　０）

Ｐ5（４，０，　　　０，０，　　　　　０）

Ｐ6（３，０，　　　０，０，１２／２√６）

［１］Ｐ2Ｐ3Ｐ4Ｐ5Ｐ6を通る超平面に直交するベクトルをａ

［２］Ｐ1Ｐ3Ｐ4Ｐ5Ｐ6を通る超平面に直交するベクトルをｂ

［３］Ｐ1Ｐ2Ｐ4Ｐ5Ｐ6を通る超平面に直交するベクトルをｃ

［４］Ｐ1Ｐ2Ｐ3Ｐ5Ｐ6を通る超平面に直交するベクトルをｄ

［５］Ｐ1Ｐ2Ｐ3Ｐ4Ｐ6を通る超平面に直交するベクトルをｅ

［６］Ｐ1Ｐ2Ｐ3Ｐ4Ｐ5を通る超平面に直交するベクトルをｆ

　　ａ＝（１，√２／２，１，０，√６／６）

　　ｂ＝（０，０，１，０，０）

　　ｃ＝（０，１，−１／√２，−１／√２，０）

　　ｄ＝（０，０，０，１，０）

　　ｅ＝（１，−√２／２，０，−１，−√６／２）

　　ｆ＝（０，０，０，０，１）

を正規化すると

　　ａ＝（√６／４，√３／４，√６／４，０，１／４）

　　ｂ＝（０，０，１，０，０）

　　ｃ＝（０，１／√２，−１／２，−１／２，０）

　　ｄ＝（０，０，０，１，０）

　　ｅ＝（１／２，−√２／４，０，−１／２，−√６／４）

　　ｆ＝（０，０，０，０，１）

ａ・ｂ＝√６／４（Ｐ3Ｐ4Ｐ5Ｐ6）＊

ａ・ｃ＝０（Ｐ2Ｐ4Ｐ5Ｐ6）

ａ・ｄ＝０（Ｐ2Ｐ3Ｐ5Ｐ6）

ａ・ｅ＝０（Ｐ2Ｐ3Ｐ4Ｐ6）

ａ・ｆ＝−１／４（Ｐ2Ｐ3Ｐ4Ｐ5）＊＊

ｂ・ｃ＝−１／２（Ｐ1Ｐ4Ｐ5Ｐ6）・・・Ｐ１６を含んで６０°

ｂ・ｄ＝０（Ｐ1Ｐ3Ｐ5Ｐ6）

ｂ・ｅ＝０（Ｐ1Ｐ3Ｐ4Ｐ6）

ｂ・ｆ＝０（Ｐ1Ｐ3Ｐ4Ｐ5）

ｃ・ｄ＝−１／２（Ｐ1Ｐ2Ｐ5Ｐ6）・・・Ｐ１６を含んで６０°

ｃ・ｅ＝０（Ｐ1Ｐ2Ｐ4Ｐ6）

ｃ・ｆ＝０（Ｐ1Ｐ2Ｐ4Ｐ5）

ｄ・ｅ＝−１／２（Ｐ1Ｐ2Ｐ3Ｐ6）・・・Ｐ１６を含んで６０°

ｄ・ｆ＝０（Ｐ1Ｐ2Ｐ3Ｐ5）

ｅ・ｆ＝−√６／４（Ｐ1Ｐ2Ｐ3Ｐ4）＊

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

［まとめ］

１個辺の条件を満たすものは３個で，Ｐ１６が共通している．

Ｐ１６方向と言うよりは，Ｐ１６を含むｎ−２次元面という理解がよいだろう．

５個辺の条件を満たすものは３個（＊＊はその真ん中Ｐ２３４５）ある

Ｐ２３４５はＰ１６以外と考えることができる．

Ｐ１６以外の点を含むｎ−２次元面という理解がよいだろう．

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