验证大气压强的存在及其应用