легко показать что ad-cb > 0
да, легко. Учитывая, что

, согласно определению рациональных чисел.
А в чем проблема, сделать обратные выкладки?
однако из ac-bd > 0 следует что r > 1/s, а для рациональных чисел это не всегда верно.
Не следует, потому что не верно.
А всё потому, что

совсем не обязательно будут больше нуля. Опять же, согласно определению рациональных чисел.