{l}{x^2+y^2geq1}{yleq-|x|} を解きます| Microsoft 数学ソルバー

$$\left\{ \begin{array} { l } { x ^ { 2 } + y ^ { 2 } \geq 1 } \\ { y \leq - | x | } \end{array} \right.$$

x を解く

$$x\in \mathrm{R}\setminus \left(\left(-\infty,\sqrt{1-y^{2}}\right)\text{, }y\geq \frac{\sqrt{2}}{2}\text{ and }y<1\cup \left(-\sqrt{1-y^{2}},\sqrt{1-y^{2}}\right)\text{, }|y|<1\cup \left(-\sqrt{1-y^{2}},\infty\right)\text{, }y>\frac{\sqrt{2}}{2}\text{ and }y<1\cup \left(-\infty,y\right)\cup \left(-y,\infty\right)\right)\text{, }y<-1$$

y を解く

$$\left\{\begin{matrix}y\leq -|x|\text{, }&|x|>1\text{ or }\left(x\geq \frac{\sqrt{2}}{2}\text{ and }x\leq 1\right)\text{ or }\left(x\geq -1\text{ and }x\leq -\frac{\sqrt{2}}{2}\right)\\y\leq -\sqrt{1-x^{2}}\text{, }&|x|<\frac{\sqrt{2}}{2}\end{matrix}\right.$$