目前的人类，还不具备证明哥德巴赫猜想的能力，而且你觉得这么短就能证出来，还能困扰数学界快300年了？粗略看了一眼，你的证明完全是胡言乱语
x<2x-a<2x-2没错，x<b<2x-2也没错，但b=2x-a是不是太搞笑了？5<6<8，5<7<8，难道6就能=7了？

设α是区间(2，x)(x>9，x∈N)中的自然数，b是区间(x，2ⅹ2)的自然数。
α:3、4、5、6、……、x-1，
b:2ⅹ-3、2x-4、2x-5、2ⅹ-6、……、2x-(x-1)
显然，b=2x-α。

5<6<8不准确，应是5<6<7。这样5<6<7与5<7<8的区间不同，因此6≠7。

谢谢你分享的看法，对我帮助很大，使我对此有更深的认识。

还是胡言乱语，伯特兰-切比雪夫定理只能证明（x,2x-2）至少存在一个奇素数，你可以表达成2x-s，但不能先假定s是素数，然后非说2x-s是这个素数，伯特兰-切比雪夫定理中的素数完全可能是你文中的2x-m

你的引理3是2x-m不一定存在质数，不是不存在，事实上比如x=11，2x=22，m=9是个合数，但2x-m=11是个质数

另外想跟你说，素数的分布大概是lnx，就是稍微大一点的数平均说来，（x，x+lnx）之间有一个素数，伯特兰-切比雪夫定理中素数分布到了x，就是证明了（x，2x-2）之间至少有1个素数，所以这个离哥德巴赫猜想还很遥远。推荐你先看看陈景润的1+2

(2x-s)首先是奇数，根据伯特兰_切毕雪夫数学定理，可以得到奇数(2x-s)中存在奇质数，设使(2x-s)为奇质数的s为p，那么就有奇质数(2x-p)。

∵2x=p+(-p)十2x=p+(2x-p)，p是奇质数，(2ⅹ-p)是奇质数，∴2X可以表示成两个奇质数之和的形式。

引理3就是不一定存在奇质数。

引理2、3、4都没问题，但他们不能推出你的（1），（x,2x-2)之间的质数，完全可能是2x-m

2x-s和2x-m中一定有质数，2x-m不一定有质数，但不是一定没有，所以2x-s只能说可能有质数，但不能说一定有。

倒回去认真学学初等数学吧，哥德巴赫猜想真不是几页纸可能的。如果真想研究，仔细看看陈氏1+2，我当年上大学的时候，是认真研究过的，只能说最后看懂了，每个推论我都看懂了，也没有找到逻辑错误，但没有看明白，没明白他到底怎么证明的。