定积分推导电子势能