爱德蒙哈雷最先使用什么定律