トップページ⇒math
973コメント287KB

〓 Mathematica 四 〓

■ このスレッドは過去ログ倉庫に格納されています
0001132人目の素数さん2007/12/10(月) 16:00:01
        _....._{{ 〃
      , - ' ,..、、.ヾ{{フ'⌒`ヽ、
    /  ,:', -‐‐` ´ '´⌒ヽ ヾ:、
.   ,'   ,'´ ,ィ ,ィ ,' ,   `ヽ',  ',-<
    ,'   .i  /|. /.| { i,  i,  }.  }_,,))
   ! |  ! .,'-.{ ! !|; |`、.}゙!.! |.  ! ヽ.
   ', ', |Vァ=、゙、 `゙、!-_:ト,リ', l ! |   ゙',
    ヽ、', l:!Kノ}.     f:_.)i゙i: リ ! l ル 
     | l!iヾ- ' ,   .!__:ノ ゙ ,リ l リ'´     
.     ',|!!、    r‐┐   ` ノ'. /,イ    / ̄ ̄ ̄ ̄ ̄ ̄ ̄ ̄ ̄ ̄ ̄ ̄ ̄ ̄ ̄ ̄ ̄ ̄ ̄  
      'i!゙、ヽ、 ゙ー'  _, ィ,:',:''´    <  Mathematica に関する話題はここに書いてね!
      ゙:、ィ、jヾー::: 'iヘ .ノ',リ.        \___________________
   ,、- '´ ヽ、゙、   { `>"、  
  /\\    ',   }   //`ヽ

過去スレ
>>2
0652132人目の素数さん2009/11/09(月) 04:52:13
>>651ありがとうござます。あと(y^2)(a^x)+(x)(a^(y^2)) (a>0)の点(0,0)における3次のテイラー多項式を出したいんですがこれってどう入力すればいいんですか?昨日やったんですがエラーばっかでできなかったんです・・・教えていただけませんか?
0653132人目の素数さん2009/11/09(月) 05:09:21
少しは調べろよw
Series[(y^2)(a^x)+(x)(a^(y^2)),{x,0,3},{y,0,3}]
0654132人目の素数さん2009/11/09(月) 10:15:27
どこかの質問スレと違って大違いだ
0655132人目の素数さん2009/11/09(月) 14:54:14
>>653ありがとう。ずっと{(x,y),0,3}でやってました笑
0656132人目の素数さん2009/11/10(火) 20:02:35
マスマティカって関数の極値をいきなり出すことってできますか?
0657132人目の素数さん2009/11/10(火) 20:21:25
FindMaximumとかあるみたいだが、、、。
自分でもっと探してみな。
0658132人目の素数さん2009/11/19(木) 14:15:21
グラフにラジアン表記で目盛りをつけるにはいちいちTricksで指定しないと無理なんでしょうか?
0659132人目の素数さん2009/11/19(木) 17:07:59
いくつもある数を指定した数にくくりたいです。
たとえば、
(a,b,c,d,e,f,g,h,i,j,k,l,m,n,o)
とならんでいるものを、
(a,b,c)(d,e,f)(g,h,i)(j,k,l)(m,n,o)
みたいに3つずつのくくりにしたいです。
お願いします。
0660132人目の素数さん2009/11/19(木) 17:14:53
Partition[{a,b,c,,,},3]
0661132人目の素数さん2009/11/22(日) 13:00:12
Mathematica Home Editionが日本で買えないのは、やっぱり日本の代理店とか商社がじゃましてるから?
せっかくの円高なのに、、、。
0662132人目の素数さん2009/11/24(火) 11:17:36
MicrosoftMathかなりいいね
カルキングはクソ。買って損した
0663132人目の素数さん2009/11/24(火) 12:55:16
ホームエディションて普通のと何が違うの?
0664132人目の素数さん2009/11/24(火) 13:09:56

機能はプロフェッショナルと同じらしい。
しかし値段は無限と有限の違いだよ。
アメリカでは2月から売られてるようだが、日本では気配の気の字も感じられないな。

http://www.wolfram.com/products/mathematicahomeedition/qa.html

Q: How is Mathematica Home Edition different from the professional version of Mathematica?
Mathematica Home Edition is a fully functional version of Mathematica Professional with the same features.
0665132人目の素数さん2009/11/27(金) 18:17:59
Ver.6です。
図を見ている場所を知る方法ってありますか?
ViewPointで設定できることはわかるのですが、逆に見ている状態がどこにいるのかが知りたいです。
比較検討のために必要なので、わかる人がいましたらお願いします。
0666132人目の素数さん2009/11/27(金) 20:38:38
>>664
マジで!?
これって知人に海外旅行のついでに買ってきてもらうとかいうわけにはいかないの?
0667132人目の素数さん2009/11/28(土) 09:39:14
>これって知人に海外旅行のついでに買ってきてもらうとかいうわけにはいかないの?
どうなんだろうね。
しかしダウンロード販売してるのに、わざわざそんなことしなきゃいけないのかね。
日本の代理店とかに聞くと、ウルフラム社が日本とかに売らないようにしてる、とか言うが、
日本の代理店の方が高い方しか売らないでくれとお願いしてるんじゃないかと疑っている、、。
これは公正取引法違反じゃないのか?
0668132人目の素数さん2009/11/28(土) 15:45:51
Mathematica も実質無料で使える方法が開発されてきたからなあ。
Home Edition すらいらないじゃんってなるかも。

http://www.hirax.net/keywords/log/IronRuby/latest
これと、そこから貼られているリンク先の記事参照。
0669132人目の素数さん2009/11/28(土) 17:35:21
これは本にでもまとめてほしいところだな。でもwolfram社からすれば想定外の使い方だろうから、
そのうち手が打たれそうな気もする。
0670132人目の素数さん2009/12/06(日) 00:07:09
Mathematicaがすぐにフリーズするようになったのですがどうしたらいいですか?
何かを計算させている最中ではなく数式を打ち込んでいる最中に止まります
0671132人目の素数さん2009/12/06(日) 00:19:15
HDDに不良セクタが出来てるんじゃないの?
0672132人目の素数さん2009/12/06(日) 00:57:09
ディスククリーンアップとデフラグで治りますか?
0673132人目の素数さん2009/12/06(日) 07:30:08
クリーンアップとデフラグは意味ない。

確実に不良セクタの確認をするには専用のツールを使うしかない。
スタンダードなのはHD Tune。無料版と有料版があるが無料版でOK。
http://www.forest.impress.co.jp/article/2007/02/22/hdtune.html

もしこれで不良セクタが見つかった場合はHDDをフォーマットしてから
(クイックフォーマットはダメ)再インストールするのが確実。

一応OS標準の機能としてHDDのエラーチェックがありこれで修復もできるが
これは不良セクタで読めなかったファイルを勝手にダミーで置き換える上に
どのファイルを置き換えたかレポートしないのでほとんどの場合解決にならない。
0674132人目の素数さん2009/12/06(日) 09:03:26
microsoftMathって曲面を回転させるときになんで縦と横の比率が変わるんでしょうか?
0675132人目の素数さん2009/12/06(日) 21:08:52
こんにちは、

下記は強制振動のHPです。In[4]の変数を変えて、振幅をどんどん増加させるには、変数をどのようにすれば良いでしょうか?
http://www.eng.toyo.ac.jp/~nwada/AppliedPhysicsMathVer6/AP_ForcedOscillation_No7/5ForcedOscillationVer6.html
0676132人目の素数さん2009/12/07(月) 21:50:03
Mathematica Home Edition の紹介ページ
http://www.wolfram.com/products/mathematicahomeedition/
の一番下に,
Mathematica Home Edition is not licensed … …
… in the U.S., Canada, U.K., and Europe.
For other territories, please contact Wolfram Research.

とあるけど,「日本のユーザだけどHome Edition を買いたい!」
と尋ねてみた人いる?
0677132人目の素数さん2009/12/07(月) 22:08:40
>>676
半年くらい前だけど、日本でいつ売るのか聞いたことがある。
いつからという質問には答えてくれず、...not available in Japan と
そっけなかった、、。

みんなでもっと騒げば売り出すかも、、。
0678132人目の素数さん2009/12/07(月) 22:45:34
そうなの。 売るつもりないのかな?

俺は、先生に買ってもらったMathematica がノートPCに
入っているから Home Edition は買わないけど、日本から
買った人いるのかどうかには関心がある。
もし、俺が本当に買うつもりなら、ダメもとで他の連中と同じ
値段で、俺にも売るようにプッシュしてはみるけど。
相手も商売だから、こちらからプッシュすれば、売るような
気がするけど。 そのために、please contact Wolfram Research
っていう一文があるんじゃないのかなぁ.
0679132人目の素数さん2009/12/08(火) 00:56:02
>>675
ただ拡大するだけなら線形だから入力信号のAを大きくするのとちゃうの?

共鳴に着目するなら Ω だけどね
0680132人目の素数さん2009/12/08(火) 01:22:53
>>670

もしかしたら、変なものをつけない?
マウスとキーボードだけにしても同じなの?
それからマウスもとりかえてみて
0681132人目の素数さん2009/12/11(金) 18:19:37
複雑な連立方程式をReduceで解いてRoot[…]であらわされている場合、
厳密解ではなく、近似解である可能性はあるのでしょうか?
RootをさらにToRadicalで計算した結果、無理数などで解が表されたら、それは厳密解ですよね??
0682132人目の素数さん2009/12/11(金) 21:26:42
>>681 ん〜難しい問題だな。ってか質問の意図がわからん。
Reduceは厳密解を求めるものであって近似解を求めるものじゃないから解が表示されたら、それは厳密な普通の解じゃない?
0683132人目の素数さん2009/12/11(金) 21:35:52
具体的な問題
0684132人目の素数さん2009/12/12(土) 19:51:29
複素数の極限なんか素通りしていることがある?
0685132人目の素数さん2009/12/22(火) 22:10:47
グラフの領域の大きさを指定する方法はありますか?
縦軸の桁が増えたりすると大きさが変わるじゃないですか

Plot[x, {x, 0, 1}]
Plot[100000 x, {x, 0, 1}]
0686132人目の素数さん2009/12/23(水) 11:04:57
Windows版のver6を使用しています
↓にはプロットから座標を抽出するためにはCtrl+マウス左と書いてあるのですが実行しても何も起こりません
ttp://library.wolfram.com/howtos/coords/
ver5.2ではうまくいくのですが、何か操作法が変わったのでしょうか?
そうであれば正しい操作を教えて頂きたいです
よろしくお願いします
0687132人目の素数さん 2009/12/24(木) 12:08:40
>>685

Plot[x, {x, 0, 1}]
Plot[10 x, {x, 0, 1}, PlotRange -> {{0, 1}, {0, 1}}]
0688132人目の素数さん2009/12/25(金) 12:01:34
うわつまんね
0689132人目の素数さん2009/12/25(金) 18:29:36
そういうなら面白い答えを見せてくれ
0690132人目の素数さん2009/12/26(土) 18:20:18
もうすぐお正月やね。
0691132人目の素数さん2009/12/28(月) 00:11:27
ある関数 f[x_]:=
をつくってそれを呼んだときにアンダーフローがおきてしまうのですが
なにか解決方法知りませんか? アンダーフローがおきたら小数点5位まで丸め込むとかできないですかね?
0692132人目の素数さん2009/12/29(火) 02:51:47
x (1+y^2/x^2)^(1/2) を (x^2+y^2)^(1/2) に変形するコマンドはありませんか?
0693132人目の素数さん2009/12/29(火) 13:36:29
Simplify[x (1 + y^2/x^2)^(1/2), Assumptions -> x > 0]
0694132人目の素数さん2009/12/31(木) 18:40:13
Simplify[x (y^2 + x^2)^(1/2) /x^(2*(1/2))]
0695132人目の素数さん2009/12/31(木) 18:52:26
Simplify[x (x^2+y^2)^(1/2)/(x^2)^(1/2),x>0]
0696132人目の素数さん2009/12/31(木) 18:54:48
>>693
ありがとうございます。
古いバージョンのせいか
Simplify[x (1 + y^2/x^2)^(1/2), x > 0] でうまくいきました。
0697132人目の素数さん2010/01/01(金) 01:42:36
取り込んだイメージを3次元的に回転できる方法ありませんか?
2次元上ではImageRotateでできるらしいんですが...
0698132人目の素数さん2010/01/02(土) 01:53:30

座標視点をかえる
アニメーション機能をつかえば
0699132人目の素数さん2010/01/02(土) 03:07:11
Mac版って動作速い?
0700132人目の素数さん2010/01/02(土) 04:18:30
動作はメモリとCPUできまるから、おなじCPUをつかっているなら差はでないはずだが
表示その他ですこしかわるがあまり差は出ないと信じる
0701132人目の素数さん2010/01/04(月) 20:42:51
mathematica home editionは64ビットバージョン?
0702132人目の素数さん2010/01/11(月) 17:51:59
PlotなどしてX軸に表示される数値(刻み値)を消したりできるコマンドありますか?
0703132人目の素数さん2010/01/12(火) 01:31:44
>>702
Plot[x^2, {x, 0, 1}, Ticks -> None]
0704132人目の素数さん2010/01/12(火) 02:45:15
サンキュ
0705132人目の素数さん2010/01/17(日) 07:00:01
二年三十七日十五時間。
0706猫は淫獣 ◆ghclfYsc82 2010/01/18(月) 01:00:56
ココでちょっとしたメッセージや
★★★「小沢氏は主張を通して検察に対して徹底的に対抗すべし」★★★
★★★「小沢氏は主張を通して検察に対して徹底的に対抗すべし」★★★
★★★「小沢氏は主張を通して検察に対して徹底的に対抗すべし」★★★
★★★「小沢氏は主張を通して検察に対して徹底的に対抗すべし」★★★
★★★「小沢氏は主張を通して検察に対して徹底的に対抗すべし」★★★
★★★「小沢氏は主張を通して検察に対して徹底的に対抗すべし」★★★
★★★「小沢氏は主張を通して検察に対して徹底的に対抗すべし」★★★
★★★「小沢氏は主張を通して検察に対して徹底的に対抗すべし」★★★
★★★「小沢氏は主張を通して検察に対して徹底的に対抗すべし」★★★
★★★「小沢氏は主張を通して検察に対して徹底的に対抗すべし」★★★
★★★「小沢氏は主張を通して検察に対して徹底的に対抗すべし」★★★
★★★「小沢氏は主張を通して検察に対して徹底的に対抗すべし」★★★
★★★「小沢氏は主張を通して検察に対して徹底的に対抗すべし」★★★
★★★「小沢氏は主張を通して検察に対して徹底的に対抗すべし」★★★
★★★「小沢氏は主張を通して検察に対して徹底的に対抗すべし」★★★
★★★「小沢氏は主張を通して検察に対して徹底的に対抗すべし」★★★
★★★「小沢氏は主張を通して検察に対して徹底的に対抗すべし」★★★
★★★「小沢氏は主張を通して検察に対して徹底的に対抗すべし」★★★
★★★「小沢氏は主張を通して検察に対して徹底的に対抗すべし」★★★
★★★「小沢氏は主張を通して検察に対して徹底的に対抗すべし」★★★
★★★「小沢氏は主張を通して検察に対して徹底的に対抗すべし」★★★
★★★「小沢氏は主張を通して検察に対して徹底的に対抗すべし」★★★
★★★「小沢氏は主張を通して検察に対して徹底的に対抗すべし」★★★
★★★「小沢氏は主張を通して検察に対して徹底的に対抗すべし」★★★

小沢先生、頑張って下さい。私は最後まで味方になります。

猫
0707132人目の素数さん2010/01/20(水) 12:55:49
ご教授下さい!
4次元データのcontourを書きたいのです.
ControurPlot3Dを使えば良さそうなのは分かるのですが,使い方がわかりません.
陰関数f(x,y,z)=0の球面上にg(x,y,z)の大きさでcontourを描きたいんです.

http://tech.ckme.co.jp/img/sphere8cdata_matlab.png
こんな感じです

よろしくお願いします!
0708132人目の素数さん2010/01/21(木) 22:17:47
Mathematicaで

x J0(x) = 2 J1(x) [J1(x), J0(x)はベッセル関数BesselJ[n,x])

を満たすxを求めるにはどうすればいいですか?

NSolveは使えませんでした。

0709132人目の素数さん2010/01/21(木) 23:33:05
>>708
FindRoot[x*BesselJ[0, x] == 2*BesselJ[1, x], {x, 5}]
FindRoot[x*BesselJ[0, x] == 2*BesselJ[1, x], {x, 8}]
etc.
0710132人目の素数さん2010/01/22(金) 10:27:51
>>709
出来ました。ありがとうございます。助かりました。
0711132人目の素数さん2010/01/25(月) 21:04:23
Solveで実数解だけ取り出すにはどうすればよいでしょう?

たとえば Solve[{3*x^2+y==0,x+3*y^2==0},{x,y}] だと虚数解も出ます
実数解だけ表示したいのです
0712132人目の素数さん2010/01/25(月) 21:06:00
Solve[{3*x^2+y==0,x+3*y^2==0},{x,y}, Assumptions->{Element[x,Reals]}]
とやってみたけど Solve は Assumption なんてオプションは知らない
と言われました
よろしくお願いします
0713132人目の素数さん2010/01/25(月) 22:22:22
Solve[{3*x^2 + y == 0, x + 3*y^2 == 0}, {x, y}]でだめなの?
0714132人目の素数さん2010/01/25(月) 22:53:28
Solve[{3*x^2 + y == 0, x + 3*y^2 == 0}
Select[x/.%,Element[#,Reals]&]
0715132人目の素数さん2010/01/26(火) 00:03:12
>>714 どうもありがとうございました!
0716714 correction2010/01/26(火) 00:10:25
Solve[{3*x^2 + y == 0, x + 3*y^2 == 0} ,{x,y}]
Select[{x,y}/.%,Element[#,Reals]&]

0717132人目の素数さん2010/02/09(火) 21:29:05
AVIとかの映像ファイル全般がAnimationのインポートができなくて

Import["Capture.avi", "Animation"]

Import::fmterr: データをvideo形式でインポートすることができません. >>

と出てくるんだけど原因に心当たりある方いませんか?
使ってるver6のドキュメントでは当然のように読み込めてるみたいだし

もしくは読み込めるvideo形式に何か制限があるのかもしれないけど
0718132人目の素数さん2010/02/10(水) 07:46:25
>>52
Maxima
歴史的には、こっちの方がふるい。
0719132人目の素数さん2010/02/11(木) 07:51:11
機能的としてはmathematicaの圧勝

のはず。あんだけ高いんだから。
0720132人目の素数さん2010/02/11(木) 08:15:12
>>719
>>あんだけ高いんだから。
Home Editionは300ドル弱。そんなに高くない。

日本では買えないが、、、。
0721132人目の素数さん2010/02/11(木) 14:01:59
3次元y軸まわりの回転行列を生成する関数はありませんか?
RotationMatrix3Dだとz-x-zのオイラー角らしく、y軸回りにならないのですが。
z軸90度回転行列で前後をはさめばいいことですが、見難くなるので。
0722132人目の素数さん2010/02/11(木) 19:39:24
>721
RotationMatrix3Dは無い。

RotationMatrix[x,{0,1,0}]
ではどうか?
だめなら1の位置を変えて試すべし。
0723132人目の素数さん2010/02/11(木) 20:58:08
>>722
Ver.3.0なので、RotationMatrixはないみたいです。
RotationMatrix3Dで何とかするしかないですね。
07247232010/02/11(木) 22:48:07
ヒント:わざとMathematicaの形で書いていない

平面上の回転行列
{{Cos x,-Sin x},{Sin x,Cos x}}
を(u,v,w)空間の(u,w)だけに作用させる。

あとは自分で考えよう!
0725132人目の素数さん2010/02/12(金) 12:36:20
>>724
それって自分で関数を書けってことですよね?
引数をとって行列を帰す関数なんて、どうやって書くんでしょう?
0726132人目の素数さん2010/02/12(金) 13:00:05
>725
行列の積だけなんだけどな、
これで分からなければMathematicaやめた方がいい。
0727132人目の素数さん2010/02/12(金) 13:57:55
>>725
行列たって、ListのListだろ?それを返す関数なんて別に難しくはないだろ?
0728132人目の素数さん2010/02/12(金) 17:25:19
>>726
>>727
どうも。単純にこれでよかったんですね。

Ry[s_]:={ {Cos[s], 0, -Sin[s]},{0, 1,0}, {Sin[s], 0,Cos[s]}};

Cだと行列は帰せないから配列を変数で渡さないと、
とか考えてしまって。

mathematicaは思い出したようにたまに使うだけで、
で行列を扱うのがほとんど初めてだったので、
だいぶまごつきましたけど、おかげさまで解決しました。
0729132人目の素数さん2010/03/05(金) 09:36:35
b-aと入力すると自動的に-a+bになってしまうんですが、
デフォルトの順序を変更するなどして、b-aのままにしておく方法があったら教えて下さい。
やりたいのは、Cのプログラムを出力することで、
-a+bと書くよりb-aと書いた方が速いと思うからです。
イメージ的には
Plus[b,-a, Order->f]
みたいにして項の順序を決定する関数を指定できたら、と思うのですが。
0730132人目の素数さん2010/03/05(金) 09:39:26
今のCコンパイラーならそれくらい気にしなくても大丈夫じゃないか?
試してみれば?
0731132人目の素数さん2010/03/06(土) 00:53:16
Mathematicaを勉強しようとおもっているんだよね。でもMapleにしようかと迷ってもいます。
その二つでどちらが使いやすいとおもいますか?
0732132人目の素数さん2010/03/06(土) 11:29:14
日本だとMathematicaしか使ったことない人が多いと思う。
使いやすさとは関係ないけど、日本語の情報量の多さで言えば断然Mathematicaということに
なる。
0733132人目の素数さん2010/03/06(土) 17:40:54
だね。メイプルは日本のサイバーネットが子会社にしてしまったんだね。
自分がもっているメイプルは入力がマセマティカみたいにwiyswigでないから使いにくい

新しいバージョンはwysiwigみたいだが
0734132人目の素数さん2010/03/06(土) 17:51:23
なるほど
メイプルは
だからカナダなんだね
0735132人目の素数さん2010/03/06(土) 17:59:15
MapleとかMathematicaとかを使えるようになったとして、それがどう数学の勉強に
役にたつとおもいますか?
0736132人目の素数さん2010/03/06(土) 18:11:48
いつも紙に書いていた式変形が超楽になる
0737132人目の素数さん2010/03/06(土) 18:18:16
紙に書いた方が、自分のあたまに残るし、予想した通りの式がでたときに
うれしいでしょう?
0738132人目の素数さん2010/03/06(土) 18:23:26
linuxで使うとなると実質選択肢がmaximaしかなくなるのが痛いが…linuxでは数式処理ソフトどうしてますか?
0739132人目の素数さん2010/03/06(土) 18:39:18
tex
0740132人目の素数さん2010/03/06(土) 18:57:39
>>738 linuxでもMathematicaを使ってるぞ
0741132人目の素数さん2010/03/06(土) 18:59:29
linux版を持ってないんで…
0742132人目の素数さん2010/03/06(土) 19:08:23
数学の勉強には余り役にたたないと思う。
むしろ科学への応用がメインなのでは。
0743132人目の素数さん2010/03/06(土) 19:10:54
>>742
英語が読めない旧来型日本人の勉強法だとそうでしょうね。
0744132人目の素数さん2010/03/07(日) 08:38:24
グラフがホイホイ作れるのがどれほどありがたいか
そのほか思い浮かんだアイデアをほとんどその瞬間で検証できるんだから
勉強が進みますよ
0745132人目の素数さん2010/03/07(日) 10:35:26
単純計算なんて計算機の仕事
何をどう計算すべきかを考えるのが人間の仕事
0746132人目の素数さん2010/03/07(日) 10:41:36
計算機にどう計算させるかは人間が与えている訳で、
使っている人間が賢ければ計算機も賢くなる。
単純計算しかできないなんてことは無いと思うよ。
0747132人目の素数さん2010/03/07(日) 13:05:16
俺は、家計簿の集計から地震の研究までMathematica一本でやってるぜ。
0748132人目の素数さん2010/03/07(日) 17:54:57
固定したnに関して、

  すべてのn次(対称)行列Aの対して、性質expr(A)が成立つ

ことを、ForAllを使って調べたいのですが、
「全ての行列」ってどう表現すればよいか
どなたか教えてもらえますか。
0749132人目の素数さん2010/03/10(水) 00:49:51
3Dのグラフを書きたいのですがy軸のみ対数プロットしたいです。そのようなコマンドは存在しますか?
2DではLogLogPlotやLogLinearPlotは存在するようですが、3Dで見つけることができませんでした。
ver7を使っています。
よろしくお願いいたします。
0750132人目の素数さん2010/03/10(水) 08:36:06
yの値だけ Log を取れば。
0751132人目の素数さん2010/03/10(水) 21:25:22
>>748
こんな感じ?「実対称行列の固有値は実数」

n = 2;
matrix = Table[a[i, j], {i, 1, n}, {j, 1, n}];
alist = Flatten[matrix];
expr[x_] := ( Element[Eigenvalues[x], Reals]);
ForAll[Evaluate[alist],
Element[alist, Reals] && matrix == Transpose[matrix],
expr[matrix]] // FullSimplify

n=2までしか解けなかったorz
■ このスレッドは過去ログ倉庫に格納されています