(i)

$k$に$1$を代入すると、
$p:m>1\cup n>1$ $q:mn>1$ となる。

アドバイス

こういう問題は、一般的には
$p\Rightarrow q$ ×
$p\Leftarrow q$ ○
なので、必要条件
って解くことが多いけど、○×の判定で混乱したり間違えたりすることが多い。なので、図やグラフで表せるときは、集合の大小で考える方がおすすめ。

例えば右図では、大きい集合の$p$が小さい集合の$q$を含んでいる。
このような場合、$p$は$q$であるための必要条件になる。
逆に、$q$は$p$であるための十分条件である。
「大きい集合は小さい集合の必要条件」。呪文のように憶えておこう。

詳しくはこのページ参照。

ということで、図にする。
今回は変数が$m$，$n$の２個なので、数Ⅱの範囲になるけれど、領域にしよう。

まず、$m$，$n$だとグラフにするときに混乱しがちなので、$m$を$x$，$n$を$y$に置き換えると、
$p:x>1\cup y>1$ $q:xy>1$ とかける。

$q$はさらに
$xy>1$
$y>{\displaystyle \frac{1}{x}}$
と変形できる。

これを領域にすると、図Ａのようになる（境界線を含まない）。
$m$も$n$も正の数なので、第一象限（$0<x\cap 0<y$の部分）以外は不要。

図Ｂより、$p$と$q$は同じ集合なので、必要十分条件である。

解答ケ：０

(ii)

$k$に$2$を代入すると、
$p:m>2\cup n>2$ $q:mn>4$ $r:mn>2$ とかける。

(i)のときと同じ作業をすると、
$p:x>2\cup y>2$ $q:y>{\displaystyle \frac{4}{x}}$ $r:y>{\displaystyle \frac{2}{x}}$ と変形できる。

これを領域にすると、図Ｃのようになる（境界線を含まない）。
(i)のときと同様、第一象限（$0<x\cap 0<y$の部分）以外は不要。

$m$も$n$も自然数なので、格子点だけを考えると、図Ｄができる。

図Ｄより、
$p$は$r$に含まれている（$r$が大きい集合）ので、$p$は$r$であるための十分条件である。
$p$は$q$を含んでいる（$p$が大きい集合）ので、$p$は$q$であるための必要条件である。

解答コ：２ サ：１