证明a分之一大于b分之一成立充要条件