- ベストアンサー
論理
sggkの回答
- sggk
- ベストアンサー率50% (2/4)
両辺に(a-1)を掛けてみましょう。すると、 na^n = a^n -1 (n-1)a^n -1 =0 a^n = 1/(n-1) n>1より、a^n < 1 よって、 |a| < 1 どうでしょう、こんな感じで。
関連するQ&A
- 背理法を用いての証明です。
背理法を用いての証明です。 「任意の実数a,b,cに対し、c<a+b,b<c+a,a<b+cならば0<a,0<b,0<cが成り立つ」を背理法を用いて証明する問題です。 私はc>a+bとした時、c-b>aから求めようとしたのですが、うまく求めることができません。アドバイスの程お願い致します。
- ベストアンサー
- 数学・算数
- 【論理学】公理系LPの同一律について
A⊃A [同一律]を他の定理を証明するときに、どのように使うかが理解できません。 具体例として、矛盾律 ¬(A∧¬A)の証明にて、 【証明】 (1)A∧¬A [1]背理法の仮定 (2)A∧¬A [1](1)と同一律 (3)¬(A∧¬A) (1)(2)と背理法 ・・・出典「論理学」(東京大学出版)野矢茂樹著(17刷 P.216)より ここで、(2)と(3)の意義が理解できません。 そもそも、(1)で仮定していることを、なぜ(2)として、同様の論理式を記述する必要があるのか? そして、なぜ背理法を(1)(2)から導出できるのかが理解できません。 お知恵のある方、どうぞご教示下さいませ。 宜しくお願い致します。
- ベストアンサー
- 哲学・倫理・宗教学
- 命題について
証明問題をやっていて、答えをみると対偶とか、背理法で証明をしているのですが 条件を否定する必要があります。それに関する質問です。 命題の仮定や結論が何になるのかがよくわかりません。 基本的なことになるのですが、よろしくお願いします。 (1)√2が無理数であることを証明せよ。 解答は背理法で証明していました。 ということは、結論を否定して矛盾を導くことになると思うのですが、 そこで仮定は何で、結論は何になるのか疑問に思いました。 仮定は、√2が実数。仮定は√2は無理数。とおもいましたが、 正しくはなにか。 (2)aとxは実数で、あるxに対して、a<xとなるaが存在することを証明せよ。 この命題の仮定と結論が何になるのか、よくわかりません。 結論が分からないので、否定も考えられません。よろしくお願いします。
- ベストアンサー
- 数学・算数
- 実数の濃度(連続体濃度)についての問題の添削をおねがいします。対角線論法をつかってます。
問: 任意の写像 f:N→R につき、f は全単射でないことを背理法を使わず証明せよ 添削していただきたいのは上の問です 背理法に引っかかっていないのかどうかが自分には分かりません *のように、並べると――等とすることは可算集合であることを仮定することになってしまいませんか? 解答: 開区間(0,1)をとると 全単射 (0,1)→R x |→tan[π(x-1/2)] がつくれるので、(つくれてますか??) |(0,1)| = |R| よって、g:N→(0,1) が 全単射でないことを示せばよい 各実数 g(n) を10進法によって無限小数に展開して (ただし、有限小数も無限小数で表す) g(n) = 0.a(n1)a(n2)a(n3)… と表すとする ( a(ni)は0から9までの整数 ) 全て並べると……* g(1) = a(11)a(12)a(13)… g(2) = a(21)a(22)a(23)… g(3) = a(31)a(32)a(33)… … ここで a(11)≠b(1), a(22)≠b(2), … となる数列をとれば 0.b(1)b(2)b(3)… という実数は g(1), g(2), … のどれとも異なる 従って g(n) の値域に入らない実数があるため、 gは全射でない ■ よろしくおねがいします。
- ベストアンサー
- 数学・算数
- 数Σ級na_nが収束するならΣa_nは収束することを示す。
級数Σ級na_nが収束するならΣa_nは収束することを示す問題で、行き詰っています! 以下は、私が考えた証明です。 Σna_nが収束するならば、lim(na_n)=0 ⇔∀ε>0に対して、適当な番号Nがあって、n≧N⇒|na_n|<ε |na_n|=n|a_n|より、 n≧N⇒|a_n|<ε/n ∴lim(a_n)=0 ・・というところまで考えました。 その後、どうすればΣa_nも収束すると言えるのかがわかりません。 どなたか、お力を貸してください! ・・というか、この証明自体、最初から間違っていたり、なんてことがあったりしますか? 回答よろしくお願いします。
- ベストアンサー
- 数学・算数
- a≧1 , [a]+1≦n≦[2a]のとき、
a≧1 , [a]+1≦n≦[2a] (nは整数)のとき,次の問いに答えよ. (1) n ≦ [na/(n-a)] + 1 を証明せよ. (2) 1/n + 1/([na/(n-a)]+1) < 1/a を証明せよ. ガウス記号を使った不等式の証明の仕方が苦手でわかりません。
- ベストアンサー
- 数学・算数
- (Aの逆行列)^nとA^nを掛けてEになりますか?
高校生です。来年受験です。 自分なりに導いた回答に自信がないので正しいかよろしくおねがいします。また別解でもかまいません。 『行列Aは2×2行列(すべて実数)。ab‐bc≠0のとき、すべての自然数nについてA^n=0時ならばA^n≠Oを示せ。』という問題です。 私は背理法を用いました。 ad‐bc≠0のとき、A≠0で行列が存在する。 ある自然数nについて、A^n=0と仮定する。(←背理)両辺に(A^-1)^nをかけるとE=0となり矛盾。よって… (省略) としました。 これは正しいでしょうか? そもそも {(A^-1)^n}×A^n=Eとして大丈夫でしょうか? つまり、(Aの逆行列)^nとA^nを掛けてEになるのかどうかが不安な部分です。 見にくくてすみません。どうかよろしくおねがいします。
- ベストアンサー
- 数学・算数
補足
どこまでが、指数なのか、わかりません・・・・・・・・