（その４７２）をやり直し．コクセター論文覚え書き．展開すると

ｘ［ｘ　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ｓｉｎ（ｎ−１）θ／ｓｉｎθ

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

　ｃｏｓθｓｉｎｎθ−２ｃｏｓ^2π／ｗ・ｓｉｎ（ｎ−１）θ

＝ｃｏｓθｓｉｎｎθ−２ｃｏｓ^2π／ｗ・｛ｓｉｎｎθｃｏｓθ−ｃｏｓｎｎθｓｉｎθ

＝ｃｏｓθｓｉｎｎθ（１−２ｃｏｓ^2π／ｗ）＋２ｃｏｓ^2π／ｗ・ｃｏｓｎｎθｓｉｎθ

＝−ｃｏｓθｓｉｎｎθ（ｃｏｓ２π／ｗ）＋（１＋ｃｏｓ２π／ｗ）・ｃｏｓｎｎθｓｉｎθ

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