半径等于3圆心在y轴上且和直线y=4相切的圆的方程为