由 a<ca<ca<c 及 ad=bcad=bcad=bc,有 a(d−c)<c(d−c)a(d-c)<c(d-c)a(d−c)<c(d−c),从而 b−a<d−cb-a<d-cb−a<d−c。因此 a+d>b+ca+d>b+ca+d>b+c,即 2k>2m2^k>2^m2k>2m,故 k>mk>mk>m。