問題は、$a^2 + b^2 \leq 9$ のとき、$a \leq 3$ かつ $b \leq 3$ であることを証明する過程の空欄を埋める問題です。背理法を用いて証明を進めています。
2025/5/22
1. 問題の内容
問題は、 のとき、 かつ であることを証明する過程の空欄を埋める問題です。背理法を用いて証明を進めています。
2. 解き方の手順
まず、 と であると仮定して矛盾を導きます。
* のとき、 が成り立ちます。なぜならば、両辺を2乗すると となり、 だからです。また、 であることは、が実数であれば常に成り立ちます。したがって、となります。は、と矛盾します。
* 次に、 のとき、 が成り立ちます。なぜならば、両辺を2乗すると となり、 だからです。また、 であることは、が実数であれば常に成り立ちます。したがって、となります。は、と矛盾します。
* 以上のことから、とが同時に成り立つと、と矛盾することが示されました。よって、 ならば かつ であるといえます。
3. 最終的な答え
ア:かつ
イ:9