Wythoff's constructon for uniform polytopes, p49の局所幾何の計算．

4次元面について

t0,3α4（頂点数20）

α4（頂点数5）

β4（頂点数8）

α3ｘα1（頂点数8）

ｆ4＝（ｘ／20＋ｙ／5＋ｚ／8）・ｆ0

ｘ／20＋ｙ／5＋ｚ／8＝2430／４３２

216ｘ＋864ｙ＋540ｚ＝24300

ｘ＋ｙ＋ｚ＝45

864ｘ＋864ｙ＋864ｚ＝38880

648ｘ＋324ｚ＝14580

X=10,ｚ=25,Y=10

10/20・432＝216

10/5・432＝864

25/8・432＝1350・・・ＯＫ

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