若圆 $C$经过坐标原点和点（4，0），且与直线 $y=1$相切，则圆 $C$的方程是.