逆はa,bがb>a^2+1を満たすならばa,bはa+b≧1を満たす。　
で対偶はa,bがb<a^2+1を満たすならばa,bはa+b<1を満たす。

でOKですか？