任意两个无理数间有有理数.直观的来说小数点后一定有不同,取有限位就是有理数.
那么如果>sqrt(2)有有理数数A
在(sqrt(2),A)中任意取一数B.
那么
1.B是有理数且小于A
2.(sqrt(2),B)上有有理数C,C