17/08/22 13:20:57.89 6mL5TkbK.net
￥
901:￥
17/08/22 13:21:14.70 6mL5TkbK.net
￥
902:￥
17/08/22 13:21:31.90 6mL5TkbK.net
￥
903:￥
17/08/22 13:21:47.89 6mL5TkbK.net
￥
904:￥
17/08/22 13:22:05.11 6mL5TkbK.net
￥
905:￥
17/08/22 13:22:21.56 6mL5TkbK.net
￥
906:１３２人目の素数さん
17/08/22 13:57:01.88 xs+chrVV.net
>>850
新入りか、力抜けよ
907:￥
17/08/22 14:00:44.82 6mL5TkbK.net
￥
908:￥
17/08/22 14:01:02.36 6mL5TkbK.net
￥
909:￥
17/08/22 14:01:20.00 6mL5TkbK.net
￥
910:￥
17/08/22 14:01:36.59 6mL5TkbK.net
￥
911:￥
17/08/22 14:01:52.62 6mL5TkbK.net
￥
912:￥
17/08/22 14:02:09.24 6mL5TkbK.net
￥
913:￥
17/08/22 14:02:25.31 6mL5TkbK.net
￥
914:￥
17/08/22 14:02:42.95 6mL5TkbK.net
￥
915:￥
17/08/22 14:02:58.62 6mL5TkbK.net
￥
916:￥
17/08/22 14:03:16.08 6mL5TkbK.net
￥
917:１３２人目の素数さん
17/08/22 14:43:12.12 dfniipMs.net
>>883
毎度毎度うぜえよ
高校数学レベルの問題解説すら理解できてねえ雑魚が誤植とかほざいてんじゃねえよ
おまえが間違ってんだよ！！！
918:１３２人目の素数さん
17/08/22 14:44:11.56 dfniipMs.net
>>883
おめえが理解できねえからって
参考書が誤植とか間違ってるとかほざいてんじゃねえ
919:１３２人目の素数さん
17/08/22 14:44:40.82 dfniipMs.net
>>883
死ね
920:１３２人目の素数さん
17/08/22 14:47:54.29 o8ERFzet.net
>>907
ある公理系τの任意のモデルに対してある論理式φが真であれば、τからφがLKにおいて証明可能であることを示せ、という問題がわかりません
921:￥
17/08/22 14:53:50.01 6mL5TkbK.net
￥
922:￥
17/08/22 14:54:08.69 6mL5TkbK.net
￥
923:￥
17/08/22 14:54:26.72 6mL5TkbK.net
￥
924:￥
17/08/22 14:54:44.67 6mL5TkbK.net
￥
925:￥
17/08/22 14:55:02.14 6mL5TkbK.net
￥
926:￥
17/08/22 14:55:19.25 6mL5TkbK.net
￥
927:￥
17/08/22 14:55:37.58 6mL5TkbK.net
￥
928:￥
17/08/22 14:55:53.66 6mL5TkbK.net
￥
929:￥
17/08/22 14:56:11.87 6mL5TkbK.net
￥
930:￥
17/08/22 14:56:32.65 6mL5TkbK.net
￥
931:１３２人目の素数さん
17/08/22 15:15:57.79 y/jm0BC3.net
>>861
擁護はしていない。事実を述べた
>>872
932: 誤植と思ったから、誤植と書いた いまどき、誤植は死語かもしらんがね まあ、誤植ではなく著者のミスもありうるけど >>894 スタンバイ中でヒマなんよ（＾＾ >>883 それもなんかの間違いと思うよ ”y = A * cos(x / A) が解となるような微分方程式を作れという問題”って、 それ問題になってない気がするが 両辺微分すれば、終わりでしょ？ 答え：y' + sin(x * sqrt(1 - y'^2) / y) = 0 か 教育課程の一局面なんかね？ X=x / A, y=f(x)=A * cos(x / A)=A * cos(X) (cos(x))'=-sin(x), dX/dx=1/A に注意すれば y'=df(x)/dx=df(X)/dX・dX/xdx＝-sin(X)・A＝-Asin(x / A) つまり y'＝-sin(x / A) としかならん気がする ああ、それで y' + sin(x * sqrt(1 - y'^2) / y) = 0 ↓ y' ＝－sin(x * sqrt(1 - y'^2) / y) と比較すると、 A→sqrt(1 - y'^2) / y の置き換えか・・ sin^2(x / A)＋cos^2(x / A) =1 より cos(x / A) ＝+ or - sqrt(1 - y'^2) にして cos(x / A) /ｙ＝cos(x / A)/（A * cos(x / A)）＝1/A としとるわけか？ ”+ or - ”のところ、cos(x / A) の正負で場合分けが必要では？ （大学入試に出そうかな。”平方根を開くときの注意”って） なので、定数A=1 として ”y = cos(x) (π/2 < x < (3/2) * π) という関数を考えると、この関数は↑の微分方程式の解になっていません。” というのは正しね。その場合、cos(x) (π/2 < x < (3/2) * π)は負だから、符号 ”-”にしないといけないかな 出題意図は、「定数Aを消す」ってことかな？ 教育課程の一局面なんかね？ ところで、ID:nvjPBYhDさんも、こんなバカ板出入りしない方が良いぜ（>>906-907 ）（＾＾
933:１３２人目の素数さん
17/08/22 15:19:10.26 y/jm0BC3.net
>>919 誤植（＾＾
誤：y'=df(x)/dx=df(X)/dX・dX/xdx＝-sin(X)・A＝-Asin(x / A)
正：y'=df(x)/dx=df(X)/dX・dX/xdx＝-Asin(X)/A＝-sin(x / A)
934:１３２人目の素数さん
17/08/22 15:39:53.49 y/jm0BC3.net
ところで、￥さんも、野焼き、ご精が出ますね（＾＾
ご苦労さまです
ところで、例の清水明さんの話、面白かったね
落ち着いたらまた
935:￥
17/08/22 16:01:58.59 6mL5TkbK.net
￥
936:￥
17/08/22 16:02:15.27 6mL5TkbK.net
￥
937:￥
17/08/22 16:02:33.75 6mL5TkbK.net
￥
938:￥
17/08/22 16:02:51.79 6mL5TkbK.net
￥
939:￥
17/08/22 16:03:08.93 6mL5TkbK.net
￥
940:￥
17/08/22 16:03:26.20 6mL5TkbK.net
￥
941:￥
17/08/22 16:03:45.58 6mL5TkbK.net
￥
942:￥
17/08/22 16:04:03.90 6mL5TkbK.net
￥
943:￥
17/08/22 16:04:22.08 6mL5TkbK.net
￥
944:￥
17/08/22 16:04:40.19 6mL5TkbK.net
￥
945:１３２人目の素数さん
17/08/22 16:26:06.06 LtE3IUFu.net
>>919
そういうところが同レベルの所以なんだよ
「自分は正しいことをしている、他人に文句を言われる筋合いはない」
そう考えてるんだろう
946:１３２人目の素数さん
17/08/22 16:46:53.50 3XoRzFa9.net
>>919
>スタンバイ中でヒマなんよ（＾＾
何やってるの？
947:￥
17/08/22 17:10:30.78 6mL5TkbK.net
￥
948:￥
17/08/22 17:10:50.50 6mL5TkbK.net
￥
949:￥
17/08/22 17:11:08.26 6mL5TkbK.net
￥
950:￥
17/08/22 17:11:25.10 6mL5TkbK.net
￥
951:￥
17/08/22 17:11:41.78 6mL5TkbK.net
￥
952:￥
17/08/22 17:11:57.77 6mL5TkbK.net
￥
953:￥
17/08/22 17:12:14.98 6mL5TkbK.net
￥
954:￥
17/08/22 17:12:32.55 6mL5TkbK.net
￥
955:￥
17/08/22 17:12:48.17 6mL5TkbK.net
￥
956:￥
17/08/22 17:13:04.14 6mL5TkbK.net
￥
957:１３２人目の素数さん
17/08/22 18:58:25.49 j9YO/qA7.net
>>790
> n 乗根についてなのですが、赤い線を引いたところが意味不明です。
>
> なぜ、「x^2」、「n^2」となっているのでしょうか？
「n^2」の n は、それを含む文（その直前の「次に」から「～でなければならない．」までで一つの主張＝論理式を日本語で
書き下した内容）の内部で束縛されている。具体的には、「n=1, 2, ・・・に対して」という言葉によってだ。
（「次に、」の後を記号論理風に書くと 「\forall n\in{1, 2, ...}. 0<n\le n^2\in J」とでも書けて、
全称限量子 \forall n\in ～ によって束縛されている）
その前の「x^2」の変数「x」は画像の２行目終わり～３行目始めの「I=[0,\infty)上で定義された関数 f(x)=x^n を考える．」という文に
よって「\forall x \in I」という全称限量子によって、この文以降の例の終わりまでの範囲で束縛されいると考えるべきなの
958:です。 （つまり、その x の束縛範囲の中で局所的に変数 n が束縛された論理式＝主張が書かれていると読むべき） それで、変数を x と n との２つを使っている理由は恐らくは、x などは実数値をとる変数として、n などは整数値限定の変数として、 それぞれ使い分けたいからでしょうね。
959:￥
17/08/22 19:25:34.47 6mL5TkbK.net
￥
960:￥
17/08/22 19:25:53.05 6mL5TkbK.net
￥
961:￥
17/08/22 19:26:12.42 6mL5TkbK.net
￥
962:￥
17/08/22 19:26:30.51 6mL5TkbK.net
￥
963:￥
17/08/22 19:26:48.99 6mL5TkbK.net
￥
964:￥
17/08/22 19:27:05.79 6mL5TkbK.net
￥
965:￥
17/08/22 19:27:26.77 6mL5TkbK.net
￥
966:￥
17/08/22 19:27:44.20 6mL5TkbK.net
￥
967:￥
17/08/22 19:28:01.99 6mL5TkbK.net
￥
968:￥
17/08/22 19:28:21.32 6mL5TkbK.net
￥
969:１３２人目の素数さん
17/08/22 20:41:54.10 nvjPBYhD.net
次の式から任意定数 A, B, C を消去して、 y に関する微分方程式を作れ。
A*x^2 + 2*B*x*y + C*y^2 = 1
これはどうやって解くのでしょうか？
970:￥
17/08/22 20:47:02.53 6mL5TkbK.net
￥
971:￥
17/08/22 20:47:20.95 6mL5TkbK.net
￥
972:￥
17/08/22 20:47:38.02 6mL5TkbK.net
￥
973:￥
17/08/22 20:47:55.43 6mL5TkbK.net
￥
974:￥
17/08/22 20:48:13.85 6mL5TkbK.net
￥
975:￥
17/08/22 20:48:30.78 6mL5TkbK.net
￥
976:￥
17/08/22 20:48:48.69 6mL5TkbK.net
￥
977:￥
17/08/22 20:49:05.88 6mL5TkbK.net
￥
978:￥
17/08/22 20:49:25.82 6mL5TkbK.net
￥
979:￥
17/08/22 20:49:45.54 6mL5TkbK.net
￥
980:１３２人目の素数さん
17/08/22 22:03:49.50 nvjPBYhD.net
>>955
任意定数を消去する一般的な方法を教えてください。
981:１３２人目の素数さん
17/08/22 22:07:43.67 2qbFEZz0.net
消しゴム使え
982:１３２人目の素数さん
17/08/22 22:09:08.46 o8ERFzet.net
わからないんですね(笑)
983:１３２人目の素数さん
17/08/22 22:09:34.65 2qbFEZz0.net
パラメーターは理由があって導入されている場合が多い
だから、普通は消せない
但し、パラメーターの数を減らせる特殊な場合はあるよね
984:１３２人目の素数さん
17/08/22 22:10:03.82 2qbFEZz0.net
わかりません（＾＾
985:１３２人目の素数さん
17/08/22 22:19:32.95 o8ERFzet.net
>>955
2回微分すると方程式が3つできるので、それの連立方程式を解く、とかどうでしょうか
986:１３２人目の素数さん
17/08/22 22:52:04.96 2qbFEZz0.net
ああ、それはこの場合は、良いかもしれないね
（A,B,C）について線形になりそうだね
987:１３２人目の素数さん
17/08/22 22:57:57.02 2qbFEZz0.net
例の>>883の場合は、
y = A * cos(x / A) と、Aが２箇所に出ているからちょっと特殊か？
うーんと
y/A = cos(x / A)
と変形して
Y=y/A , X=x/A とおいて
Y = cos(X)
と変形した方が、形が綺麗かもしれないね（＾＾
988:１３２人目の素数さん
17/08/22 23:28:27.32 nvjPBYhD.net
>>955
URLﾘﾝｸ(imgur.com)
3階まで x について微分してみました。
989:１３２人目の素数さん
17/08/22 23:36:09.10 nvjPBYhD.net
例えば、
4番目の式を利用して、1番目、2番目、3番目の式から C を消去する。
3番目の式を利用して、1番目、2番目の式から B を消去する。
2番目の式を利用して、1番目の式から A を消去する。
という計算でOKですかね？
990:１３２人目の素数さん
17/08/22 23:38:05.03 nvjPBYhD.net
例えば、
4番目の式を利用して、1番目、2番目、3番目の式から C を消去する。
C が消えた1番目、2番目、3番目の式を考える。
3番目の式を利用して、1番目、2番目の式から B を消去する。
C、 B が消えた1番目、2番目の式を考える。
2番目の式を利用して、1番目の式から A を消去する。
C、 B、 A が消えた1番目の式が求める答えである。
ということですか？
991:１３２人目の素数さん
17/08/22 23:54:02.29 LFAgKPLE.net
F(x,y,A,B,C)=0
F_x(x,y,A,B,C)+F_y(x,y,A,B,C)y'=0
F_xx(x,y,A,B,C)+2F_xy(x,y,A,B,C)y'+F_yy(x,y,A,B,C)(y')^2+F_y(x,y,A,B,C)y''=0
992:￥
17/08/23 04:34:38.70 7o98x7xr.net
￥
993:￥
17/08/23 04:35:03.08 7o98x7xr.net
￥
994:￥
17/08/23 04:35:20.60 7o98x7xr.net
￥
995:￥
17/08/23 04:35:37.97 7o98x7xr.net
￥
996:￥
17/08/23 04:35:55.23 7o98x7xr.net
￥
997:￥
17/08/23 04:36:13.05 7o98x7xr.net
￥
998:￥
17/08/23 04:36:30.52 7o98x7xr.net
￥
999:￥
17/08/23 04:36:48.78 7o98x7xr.net
￥
1000:￥
17/08/23 04:37:07.34 7o98x7xr.net
￥
1001:￥
17/08/23 04:37:32.55 7o98x7xr.net
￥
1002:￥
17/08/23 04:58:10.67 7o98x7xr.net
￥
1003:￥
17/08/23 04:58:28.38 7o98x7xr.net
￥
1004:￥
17/08/23 04:58:45.35 7o98x7xr.net
￥
1005:￥
17/08/23 04:59:01.26 7o98x7xr.net
￥
1006:￥
17/08/23 04:59:34.96 7o98x7xr.net
￥
1007:￥
17/08/23 04:59:52.13 7o98x7xr.net
￥
1008:￥
17/08/23 05:00:08.82 7o98x7xr.net
￥
1009:￥
17/08/23 05:00:25.27 7o98x7xr.net
￥
1010:￥
17/08/23 05:00:42.77 7o98x7xr.net
￥
1011:￥
17/08/23 05:00:59.53 7o98x7xr.net
￥
1012:￥
17/08/23 05:01:16.51 7o98x7xr.net
￥
1013:￥
17/08/23 05:01:35.34 7o98x7xr.net
￥
1014:猫
17/08/23 05:01:55.91 7o98x7xr.net
猫
1015:1001
Over 1000 Thread.net
このスレッドは１０００を超えました。
もう書けないので、新しいスレッドを立ててくださいです。。。
life time: 7日 6時間 29分 48秒
1016:過去ログ ★
[過去ログ]
■ このスレッドは過去ログ倉庫に格納されています