验证玻意尔定理