- ベストアンサー
転換法での証明の手順について
graphaffineの回答
- graphaffine
- ベストアンサー率23% (55/232)
>なんでDが成り立っているとするとA,B,Cのどれかひとつが成り立つんですか？ 「命題A,B,Cは必ずいずれかが成り立ち、且つ 二つ以上が同時に成り立たないとする。」 と私が書いたとおりです。 このことは、Dが成り立つかどうかとはまったく無関係です。
関連するQ&A
- 数字の並び換えの最適手順
Ｎ個の異なる数字があります。これを大小の順にならべ換えます。 最適手順数は計算上はＬｏｇ（Ｎ！）／Ｌｏｇ（２）です。 その最適手順の一般化は可能でしょうか。 例１：Ｎ＝４のとき Ａ、Ｂ，Ｃ，Ｄと４個の数字があって １回目 ＡとＢを比較 結果Ａ＞Ｂが判明 ２回目 ＣとＤを比較 結果Ｃ＞Ｄが判明 ３回目 ＡとＣを比較 結果Ａ＞Ｃが判明 ４回目 ＢとＣを比較する Ｂ＞Ｃのときは、Ａ，Ｂ，Ｃ，Ｄとなって並び替え終了。 こういう都合の良い結果での並び換え終了は手順からはずします。 Ｃ＞Ｂのとき ５回目 ＢとＤを比較する Ｂ＞Ｄのとき Ａ、Ｃ，Ｂ，Ｄ で終了 Ｄ＞Ｂのとき Ａ，Ｃ、Ｄ、Ｂ で終了 例２：Ｎ＝５のとき Ａ、Ｂ，Ｃ，Ｄ、Ｅと４個の数字があって １回目 ＡとＢを比較 結果Ａ＞Ｂが判明 ２回目 ＣとＤを比較 結果Ｃ＞Ｄが判明 ３回目 ＡとＣを比較 結果Ａ＞Ｃが判明 ４回目 ＥとＣを比較 ５回目 Ｅ＞ＣのときＥとＡを比較、Ｃ＞ＥのときＥとＤを比較 ６回目 ここから場合わけひどくなります。 例としてＡ＞Ｅ＞Ｃ＞ＤのときＢとＣを比較 ７回目Ｂ＞ＣのときＢとＥを比較、Ｃ＞ＢのときＢとＤを比較 例３：Ｎ＝６であれば１０回、Ｎ＝７であれば１３回でした。 これらはＮ＝５の手順のあと６個目、７個目の位置決めするだけ。
- 締切済み
- 数学・算数
- シムソンの定理の証明
シムソンの定理の証明 ホームページ http://www004.upp.so-net.ne.jp/s_honma/ptolemaios/simson.htm の作成者に質問したかったのですが適当な所がみつからなかったのでここで質問します。 シムソンの定理 △ABCの外接円周上の点Pから BC、CA、AB に下ろした垂線の足を D、E、F とする。 このとき、3点 D、E、F は1直線上にある。 この直線のことを、シムソン線という。 (証明)4点 P、F、A、E は、同一円周上にあるので、∠PFE＝∠PAE … と左図と一緒に書かれていましたが、 左図では確かに ∠PFE＝∠PAE ですが 右図では4点 P、F、A、が 、同一円周上にあるにもかかわらず ∠PFE≠∠PAE となってしまい、この証明は誤りなのではないでしょうか? シムソンの定理は、 「A,B,C,P,が同一円周上の点で D,E,F が P から BC,CA,AB への垂点」 という条件で P,A,B,C の位置に関係なく成立することを 証明しなければ、証明とはいえないのではないでしょうか? 以下の証明の方がよいのではないでしょうか? △ABCの外接円周上の点Pから BC、CA、AB に下ろした垂線の足を D、E、F とする。 外接円の中心に 0 を対応させ 点 P に 1 を対応させて 外接円を単位円とする座標をいれて 点 A,B,C,D,E,F のそれぞれの位置の複素数を a,b,c,d,e,f とすると |a|=|b|=|c|=1 となるから 2d=b+c-bc+1 2e=c+a-ca+1 2f=a+b-ab+1 x~=(xの共役複素数) とすると 4((e-d)(f~-d~)-(e~-d~)(f-d)) =((a~b-ab~)(|c|^2-1)+(b~c-bc~)(|a|^2-1)+(ac~-ca~)(|b|^2-1) +a(|c|^2-|b|^2)+b(|a|^2-|c|^2)+c(|b|^2-|a|^2) +a~(|b|^2-|c|^2)+b~(|c|^2-|a|^2)+c~(|a|^2-|b|^2)) |a|=|b|=|c|=1 だから (e-d)(f~-d~)-(e~-d~)(f-d)=0 e-d と f-d の向きが等しいから 3点D,E,Fは1つの直線上にある
- 締切済み
- 数学・算数
- 不等式の証明での式の書き方
A>Bの証明で次の様に書かれています。 A-B=C >D =E =F>0 A>B 私は次の様に書くのが正しいと思うのですが。 A-B=C A-B>D A-B>E A-B>F>0 A>B そして左辺を省略して A-B=C >D >E >F>0 A>B どうでしょうか？三段目以降に等号か不等号どっちが正しいのでしょうか？ どなたか数式の約束に詳しい方お教え下さい。
- ベストアンサー
- 数学・算数
- 数学の問題です。解答解説お願いします！
(1) 「うるう年でないならば365日である」の裏として最も適切な命題を選択肢から選べ. (a) うるう年ならば365日である (b) うるう年ならば365日ではない (c) 365日であるならばうるう年である (d) 365日であるならばうるう年でない (e) 365日でないならばうるう年である (f) 365日でないならばうるう年でない (2) 𝑃 ⇒ 𝑄 を証明する方法のうち「𝑃 であり, かつ 𝑄 でないことを仮定すると必ず矛盾する」ことを示すものを何と呼ぶか, 最も適切なものを選択肢から選べ. (a) 帰納法 (b) 演繹法 (c) 対偶法 (d) 背理法 (e) 上の選択肢(a)～(d)の中に適切なものがない (3) 「真か偽のいずれかである文章, 式など」のことを何と呼ぶか, 最も適切なものを選択肢から選べ. (a) 真理値 (b) 命題 (c) 条件文 (d) 推論 (e) 謬論(びゅうろん)
- ベストアンサー
- 数学・算数
- 急いでます。恒等式の証明お願いします。
ｘ＾１０＝a(x-1)+b(x-1)+c(x-1)+d(x-1)+e(x-1)+f(x-1)+g(x-1)+h(x-1)+i(x-1)+j(x-1)+k は、組立除法でといたら a=1 b=10 c=45 d=120 e=210 f=252 g=210 h=120 i=45 j=10 k=1 となりました。見るからに規則性がありそうなんですけど、どうやって証明できますか？ 回答待ってますm(_ _)m .
- 締切済み
- 数学・算数
- gmailで独自ドメインを作成する手順
gmailで独自ドメインを作成し、自分だけのメールアドレスを取得したいのですが、「所有者の確認」の操作方法が分かりません。 教えて下さい。 所有者の確認 おすすめの方法 手順： １．このＨＴＭＬ確認ファイル（google30b8c8c0c20f45d7.html)をダウンロードする。 ２．確認ファイルをhttp://e.com/にアップロードします。 ３．プラウザでhttp://e.com/google30b8c8c0c20f45d7.html)にアクセスしてアップロードが正しく行われたことを確認します。 ４．以下の[確認]をクリックします。 ※上記の中で、２と３の操作方法が分かりません。 Ｑ１．２の「確認ファイルをhttp://e.com/にアップロード」って何ですか？具体的にどうやれば良いのでしょう？ＨＴＭL確認ファイルgoogle30b8c8c0c20f45d7.htmlをコピーして、http://e.com/の後に繋ぎましたがエラーでした。アップロードのやり方を教えて下さい。 Ｑ２．３の「プラウザでhttp://e.com/google30b8c8c0c20f45d7.html)にアクセスして」とありますが、プラウザって何ですか？また具体的にどうアクセスすれば良いのでしょうか？ 宜しくお願いします。
- 締切済み
- その他([技術者向] コンピューター)
- クランク機構トルク計算について
現在、トルク計算について、？？？と思っていることに関して質問いたします。ご存知の方は、ぜひともお教え願いたいと思います。よろしくお願いいたします。 ＜質問＞ ４節クランク機構・スライダクランク等々なんでもいいのでですが、 ４節クランク機構で説明させて頂くと、 原動（モータ）のトルクをＴiが発生すると、 Ｂにて発生する力Ｆ１は、Ｆ1＝Ｔi／Ｌ１という力になり、 この力が、Ｌ２や対偶Ｃに伝わるとき、その伝えられる力をＦ２とすると、 Ｆ２＝Ｆ１／sin(α)となります・・・ ってなるじゃないですか。Ｆ１の力より、 Ｆ２の力が大きくなるってことですよね。ここが、納得できないのです。 対偶Ｃの部分からの分力での計算は、小さくなっていくので納得できるのですが、対偶Ｂにて大きくなるってことがわかりません。 なにか、私の知識がぬけてることと思いますので、 ぜひ、その辺についてご教授願いたいと思います。 ※ちなみに、αや下の図は、理解していただくために簡易的に書いたり、 勝手においた数値ですので、さらっと流していただきたいと思います。 Ｌ２ 対偶Ｂ○――――――○対偶Ｃ ｜ ｜ Ｌ１｜ ｜Ｌ３ ｜ ｜ 原動Ａ●――――――○対偶Ｄ 固定節
- 締切済み
- 開発
- スケジュールを立てるのに、数学が弱くて困っています。
スケジュールをうまく分配することについてアドバイスお願いします。 A…15,B…7,C…18,D…19,E…26,F…15 この6つを重ならないようにうまく分けたいのですが、数に差があってどうしてもうまく分けることができません。 例えばA…5,B…4,C…6,D…5,E…4,F…6だったら C→F→A→D→F→B→C→E→A→D→C→F→A→B→C→D→E→F→A→B→C→D→E→F→A→B→C→D→E→F という順にうまく分けられるのですが、A…15,B…7,C…18,D…19,E…26,F…15だと数にさがありすぎてうまく分けることができません。 そういうのをできるツール、フリーソフトウェアや解決方法など些細なことでもかまいませんのでアドバイスよろしくお願いします。
- 締切済み
- 数学・算数
- Access2010 テーブルのフィールドについて
Access2010を使用しています。 テーブルのフィールド定義 [A][B][C][D][E][F][G] ↓ テーブルを開くと [A][B][C][E][F][G][D] と勝手に変わる （あるフィールドだけ、別の場所に移動） ↓ フィールドの並び順を [A][B][C][D][E][F][G] に戻す ↓ 保存してテーブルを閉じる ↓ 再度開くと [A][B][C][E][F][G][D] と変わってしまう。 この繰り返しです。 どなたか、お助け下さい。 よろしくお願いいたします。
- ベストアンサー
- オフィス系ソフト
- 対偶を用いた証明です
対偶を用いた証明です 自然数a、b、cがa^2+b^2=c^2を満たすとき、a、bのうち少なくとも1つは3の倍数である という問題なのですが、 解答が次の通りで 全く理解出来ませんでした(;_;)… aが3の倍数でないとき 実数Ｋを用いてあらわすと a^2=3k+1 bも同様にして 実数ｍを用いてあらわすと b^2=3m+1 a^2b^2=3k+1+3m+1 =3(k+m)+2 k+mは実数であるので c^2を3でわったあまりは 0または1であるので a^2b^2≠c^2 対偶が真であるので 命題も真である なのです、、 私にはさっぱりでした どなたか解説お願いします！
- ベストアンサー
- 数学・算数
お礼
お礼遅れてスイマセン。時間はかかりましたが納得いくまで考えた末よく分かりました。感謝してます。ありがとうございました