证明大气压强存在的著名实验是，首先测出大气压强数值的科学家是。