实验三戴维宁定理验证实验