这是定理，有证明的参与讨论！

这里f（a，b）是有公式给出的，f（P′）也可以给出相应公式，则哥猜定位成立！

请教artin老师

n=11时 X+Y=22
其中素数对有3 个（3,19），（5,17），（11,11）
合数对0个
小于21的奇素数个数为7个 分别是 (3,5,7,11,13,17,19)
小于21的奇合数个数为2个 分别是 (9,15)
2×3+2≠2×0+7

f（a，b）的公式是什么？有论证过或出处吗？

f（a，b）＝f（2）－3f（3）十7f（4）－15f（5）十31f（6）－63f（7）十……，f（P′）＝f（1）－f（2）十f（3）－f（4）十……，简易表达，逐一计算，则f（1，1）＝（n土Q）／2*丌（1－2／Pr），Pr＜N一2，⇒f（1，1）＝（Pr士m）²／4*丌k（1－2／Pr），k＝（Pi－1）／（Pi－2），PilN，⇒f（1，1）＝（1／q）*√N*√√√N，N→∞，0＜q＜1

初等证明比较简单,不同的两种方法遍历计数而已。
考察数偶对(k,2n-k) ，k遍历3到2n-3的这些奇数时，2n-k同样也遍历了3到2n-3的全部奇数时
所以k遍历3到2n-3的这些奇数时 ，数偶对(k,2n-k) 遍历了两次3到2n-3的全部奇数
设3到2n-3的全部奇数中素数个数为r1个，那么合数为r2个
分别考察数偶对(k,2n-k) 的三种情形
（1）两数均素 假设有m1种
（2）两数均为合数 假设有m2种
（3）两数一素一个合数 假设有m3种
所以有 2r1=2m1+m3 和 2r2=2m2+m3
所以 r1-r2=m1-m2
后面用你的符号
①当n为偶数时 k≠2n-k 可以知道m2=2f(a,b) ，m1=2f(1,1) ，r1=f（P）,r2=f（P'）
所以此时有 2f(1,1) +f（P'）=m1+r2=m2+r1=2f(a,b)+f（P） #
② 当n为奇素数时 除(n,n)外 其他的k≠2n-k
此时有 m2=2f(a,b) m1=2f(1,1)-1 r1=f（P）,r2=f（P'）
所以此时有 2f(1,1) +f（P'）=m1+1+r2=m2+r1+1=2f(a,b)+f（P）+1 #
③ 当n为奇合数时 除(n,n)外 其他的k≠2n-k
此时有 m2=2f(a,b)-1 m1=2f(1,1) r1=f（P）,r2=f（P'）
所以此时有 2f(1,1) +f（P'）=m1+r2=m2+r1=2f(a,b)+f（P）-1 #

至于你将此式用于哥猜，还得说你的公式不对。
（1）在小数值的解的个数误差基本是1，数值大以后误差有可能会很大，因为震荡的幅度会变大，以前给你举过稍大的例子。你需要给出误差的界限以确定f(1,1)是否大于1。
（2）你可能说你的公式需要n大于某个数值M会精确，你也得准备，n提高时，M也在提高，可能你永远找不到精确表达的区间。

再次请教artintin，经计算遍历任意N，则f（P′）＝f（1）－f（2）十f（3）－f（4）十……其结果准确，而f（a，b）的奇合数对的数值相应不准确，由N的活跃性连乘积Pi的基值变化，结果计算出的数值偏多或少，是不定方程解的余项问题！

式子的变化很简单，初中以上的水平可以自行计算f(P′)，则f(p′)=f(1)一f(2)+f(3)一f(4)+……，是准确的，计算的内容自已控制吧!如有差错，可以交流更正？

对于偶数2n，设k=(2n-4)/2，我们先将3,5,7,9,…,2n-3按照从小到大的顺序排成上一行，再将2n-3,2n-5,2n-7,2n-9,…,3按照从大到小的顺序排成下一行(实际上2n-3=2k+1)，将这两行数组成组，使每组的两个数的和均为2n，设从3到2k+1共有奇合数S(k)个，从2k+1到3共有奇合数S(k)个，和为2n且两个数都是奇合数的组为f(k)对，则上下两行共有奇合数2S(k)个，上下两行共有奇质数2(k-S(k))个，没有组成奇合数对的奇合数为2S(k)-2f(k)个，没有组成奇合数对的奇合数每一个必和一个奇质数组成一组，尚若奇质数的量大于没有没有组成奇合数对的奇合数的量，则必有，则必有2个均为奇质数的组，因此只要能证明对于任意不小于1的自然数k(2n=2k+4)，2×(k-S(k))＞2×S(k)-2×f(k)，那么哥德巴赫猜想成立。将上式整理得 k-[2×S(k)-f(k)] ＞0,实际上k-[2×S(k)-f(k)]就是质数对的组数（双记）。
例如：当k=3时，偶数2n=2k+4=10,从3到2×3+1=7共有奇合数0个，即S(3)=0，共有奇合数对0组，即f(3)=0，3-[2×S(3)-f(3)]=3-0=3对， 实际是 3+7,5+5,7+3
再如：当k=12时，偶数2n=2k+4=28 ，从3到2*12+1=25共有奇合数 4个 即S(12)=4，共有奇合数对0组，即f(12）=0，12-[2×S(12)-f(12)]=4对，实际是 5+23,11+17,17+11,23+5
再例如：当k=29时，偶数2n=2k+4=62，从3到2*29+1=59共有奇合数13个 ，即S(29)=13，共有奇合数对2组（27+35,35+27），即f(29)=2，29-[2×S(29)-f(29)]=5对，实际是3+59,19+43,31+31,43+19,59+3

至此，简易的《哥》获证不是难题，难的是错误的思想不能正视，科学在进步，政治的产物影响学科前进！

回到原帖，式子变为互求结果时有f(1，1)=(n一2)/2(或(n一1)/2)+f(a，b)一f(p′)#；f(a，b)=(n一2)/2(或(n一1)/2)+f(1，1)一f(p)#。令(n一2)/2=k，则f(1，1)=k/2+f(a，b)一f(p′)此时公式误差1/2，(进位)结果为迭代式，实际结果准确给出，要证f(1，1)素对存在，即f(1，1)>0，代入f(a，b)，f(p′)则f(1，1)=1/2(k一2f(1)十4f(2)一8f(3)十16f(4)一……)=1/2*丌(k一2k/pr)=k/2*丌(1一2/pr)>0