静电场电势满足的拉普拉斯方程的导出