17/12/07 13:24:14.25 PGE1ivVB.net
∂^2 f / ∂x ∂y = ∂^2 f / ∂y ∂x
は解析的に証明されます。
初等関数を使って定義された f に対して、代数的にこれを証明できないでしょうか？
微分の操作は代数的なので、証明も代数的にできるのではないかと思いました。
17/12/07 13:24:14.25 PGE1ivVB.net
∂^2 f / ∂x ∂y = ∂^2 f / ∂y ∂x
は解析的に証明されます。
初等関数を使って定義された f に対して、代数的にこれを証明できないでしょうか？
微分の操作は代数的なので、証明も代数的にできるのではないかと思いました。