第一个研究了大气折射现象的人是（）。