The maple package botema that proves the inequalit...

用于画空间旋转动态图形，包括圆、圆环、椭圆、正方体、圆台，圆锥等等，空间动态生成，效果明显。