xxxx ChatGPT で(できませんでした。) xxx

入力文

不等式√(9x-18)<=√(-x^2+6x)をみたすxの範囲

XXXXX したがって、不等式の解は 1.315 ≤ x ≤ 13.685 です。

Mathematicaで

調子が悪いですね？(2023/07/28)

In
Reduce[{\[Sqrt](9 x - 18) <= \[Sqrt](-x^2 + 6 x)}, x]

Out
x == -6 || 2 <= x <= 3

グラフ作成

Plot[{\[Sqrt](9 x - 18), \[Sqrt](-x^2 + 6 x)}, {x, -10, 10}]

WolframAlpha で

グラフがでます。

解 2<=x<=3
　？？？？？　x = -6　？？？

sympyで(数学入試問題様のやり方で)同値変形しましょう．

①？？？sympyの同値変形はどのようにしたらいいですか？？？
②＞sympyのsolve関数で求めた複数の不等式の解の共通範囲を求めたい．
https://teratail.com/questions/227429

from sympy import *
x=symbols('x',real=True)
my0  =Eq( sqrt(9*x-18),sqrt(-x**2+6*x)      )
my1_U=Eq( my0.lhs**2  ,my0.rhs**2           )
my1_S=Eq( my1_U.lhs           ,0            )
my2_U=Eq( my1_U.lhs-my1_U.rhs,0             )
my2_S=Eq( x           ,solve(my1_S.lhs,x)[0]) 
my3_U=Eq( factor(my1_U.lhs-my1_U.rhs),0     )
my3_S=Eq( x           ,solve(my1_S.lhs,x)[0]) 
my4_U=solve(my3_U.lhs-my3_U.rhs,x         ) 
my4_S=solve(my3_S.lhs-my3_S.rhs,x         ) 
print("#0",my0  )
print("#1",my1_U)
print("#1",my1_S)
print("#2",my2_U)
print("#2",my2_S)
print("#3",my3_U)
print("#3",my3_S)
print("#4",Intersection(Interval(my4_U[0],my4_U[1]),
                        Interval(my4_S[0],oo)))
#0 Eq(sqrt(9*x - 18), sqrt(-x**2 + 6*x))
#1 Eq(9*x - 18, -x**2 + 6*x)
#1 Eq(9*x - 18, 0)
#2 Eq(x**2 + 3*x - 18, 0)
#2 Eq(x, 2)
#3 Eq((x - 3)*(x + 6), 0)
#3 Eq(x, 2)
#4 Interval(2, 3)

sympyで(solveで)

from sympy import *
x=symbols('x',real=True)
myEq=Eq(sqrt(9*x-18),sqrt(-x**2+6*x))
print("#",solve(myEq.rhs- myEq.lhs >=0))
# (2 <= x) & (x <= 3)

sympyの実行環境

①私の環境は,pycharmです。
②よく聞くのは、Jupyterです。
③web上で、上記のソースを「SymPy Live shell」に、コピー貼り付けでもできました。
黒背景の右上に、マウスを移動すると、コピーマークが発生します。
???　タブレット環境で、コピー貼り付けが実行できませんでした。???

参考

以下、いつもの?おすすめです。