球的标准方程是怎么化出来的?