推导布拉格定