欧拉公式是怎么发现的?