设割线方程为y=k(x-4)
因为割线和圆必定有两个不同的交点,所以
x^2+k^2(x-4)^2=4
(k^2+1)x^2-8k^2x+16k^2-4=0
△=64k^4-4(16k^2-4)(k^2+1)
=64k^4-64k^4-64k^2+16k^2+16
=-48k^2+16
>0
k^2