命题：
【任意偶数N=p+q，则两个素数之差d=q-p取最小值时，满足√(pq) > q-p = d】
.
假设：q=N-p，则：d=q-p=N-2p
当：√(pq) = √[p(N-2p) = d = N-2p
则有关系式：Np - 2p^2 = N^2 - 4Np + 4p^2
整理可得：6p^2 - 5Np + N^2 = 0
分解因式：(N-2p)(N-3p) = 0
.
可见：素数 p = N/2，或者 p = N/3 时，若存在素数q=N-p，则满足√(pq) = q-p = d
而：N/3 < p < N/2时，若存在一个素数 q=N-p，则命题成立。
.
显然，该命题本质上等价于哥德巴赫猜想
【任意偶数N=p+q，则两个素数之差d=q-p取最小值时，满足√(pq) > q-p = d】
.
假设：q=N-p，则：d=q-p=N-2p
当：√(pq) = √[p(N-2p) = d = N-2p
则有关系式：Np - 2p^2 = N^2 - 4Np + 4p^2
整理可得：6p^2 - 5Np + N^2 = 0
分解因式：(N-2p)(N-3p) = 0
.
可见：素数 p = N/2，或者 p = N/3 时，若存在素数q=N-p，则满足√(pq) = q-p = d
而：N/3 < p < N/2时，若存在一个素数 q=N-p，则命题成立。
.
显然，该命题本质上等价于哥德巴赫猜想
