上一步那个a平方<3b,不等式两遍同时除以一个ab。就得到黄色部分的式子了。
前面已得:a²<3b 又三个数皆是正整数,两边同时除以ab,有a/b<3/a 又由因式分解知a≠2,a又是素数,故a≥3(最小质数是2,只有b=0,c=2才有a=2,但是0不是自然数,所以a≥3)接着3/a≤1 自然得出a/b<1 a
a平方<3b,不等式两遍同时除以一个ab