马得堡半球实验说明了商鞅