1+1=2であることを証明できると聞きましたが
どうやってやるんですか?
虚数を使うとか何とかって言ってたような

このQ&Aに関連する最新のQ&A

A 回答 (18件中1~10件)

No.l8のDASSさんのコメント、またしてもポイントを突かれちゃいましたね。

大切な部分です。
こんどは "=" についての考察でしょう。

 x=y とは何を言っているのか。これは実は「一階述語論理」の範疇を少し越えているのです。つまり "="の公理というのはちょっくら胡散臭い。それはこういうものです。
「xを含みyを含まない任意の命題A(x)において、xをすべてyに書き換えて得られる命題をA(y)とするとき、x = y とは どんなAを持ってきても、A(x)が成り立つこととA(y)が成り立つ事が同値である(一方が真なら他方も真、一方が偽なら他方も偽である。)ということを表す。」
 つまり、どんなAについても、xとyは同じ性質を示すということを言っているわけです。その帰結として「=の反射則」
x = x
任意の対象xはそれ自身と = で結ばれる、ということ、「=の交換則」
x = y ならば y = x
である。および「=の推移則」
x = y でありしかも y = z ならば x=z
である。が出てきます。

 No.18では 1+1と2を全く無縁のものとして別々に定義しておいて、あとから両者を直接 = で結ぼうとしていますが、そのやりかたですと、あらゆる命題Aについて両者が同じ真・偽の値を示す、ということを証明しなくてはならない。これは容易なことではありません。

 そういうわけでして、stomachman足し算においては、2=S(1)は一応1+1とは別物として定義され、1+1=2は証明を要することでした。
そして両辺が1+1={0,1}, 2={0,1}つまり
{0,1} = {0,1}
であることによって、この証明は完結したんです。

*なお、No.17とNo.l8の間にあった削除されたやりとりは、回答者が自分のHPを紹介するという反則技を使ったために、明らかな規約違反となったもので、決して「議論が白熱しすぎてスレッドが荒れた」ということではありません。数学スレッドに限らず、こう何度も管理部の介入があるのは珍しいですね。
    • good
    • 10

なかなか白熱した場所でしたね。


私も数学は苦手ながら、一所懸命読ませていただきました。

#17のお礼で述べられているように、「素直に信じていいのかな?」という疑問はあります。

それについて素人的な解釈をさせていただきます。
他の回答者の皆様、違っているようでしたら、訂正をお願いします。

ここに「A」という1個の文字がありました。
もう一つ「A」という1個の文字を横に並べて「A A」としました。
すなわち、”1個+1個 ”です。

上とは別に、「B B」という2個の文字がありました。
これは純然と2個の「B」があるだけです。
すなわち、いきなり ” 2個 ”なのです。
("2"を定義するのに、"1+1"を使わないというところがここらへんでしょうか)

しかし、この2個は、左の「B」1個と、右の「B」1個を足して2個と考えることもできます。

ここで初めて、” 1個+1個=2個 ”という式ができるのではないでしょうか?

”2 ”を考えるのに、ついつい”1+1 ”すなわち、”1から1増えた数”と考えてしまうのでわかりにくいのだと思います。
”1+1=2 ”が当然と思えてしまうのですね。

しかし、”1+1 "ではない、”2 ”の存在を考えると、”1+1 ”と”2 ”が別物であり、それを”= ”で結ぶという事の正当性が見えてくるような気がします。

こんな説明でどうでしょうか?
    • good
    • 6

No.16 のコメントについて:


どうも、勝手に突走っちゃって申し訳ございませんでした。
本来の目的は、言うまでもなく質問者の疑問解消です。どうか諦めないで「どのあたりが納得行かない」「これはおかしいのでは」とか、具体的な補足をして戴けると良いのですが。
なお、tgbさんは適切な補足質問をしてくれただけであって、バトルでも何でもありませんから、お気遣いなく。

●どこまでを暗黙の了解として使っていいのか。

 核心を突いた疑問です。No.4でaminouchiさんが回答なさっている通り、数学で使う最も基本的な道具立てに何と何があるか、ということをはっきりしておかないと、1+1=2 の証明が証明になっているのかどうか分からなくなります。それをきちんとやるには、大学ノート一冊分ほどの分量が必要になる。
 ですから全部は書けませんが、ここで前提にしているのは、
(1)記号論理のルール (正確には「一階述語論理」というもの。)
(2)集合に関する数個の公理
です。その中で、
・ふつうに物を考える時のような推論が許されています。(ここが実は「何が証明か」ということを定義している部分なので、おろそかにはできないのですが、大学ノートの1/3ぐらいはこれだけで埋まってしまいます。)
・アルファベットの記号で何か、集合を指し示すことが許されています。
・集合の概念、空集合φ、{ } を使った集合の構成、集合同士の演算∪、∩、集合同士の関係⊂、などが定義されており、集合Aとその要素xとの関係 x∈A も使えます。
・さらに関数という概念も定義されています。関数とは、ある集合に別の集合を対応付けるもの、ということですね。
・しかしまだ数というものは定義してない。
従ってこの段階で何か操作の対象となりうるのは集合だけである。
そういう状態でスタートします。

●「カウンター」って言葉について。

[1] ∪は二つの集合を合併させる(ひとつにくっつける)ことを表す記号です。
{ねこ,ぶた}∪{たぬき,さる} = {ねこ,ぶた,たぬき,さる}
という具合。

そして
s(n) = n∪{n}
このs(n) というのが「nの次の数」を作り出す関数です。

[2] s(n)と0=φ(空集合)
を使って、
1 = s(0) = {0}
2 = s(1) = {0,1}
3 = s(2) = {0,1,2}

というふうに自然数を作り出しました。

