马德堡半球实验计算公式是什么时候学的