推导圆面积公式用到平移和旋转了吗