证明大气压强存在的科学家是谁