从布拉格方程推导出劳厄方程