x^2+(y-1)^2=1上点（X,Y）
Y/X就是直线y=kx斜率
y=kx带入圆
(1+k^2)x-3kx=0
(3k)^2>=0,k<0或k>0
所以k没有最小
y/x-3+c大于等于0不可能恒成立