補足として、必要十分かという点の確認。 まずx-yが実数もしくは純虚数でないと二乗した時 i が残ってしまうため大小比較不可。純虚数の場合は二乗すると負になり不適。よってx.yが実数の時のみ(x-y)*2>0が成り立ち、逆も成り立つ(必要十分条件)
@neruneru_nerune05 жыл бұрын
ここまで書いたら二次関数のやつの出し方が正しいのかなと納得出来ました。
@ぽよぽよ-r5r5 жыл бұрын
旺文社の総合研究、論理学で学ぶ数学に詳しく載ってます
@neruneru_nerune05 жыл бұрын
塚田健一 了解です!ありがとうございます!
@neruneru_nerune05 жыл бұрын
Saunders N. 以上の変換が見つからなかったのでやむなく>の表現を使いました、確かに他の人が見たら間違いますよね、、ご指摘ありがとうございます! ご指摘頂いた部分について、質問です。x+y≧0かつx-y≧0が成り立つ時で本当に合ってますか?x≧yの時のみの証明になりませんか?例えばx=2、y=3の時などは成り立ちませんよね、自分の理解力不足かもしれませんので、ミスがあれば教えて欲しいです!