4个圆幂定理及其证明