s(n) = n∪{n}
において、nは集合です。たとえば n = 1 = {0} だとすると、
2 = s(1) = 1∪{1} = {0}∪{1} = {0,1} = {φ,{φ}}
ということになります。つまり{0,1}という集合に2という名前をつけた(2と定義した)わけです。
2は一つの自然数であるけれど、2={0,1}という2つの要素(0と1)を持つ集合、とも見ることができる。
その要素である0, 1は既に定義してあるから2を定義するのに使って構わない。
そして、1は{0}という集合の名前であり、0はφ(要素のない集合)の名前です。だから、
2と {0,1} と{φ,{φ}}はどれも同じものを表しています。

[3] 数を数えること、つまり「1、2、3、…」と唱えるのは、「直前に言った数の、次の数を言う」という操作を繰り返しやっているでしょう。だから、
1= s(0)
2 = s(1)
3 = s(2)
という風に数を並べていく操作と同じです。これは「次の数」を表すs(n)だけあればできる。足し算は必要有りません。このように数を唱えることを、仮に「カウンター」と呼んだに過ぎません。

この回答への補足

わかりました、以上の解説を踏まえて、もう一度皆さんの解答を読み直してみますね
返事は整理がついてから、したいと思います。

補足日時:2002/02/23 14:53
    • good
    • 3
この回答へのお礼

また、回答が削除されてしまったようですが、そこに載せていただいたURLのページ
全部読みましたが、公理(既に確からしいこと?)とかの話って、もう哲学に近くなってしまって数学の奥深さを思い知らされました。
No.16で説明されてることはとても良く理解できるんですが、正直これを納得してしまっていいのかなって思ってしまうんですよね(疑ってるようで申し訳ないんですがそういうわけではなくて)、でも悩んでも正しく判断する術をもっていないので、これ以上の議論を続けることができません。すみませんが、やっぱり締め切らせていた抱くことにします。もっと高度な数学を勉強してからでないとダメなんでしょうな。おつき合い頂きありがとうございました。

お礼日時:2002/02/27 18:23

No.6で導入したf(n,m,k)の意味を解説します。



************************
 tgbさんのNo.12は単なるミスとは思いません。No.8, No.10, No.12は、No.8にある
> 加法、減法の演算を内包したような得体の知れない関数
> が突然定義される事に引っかかりを感じ
という言葉が示すとおり、f(n,m,k)なる、いかにも人工的・技巧的な関数が天下りで与えられた、という印象から来る自然な疑念であり、それに対する解説としてはNo.9, 11が不満足であるためにNo.12が書かれたと理解しています。質問者であるtaurus4さんも、当然同様の疑念を持ったことでしょう。
 しかしNo.7が削除されるという事態が発生し、No.8における
> 加法、減法の演算を内包したような得体の知れない関数
の意味が不明になってしまいました。つまり「f(n,m,k)の意味の理解を促すこと自体が本サイトの主旨に反する」とサイト管理者から断じられた訳です。このため、No.13では(またしても削除されることを想定しつつ)歯切れの悪いアドバイスをするしかありませんでした。
 で、No.7の削除は承服しがたい干渉であると考えinfo_oshiete@goo.ne.jpに激怒の抗議を送ったところ、暫く時間が掛かりましたが、結局「削除は誤りであった」との回答があり、No.6の末尾に付ける形で回復されました。なお同時にNo.13もこっそり改造されたようです。
 以上、ちと業務連絡っぽいのですが、経緯を説明しないと解説の繋がりが分からなくなってしまうので、やむを得ません。
************************

 かくて、f(n,m,k)の構造とその意味の解説が安心してできる状態になったわけです。では早速。

 幼い子供がこれから足し算を憶えようというときに、どんな風にやるでしょうか。
 3+2をやるには、右手の指を3本出して、左手の指を2本出して、これを並べて数えなおします。「1,2,3,4,5。ねえ、3たす2は5なの?」
指さし数えたいのに両手が塞がっていますから、舌を伸ばしたりして微笑ましいものです。

 もうちょっと成長しますと、指を3本出しておいて、ここに「あと2本、指を追加する」という方法を憶えます。つまり、「(指3本出す)1(と唱えて指4本にする)2(と唱えて指5本にする)」とやって、指の形を見て(数えなくても分かるまでに上達しております)「答は5」。
 ここで「指を追加する」という操作はs(n)と同じであることにお気づきかと思います。s(n)を2回やるのが、2を足す、ということです。つまり
3+2 = s(s(3)) = 5
ですね。f(n,m,k)は、この「もうちょっと成長した子供」のやり方をそのまま真似たに過ぎません。

 f(n,m,k)と、「stomachman足し算」の定義を再掲しますと
●f(n,m,m)=n
●m≠kのとき、f(n,m,k) = f(s(n),m,s(k))
●n+m = f(n,m,0)
です。これを使って3+2をやってみると、
3+2 = f(3,2,0)
= f(s(3),2,s(0)) = f(4,2,1)
= f(s(4),2,s(1)) = f(5,2,2)
= 5
となります。
・f(n,m,k)のnの部分が、「出してある指の数」を表しています。ですから、上記の計算過程でnは3,4,5と増えていきます。
・f(n,m,k)のmの部分は、「指を幾つ追加すれば終わりか」という情報の記憶です。だからずっと変化せず2のままですね。
・f(n,m,k)のkの部分は「幾つ指を追加したか」を数えるカウンターです。すなわち、指を追加する際に「1,2」と唱えることを表しています。
 で、このカウンターが、記憶してある「指を幾つ追加すれば終わりか」という情報と一致したら、追加をやめる。そのときのnが答になっています。これを表す規則が
 f(n,m,m)=n
です。「「記憶」と「カウンター」が同じなら、「出してある指の数」が答である」という事をソノマンマ表している。そして、
 m≠kのとき、f(n,m,k) = f(s(n),m,s(k))
