几何变换与证题