切頂十二面体

切頂十二面体（せっちょうじゅうにめんたい、）、または切頭十二面体（せっとうじゅうにめんたい）、切隅十二面体（せつぐうじゅうにめんたい）、角切り十二面体（かくぎりじゅうにめんたい）とは、半正多面体の一種で、正十二面体の各頂点を切り落としてできる立体である。
性質.
一辺の長さを "a" とすると、