- ベストアンサー
束の証明問題
束の証明問題 交換則や結合則などを式変形によって証明する問題なのですが、うまく証明できません。 次の問題を証明していただけるとありがたいです。 Lを束とする。このとき、任意のa,b,c∈Lに対して、次の(1)~(3)が成立することを示せ。 また、(3)は(2)から導けることを示せ。 (1)a+(b+c)=(a+b)+c a・(b・c)=(a・b)・c (2)a+(a・b)=a a・(a+b)=a (3)a+a=a a・a=a
- exymezxy09
- お礼率94% (194/205)
- 数学・算数
- 回答数2
- ありがとう数6
- みんなの回答 (2)
- 専門家の回答
質問者が選んだベストアンサー
この文面では「束」をどのように定義しているのか全く分かりません. そして, 厳密な定義なしに「厳密な証明」など不可能です. この (1)~(3) (まあ (3) は (2) から出るので省いてもいいけど) を含む形で「束」を定義することもできる. で, そのように定義しているなら #1 は「厳密な証明」といえる.
その他の回答 (1)
関連するQ&A
- 調和束線、調和点列の証明問題です。平面上に点0
調和束線、調和点列の問題です。 平面上に点0を通る異なる2直線a,bがある。任意の実数λ=not0に対して、a,b,a+λb,a-λbは調和束線をなすことを証明せよ。 平面上に点0を通る異なる2直線a,bがある。任意の実数λ=not0に対して、a,b,a+λb,a-λbは調和束線をなすことを証明せよ。 という問題です。 oを原点として、x,y軸とって直線x=1と4直線の交点が調和点列になることを示してそれを利用しようと思ったんですが わかりません。 わかるかたいましたら教えてください。 よろしくお願いします
- 締切済み
- 数学・算数
- パップスの定理を束で証明できますか?
パップスの定理とは添付図で、P、Q、Rが一直線上にあるというものです。 これを束(英語ではpencil)を使って証明することはできるのでしょうか? 束とは、例えば図でAを通る3つの直線の式に、 OE=kAD+lAF (k,lは実数) (ただし、OEなど直線の式で、OE=ax+by+cという一次式を意味するものとする) という関係があるというものです。
- 締切済み
- 数学・算数
- 不等式の成立条件の証明
以下,問題文です。 任意の実数a,bと任意の正の実数c,dについて,次の不等式(添付画像)が常に成立するなら証明せよ。必ずしも成立しないなら成立しないようなa,b,c,dの値を例示せよ。 皆目見当がつかず,滞っています。 不等式であるとはいえ相加・相乗平均のような 特徴的な解法が存在するのかも不明です。 どなたか解法の動機をご教授頂きたいと思います。
- ベストアンサー
- 数学・算数
- 数学の不等式の証明
数学の不等式の証明に関する質問です。 (問題) 次の不等式を証明せよ。ただし、文字はすべて実数を表す。 (1)√a^2+b^2+c^2*√x^2+y^2+z^2≧|ax+by+cz| (2)10(2a^2+3b^2+5c^2)≧(2a+3b+5c)^2 (1)は式を2乗し、差をとって変形して証明できました。 (2)は(1)の式を利用することまでは分かるのですが、どうやって式を利用して証明すればよいか分かりません。 (1)の2乗した式にa=√2a,b=√3b,c=√5c,x=√2,y=√3,z=√5を代入すると、(2)と等しくなります。 けどこれではちゃんとした解答と言えるのかがわかりません。 証明の切り口を教えていただけないでしょうか?
- 締切済み
- 数学・算数
- 証明問題について
「1>s>0, t≧u>0 とする。3次方程式 x^3 + sx^2 + tx + u=0・・・(1)が3つの実数解α,β,γをもつならば-1<α,β,γ<0となることを証明せよ。」という問題です。 解答ではα>0と仮定して(1)にαを代入するとα^3 + sα^2 + tα + u=>0となり(1)の解にはなりえないから、α,β,γ<0 次に式が見やすいようにα=-a,β=-b,γ=-c(a,b,c>0)とおくと、解と係数の関係からa+b+c<1が得られる。従って0<a,b,c<1がいえると 書かれてあったのですが、 0<a+b+c<1から0<a,b,c<1の流れは明らかに必要条件ですよね。証明問題でこのように必要条件で答えにしても良いのでしょうか。よろしくお願いします。
- ベストアンサー
- 数学・算数
補足
教科書の束の定義には (1)Lの任意の有限部分集合に上限と下限が存在する。 (2)任意のx,y≦Lに対して{x,y}の上限と下限が存在する。 とあります。 また問題文には束に関しては特に述べられていません。 Lを束とするとしか書かれていないので・・ (1)~(3)を個々に証明することはできないのでしょうか?