の方は、指を出しながら数を唱える方法を表す規則という訳です。

 以上のように、f(n,m,k)は「案外普通」の事を、記号で表したものに過ぎないんです。もし、子供の足し算のやりかたを、「普通の足し算」と認めるのであれば、以上の議論で「stomachman足し算」はまさにその「普通の足し算」であることが(非形式的にですが)示されています。

 さて、No.6の末尾にある
●g(n,m) = f(0,n,m)
という関数は、言うまでもなく引き算を表しています。
n-m = f(0,n,m)
 これは、まだ「数を逆順に数える」という能力がない子供のやる引き算なんです。たとえば3-1をやるとき、「3のひとつ前は2」という訳には行きません。ではどうするか。
 まず、指を1本出します。そして、これにあと幾つ指を追加すれば3本になるか、というのを数えるのです。つまり「(指1本出す)1(と唱えて指2本にする)2(と唱えて指3本にする)」とやる。で、最後に唱えた数、「2」が答です。
3-1 = f(0,3,1)
=f(s(0),3,s(1))= f(1,3,2)
=f(s(1),3,s(2))= f(2,3,3)
=2
 この場合には、f(n,m,k)のnが、「幾つ指を追加したか」を数えるカウンターです。f(n,m,k)のmは、「指が幾つになったら終わりか」という情報の記憶であり、変化しません。そしてf(n,m,k)のkが「出してある指の数」を表しています。

 なお、当然のことながら、n<mの場合に
n-m = f(0,n,m)
をやると、いつまで経っても終わりません。だから、この関数の定義には手抜きがあるんです。手抜きしないためには、大小関係 < を導入する必要がある。そして、さしあたって足し算には大小関係は必要ないので省いたのです。
 これは裏返せば、「数の大小が判別できる」ということが「自然数の引き算」の前提になっている、という事情を表しています。
    • good
    • 2
この回答へのお礼

すみません、返事を書こうと思ったんですが、数学の知識がないので回答を見て自分なりに考えてるうちに、tgbさんとstomachmanさんのバトル?見たいな感じになってしまって入り込めませんでした。どこまでを暗黙の了解で(カウンターのようなものとか)つかって良いのかの判断ができないし、照明が正しいのかどうかよく分かりません。とりあえず、ありがとうございました。

お礼日時:2002/02/22 22:02

 重ねてご迷惑をおかけすることになるかと思いますが、


お許し願いたいと思います。

 本来の演算+は厳密に定式化し得ないと言う私の勝手な
思い込みからANo.#11でstomachmanさんがかなりの行数を
割いて丁寧に説明された部分(stomachman+と本来+の
等価性の証明のための手ほどきの説明の部分)を全く無視
して、ANo.#12で
<大前提みたい
  に考えて無視しているかのように私には見えます>
と述べたことを

stomachmanさんにお詫びしたいと思います。

私の重大な見落としであり、少なくとも言及していました。
と同時に、この説明は私にとってstomachman+と本来+の
等価性の証明の可能性を十分に示唆するものであることを
認めたいと思います。

 従って議論はANo.#11で完結すると考えますので、議論の
当事者として混乱を避ける意味で、ANo.#12(それに伴い、
今回の回答も)を削除して考えて頂けたらと思います。
    • good
    • 1
この回答へのお礼

返事が遅くなってすみません、正直ちょと理解できないレベルの話になってしまって、じっと様子を見てました。毎日このページは見てたんですが、皆さんの意見について、数学の知識が無いのでよく判断できません。
ありがとうございました。一応、もうすぐ締め切らせていた抱きます。すみませんでした。

お礼日時:2002/02/22 22:05

 私の疑義はANo.#12までにしたいと思います。


 本欄の趣旨に反して偏った議論に走ったことを反省し、
質問者、stomachmanさん、および閲覧者のみなさんに
お詫び申し上げたいと思います。
 今後有意義な回答が出て質問者、閲覧者のみなさんの
理解が深まることを期待します。
    • good
    • 1

No.11は、No.12のご主旨に沿って回答しております。

証明として完結していないことは、No.6で予め申し上げた通りですし、どのようにして完結されるか、その概要についてNo.11で解説しました。
しかし、質問者であるtaurus4さんから全く反応がないのは、質問者には分からないレベルの話になっているためではないかと危惧しています。

 従って、tgbさんご自身が別途質問を立てることをお薦めいたします。

 なお、本回答はもちろんの事ですが、tgbさんの書いた記事も消滅する可能性がありますから、控えを取っておくべきでしょう。
    • good
    • 2

 どうも私の疑義の趣旨がうまく伝わっていないようなので


表現を変えて再度述べてみたいと思います。
 先ず、数については取りあえず問題視していないので区別
せず、以下のように+演算のみについて区別して表したいと
思います。
 +  質問者の考えている加算(本来の加算)
 +’ stomachman加算
 +” tgb加算
そこで、
・質問者は
  prf0:1+1=2
 が証明可能かを問いました。
