几种简单几何图形及其推理