- ベストアンサー
高校数学の集合と論理についての説明
- 高校数学の集合と論理について、A／B＝Cを満たす(A,B,C)全体とA＝BCを満たす(A,B,C)全体は異なることが言えます。
- A／B＝Cを満たす(A,B,C)全体とA＝BCを満たす(A,B,C)全体は、A=B=0がA／B＝Cを満たさないのに対し、A＝BCは満たすため異なるという関係があります。
- したがって、A／B＝C⇒A＝BCは成り立つが、A／B＝C⇔A＝BCではないことが示されています。右側の条件にB≠０を追加するとA／B＝C⇔A＝BC、B≠０となります。
- みんなの回答 （1）
- 専門家の回答
質問者が選んだベストアンサー
関連するQ&A
- 集合と論理
「 (1) √3は無理数であることを証明せよ (2) √2および√6が無理数であることは用いてよい a+√2b+√3c=0 を満たす有理数a,b,cは a=0,b=0,c=0 に限ることを示せ 」 私はこの設問に対し、 (1) √3が有理数であると仮定すると √3=a/b (a,b∈Z a,bは互いに素) とおける ここで a=√3b 両辺を二乗して a^2=3b^2 ・・・(1) ゆえにa^2は3の倍数であり このときaも3の倍数であることが必要 したがって a=3m (m∈Z) とおいてこれを(1)へ代入すると b^2=3m^2 よってb^2は3の倍数であり このときbも3の倍数であることが必要 したがって b=3n (n∈Z) とおける このとき a,b は3を共通約数にもつから不合理 したがって√3は無理数である (2) a=-√2b-√3c 両辺を二乗して a^2=2b^2+2√6bc+3c^2 a^2-2b^2-3c^2-2bc√6=0 a^2-2b^2-3c^2,2bcは有理数で√6は無理数であるから a^2-2b^2-3c^2=0,2bc=0 である ・・・ (1)は証明できたのですが (2)の証明が上手く出来ません。 どなたか(2)の解法について回答宜しくお願いします。
- ベストアンサー
- 数学・算数
- 数A集合と論理の問題について
【問題】 実数ｘについての条件 ｐ（ｘ）：ｘ＞a－２ ｑ（ｘ）：ｘ＾２＞a がある。 ｐ（ｘ）がｑ（ｘ）の十分条件となるような実数の定数aの値の範囲を求めよ。 【解答】 ｘ＾２＞aを満たすｘの値の範囲は ★｛a＜０のときは実数全体 ｛a≧０のときはｘ＜－√aまたはｘ＞√a ★ ｐ（ｘ）がｑ（ｘ）の十分条件となるのは、”ｐ（ｘ）⇒ｑ（ｘ）”が成り立つ時なので、ｐ（ｘ）、ｑ（ｘ）の心理集合をP,Qとすると、P⊂Qとなるときである。 （i）a＜０のとき P＝｛ｘ｜ｘ＞a－２｝ Q＝｛実数全体｝ であるから、任意の実数aに対してP⊂Qが成り立つ。 （ii）a≧０のとき P＝｛ｘ｜ｘ＞a－２｝ Q＝｛ｘ｜ｘ＜－√aまたは√a＜ｘ｝ であるから、P⊂Qが成り立つのは√a≦a－２ すなわちa－√a－２≧０ ☆よって（√a＋１）（√a－２）≧０が成り立つ時である。 常に√a＋１＞０であるから、これは√a≧２すなわちa≧４のときである。☆ 以上から、求めるaの値の範囲はa＜０または４≦a まず、★の部分なんですが、これは場合分けをa≦０とa＞０と等号のつけ方を逆にしてもいいのでしょうか？ そして、☆の部分なんですが、これは√a≦a－２のあと 両辺２乗してa≦a^2-4a+4 a^2-5a+4≧0 (a-1)(a-4)≧0 と計算していってしまったらだめなのでしょうか？ もしこれでも可能なら、答えの形から、計算してa≦１、４≦aとなったあとに吟味が必要になると思うんですが、その吟味の仕方も教えてくださると嬉しいです。 よろしくおねがいします(> <)
- ベストアンサー
- 数学・算数
- 行列の平方根？のようなもの
任意の2x2行列B=（p, q, r, s)に対して、B=A^2を満たす行列A=(a, b, c, d)の各要素をp, q, r, sで表すことは可能でしょうか？ A^2の各要素を計算すると、a^2+bc, b(a+d), c(a+d), bc+d^2となります。これらにp, q, r, sを対応させて、 p = a^2+bc, q = b(a+d), r = c(a+d), s = bc+d^2の方程式を解けばいい、と思ったのですが、私には解けません。 こんな私ですが、ご教授いただければ幸いです。
- ベストアンサー
- 数学・算数
- 高１の論理と集合の計算のところ
√２－１／ｐ ＋ √２／ｑ＝１ という計算式を解くと、 （√２－１）（√２＋１）／ｐ（√２＋１） ＋ √２√２／√２ｑ ＝１ で、分母の√を消して、 √２ｐ＋ｐ ＋ ２／√２ｑ ＝１ となり、 両辺に２をかけて、 ２（√２ｐ＋ｐ ＋ ２／√２ｑ） ＝２ ２√２ｐ＋２ｐ ＋ √２ｑ ＝２ となると思うのですが、 正しい回答には √２ｐ ＋ （√２－１）ｑ ＝ √２（√２－１） となっていました。 一体、どこが違っているのでしょうか？ アドバイスいただけるとうれしいです。 見にくい表記ですいません；；
- ベストアンサー
- 数学・算数
- 集合と論理
「f(x)=x^2+ax+b とする。∀n∈Z に対して、f(n)が偶数となるためのa,bの条件を求めよ。」 この問題に対して私は以下のように解答しました。 「(ⅰ)nが偶数 つまりn=2p(p∈Z)と表わせるとき f(n)=f(2p)=2*2p^2+2ap+b f(n)が偶数となるとき bが偶数であることが必要 (ⅱ)nが奇数 つまりn=2q+1(q∈Z)と表わせるとき f(n)=f(2q+1)=2*2q^2+2(a+2)q+a+b+1 f(n)が偶数となるとき a+b+1が偶数であることが必要 (ⅰ),(ⅱ)より f(n)が∀n∈Z に対して偶数となるとき aは奇数、bは偶数であることが必要 逆にaは奇数、bは偶数 すなわち a=2s+1(s∈Z), b=2t(t∈Z) であるとき f(x)=x^2+(2s+1)x+2t となり (a)nが偶数 つまりn=2p(p∈Z)と表わせるとき f(n)=2*2p^2+2p(2s+1)+2t となり f(n)は偶数 (b)nが奇数 つまりn=2q+1(q∈Z)と表わせるとき f(n)=2*2q^2+2(2s+3)q+2t+2 となり f(n)は偶数 となるから f(n)は∀n∈Z に対して偶数となる 以上よりn∈Z に対して、f(n)が偶数となるためのa,bの条件は aが奇数で、bが偶数であること」 設問に対する証明はこれで良いのでしょうか。
- ベストアンサー
- 数学・算数
- 高校数学の行列です
A=(a,b,c,d)(行列で順に左上、右上、左下、右下の順)(a,b,c,d∈R),A≠kE(k∈R),A≠Oとする (1)Aの固有値λと固有ベクトル↑xが存在する条件はλが固有方程式λ^2-(a+d)λ+ad-bc=0(1)の解であることを証明せよ (2)(1)が異なる実数の固有値(λ=)α、βをもつとき、それらに対する固有ベクトル (↑x=)↑x1,↑x2は1次独立であることを証明せよ (3)特にb=cのとき、(2)において↑x1⊥↑x2であることを証明せよ (1)はA↑x=λ↑x,↑x≠↑0(⇔A↑x//↑x(広義平行),↑x≠0) ⇔(A-λE)↑x=↑0,↑x≠↑0 ⇔(a-λ,b,c,d-λ)(x,y)=(0,0),(x,y)≠(0,0) ⇔det(A-λE)=(a-λ)(d-λ)-bc=0 ⇔λ^2-(a+d)λ+ad-bc=0 となっていたのですが ⇔(a-λ,b,c,d-λ)(x,y)=(0,0),(x,y)≠(0,0)ここまでは分かりましたが、 この次の⇔det(A-λE)=(a-λ)(d-λ)-bc=0これは何で言えるんですか？ (x,y)は0では無いですが、行列って互いに0でなくても掛けたら0になることはありますよね、それに0になったとしてもdetも0になるんですか？ (2),(3)は解説を読むと分かって参考のようにして ケーリーハミルトンの定理 A^2-(α+β)A+αβE=Oが成り立つから↑0でない任意の平面ベクトル↑xに対して A(A↑x-β↑x)=α(A↑x-β↑x) A(A↑x-α↑x)=β(A↑x-α↑x) よって(A↑x-β↑x)//↑x1,A(A↑x-α↑x)//↑x2とあったのですが (A↑x-β↑x)//↑x1,A(A↑x-α↑x)//↑x2が何故成り立つのか分かりません その後すなわち行列(A-βE),(A-αE)によって任意のベクトル↑xはそれぞれα、 βの固有ベクトル↑x1,↑x2にへ行くなベクトルに変換されるとあったのですが、これも何の事か良くわからないのですが、詳しい説明をよろしくお願いします (注)として行列Aが固有値α、β(α≠β)と固有ベクトル↑x1,↑x2をもつ場合、平面上の任意のベクトル↑xを↑x1,↑x2に平行なそれぞれのベクトル↑p,↑qに直和分解して↑x=↑p+↑qとする このとき、行列P=1/(α-β)×(A-βE),Q=１/（β-α)×(A-αE)はそれぞれ↑xを↑x1,↑x2上へ平行射影する1次変換である すなわち P↑x=↑p,Q↑x=↑q 特に行列Aが対称行列のときP,Qは正射影の行列になるとあるのですが ↑qに直和分解して↑x=↑p+↑qとする までは分かりますが、この後の説明 がさっぱりわかりません、詳しくお願いします
- ベストアンサー
- 数学・算数
- 高校数学、無理方程式
√（２ｘ＋１）＝（３／４）ｘ((1)）を満たすｘを求める。 ２ｘ＋１≧０((2)）、（３／４）ｘ≧０((3)）、２ｘ＋１＝（３／４ｘ）＾２((4)） とあるのですが、(3)という条件を付けているのは （P)a=b（aとｂが相等しい）（Q)a^2=b^2（aとｂの絶対値が等しい）という集合に対し、 P⊂Qではあるが、Q⊂Pではないので、 (4)を満たすｘを求めると、√（２ｘ＋１）と３／４ｘの絶対値が等しくなるが符号が異なるｘが出てきてしまい、√（２ｘ＋１）＝（３／４）ｘを満たすｘかどうかはわからない。 ここで、絶対値が等しいが符号が異なるｘが出てくるのを防ぐために、最初の√（２ｘ＋１）＝（３／４）ｘ((1)）の両辺の符号が一致するようなｘを求めておく。ということでしょうか？
- ベストアンサー
- 数学・算数
お礼
ありがとうございました