コクセター論文覚え書き．展開すると

ｘ［ｘ　1/2 ０　０　　　０　］−√ｃw ［ｘ　1/2 ０　０　　　０　］

［1/2 ｘ　1/2 ０　　　　　］ ［1/2 ｘ　1/2 ０　　　　　］

［０　1/2 ｘ　1/2 　 　］ ［０　1/2 ｘ　1/2 　 　］

［０　０　1/2 ｘ 　　　　］ ［０　０　1/2 ｘ 　　　　］

［　　　　　　　 ｘ 1/2 ］ ［　　　　　　　 ｘ ０ ］

［０　　　　　 　1/2 ｘ ］ ［０　　　　　 　1/2 √ｃw］

ｘ［ｘ　1/2 ０　０　　　０　］−ｃw ［ｘ　1/2 ０　０ 　］

［1/2 ｘ　1/2 ０　　　　　］ ［1/2 ｘ　1/2 ０　　 ］

［０　1/2 ｘ　1/2 　 　］ ［０　1/2 ｘ　1/2 ］

［０　０　1/2 ｘ 　　　　］ ［０　０　1/2 ｘ 1/2］

［　　　　　　　 ｘ 1/2 ］ ［０　　　　　1/2 ｘ ］

［０　　　　　 　1/2 ｘ ］

２^n-1をかけると

ｘ２^n-1［ｘ　1/2 ０　０　　　０　］−２ｃw２^n-2［ｘ　1/2 ０　０ 　］

　　　［1/2 ｘ　1/2 ０　　　　　］ 　　　　 ［1/2 ｘ　1/2 ０　　 ］

　　　［０　1/2 ｘ　1/2 　 　］ 　　　　［０　1/2 ｘ　1/2 ］

　　　［０　０　1/2 ｘ 　　　　］ 　　　　［０　０　1/2 ｘ 1/2］

　　　［　　　　　　　 ｘ 1/2 ］ 　　　　［０　　　　　1/2 ｘ ］

　　　［０　　　　　 　1/2 ｘ ］

＝ｘｓｉｎｎθ／ｓｉｎθ−２ｃwｓｉｎｎθ／ｓｉｎθ

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