$a$ が0でない定数であるとき、不等式 $\sqrt{a^2 - x^2} > ax - a$ を解く問題です。

代数学不等式平方根場合分け数式処理
2025/8/10

1. 問題の内容

aa が0でない定数であるとき、不等式 a2x2>axa\sqrt{a^2 - x^2} > ax - a を解く問題です。

2. 解き方の手順

まず、a2x2\sqrt{a^2 - x^2} が定義される条件から、a2x20a^2 - x^2 \ge 0 である必要があります。
これは、x2a2x^2 \le a^2 と同値であり、axa-|a| \le x \le |a| となります。
次に、与えられた不等式 a2x2>axa\sqrt{a^2 - x^2} > ax - a を考えます。
場合分けをします。
(i) axa<0ax - a < 0 のとき
このとき、ax<aax < a となり、
もし a>0a > 0 ならば、x<1x < 1 となり、
もし a<0a < 0 ならば、x>1x > 1 となります。
この場合、a2x20\sqrt{a^2 - x^2} \ge 0 なので、不等式は常に成り立ちます。
(ii) axa0ax - a \ge 0 のとき
このとき、axaax \ge a となり、
もし a>0a > 0 ならば、x1x \ge 1 となり、
もし a<0a < 0 ならば、x1x \le 1 となります。
この場合、不等式の両辺はともに非負なので、2乗して不等号の向きは変わりません。
a2x2>(axa)2a^2 - x^2 > (ax - a)^2
a2x2>a2x22a2x+a2a^2 - x^2 > a^2x^2 - 2a^2x + a^2
0>a2x2+x22a2x0 > a^2x^2 + x^2 - 2a^2x
0>(a2+1)x22a2x0 > (a^2 + 1)x^2 - 2a^2x
0>x((a2+1)x2a2)0 > x((a^2 + 1)x - 2a^2)
したがって、x((a2+1)x2a2)<0x((a^2 + 1)x - 2a^2) < 0 となります。
この不等式を解くと、0<x<2a2a2+10 < x < \frac{2a^2}{a^2 + 1} となります。
以上の議論をまとめると、
(i) a>0a>0 のとき
axa-a \le x \le a かつ x<1x < 1 または 1x<2a2a2+11 \le x < \frac{2a^2}{a^2 + 1} を満たす必要があります。
2a2a2+1=2a2+22a2+1=22a2+1<2\frac{2a^2}{a^2 + 1} = \frac{2a^2 + 2 - 2}{a^2 + 1} = 2 - \frac{2}{a^2+1} < 2 であり、a>0a>0 なので 0<2a2a2+1<20< \frac{2a^2}{a^2 + 1} < 2
xx の範囲は ax<2a2a2+1-a \le x < \frac{2a^2}{a^2+1}
(ii) a<0a<0 のとき
axaa \le x \le -a かつ x>1x > 1 または 0<x10 < x \le 1 を満たす必要があります。
xx の範囲は 0<xa0 < x \le -a

3. 最終的な答え

a>0a>0 のとき:ax<2a2a2+1-a \le x < \frac{2a^2}{a^2+1}
a<0a<0 のとき:0<xa0 < x \le -a