圆上点到定点距离最小值

点 $P$ 在圆 $x^2+y^2=16$ 上，求 $P$ 到点 $A(1,\sqrt3)$ 的距离最小值。