抛物线上的任一点到准线的距离等于它到焦点的距离 这是否是一个定理?名字叫什么?