r^2 = x^2 + y^2 の関係があるとしましょう。ここで、計算後に x と y の複雑な出力が得られたとしますが、理論的には上記の関係を使用することで大幅に簡略化できます。Mathematica にそれを行うように指示するにはどうすればよいですか?
置換規則 x^2+y^2 -> r^2 を使用し、仮定で Simplify/FullSimplify を使用しても機能しない状況について言及しています。たとえば、出力が x/y + y/x = (x^2 +y^2)/(xy) = r^2/(xy)。
単純化は、組み込み関数ではうまく機能しますが、ユーザー定義関数ではうまく機能しません! したがって、基本的に、関数を組み込み関数のように扱いたいと思います!