历史上证实大气压强存在的实验是(  )