xとyがともに有理数である⇒xyが有理数である:真
xyが有理数である⇒xとyがともに有理数である:偽　判例(√2)^2

必要条件とは何か
学べ