・stomachmanさんは
  prfs:1+’1=2 (ANo.#6)
 の証明を示しました。
 
・tgbは
  prft:1+”1=3 (ANo.#8)
 の証明を示しました。

 この場合、これまでの議論から[私が推定する]ところの
stomachmanさんの考えは
・prfsによりprf0の成立が保証される。
 または等価である。
 (stomachmanさんはこの点に関して議論上の大前提みたい
  に考えて無視しているかのように私には見えます)
・その根拠は+’演算が+演算を忠実に表していること。
・prftはprf0と等価にならない。
・その根拠は演算が+演算を表していないこと
となります。

 これに対して私の考えは次の通りです。
・prfsとprftはprf0の証明の候補としては対等
 (どちらも!証明・反証になり得ない。根拠は以下に記述)
・prf0とprfsは等価にならない。
・その根拠は+と+’の等価性が示せない事による。
 もともと+に厳密な定義が与えられていない以上数学的に
 等価性を議論すること自体が無意味
・ただし、無条件に+と+’の等価性を認めれば有意義な
 結果をもたらすことは誰もが認めるところ。

 以上のように考えてANo.#6の証明は
  1+’1=2
の証明であって、
  1+1=2
の証明として完結していない(認められない)。

 ここまで来ると証明可能・不可能の議論はあまり有意義
なものとは思えなくなりましたが.....
    • good
    • 2

> 私は演算が本来の+演算かどうかは問題にしていません。


>stomachmanさん自身、+(f)の演算を本来の演算と等価か
>どうか議論すること無しに自分で勝手に定義されています。

 仰るとおりです。公理論的に自然数とその足し算を定義しても、「普通の足し算」が厳密に定義されていないと比較のしようがない。ですから"+"をtgbさんのように定義すれば、「普通の足し算」を知らない人が
1+1=3
を確信するのは全く正当です。ただ、ここまでは用語(あるいは記号)の問題、すなわち「何を足し算と呼ぶか」の違いに過ぎません。さらにtgbさんの定義された"+"を使って数学を構成していけない理由など何処にもない。(しかし、この演算は群にならないから扱いにくいです。)

 「普通の意味での自然数」や「普通の足し算」が理解されていて初めてstomachmanのf()だろうが、大学ノート一冊分だろうが、それが「普通の足し算」の形式化として相応しいかどうかが判断できるというのは、全くの正論です。そして、「普通の意味での自然数」や「普通の足し算」が定義されていないかと言いますと、そんなことはない。「普通の意味での自然数」はまさしくs(n)、つまり「ある自然数の次に来る自然数がある」という形で非形式的ながら定義されており、また「普通の足し算」は筆算であれそろばんであれ、数字の操作の規則という形で明確に定式化されています。したがって、stomachmanが提示した"+"が同じ規則に従うことを証明すれば、これは確かに「普通の足し算」であることが分かる。
 「普通の足し算」は、「足し算の九九」および10進表現(或いはそろばん玉による表現)における繰り上がりの規則で記述できます。ですから、証明するにはNo.6の定義だけでは不足で、それを10進表記(或いはそろばん玉で)表現する方法を構成しなくてはいけません。

 ともあれ「ま、感じだけ掴んで戴く」ための中途半端な説明であることはご理解戴きたい。必要最低限を記述するのなら大学ノート一冊までは必要ありませんし、数学基礎論の適当な参考書をご覧になれば良いでしょう。
    • good
    • 1

 質問者をさしおいての議論はマナー違反かも知れませんが、


お許し頂けるものとして話を進めたいと思います。

 私は演算が本来の+演算かどうかは問題にしていません。
stomachmanさん自身、+(f)の演算を本来の演算と等価か
どうか議論すること無しに自分で勝手に定義されています。

 もし「普通の意味での足し算を正確に表しているかどうか」
でどちらの証明が正しいかチェックするとしたら、証明に頼
らず、電卓で計算したり隣の人に聞いたりして確認すること
になると思いますが、そんなことは数学における正当性の
根拠としては採用できません。
 もし計算能力は全くのゼロで数学的な見識はずば抜けて
いるある人が1+1=2か正しいかを証明する手だてを持ってい
なくて、且つ電卓も持っておらず、隣に人もいないとした
場合、その人が私の証明を見たら、1+1=3を確信するはず
(stomachman!さんの証明が正しい限り)であると言え
ないでしょうか。

 次のように考えられないのでしょうか?
「stomachmanさんが示したような方法で数学の体系を
 構成(1+1=2の証明は別にして)すると普通我々が
 当たり前と考えている加法や減法(本来の演算)に
 よくマッチする(数学的証明無し)ので、我々の日頃の
 算数を厳密に再構成したものとして安心して採用できる」

 このように考えるとf()=nを採用するかf()=s(n)を採用
 するかは全く選択の問題になると思います。
(従ってその場合は数学が進歩して不都合が起こればやっぱり
 やめたと言うことになるかも知れません)
    • good
    • 1

このQ&Aに関連する人気のQ&A

tmt」に関するQ&A: ゴミ箱の臭い(TmT)

お探しのQ&Aが見つからない時は、教えて!gooで質問しましょう!

このQ&Aを見た人はこんなQ&Aも見ています

このQ&Aを見た人が検索しているワード

このQ&Aと関連する良く見られている質問

Q蛍光灯代わりの証明

室内には天井に蛍光灯がついています。
ですが電気が切れたたびに蛍光灯を取り替えるのが面倒です。
そこで天井の蛍光灯をつかわずに代替の照明を探しています。
いいのがあるか教えて下さい。

例えば机の上の証明ならばよる本を読むだけならば
問題ないですが、これだけでは暗いです。

Aベストアンサー

蛍光灯より寿命が長いと言えば、ナトリウム灯でしょうかね。まぁ、家庭で使う人は居ないと思いますが。

100W白熱球にコンデンサ咬まして減光、それを複数個使えば蛍光灯より長持ちするかも。消費電力は蛍光灯より掛かりますが。

スタンド形は、こちらに色々あります
http://esearch.rakuten.co.jp/rms/sd/esearch/vc?sv=2&f=A&g=100804&v=3&p=1&e=0&s=6&oid=000&k=0&sf=0&sitem=%A5%D5%A5%ED%A5%A2%A5%E9%A5%F3%A5%D7&x=0&c=1832

Q(a+1)(a+2)の計算方法は、 (a+1)(a+2)=a+a+1+2 =2a+3 であっています

(a+1)(a+2)の計算方法は、

(a+1)(a+2)=a+a+1+2
     =2a+3

であっていますか?

Aベストアンサー

式が(a+1)+(a+2)なら、
=a+a+1+2=2a+3で合ってるが、

(a+1)(a+2)なら、(a+1)×(a+2)です。従って
=a*a+1a+2a+1*2
=a二乗+3a+2となります。

Q蛍光灯についての質問です。

家の玄関の照明が調子悪く、とうとう点かなくなったので照明カバーを外し、買ってきた蛍光灯(30形28W)に変えたのですが、点かないのです。蛍光灯は同型のもので間違いないと思います(ただ、前のは昼白色となっていて、買ってきたのは昼光色となっています)。ひとつ気になるのは普通蛍光灯は点灯管があるはずなのですが、その証明には点灯管がないのです。点灯管なしに点く蛍光灯ってあるのでしょうか。買ってきたのがそういう蛍光灯じゃないから点かないのでしょうか。どうして点かないのかわかりません。照明機器に詳しいかたおしえてください。お願いします。

Aベストアンサー

取り外した蛍光灯の型番をしらべて下さい。

FLで始まっていればグロースタート
点灯管やインバータ回路が必要です。

FLRから始まっていればラピットスタートです。
こちらは、蛍光灯のみで使用します。

Q1+2+3+4+・・・=-1/12,1+1/2+1/3+…=???

リーマン・ゼータ関数において、

ζ(0)=1+1+1+・・・=-1/2
ζ(-1)=1+2+3+4+・・・・・=-1/12
ζ(-3)=1+2^3+3^3+4^3+・・・・・=1/120
ζ(-5)=1+2^5+3^5+4^5+・・・・・=-1/252

といった一見では無限大に発散するような級数も、解析接続とかくりこみ理論とかいうことを考えると、意味を持たせることができるようです。

では、
ζ(1)=1+1/2+1/3+…=???
1-1+1-1+1-1+1-…=???

といった一見では収束しない級数などにおいても、新たな理論を考えて、意味を持たせることができるでしょうか?

もうそれは実数の意味ではなく、形式的な表現
1+1/2+1/3+…
の意味でしかないかもしれません。
しかし、なにか別のものとの関係式としてとらえることは可能でしょうか?

Aベストアンサー

面白いことを考えますね。

Z(1)=1+1/2+1/3+....1/n+...
X(1)=1-1+1-1+1-....

などに意味を持たせることができるかと言う事ですね。有限和を

A(n)≡a0+a1+a2+a3+....+an

と定義した時に、通常は級数和の値を

lim_{n->∞}A(n) = α

と定義しますね。つまり和は初項から順番に取っていってその値が収束するなら、それを級数和の値αと言うわけですが、

(1)「絶対収束しない級数は和の順番を並べかえるとその値を色々と変わる。」を逆手にとれば級数和の順番を変えてしまえば発散級数にも意味を持たす事は可能ですよね。順番を変えないにしても2個とびに和を取ってゆくということもありえます。例えば

lim_{n->∞} Σ_{k=0→2n}X(k) = 0 がこの級数和

と「定義」することはできます。それがどれくらい有用かはしりませんが。 


(2)または解析接続で定義するかぎりZ(1)=∞はさけようがないわけですが(理由はx=1がゼーター関数の級数表示の収束半径を決める特異点だから)、解析接続という条件を外せば、Z(1)に意味を持たせる事も可能ではないかと(私は)思います。がしかし、そういうことをするともはやZ(1)を拡張した関数としてのZ(x)などと言うものは存在しないことになりますよね。そんなものにどれくらい意味があるのか疑問です。つまりZ(1)に意味を与えたら、「それはそういう数」だと言って終りになりかねない気がします。

専門家じゃないので、書いたことに大して自信はありません。

面白いことを考えますね。

Z(1)=1+1/2+1/3+....1/n+...
X(1)=1-1+1-1+1-....

などに意味を持たせることができるかと言う事ですね。有限和を

A(n)≡a0+a1+a2+a3+....+an

と定義した時に、通常は級数和の値を

lim_{n->∞}A(n) = α

と定義しますね。つまり和は初項から順番に取っていってその値が収束するなら、それを級数和の値αと言うわけですが、

(1)「絶対収束しない級数は和の順番を並べかえるとその値を色々と変わる。」を逆手にとれば級数和の順番を変えてしまえば発散級数にも意味...続きを読む

Q証明写真撮影のライティング

証明写真撮影に特化したライティング機器設置位置の質問です。
機材は
ニコンD50 18-55mm 標準ズーム
180Wモノブロックストロボ(ガイドナンバ:36)×2
(モデリングランプ50wハロゲン)
白アンブレラ80cm×2
ソフトボックス60×60cm×1
ソフトボックス70×100cm×1
ライトスタンド×2
背景影消し用ストロボ×1

撮影環境は
バックはグレーのロールスクリーン
そこから50cmに被写体
更に被写体からカメラまで1m70cm
両脇は白壁(幅1m50cm)となっております。
光源は蛍光灯で自然光は入りません、蛍光灯の消灯は不可です。
天井は2m60cmあります
この限られたスペースで効率の良いライティング位置をなるべく具体的に教えていただけると幸いです。
宜しくお願いいたします。

Aベストアンサー

あなたはどのような写真を撮りたいですか?
下の方とダブりますが、下記のページの右側の上と下の写真を見て考えてみてください。(後でまた見ますので別タブで開いてください。)
http://www.photofactory.co.jp/shoumeishashin2.html

 上の写真のように正面からストロボを発光させれば、全体的に明るい写真は撮れますが、フラットな感じになります。

 下のようにメインとなるストロボを斜め上方から当てると、人物に当たる光量の差(ストロボに近い部分ほど明るくなる)により立体感を表現することができます。
 この場合は下記のようにストロボをセットします。
http://fujifilm.jp/business/photo/fotorama/advice001.html

 ・基本スタンバイにあるカメラの位置はフジの場合ですから気にする必要はありません。
 ・影消しストロボについてです。一番上のURLの4枚の写真の背景を見てください。
  左上は全体的に均一で明るくなっていますが、他は下のほうが明るく上に行くに従って少しずつ暗くなっています。
  これは、ストロボの中心部をどこに向けるかで調整できます。
  フジの場合は頭部あたりを照らしているので発光量により異なりますが、背景は全体的に明るく写ると思います。
  ストロボの高さを低くすれば頭部辺りが暗めになります。高さが調整できない場合は角度で調整してください。
 このように調整しても背景が明るすぎる場合は人物と背景の距離を大きくします。

 次はライティングを入れたスタンバイ についてです。
 ・フジはメイン、フロントの両方とも上方30度の角度から照射しています。
  共に上方から照射したのであごのあたりの影が目立つことを考慮して、モデルの前方にレフを入れています。
 レフがなければテーブルにコピー用紙等を敷き詰めて配置するといいです。側面のレフはなくてもフロントである程度コントロールできます。

 ・メインの角度はフジの場合30度になっていますが、一般的には上方に45度以上が多いです。余裕があれば角度を変えて描写の違いを確認してみてください。

 ・ストロボと人物の頭部との距離はとりあえず、メインは1.4メートル、フロントは2メートルに設置してください。
  この後テスト撮影して、顔の部分の影が目立つようであればメインの光量を落とします。距離を1.5、1.6メートル・・・のように大きくするか、フロントを近づける。ストロボとアンブレラの距離で調整できるものもあります。

 逆にフラットな場合にはメインの光量を上げます。(上の逆)
 これは使用するアンブレラや、壁、天井、床の色の違い等により影のでき方が異なりますので、このように実際に撮影して調整してください。

 再度“髪の部分に注意して”一番上のURLの4枚の写真を見てください。
 ・右下だけ髪が明るくなっていますね。これは頭の上からストロボを発光させたからです。
  もしカメラの外付けストロボをお持ちでしたら、発光部にエンビの筒か、厚紙を丸めて筒状にしたものをテープなどで取り付けて、照射角度を狭めて髪の部分にだけ当たるようにして発光させればこのような写真を写すことが出来ます。ただし設置ができないと思いますので助手の方に高い位置から照射してもらうことになりますか・・・。
  そしてスレーブユニットも必要になります。
http://www.biccamera.com/bicbic/jsp/w/catalog/list.jsp?DISP_CATEGORY_ID=033011&PARENT_CATEGORY_ID=03&BACK_URL=camera/index.jsp&SPEC_VALUE1=033011,014,%83X%83%8C%81%5B%83u,,1,

 ところでカメラの設定のほうは問題ありませんか。

 専用ストロボであれば露出やホワイトバランスは自動で問題はないと思いますが、この場合はどうなのでしょう。

 オートでうまく撮れない場合にはマニュアルで撮影します。
 RAWで撮影し、シャッタースピードはX接点。
 絞りは、フラッシュメーターがない場合には絞りを一段ずつ変えて5~6枚撮影し、それらを液晶モニターで見て、その中から適正に近いもののF値を選びます。
 最後に、現像時に露出、ホワイトバランスを調整するといいです。

あなたはどのような写真を撮りたいですか?
下の方とダブりますが、下記のページの右側の上と下の写真を見て考えてみてください。(後でまた見ますので別タブで開いてください。)
http://www.photofactory.co.jp/shoumeishashin2.html

 上の写真のように正面からストロボを発光させれば、全体的に明るい写真は撮れますが、フラットな感じになります。

 下のようにメインとなるストロボを斜め上方から当てると、人物に当たる光量の差(ストロボに近い部分ほど明るくなる)により立体感を表現することが...続きを読む

Qa+b+c=(1/a)+(1/b)+(1/c)=(1/ab)+(1/bc)+(1/ca)

a+b+c=(1/a)+(1/b)+(1/c)=(1/ab)+(1/bc)+(1/ca)
が成立するとき、a,b,cのいずれかは1に等しいことを証明する問題です。
上記の式から、abc=1, a+b+c=ab+bc+caがいえると思うので
(x-a)(x-b)(x-c)=0を考えて、
x^3-(a+b+c)x^2+(ab+bc+ca)x-abc=0
すなわち x^3-(a+b+c)x^2+( a+b+c)x-1=0
この式はx=1で成立するので、(x-a)(x-b)(x-c)=0に
x=1を代入して
(1-a)(1-b)(1-c)=0
この式が成立するためには、a,b,cのいずれかが1に等しくなければならない、と解きました。この解きかたでよろしいでしょうか。

Aベストアンサー

blackleonさん、こんにちは。

a+b+c=(1/a)+(1/b)+(1/c)=(1/ab)+(1/bc)+(1/ca)
>上記の式から、abc=1, a+b+c=ab+bc+caがいえると思うので

ということですが、ちょっと変形してみると

a+b+c=(1/a)+(1/b)+(1/c)=(1/ab)+(1/bc)+(1/ca)
a+b+c=(bc+ca+ab)/abc=(a+b+c)/abc・・・(★)

というところから、
a+b+c=(a+b+c)/abc
(a+b+c){1-(1/abc)}=0
ゆえに、
a+b+c=0または1-(1/abc)=0すなわちabc=1
と出てくるんじゃないでしょうか。

a+b+c=0またはabc=1のいずれかがいえるので、場合わけしないといけないのではないでしょうか。

さて、1,/a,1/b,1/cなどが実数として存在するので
a≠0,b≠0,c≠0はいえるのかなと思います。
そうすると

(1)a+b+c=0のとき(★)は

(ab+bc+ca)/abc=0
ab+bc+ca=0

ところで、a+b+c=0より、c=-(a+b)ですのでこれを代入すると
ab+bc+ca=ab+(a+b)c=ab-(a+b)^2=0
a^2+ab+b^2=0
となりますが、これをaについての2次方程式だとみて判別式をとると
D=b^2-4b^2=-3b^2
これが0以上であるためには、b=0でなければならないが
1/bが存在するためにはb≠0であったから、(1)の場合は不適。

よって
(2)abc=1
の場合だけを考えればいいことになると思います。

blackleonさんの解き方いいと思いますが、文字を消去して
式変形で無理やり持っていってもいいかも。

a+b+c=ab+bc+caを変形。
abc=1より、c=1/abを代入(a≠0,b≠0)

1/a+1/b+1/c=1/ab+1/bc+1/caに代入

1/a+1/b+ab=1/ab+(a+b)/abc
{b+a+(ab)^2}/ab={1+ab(a+b)}/ab
両辺ab倍して
(a+b)+(ab)^2=1+ab(a+b)
(a+b){1-ab}+(ab-1)(ab+1)
=(1-ab){(a+b)-(ab+1)}=0
ゆえに、ab=1またはa+b-ab-1=0

ab=1のとき、abc=1とあわせて、c=1となって
少なくとも一つ1であるを満たす。

a+b-ab-1=0のとき、
(a-1)(b-1)=0と同じであるから、a=1またはb=1

となって、a,b,cいずれかは1である。
・・・と無理やり持っていきましたが、いつも素晴らしい解法が見つかるわけではないので
文字を消去していくのは確実ですよ。

blackleonさん、こんにちは。

a+b+c=(1/a)+(1/b)+(1/c)=(1/ab)+(1/bc)+(1/ca)
>上記の式から、abc=1, a+b+c=ab+bc+caがいえると思うので

ということですが、ちょっと変形してみると

a+b+c=(1/a)+(1/b)+(1/c)=(1/ab)+(1/bc)+(1/ca)
a+b+c=(bc+ca+ab)/abc=(a+b+c)/abc・・・(★)

というところから、
a+b+c=(a+b+c)/abc
(a+b+c){1-(1/abc)}=0
ゆえに、
a+b+c=0または1-(1/abc)=0すなわちabc=1
と出てくるんじゃないでしょうか。

a+b+c=0またはabc=1のいずれかがいえるので、場合わけしない...続きを読む

Qインバーターと蛍光灯

インバーターの取説には蛍光灯は使用不可と書いてあります。
実際蛍光灯をインバータで使用し、蛍光灯の電源をOFFにせずにエンジンを切り(ここまでは蛍光灯はつきました)、再度エンジンを作動しても、蛍光灯は付きません。



なぜなのでしょうか?

Aベストアンサー

どんな蛍光灯でしょうか?

QF_n=(a+b+c)^(2n+1)-{a^(2n+1)+b^(2n+1)+c^(2n+1)} の因数分解

F_n=(a+b+c)^(2n+1)-{a^(2n+1)+b^(2n+1)+c^(2n+1)} 
(n=1,2,3,4,5)
を因数分解せよ、という問題なのですが、どすればよいのでしょうか?

なお、答えは、

F_1=3(b+c)(c+a)(a+b)
F_2=5(b+c)(c+a)(a+b)(Σa^2+Σab)
F_3=7(b+c)(c+a)(a+b)(Σa^4+2Σa^3 b+3Σa^2 b^2+5Σa^2 bc)
F_4=3(b+c)(c+a)(a+b)(3Σa^6+9Σa^5 b+19Σa^4 b^2+35Σa^4 bc+23Σa^3 b^3+63Σa^3 b^2 c)
F_5=11(b+c)(c+a)(a+b)(Σa^8+4Σa^7 b+11Σa^6 b^2+21Σa^6 bc+9Σa^5 b^3+54Σa^5 b^2 c+23Σa^4 b^4+84Σa^4 b^3 c+123Σa^4 b^2 c^2+159Σa^3 b^3 c^2)

のようなのですが、(b+c)(c+a)(a+b)を因数に持つことは分かりますが、残りの因数はどうやってもとめるのでしょうか?

一文字を変数と見て、地道に割り算するしかないのでしょうか?
効率的な計算方法はありますでしょうか?

F_n=(a+b+c)^(2n+1)-{a^(2n+1)+b^(2n+1)+c^(2n+1)} 
(n=1,2,3,4,5)
を因数分解せよ、という問題なのですが、どすればよいのでしょうか?

なお、答えは、

F_1=3(b+c)(c+a)(a+b)
F_2=5(b+c)(c+a)(a+b)(Σa^2+Σab)
F_3=7(b+c)(c+a)(a+b)(Σa^4+2Σa^3 b+3Σa^2 b^2+5Σa^2 bc)
F_4=3(b+c)(c+a)(a+b)(3Σa^6+9Σa^5 b+19Σa^4 b^2+35Σa^4 bc+23Σa^3 b^3+63Σa^3 b^2 c)
F_5=11(b+c)(c+a)(a+b)(Σa^8+4Σa^7 b+11Σa^6 b^2+21Σa^6 bc+9Σa^5 b^3+54Σa^5 b^2 c+23Σa^4 b^4+84Σa^4 b^3 c+123Σa^4 b^2 c^2+159Σa^3 b^3 c^...続きを読む

Aベストアンサー

最後までは計算していませんが、次の方法でできそうです。
F_n = (b+c)(c+a)(a+b)(Σ[ABC] k_ABC a^A b^B c^C) とおきます。
(ここで、A+B+C = 2n+1 です。)
展開すると、F_n = (a^2 b + 略 + 2abc)(Σ[ABC] k_ABC a^A b^B c^C) です。
そして、F_n を例えば、a で A+2 回偏微分、a で B+1 回偏微分、
a で C 回偏微分、した後、a,b,c に 0 を代入します。
F_n=(a+b+c)^(2n+1)-{a^(2n+1)+b^(2n+1)+c^(2n+1)} に対しても同じようにします。
このようにすると、例えば C > 0 であれば、
k_ABC (A+2)!(B+1)!(C)! = (2n+1)! となり、係数が得られます。

Q部屋のライトとが学習机の蛍光灯での顔

普通の部屋にあるライト(白色)と学習机の蛍光灯?(白色)を使っているのですが、キャノンの700万画素ぐらいのIXYのデジカメで学習机の蛍光灯のあたりにデジカメを置いてとると鏡に似たようなかんじで撮れるのですが、部屋のライトだけ(蛍光灯を消したとき)で撮った場合は鼻が大きくうつったり蛍光灯と部屋のライトを同時につけているときよりも不細工に写ります。これはwebカメラの動画でも同じでした
webカメラでは(これはデジカメでは試していませんが)学習机の蛍光灯のところに置いてライトと同時なら明るくうつって鏡と似たようなかんじになります。ライトを消して部屋が真っ暗で蛍光灯だけの光で顔をうつすと、ライトと蛍光灯を同時につけていたときと比べても明かりが暗くなるだけで顔はかわったように見えません。
私にとっては非常に興味深いことです。
これは学習机の白い蛍光灯のおかげなのか、それとも白い蛍光灯があってこその実物に近い顔なのか、どちらなのでしょうか?

Aベストアンサー

>結論のどちらが自分の実物の顔に近い、というのはわからないということでしょうか?
ちゃんとしたライティングと歪曲や収差のできるだけ少ない機材や設定で
撮影しないと、実物の顔に近いものなどとれませんよ。

ぶっちゃけていうなら、写真屋さんなどで撮ってもらう
「ポーズ写真」などが一番近くなると思います。
(証明写真はだめです、変わって見えてしまうから)

Q1/(1+x)+1/(1+x)^2+1/(1+x)^3=1の最小値を少

1/(1+x)+1/(1+x)^2+1/(1+x)^3=1の最小値を少数第7位まで求めよという問題なのですが,
1+x=yと置き換えて考えたのですけれど、躓きました。お力をお貸しください。

Aベストアンサー

他の方も書かれていますが、問題文が意味不明です。書かれていることをよく確認しましょう。

「1/(1+x)+1/(1+x)^2+1/(1+x)^3=1の最小値を少数第7位まで求めよ」
とありますが、「1/(1+x)+1/(1+x)^2+1/(1+x)^3=1」はあくまでも方程式であり、関数ではないので最大とか最小という議論にはなりません。お返事の内容から想像すると、
「方程式1/(1+x)+1/(1+x)^2+1/(1+x)^3=1の実数解を少数第7位まで求めよ」
という趣旨だと解釈しますが、それでよいですか?最大最小という議論をするのであれば、
「関数1/(1+x)+1/(1+x)^2+1/(1+x)^3の[0,1]における最小値を求めよ」
という感じになるはずですからね。

さて、置き換えを使ってもあんまり簡単にならないので、そのまま分母を払って整理すると、
「x^3+2x^2-2=0の実数解を少数第7位まで求めよ」
という感じになりますが、これは[0,1]に実数解をひとつ、さらに虚解がふたつあることは容易に分かります。で、その解ですが、カルダノの公式を使えば、
「3x=-2+(19-3√33)^{1/3}+(19+3√33)^{1/3}」
であることは容易に分かります。ただ、この値を手計算で少数第7位まで計算するのはやはり困難なので、近似計算を手計算するのであれば、ニュートン法あたりを使うのがオーソドックスでしょう。ちなみに、このxを20桁精度で計算すると、
「x=0.83928675521416113255…」
になります。

以下、ニュートン法。f(x)=x^3+2x^2-2とおいて、(x_n,f(x_n))で接線を引き、x軸との交点をx_{n+1}とおいてみましょう。そうすると簡単な計算から、
「x_{n+1}=2(x_n^3+x_n^2+1)/(3x_n^2+4x_n)」
となることが分かります。x_1=1からスタートすれば、x_nは解の近似を与えるから順番に計算していきます。そうすると、
「x_2=6/7=0.8…」
「x_3=811/966=0.839…」
「x_4=2070198913/2466616761=0.839286…」
「x_5=6263804199613897189499314834/7463246811294598892464483629=0.83928675521416…」
となるようですね。しかしニュートン法使ったところで、x_4辺りが手計算の限界のようには感じますが、これでも少数第6位ぐらいまでしか合わないみたいですね。ちなみに精度はステップをひとつ上げると桁数が倍になるぐらいの感じです。

他の方も書かれていますが、問題文が意味不明です。書かれていることをよく確認しましょう。

「1/(1+x)+1/(1+x)^2+1/(1+x)^3=1の最小値を少数第7位まで求めよ」
とありますが、「1/(1+x)+1/(1+x)^2+1/(1+x)^3=1」はあくまでも方程式であり、関数ではないので最大とか最小という議論にはなりません。お返事の内容から想像すると、
「方程式1/(1+x)+1/(1+x)^2+1/(1+x)^3=1の実数解を少数第7位まで求めよ」
という趣旨だと解釈しますが、それでよいですか?最大最小という議論をするのであれば、
「関数1/(1+x)+1/(1...続きを読む


このQ&Aを見た人がよく見るQ&A

人気Q&Aランキング

おすすめ情報