18/07/10 11:30:55.37 8lYR3TJ8.net
>>763
正20面体の外接球の半径Roは
Ro = (1/4)√(10+2√5)･(辺長)
= 0.9510565163・(辺長)
各辺を長さ r：r'：r に3分割して、両側を捨てる。(切頂20面体)
正六角形が残るように３等分すると（r=r')
Ro = 0.9510565163・(2r+r')
= 2.8531695489 r
このときの外接球の半径Rは
R = √{(Ro)^2 -r(r+r')}
= 2.478018659 r
R=1 とおくと r = 0.4035482123
12B = 3√(25+10√5)・rr = 20.6457288 rr ≒ 3.36218088