15/09/10 10:26:56.48 fwhHKoME.net
>>378
１次分数式の定義は？
398:１３２人目の素数さん
15/09/10 11:23:27.03 fwhHKoME.net
>>377
a(n+1) = (a(n)^2+2)/(2a(n))
a(n+1)+√2 = (a(n)+√2)^2/(2a(n))
1/(a(n+1)+√2) = 2/(a(n)+√2)-2√2/(a(n)+√2)^2
b(n) = √2/(a(n)+√2)とおくと
b(n+1) = 2b(n)-2b(n)^2
1-2b(n+1) = (1-b(n))^2
c(n) = 1-2b(n)とおくと
c(n+1) = c(n)^2
c(1) = 2√2-3
c(n) = (2√2-3)^(2^(n-1))
a(n) = √2(2/(1-c(n))-1)
= √2(2/(1-(2√2-3)^(2^(n-1)))-1)
なんか、等価でもっときれいな形式もありそうではあるが。
a(n) = √2(1+c(n))/(1-c(n))のほうがまだまし？
399:１３２人目の素数さん
15/09/10 11:43:27.03 1+1gfes7.net
>>377
a(n)=√2b(n)/c(n), b(1)=1 c(1)=√2 とおいて元の式に代入すると
√2b(n+1)/c(n+1) = b(n)/√2c(n) + c(n)/√2b(n) = √2{b(n)^2+c(n)^2}/2b(n)c(n)
分母分子比較して、 b(n+1)=b(n)^2+c(n)^2, c(n+1)=2b(n)c(n)
b(n+1)+c(n+1)=(b(n)+c(n))^2, b(n+1)－c(n+1)=(b(n)－c(n))^2
よって、 b(n)+c(n)=(1+√2)^(2^(n-1)), b(n)－c(n)=(1－√2)^(2^(n-1))
a(n)=√2・{(1+√2)^(2^(n-1))+(1－√2)^(2^(n-1)}/{(1+√2)^(2^(n-1))－(1－√2)^(2^(n-1)}
整理すると、a(1)=1, n≧2のとき a(n)=√2・{(1+√2)^(2^n)+1}/{(1+√2)^(2^n)－1}
400:１３２人目の素数さん
15/09/10 13:55:41.73 UqiYOrwz.net
>>383
> 分母分子比較して、 b(n+1)=b(n)^2+c(n)^2, c(n+1)=2b(n)c(n)
なんだよ、このトンデモ数学は！ ああ？
401:１３２人目の素数さん
15/09/10 14:05:04.55 fg01Fu9/.net
その等式を満たすb(n)とc(n)を何でもいいから見つければいい、という意味だろう
文脈を読め
402:１３２人目の素数さん
15/09/10 14:07:55.34 fUpTwTtH.net
>>377
問題の条件「a(n+1)＝a(n)/2+1/a(n)」の右辺が普通の解釈になるように「a(n+1)＝(a(n)/2)＋(1/a(n))」を指すのか、
それとも右辺が連分数のような形で表される「a(n+1)＝a(n)/(2＋1/a(n))」を指すのか、任意に2通りの解釈が出来るため、
条件を満たす解a(n)の一意性が保証されず、非適切な問題になって、国語辞書に書いてある多くの人が用いる意味での問題
になっていないと思われる (紙ではなく同じ大きさの1行の中に書くため、初期条件「a(1)=1」から、
「a(n+1)=a(n)/2+1/a(n)」という書き方では、大きい「＋」が小さい「+」になっていて、容易にこのような解釈が出来るとは思う)。
403:１３２人目の素数さん
15/09/10 14:10:29.20 fg01Fu9/.net
一方を普通の解釈と認めておきながら、直後に中立の立場をとるのかｗ
404:１３２人目の素数さん
15/09/10 14:12:15.99 fUpTwTtH.net
>>377
(>>386の続き)
非適切性の証明]：nはn≧1なる自然数変数なることを仮定してよい。そこで、nはn≧1なる自然数変数と仮定する。
2つの与えられた条件を両方共に満たす解a(n)が存在しないときは与えられた問題は確かに非適切である。
そこで、2つの与えられた条件を両方共に満たす解a(n)が存在するとする。そして、
2つの与えられた条件を両方共に満たす解a(n)が一意に存在したとする。初期条件a(1)＝1から
a(n+1)＝(a(n)/2)＋(1/a(n)) と解釈すると、任意のn≧1なる自然数nに対してa(n)≧1
であり、解(n)により1つの実数列{a(n)}が構成される。同様に、a(n+1)＝a(n)/(2＋1/a(n)) と解釈すると、
任意のn≧1なる自然数nに対してa(n)≧1であり、解(n)により1つの実数列{a(n)}が構成される。
よって、与えられた条件を満たすような、解の一意性が保証された解a(n)について、
任意のn≧1なる自然数nに対してa(n)≧1であり、解(n)により1つの実数列{a(n)}が構成される。
ここで、再度解の一意性が保証された解a(n)は、任意のn≧1なる自然数nに対して
a(n+1)＝(a(n)/2)＋(1/a(n))、a(n+1)＝a(n)/(2＋1/a(n)) を両方共に満たすことに注意する。
n≧1なる自然数nを任意に取る。実数列{a(n)}の第n項a(n)を＝kとおけば、a(n+1)＝(k/2)＋(1/k)、
a(n+1)＝k/(2＋1/k) が両方共に成り立つから、(k/2)＋(1/k)＝k/(2＋1/k) から k^2＋2＝(2k^2)/(2＋1/k)
であり、(k^2＋2)(2＋1/k)＝2k^2 だから、(k^2＋2)(2k＋1)＝2k^2 。従って、kを元に戻すと、
((a(n))^2＋2)(2・a(n)＋1)＝2(a(n))^2 。n≧1なる自然数nは任意だから、nを条件n≧1の下で走らせれば、
実数列{a(n)}について、任意のn≧1なる自然数nに対して第n項a(n)は ((a(n))^2＋2)(2・a(n)＋1)＝2(a(n))^2 を満たす。
よって、n＝1とすると、((a(1))^2＋2)(2・a(1)＋1)＝2(a(1))^2 であり、初期条件a(1)＝1から、(1^2＋2)(2・1＋1)＝2・1^2
だから、両辺をそれぞれ計算すると、9＝2を得る。しかし、9＝2は9≠2に反し矛盾する。
405:１３２人目の素数さん
15/09/10 14:20:24.52 fUpTwTtH.net
>>377
いや、>>388の
>同様に、a(n+1)＝a(n)/(2＋1/a(n)) と解釈すると、
>任意のn≧1なる自然数nに対してa(n)≧1であり、解(n)により1つの実数列{a(n)}が構成される。
>よって、与えられた条件を満たすような、解の一意性が保証された解a(n)について、
>任意のn≧1なる自然数nに対してa(n)≧1であり、解(n)により1つの実数列{a(n)}が構成される。
の部分は
>同様に、a(n+1)＝a(n)/(2＋1/a(n)) と解釈すると、
>任意のn≧1なる自然数nに対して「a(n)≧0」であり、解(n)により1つの実数列{a(n)}が構成される。
>よって、与えられた条件を満たすような、解の一意性が保証された解a(n)について、
>任意のn≧1なる自然数nに対して「a(n)≧0」であり、解(n)により1つの実数列{a(n)}が構成される。
ですな。「a(n)≧1」の部分は「a(n)≧0」訂正。
406:１３２人目の素数さん
15/09/10 14:35:56.00 fUpTwTtH.net
>>387
普通は普通の他の何物でもない。普通の解釈とは、
多くの人が認めそれに従うと思われる基準に則った解釈だよ。
沢山の人は「a(n+1)＝a(n)/2+1/a(n)」を見たら、
連分数の形で表された「a(n+1)＝a(n)/(2+1/a(n))」では
なく「a(n+1)＝(a(n)/2)+(1/a(n))」と解釈するだろうよ。
407:１３２人目の素数さん
15/09/10 15:04:56.68 fUpTwTtH.net
>>377
ちなみに、すぐ分かるとは思うのだが、論理の飛躍があるから、>>388の
>初期条件a(1)＝1から
>a(n+1)＝(a(n)/2)＋(1/a(n)) と解釈すると、任意のn≧1なる自然数nに対してa(n)≧1
>であり、
の部分は
>初期条件a(1)＝1から a(n+1)＝(a(n)/2)＋(1/a(n)) と解釈すると、任意のn≧1なる
>自然数nに対してa(n)＞0 。ここで、n≧2なる自然数nを任意に取ると、a(n)＞0だから、
>相加・相乗平均の関係により、a(n+1)＝(a(n)/2)＋(1/a(n))≧2√(1/2)＝√2 。
>n≧2なる自然数nは任意だから、nを条件n≧2の下で走らせると、任意のn≧2なる
>自然数nに対してa(n)≧√2 。よって、a(1)＝1＜√2 から、任意のn≧1なる自然数nに対して
>a(n)≧1 であり、
のような感じに訂正。さすがに任意のn≧1なる自然数nに対してa(n)＞0なることは、
直観的にも明らかで、nに関する帰納法からすぐ分かるとは思う。
408:１３２人目の素数さん
15/09/10 15:16:34.87 fUpTwTtH.net
>>377
幾度も悪いが、>>389は取り消しで、>>388の
>同様に、a(n+1)＝a(n)/(2＋1/a(n)) と解釈すると、
>任意のn≧1なる自然数nに対してa(n)≧1であり、解(n)により1つの実数列{a(n)}が構成される。
>よって、与えられた条件を満たすような、解の一意性が保証された解a(n)について、
>任意のn≧1なる自然数nに対してa(n)≧1であり、解(n)により1つの実数列{a(n)}が構成される。
の部分は
>同様に、a(n+1)＝a(n)/(2＋1/a(n)) と解釈すると、
>任意のn≧1なる自然数nに対して「a(n)＞0」であり、解(n)により1つの実数列{a(n)}が構成される。
>よって、与えられた条件を満たすような、解の一意性が保証された解a(n)について、
>任意のn≧1なる自然数nに対して「a(n)＞0」であり、解(n)により1つの実数列{a(n)}が構成される。
でした。「a(n)≧1」の部分を「a(n)＞0」に訂正すべきだったにもかかわらず、「a(n)≧0」と書いてしまいました。
こういう風に解釈しても、任意のn≧1なる自然数nに対してa(n)＞0なることは、
直観的にも明らかで、nに関する帰納法からすぐ分かるとは思う。
409:１３２人目の素数さん
15/09/10 16:06:11.07 fUpTwTtH.net
>>377
>>388の
>n≧1なる自然数nを任意に取る。実数列{a(n)}の第n項a(n)を＝kとおけば、a(n+1)＝(k/2)＋(1/k)、
>a(n+1)＝k/(2＋1/k) が両方共に成り立つから、(k/2)＋(1/k)＝k/(2＋1/k) から k^2＋2＝(2k^2)/(2＋1/k)
>であり、(k^2＋2)(2＋1/k)＝2k^2 だから、(k^2＋2)(2k＋1)＝2k^2 。従って、kを元に戻すと、
>((a(n))^2＋2)(2・a(n)＋1)＝2(a(n))^2 。n≧1なる自然数nは任意だから、nを条件n≧1の下で走らせれば、
>実数列{a(n)}について、任意のn≧1なる自然数nに対して第n項a(n)は ((a(n))^2＋2)(2・a(n)＋1)＝2(a(n))^2 を満たす。
>よって、n＝1とすると、((a(1))^2＋2)(2・a(1)＋1)＝2(a(1))^2 であり、初期条件a(1)＝1から、(1^2＋2)(2・1＋1)＝2・1^2
>だから、両辺をそれぞれ計算すると、9＝2を得る。しかし、9＝2は9≠2に反し矛盾する。
の部分は
>n≧1なる自然数nを任意に取る。実数列{a(n)}の第n項a(n)を＝kとおけば、a(n+1)＝(k/2)＋(1/k)、
>a(n+1)＝k/(2＋1/k) が両方共に成り立つから、(k/2)＋(1/k)＝k/(2＋1/k) から k^2＋2＝(2k^2)/(2＋1/k)
>であり、(k^2＋2)(2＋1/k)＝2k^2 だから、(k^2＋2)(2k＋1)＝2k^3 。従って、kを元に戻すと、
>((a(n))^2＋2)(2・a(n)＋1)＝2(a(n))^3 。n≧1なる自然数nは任意だから、nを条件n≧1の下で走らせれば、
>実数列{a(n)}について、任意のn≧1なる自然数nに対して第n項a(n)は ((a(n))^2＋2)(2・a(n)＋1)＝2(a(n))^3 を満たす。
>よって、n＝1とすると、((a(1))^2＋2)(2・a(1)＋1)＝2(a(1))^3 であり、初期条件a(1)＝1から、(1^2＋2)(2・1＋1)＝2・1^3
>だから、両辺をそれぞれ計算すると、9＝2を得る。しかし、9＝2は9≠2に反し矛盾する。
と訂正ですな。
410:１３２人目の素数さん
15/09/10 16:20:37.27 UqiYOrwz.net
(1) Σ[k=1 to 4^m] (1/k)^{1/m}、mは2以上の自然数
(2) m(4^{m-1}-1)/(m-1) + 5/8
(1)と(2)の整数部分は等しいことを示せ。
411:１３２人目の素数さん
15/09/10 21:48:53.01 fwhHKoME.net
なんか変な荒れ方してるが、まあどうでもいい
>>383
b(n)とc(n)の決め方が、３次方程式を解くカルダノの方法のuとvの探し方みたいですな。
2√2-3 = (1+√2)^(-2)だから、>>382は汚いけど答えは一致したってことで。
412:１３２人目の素数さん
15/09/10 22:19:31.06 fwhHKoME.net
あ、違う。(1+√2)^(-2) = 3-2√2だな。あれ？
ああそうか、だから>>383ではa(1)をまとめられなかったのか。
413:１３２人目の素数さん
15/09/10 22:24:24.58 Fdi5OLRB.net
>>377
蛇足だと思うが、一言
漸化式を見ると、右辺の非対称性が気になる。そこで全体を√2で割りたくなるが、すると
a_{n+1}/√2=(1/2){(a_n/√2)+(√2/a_n)}
と、数列a_{n}/√2は、「そのものと、そのものの逆数の平均」が次の項となるような数列にすることができる
このようなある種の平均が次の項になるという漸化式を、三角関数の加法定理を利用して解いた経験から、
その辺にヒントがあるだろうと、公式集を見てみると、coth(x)が将にそれにあたる
つまり、a_{n}/√2 ～ (e^x+e^(-x))/(e^x-e^(-x)) ～ (X+1)/(X-1)
実際 (X+1)/(X-1) は、逆数と和を取って半分にすると言う変換を行うと
(1/2){(X+1)/(X-1) + (X-1)/(X+1)} = (X^2+1)/(X^2-1)
と指数部分が二倍になるという、形の変化に対応することが確認でき、外形が定まる。
a_{n}/√2 = (X^(2^n)+1)/(X^(2^n)-1)
後は、定数を定めれば良い。定数と言っても、ここでは、X=e^(2cx)としているので、Xそのもの
1/√2 = (X+1)/(X-1)を解いて、X=-3-2√2。整理すると
a_{n}=(X^Y+1)/(X^Y-1),X=-3-2√2,Y=2^(n-1)
あるいは、虚数単位Iを使い
a_{n}=(X^Y+1)/(X^Y-1),X=I(1+√2),Y=2^n
結局、これは、ニュートン法のはなしだね。決してバケモノクラスの問題では無い。
414:１３２人目の素数さん
15/09/10 22:27:42.42 Fdi5OLRB.net
あ、ミスった
>> a_{n}=√2(X^Y+1)/(X^Y-1),X=-3-2√2,Y=2^(n-1)
>> あるいは、虚数単位Iを使い
>> a_{n}=√2(X^Y+1)/(X^Y-1),X=I(1+√2),Y=2^n
に訂正
415:１３２人目の素数さん
15/09/11 02:26:59.14 StCc9XNv.net
tan1°+√2は無理数であることを証明せよ
416:１３２人目の素数さん
15/09/11 07:37:43.35 jICTOxiG.net
>>395-398
nはn≧1なる自然数変数なることを仮定してよい。そこで、nはn≧1なる自然数変数と仮定する。
a(1)＝1、a(n+1)＝a(n)/(2＋1/a(n)) と解釈すると、任意のn≧1なる自然数nに対してa(n)＞0 。
n≧1なる自然数nを任意に取る。すると、a(n)＞0 であり、a(n+1)＝a(n)/(2＋1/a(n))＞0 だから、
1/(a(n+1))＝(2＋1/a(n))/(a(n))＝(2/a(n))＋(1/a(n))^2 。よって、各i＝n, n+1 に対して b(i)＝1/a(i) とおけば、
b(n)＝1/a(n)、b(n+1)＝1/a(n+1) が両方共に成り立ち、b(n+1)＝2・b(n)＋(b(n))^2 つまり b(n+1)＝(b(n))^2＋2・b(n) 。
n≧1なる自然数nは任意だから、nを条件n≧1の下で走らせると、与えられた問題は b(1)＝1、b(n+1)＝(b(n))^2＋2・b(n)
を満たし、任意のn≧1なる自然数nに対して b(n)＝1/a(n) と変換して定義される実数列{b(n)}を求める問題に帰着される。
そこで、b(1)＝1、b(n+1)＝(b(n))^2＋2・b(n) のときの解b(n)を求めることを考える。…… 。
仮に a(1)＝1、a(n+1)＝a(n)/(2＋1/a(n)) だったと解釈すると、非線形の漸化式 b(1)＝1、b(n+1)＝(b(n))^2＋2・b(n)
の解b(n)を求める問題に帰着されるんだが、ここから先分かる？ >>377のいう
>Wolframとか使わずに初見で解いたらバケモノ
って、多分こっちの話だぞ。連分数の形で書かれた式 a(1)＝1、a(n+1)＝a(n)/(2＋1/a(n))
で書いたと解釈すると、線型の漸化式ではなく、非線形の漸化式を解く問題になる。
417:１３２人目の素数さん
15/09/11 08:03:25.27 jICTOxiG.net
>>395-398
あ～、この場合は条件式 b(n+1)＝(b(n))^2＋2・b(n) の両辺に1を足して
b(n+1)＋1＝(b(n))^2＋2・b(n)＋1＝(b(n)＋1)^2 になる。
また、n＝1 のときは、b(1)＝1 なので、b(1)＋1＝2。なので、
任意のn≧1なる自然数nに対して c(n)＝b(n)＋1 と変換すると
c(1)＝2、c(n+1)＝(c(n))^2 の解c(n)を求める問題に容易に帰着出来て、
この解c(n)はすぐ求まるのか。なので、解b(n)も容易に求まり、
従って、元々の解a(n)もすぐ求まるという仕組み�
418:ﾆいうか方針か。 なるほど。これは失礼を致した。大抵、非線形の問題を解くことは難しいんだけど。
419:１３２人目の素数さん
15/09/11 09:05:02.17 V6ntLYDb.net
既出だったらすまんが
(無理数)^(無理数)が有理数になりえることを、初等的な例を挙げて示せ。
420:１３２人目の素数さん
15/09/11 09:26:41.76 AfBlc+HR.net
>>399
tan1°は代数的無理数で、tan1°を根とする既約多項式があり、次数はいくつだか分からないが、
少なくとも５次以上であることを、証明なしに使うこととする。
√2は、G(x)=x^2-2の根
tan1°+√2が有理数だと仮定すると、ある整数pとqを使って表せるH(x)=px+qの根となる
G(x)をH(x)で割った商を ax+b 、余りを c（cは有理数）とすると
G(x)=(ax+b)H(x) + c、と書ける。
G(tan1°+√2)=(tan1°+√2)^2-2=(a(tan1°+√2)+b)H(tan1°+√2)＋c=c
となるが、変形すると、
tan1°=-√2±√(c+2)
右辺は、せいぜい４次の多項式の根であり、tan1°が５次以上の既約多項式の根であることと矛盾する
421:１３２人目の素数さん
15/09/11 09:32:27.32 fRi0Wl2l.net
>>402
(2^√2)^√2 とかかな
422:１３２人目の素数さん
15/09/11 09:36:03.42 tWZwSoqi.net
>>402
ここで既出かどうかは知らないが、
世間的に有名なやつだ。
(√3)^√2が有理数なら、それが実例になり、
無理数なら、((√3)^√2)^√2=3が実例になる。
どっちなのかは、判らん。
423:１３２人目の素数さん
15/09/11 09:37:42.70 jICTOxiG.net
初等的がどういう意味かは知らないが、e^{log(5)}＝5 だな。
確かにeは無理数で、log(5)は超越数だから、無理数になる。5は確かに有理数。
eもlog(5)も高校で出て来るから、初等的になるでしょう。
424:１３２人目の素数さん
15/09/11 10:37:21.00 ZFHN8CXT.net
当然「初等的な範囲で証明できる例」という意味で>>405みたいなのを
想定してるんでしょうな。
（排中律を使った証明を嫌がる人が沸いてくる面倒な案件ではあるw）
425:１３２人目の素数さん
15/09/11 11:14:02.69 /suPxUqm.net
結構有名なのか
この証明法を知ったときは目から鱗だった
log(2)の無理性を示す方針も可
解答例
√2は無理数である
さて、a=(√2)^(√2)とすると
aは実数であるから
aは有理数、無理数のいずれかであるが
i) aを有理数と仮定すると
a自体が(無理数)^(無理数)=(有理数)の例である
ii) aを無理数と仮定すると
a^(√2)=2であり、これは(無理数)^(無理数)=(有理数)の例である
i)、ii)より、(無理数)^(無理数)が有理数になりえることが示された
426:１３２人目の素数さん
15/09/11 11:21:30.73 /suPxUqm.net
あ、俺は402ね
427:１３２人目の素数さん
15/09/11 12:32:47.97 FOBod9Ir.net
>>403
正解かな いちおうtan1°が5次以上ってのも示して欲しいけど
あとtan1°+√2=p (pは有理数)とすると
(tan1°)^2-2ptan1°+p^2-2=0と変形出来るから3次以上ってことさえ証明すれば十分
428:１３２人目の素数さん
15/09/11 13:51:57.87 y87/SChC.net
>>402
(√2)^(2log[2](3))=3
これなら無理数性の証明まで十分高校レベル
429:１３２人目の素数さん
15/09/11 15:03:07.40 26HmIQf3.net
xが無理数のときx^xが有理数となり得るか？
430:１３２人目の素数さん
15/09/11 15:28:54.94 FOBod9Ir.net
>>410のヒントは倍角の公式使ってcosに帰着させる
あとは>>364の応用だけ
431:１３２人目の素数さん
15/09/11 15:36:02.35 FOBod9Ir.net
倍角というより半角の公式か
432:１３２人目の素数さん
15/09/11 22:12:41.62 tWZwSoqi.net
>>411
log[2](3)が無理数であることは、
eが超越数であることから導かれる。
eの超越性は、超高校級かなと思う。
433:１３２人目の素数さん
15/09/11 22:19:01.24 JDCgBl3X.net
>>415
log[2](3)=p/q (p,qは整数 q≠0)とすると
3^q=2^p
素因数分解の一意性から矛盾
どこにeの超越性を使ってるんだ？ん？
434:１３２人目の素数さん
15/09/11 22:25:35.73 JDCgBl3X.net
ちなみに>>405はゲルフォント･シュナイダーの定理から(√3)^(√2)=3^(√(2)/2)は無理数
435:１３２人目の素数さん
15/09/11 23:03:39.94 tWZwSoqi.net
>>416
ああ、そうか。
e^{log(5)}のとき思っていたことを
つい書いてしまったが、
君のは、底が2だった。
すまんかったな。
436:１３２人目の素数さん
15/09/12 16:53:16.38 XRx2A6+T.net
>>412
x^x=2 となる実数 x が存在する。
（関数 f(x)=x^x は 区間 [1,2] で連続、f(1)=1, f(2)=4 と中間値の定理から）
その x が有理数 p/q (p,q は自然数で互いに素) であると仮定すると、
(p/q)^(p/q)=2
p^p=2^q*q^p (*)
p≠1 のとき
(*)の左辺は p 乗数だが右辺は p 乗数でないので矛盾。
p=1 のとき
(*)の左辺は 1、右辺は 2 以上なので矛盾。
したがって、この x は無理数。
∴ x が無理数のとき x^x は有理数となり得る。
437:１３２人目の素数さん
15/09/14 03:29:58.20 kfYtajnS.net
半円をいくつかの合同な図形に分割せよ
ただし扇形は用いてはいけない
438:１３２人目の素数さん
15/09/14 09:35:08.29 O6d93CqM.net
中心点対称なギザギザかグニャグニャで
放射状に分割すればいい。
扇形ではない。って、トンチかい！
439:１３２人目の素数さん
15/09/14 10:46:09.32 qG0LsQ64.net
>>421
少しでもギザやぐにゃあれば合同にならない気がするけど
440:１３２人目の素数さん
15/09/14 10:51:30.03 dnSa0BIn.net
無限個の三角形に分割
441:１３２人目の素数さん
15/09/14 12:00:35.58 OT7kPGqS.net
そもそも出来るの？
442:１３２人目の素数さん
15/09/14 12:43:05.62 GHCoaB5O.net
扇形に面積0の切れ目でも入れとけ
それとも4つの扇形にして扇形2つを1図形とするか
443:１３２人目の素数さん
15/09/14 13:07:38.24 eiNVFbFa.net
「円」じゃなくて「半円」だよね？
半円を合同な図形に分割するんだよね？
難しくね？
444:１３２人目の素数さん
15/09/14 18:02:17.18 hCCSNFoO.net
扇型の一部を切り抜いて、飛び地を持つ図形にすればいい
445:１３２人目の素数さん
15/09/14 18:09:26.69 72x0Si/g.net
>>427
飛び地と本体との間隔がそれぞれ違くならない？
446:１３２人目の素数さん
15/09/14 18:11:27.48 72x0Si/g.net
あぁ二つに
447:１３２人目の素数さん
15/09/14 18:12:03.03 72x0Si/g.net
すればいいだけか
448:１３２人目の素数さん
15/09/14 18:31:29.17 N6lFSlFA.net
裏返しになるから合同じゃなくね？
449:１３２人目の素数さん
15/09/14 18:34:32.94 Yv3jNlqx.net
えっ
450:１３２人目の素数さん
15/09/14 19:58:31.91 O6d93CqM.net
>>426
ああ、半円か！
バナッハタルスキ使う？
451:１３２人目の素数さん
15/09/14 22:12:07.21 W7Wo0lmA.net
合同じゃなくて相似なら（そして境界線が健全な曲線でなくていいなら）
なんとでもやりようがあるのだが
452:１３２人目の素数さん
15/09/14 22:24:43.97 KixLyrfi.net
有限個に分割とは書いてないので、半円状の各点について一点集合を考えれば…
453:１３２人目の素数さん
15/09/14 22:49:53.17 /BVJmROY.net
いくつかの合同な図形=何種類かの合同な図形の組だったりしないよな
454:１３２人目の素数さん
15/09/15 12:02:42.56 zynqzyx5.net
簡単かもしれんが…。
(1) 多項式 f(x) に対して、f(f(x))-x は f(x)-x で割り切れることを示せ。
(2) f(x) が分数式や無理式の場合はどうか？
455:１３２人目の素数さん
15/09/15 12:15:35.76 GA6S6TvJ.net
>>437
ｽﾚﾘﾝｸ(prog板:58-59番)
456:１３２人目の素数さん
15/09/15 15:51:40.50 eoTYkqja.net
>>437
f(x)=f(a)+(x-a)f'(a)+(1/2)(x-a)^2f''(a)+(1/6)(x-a)^3f'''(a)+...
これは、f(x)をx=aの周りでテイラー展開したものだが、任意のfに対する、aとxの恒等式とも言える。
a=f(x)を代入すると
f(x)=f(f(x))+(x-f(x))f'(f(x))+(1/2)(x-f(x))^2f''(f(x))+(1/6)(x-f(x))^3f'''(f(x))+...
f(f(x))-x=(f(x)-x){1+f'(f(x))}+(1/2)(f(x)-x)^2f''(f(x))+(1/6)(f(x)-x)^3f'''(f(x))+...
(1)についてはこの式が示すとおり、右辺は f(x)-x をくくり出せる。
(2)については、多項式ならテイラー展開が有限項で終了するため、「割り切れる」と言えるが、
分数式や無理式の場合は、その限りではない。
457:１３２人目の素数さん
15/09/15 21:09:35.48 8akIzv6y.net
テイラー展開て…(w)
f が多項式の場合は、
f(x) に x を代入すれば、因数定理から言える。
分数式の場合は、
「割りきれる」って何だよ？いったい。
458:１３２人目の素数さん
15/09/16 22:01:39.84 S7UxYdIg.net
数学セミナーのエレガント問題の１問目の問題の意味がが分かりにくい
459:１３２人目の素数さん
15/09/17 00:19:26.02 jFduSAB3.net
□に入る数は？
┌┏━━┳━━┓
│┃03m^2 ┃05m^2 ┃
04┣━━╋━━┻━┓
..ｍ┃□m^2 ┃07m^2 ┃
│┃ ┃ ┃
└┗━━┻━━━┛
└──05ｍ──┘
460:１３２人目の素数さん
15/09/17 05:24:54.19 06qzLFtg.net
>>442
(4-x)y=3 xy=z x(5-y)=7 (x,y,z)=(2,3/2,3)
461:１３２人目の素数さん
15/09/17 20:34:26.60 jFduSAB3.net
>>443
(x,y,z)=(14/5,5/2,7)は？
462:１３２人目の素数さん
15/09/17 20:39:10.68 06qzLFtg.net
>>444
z≦4×5-(3+5+7)
463:１３２人目の素数さん
15/09/18 00:57:29.06 Tt4bLCB0.net
>>362
「これは全く甘い評価だが、よりきつくする方法は分からない」ってエルデシュが言ってた
464:１３２人目の素数さん
15/09/19 15:25:20.95 Tw0+rA3T.net
とんでもない新発見が下記のレスに掲載されています。
誰でも普通の電卓で、対数の計算ができる方法です。それも、上位10ケタ以上の精度で。
スレ名 雑談はここに書け！ 【52】 >>909,910
驚くべきことに、{÷1000…0} と {×,＝,＝,＝,＝,×,＝} の入力を交互に繰り返すだけで、対数の精密な計算ができる。
特に、常用対数の場合、メモですら不要(求める常用対数自体のメモを除いて)。
なお、後者の×と＝の入力は、カシオ製の場合、最初に×を二回入力して、{×,×,＝,＝,＝,＝,×,＝} と入力します。
465:１３２人目の素数さん
15/09/19 19:03:31.01 YTsbvMiC.net
>>447
思いのほか「スレの反応が悪くて」自演までしているようだな。みっともない奴だ。
「とんでもない新発見」は言い過ぎ。せいぜい「小技」で終わること。
こういうのは、巷にあふれている「暗算が簡単にできる裏ワザ」と同じなんだよ。
あれも「とんでもない新発見」なんて大げさなトーンでは紹介されておらず、
せいぜい「そういう小技があるよ」っていうトーンで話すものだろ。
それもそもはず、既存の計算法をちょっと工夫しただけのシロモノだからな。
この対数計算も同じで、せいぜい「小技」で終わること。
あと、日常的に対数を計算したいような環境なら関数電卓があるはずだから、
この計算法が役に立つ場面は極めて少ない。ていうか、最近はスマホのアプリにも
関数電卓があるので、この計算法は実質的にはオワッテル。この計算法が役に立つ場面といえば、
「対数を計算したいけど、手元にはPCもスマホも関数電卓もなく、しかし普通の電卓だけはある」
という、極めて限定的な状況に�
466:ﾀられる。なので、この計算法は実質的には役に立たない。 そういう実用上の意味においても、「暗算が簡単にできる裏ワザ」と同じニオイを感じる。 ああいう話をマジメに実践する人間は ほとんどいないだろ？ 読んだ瞬間は「へー面白いね」と思うかもしれないけど。 この対数計算も同じで、せいぜい「へー面白いね」で終わる話。 ちょっと頭を冷やしてこい。
467:１３２人目の素数さん
15/09/19 19:40:25.05 4/EES2cC.net
自然数x,y,zと3以上の実数nについて、
x^n+y^n=z^nを満たし、xは平方因子を含まないとき、nは無理数であることを証明せよ
468:１３２人目の素数さん
15/09/19 20:15:13.80 sajS/Wje.net
電卓に強くなる―すぐに役立つ公式と実例
URLﾘﾝｸ(www.amazon.co.jp)
電卓で遊ぶ数学―これぞ究極の電卓使用術
URLﾘﾝｸ(www.amazon.co.jp)
469:１３２人目の素数さん
15/09/19 22:32:25.46 Eg02OxQq.net
俺は>>449を信頼している
だから正しいと思う
470:１３２人目の素数さん
15/09/19 22:40:30.50 4/EES2cC.net
>>449はフェルマーの最終定理を無条件に使っていいです
一応ヒントとしてはまずnは非整数の負の有理数ということを示して両辺z^nで割ってうまく二項定理を使います
471:１３２人目の素数さん
15/09/19 22:41:08.24 4/EES2cC.net
ごめんなさい
非整数の負の有理数を示すじゃなくて仮定してでした
472:１３２人目の素数さん
15/09/19 22:44:27.63 4/EES2cC.net
最訂正すいません
負を仮定じゃなくて正ならそのまま二項定理で負なら分子分母逆にして二項定理と場合分けするということです
473:１３２人目の素数さん
15/09/20 00:28:52.83 Wk6WNlkk.net
フェルマーの最終定理を持ち出しておいて、残りの鍵は二項定理なのかｗ
474:１３２人目の素数さん
15/09/20 01:32:32.42 zUm7npkW.net
a + b = cd
c + d = ab
を満たす自然数a,b,c,dの組を求めよ
475:１３２人目の素数さん
15/09/20 02:13:42.00 z6zgCrRD.net
>>455
あくまで最初のとっかかりのヒントです
実際に解くには体論を使う必要があります
476:１３２人目の素数さん
15/09/20 04:11:25.72 MKiplsKL.net
夜中に一人でシコシコ考えちまったよ。
式の対称性よりa,b,c,dの中で最大のものをxとおき残りをy,z,wとおくと
x+y=zw
z+w=xy
が成り立つ
xが最大なので3x>z+wが成り立つ-(1)
xy=z+wと(1)よりyは1か2に限定される
a)y=1のとき
x+1=zw
z+w=x
z+w+1=zw
z(w-1)=w+1
z=(w+1)/(w-1)
w>=4では5/3>=(w+1)/(w-1)>1となりzが整数であることに矛盾する
よってwは2,3に限定される
w=2のときはx=5,z=3
w=3のときはx=5,z=2
が導き出せる
b)y=2のとき
x+2=zw
z+w=2x
x=zw-2
z+w=2zw-4
w+4=z(2w-1)
z=(w+4)/(2w-1)
w>=6では10/11>=(w+4)/(2w-1)>0となりzが整数であることに矛盾する
よってwは2,3,4,5に限定される。
w=2のときx=2,z=2。w=3,4のときzが整数でない。w=5のときz=1,x=3でxが最大に矛盾する
以上より(x,y,z,w)=(2,2,2,2),(5,1,2,3),(5,1,3,2)
よって(a,b,c,d)=(2,2,2,2)(1,5,2,3)(1,5,3,2)(2,3,1,5)(2,3,5,1)(3,2,1,5)(3,2,5,1)(5,1,2,3)(5,1,3,2)
477:１３２人目の素数さん
15/09/20 09:11:04.85 ukEOKbPU.net
>>458
正解
引用元
URLﾘﾝｸ(detail.chiebukuro.yahoo.co.jp)
引用元の解答
2式を辺々足すと
a+b+c+d=ab+cd⇔(a-1)(b-1)+(c-1)(d-1)=2
(a-1)(b-1)≧0, (c-1)(d-1)≧0より
i) (a-1)(b-1)=0, (c-1)(d-1)=2
ii) (a-1)(b-1)=1, (c-1)(d-1)=1
iii) (a-1)(b-1)=2, (c-1)(d-1)=0
のいずれか
（後略）
478:１３２人目の素数さん
15/09/20 09:38:05.79 MKiplsKL.net
>>459
上手いもんだな。
感心するわ。
479:１３２人目の素数さん
15/09/20 09:46:35.03 MKiplsKL.net
よく見返してみると俺の回答微妙にミスってるな。
まあいいや、大筋はあってると思うし。
480:１３２人目の素数さん
15/09/20 09:53:15.35 bOB7SjJG.net
A:=a-1 とか置けばほぼ終了
481:１３２人目の素数さん
15/09/20 12:18:32.34 DTuQtUB8.net
n^2+n+2016が平方数となるような自然数nをすべて求めよ
482:１３２人目の素数さん
15/09/20 14:11:29.93 1+OHl2Py.net
>>463
nが有限であることは証明されているのですか？
483:１３２人目の素数さん
15/09/20 14:20:14.34 CgP4KDd+.net
>>463
180と2015
8063の素因数分解さえできれば、
最近は高校でも二次の不定方程式を普通に教えるからなあ。
484:１３２人目の素数さん
15/09/20 14:30:23.94 CMvyaFYq.net
nn+n+2016=:kk
(2n+1)^2-(2k)^2=1-4*2016
(2n+2k+1)(2n-2k+1)=-8063
…
tasikani 8063 no soinsuubunkaiga mendokusai
485:１３２人目の素数さん
15/09/20 15:13:14.72 CgP4KDd+.net
(1) (3n-1)(3n+1)+10^7が平方数となる自然数nを全て求めよ
(2) (3n-1)(3n+1)+10^17が平方数となる自然数nを全て求めよ
こうですかわかりません
486:１３２人目の素数さん
15/09/20 15:19:34.28 CgP4KDd+.net
(3) (3n-1)(3n+1)+10^23が平方数となる自然数nを全て求めよ
487:１３２人目の素数さん
15/09/20 16:09:20.88 r8IEuWih.net
(3n+1)(3n-1)+10^s=k^2
⇔9n^2-1-k^2+10^s=0
⇔(k+3n)(k-3n)=10^s-1
(1) s=7
10^7-1=9R_7=3^2*239*4649
(2) s=17
10^17-1=9R_17=3^2*2,071,723*5,363,222,357
(3) s=23
10^23-1=9R_23=3^2*11111111111111111111111
URLﾘﾝｸ(ja.wikipedia.org)レピュニット/
488:１３２人目の素数さん
15/09/20 16:21:31.42 CgP4KDd+.net
>>469
(3n-1)(3n+1)+10^7=9n^2+(10^7-1)が９の倍数なので
9n^2+(10^7-1)=9k^2としておくと
(k-n)(k+n)=(10^7-1)/9
となって、レピュニット数のみの素因数分解の問題になる、という流れを想定してた。
489:１３２人目の素数さん
15/09/20 16:25:53.81 CgP4KDd+.net
（sageたはずだったのだが、おかしいな）
別スレで4649という数を見かけたので、つい。
490:１３２人目の素数さん
15/09/20 16:29:07.97 r8IEuWih.net
>>470
なるほど
確認する組も少なくて楽
491:１３２人目の素数さん
15/09/20 19:11:39.38 CuFRKXU3.net
既出だったらすまない
単位円上に有理点が無限に存在することを示せ
なお、出題者は証明を3つ用意してある
492:１３２人目の素数さん
15/09/20 19:16:53.47 Wk6WNlkk.net
ググったら出てきた
URLﾘﾝｸ(en.wikipedia.org)
493:１３２人目の素数さん
15/09/20 19:17:40.94 08dwf8K0.net
ぱっと浮かんだ３つは
･tan(x/2)
･ちぇびしぇふ
･ぺる方程式
494:１３２人目の素数さん
15/09/20 19:31:34.08 CgP4KDd+.net
ピタゴラス数をいくらでも作れる有名な式を使うのが一番簡単か？
互いに素で偶奇の異なる自然数m,n（m>n）について
(m^2+n^2)^2 = (m^2-n^2)^2 + (2mn)^2
495:１３２人目の素数さん
15/09/20 19:45:51.67 CuFRKXU3.net
証明1（三角関数のパラメータ表示を使う方法）
tan(k/2)=tとおけば
cos(k)=(1-t^2)/(1+t^2), sin(k)=2t/(1+t^2)
(cos(k), sin(k))は単位円上の点
証明2（交点の座標を求める方法）
URLﾘﾝｸ(www.math.keio.ac.jp)
証明3（ピタゴラス数の生成式を用いる方法）
URLﾘﾝｸ(detail.chiebukuro.yahoo.co.jp)
俺が考えた証明とはいってない（小声）
496:１３２人目の素数さん
15/09/20 19:59:54.15 /j7kOe4r.net
その3つの違いがわからない
497:１３２人目の素数さん
15/09/20 20:10:47.87 CuFRKXU3.net
>>477証明1,2は>>476,477証明3でm=1のとき
まあ、多少はね？
498:１３２人目の素数さん
2015/09/21
499:(月) 00:06:52.53 ID:wBw2X2WH.net
500:１３２人目の素数さん
15/09/21 00:12:27.73 SidL6VZ2.net
「x^2+y^2=z^2 ,z>0 を満たす三整数(x,y,z)がある。
a=z-x、b=z-y としたとき、x,y,zをa,bを使って表せ。」
という問題を想定し、解くと、次の二通りの解が得られる。
x=b±√(2ab)、y=a±√(2ab)、z=a+b±√(2ab)
一つは、最初に用意していた(x,y,z)に一致するが、
X^2+Y^2=Z^2、Z-X=z-x、Z-Y=z-y を満たすもう一つの解（X,Y,Z）も見つかる。
これを共役解と呼ぶことにする。（お互いにもう一方の解を共役解と呼ぶことにする）
例えば、3^2+4^2=5^2からは、a=5-3=2、b=5-4=1となるが、√(2ab)=2なので、
x=1±2、y=2±2、z=1+2±2から、(x,y,z)=(3,4,5)と共役解(-1,0,1)が得られる。
ところが、(3,4,5)が解なら、(-3,4,5)も(-3,-4,5)も(3,-4,5)も
「x^2+y^2=z^2 ,z>0」を満たす解で、(-3,4,5)から、a=8,b=1として、共役解(5,12,13)、
(-3,-4,5)からは共役解(21,20,29)、(3,-4,5)からは共役解(15,8,17)が得られる。
そして、さらに、(5,12,13)を基本の解と思って、(-5,12,13)の共役解
(7,24,25)、(5,-12,13)の共役解(45,28,53)、(-5,-12,13)の共役解(55,48,73)
のように、一つのピタゴラス数から三つの新しいピタゴラス数が見つかり、
新しく見つかったそれぞれのピタゴラス数からも、三つづつのさらに新しい
ピタゴラス数が見つかる。つまり、無限にピタゴラス数を見つけ出すことができる。
501:１３２人目の素数さん
15/09/21 00:13:01.08 SidL6VZ2.net
2ab=2(z-x)(z-y)=2z^2-2(x+y)z+2xy=x^2+y^2+z^2-2(x+y)z+2xy=(x+y-z)^2 に注意すると、要は
{(z-y)±(x+y-z)}^2+{(z-x)±(x+y-z)}^2={(2z-x-y)±(x+y-z)}^2
という x^2+y^2=z^2下で成立する（条件付き）恒等式に集約される。
複合のプラス側を取ると、x^2+y^2=z^2 となり、価値は無いが
マイナス側を取ると、(2z-x-2y)^2+(2z-2x-y)^2=(3z-2x-2y)^2 (※1)
という、共役解を陽に確認できる式が得られる。
x → -xと変換すると (2z+x-2y)^2+(2z+2x-y)^2=(3z+2x-2y)^2 （※2）
さらに、y → -yと変換すると (2z+x+2y)^2+(2z+2x+y)^2=(3z+2x+2y)^2 （※3）
さらに、x → -xと変換すると (2z-x+2y)^2+(2z-2x+y)^2=(3z-2x+2y)^2 （※4）
のように、一つのピタゴラス数から、三つのピタゴラス数を導く式が得られる。
ピタゴラス数は、(3,4,5)を出発点とする三分木構造に埋め込むことができ、
「適切な方法」を定めれば、ピタゴラス数に、「順番」を与えることが可能。
あるピタゴラス数が示されれば、それが、何番目のピタゴラス数かを言うことも
逆に順番を指定し、それに対応するピタゴラス数を答えることも可能。
過去に 「ひたすらピタゴラス数を書くスレッド」のような掲示板があったので、
そこにたくさんのピタゴラス数を挙げたが、その時、ピタゴラス数発生の
アルゴリズムとして用いたのがこの方法。
502:１３２人目の素数さん
15/09/21 00:31:06.05 m2zTshdB.net
ピタゴラス数を生み出す行列のはなしだよね
503:１３２人目の素数さん
15/09/21 01:02:26.15 zlQLS8Fa.net
原始ピタゴラス数が無数に存在する⇔単位円上に有利点が無数に存在する
504:１３２人目の素数さん
15/09/21 01:30:18.15 zebtZ9PG.net
ピタゴラス数に順番を付けると(a/cを小さい順に並べると)a/cは1/√2に収束するのかな？
感覚的に
505:１３２人目の素数さん
15/09/21 01:41:07.70 zebtZ9PG.net
全ての原始ピタゴラス数(a,b,c) (a<b)から、a/cを小さい順に並べた数列をa_nとする。
ただしa_0=3/5とする。
lim(n→∞)と lim(n→-∞)をそれぞれ求めよ
506:１３２人目の素数さん
15/09/21 02:16:00.42 CDfCY14T.net
((3+4i)/5)^a.
507:１３２人目の素数さん
15/09/21 02:54:59.56 zlQLS8Fa.net
ピタゴラス数は(m^2-n^2, 2mn, m^2+n^2)で表せる
n=1のときを考える
m≧3でm^2-2m-1>0⇔m^2-1>2m
よってm≧3では(a, b, c)=(2m, m^2-1, m^2+1)
さて、Q_m=a/c=2m/(m^2+1) (m≧3)とすると
m→+∞のときQ_m=2/(m+(1/m))→0
0に収束するよ（予想）
508:１３２人目の素数さん
15/09/21 03:12:40.15 zlQLS8Fa.net
lim(n→-∞)a_n=0だよ（予想）
>>488はガバガバだったな
訂正
ピタゴラス数は自然数m, n (m>n)を用いて(m^2-n^2, 2mn, m^2+n^2)で表せる
m=n+1とおいてnを飛ばすとa/cの上限が見えるか？
509:１３２人目の素数さん
15/09/21 03:31:03.55 BwSfAQxg.net
>>486
問題として成立していないように思えるが。
そんな数列は作れないでしょ。
言いたいのはこれか？
a^2+b^2=c^2，a<bを満たす互いに素な自然数の組(a,b,c)全ての集合をPとするとき、
{x | x=a/c, (a,b,c)∈P}の上限及び下限を求めよ。
>>486に言うような、小さい順に並べた数列が存在しえないことも証明したいところ。
上記集合Pの，異なる２つの要素を(a,b,c)，(d,e,f)（ただし a/c < d/f）とするとき，
あるPの要素(x,y,z)が存在し，a/c < x/z < d/fとなることを示せ。
510:１３２人目の素数さん
15/09/21 03:43:38.48 BwSfAQxg.net
>>490
というか、これって、前半の問題で上限が1/√2、下限が0であることと
後半の問題の証明を合わせて、
単位円上に有理点が稠密に分布することを言ってるだけだな…
511:486
15/09/21 04:22:23.64 zebtZ9PG.net
数列自体存在しないの？
単位円上の任意の2点の有理点の間には異なる有理点が存在するってこと？
高校数学までしかやってないので用語がわからん…
512:486
15/09/21 04:26:08.81 zebtZ9PG.net
俺の予想ではa/cは0～1/√2の範囲でa<bの条件を外すと0～1になると思われる
513:１３２人目の素数さん
15/09/21 05:01:19.05 BwSfAQxg.net
>>492
小さい順に並べた数列が存在しないというのは
例えば「全ての正の有理数を小さい方から並べた数列」が作れないことを考えてもらえば。
にもかかわらず、「全ての正の有理数を含む数列」は作れるというのが、
無限の数を扱う難しさなのですよ。
＞単位円上の任意の2点の有理点の間には異なる有理点が存在するってこと？
そゆことです
514:１３２人目の素数さん
15/09/21 06:11:57.62 fDJotWMa.net
a^2+(a+1)^2が平方数となるような自然数aは無限に存在するか
515:１３２人目の素数さん
15/09/21 11:39:04.22 BwSfAQxg.net
>>495
任意の自然数kについて、
(1+√2)^k = m+n√2 （m,nは自然数，mは奇数）と表せること、
さらに、そのm,nを用いて (1-√2)^k = m-n√2と表せることは
数学的帰納法で容易に示せる
kが正の奇数のとき、(1+√2)^k × (1-√2)^k = -1となるので、
(m+n√2)(m-n√2) = -1 ∴ m^2-2n^2 = -1
ここで，mは奇数なので、m=2a+1とおくと、4a^2+4a+1-2n^2 = -1
これを変形すると、a^2+(a+1)^2 = n^2が得られる
異なるkに対して、異なる(a,n)の組が得られるので、
a^2+(a+1)^2が平方数となるようなaは無限に存在する
516:１３２人目の素数さん
15/09/21 12:31:37.12 H+zc29yF.net
テレンスタオの美しい解き方面白いよ。
回答者目線で数学オリンピックの問題を解く形式。
暇つぶしになる
517:１３２人目の素数さん
15/09/21 13:52:24.45 fDJotWMa.net
ax^2+bx+c=y^2が無限個の整数解をもつような整数a,b,cの条件を求めよ
518:１３２人目の素数さん
15/09/21 13:53:22.27 bh279fIm.net
>>495
x_{n}^2+y_{n}^2=z_{n}^2、 が成立するとき
x_{n+1}=2*x_{n}+1*y_{n}+2*z_{n}
y_{n+1}=1*x_{n}+2*y_{n}+2*z_{n}
z_{n+1}=2*x_{n}+2*y_{n}+3*z_{n} とすると、(>>482 の※3 で、xとyを入れ替えたものに相当）
x_{n+1}^2+y_{n+1}^2=z_{n+1}^2 が成立する
このとき、y_{n+1}-x_{n+1} = y_{n}-x_{n} なので、差が保存される。
3^2 + 4^2 = 5^2 というものが存在するので、a^2+(a+1)^2が平方数となるようなものは無数にある。
519:１３２人目の素数さん
15/09/21 19:37:27.38 mNqic+mi.net
中卒で分かりませんがツエータ関数というものがあるらしいです
φも分かりませんでもユークリッド正三角形なるものは
a点ｂ点交わるところのq点が有るのでしょうか
分かりませんごめんなさいでした割り込んで
520:
521:１３２人目の素数さん
15/09/21 19:48:26.68 zlQLS8Fa.net
ζ（ゼータ／ツェータ）関数？
何の問題かも分からんし
そもそもスレチでしょ
分らない問題はここに書いてね404 [転載禁止]©2ch.net
ｽﾚﾘﾝｸ(math板)
522:１３２人目の素数さん
15/09/21 21:17:29.58 gtDqKY3a.net
正方形を直角三角形を除く8枚の鋭角三角形のみで分割できることを示し、それが最小枚数であることを証明せよ
523:１３２人目の素数さん
15/09/21 21:52:18.63 Z3V2IWKL.net
鋭角三角形は無理じゃね？
どこかしら鈍角になりそうな
524:１３２人目の素数さん
15/09/21 22:07:19.88 BwSfAQxg.net
>>502
10枚ならできた。
８枚かあ…
525:１３２人目の素数さん
15/09/21 22:38:44.71 BwSfAQxg.net
８枚できた。
例：A(0,20)，B(0,0)，C(20,0)，D(20,20)，M(10,0)，N(10,20)，P(9,4)，Q(11,4)
PA,PB,QC,QD,PM,PN,QM,QN,PQを結ぶ
証明はまだ。
526:１３２人目の素数さん
15/09/21 22:44:59.52 BwSfAQxg.net
ちなみに、P,Qを取る場所は，
AB，CD，BM，CM，AN，DNを直径とする６つの円のいずれにも含まれない
上下２箇所の領域の片方の中に，大体左右対称に取ればよい。
527:１３２人目の素数さん
15/09/22 16:07:30.17 ZLtLRDuu.net
>>502
正方形ABCDを鋭角三角形で分割するとき、
A,B,C,Dからそれぞれ1本以上の辺が出ていなければならない。
仮に、辺BC上（Bを除く）に点EがあってAEを辺にもつ三角形があるとすると、
三角形ABEは直角三角形なので、AE上に頂点をとらなければ
鋭角三角形で分割できない。
点Eが辺CD上にある場合も同様。
よってAから出る辺は、正方形の内部にある頂点につながっている。
B,C,Dについても同じことがいえる。
仮に、正方形の内部に頂点が1個しかないとして、これを点Fとすると、
A,B,C,Dから出る辺はFにつながっていることになる。
∠AFB,∠BFC,∠CFD,∠DFAのいずれかは90°以上であるが、
どの場合も同様なので∠AFB≧90°とする。
このときFとAB上の点Gを結ぶ辺が無ければならない。
∠AGFか∠BGFのいずれかは90°以上なので、
Gから辺が出ていて、AFまたはBFと交わることになってしまい、
正方形の内部に頂点が1個しか無いという仮定に矛盾する。
よって正方形の内部には2個以上の頂点がある。
そのうちの2個をH,Iとする。
H,Iからそれぞれ5本以上の辺が出ていなければならず、
H,Iを頂点とする鋭角三角形は5個以上あることになる。
これらのうち重複するものがあるとすればHIを辺とするものであり、
その個数は最大2個である。
よって鋭角三角形の個数は少なくとも5+5-2=8個以上である。
528:１３２人目の素数さん
15/09/22 21:03:47.21 lhGzKtWu.net
内部の点には頂点しか集まらないことが前提になってない？
1つの辺と3つの頂点が集まっている場合もある。
例えば、ある内部点の回りが180°、60°、60°、60°で区切られている場合とか
529:１３２人目の素数さん
15/09/22 21:18:16.16 ZLtLRDuu.net
>>508
そういうものも含めて頂点と呼んでいるので、問題ないはず。
530:１３２人目の素数さん
15/09/22 22:13:30.88 V9wMy4Aa.net
>>509
＞H,Iからそれぞれ5本以上の辺が出ていなければならず、
＞H,Iを頂点とする鋭角三角形は5個以上あることになる。
のあたりで、H,Iが辺の途中にある可能性を無視していることを
指摘しているのだと思うが。
自分も、三角形の辺の途中に他の三角形の頂点があるケースがあるせいで
（つまり、グラフとしては四角形もしくはそれ以上で頂点にできる角が180°の物
の存在を排除できないため）
シンプルな場合分けができず面倒になってギブアップした。
正方形の４頂点以外に辺上に最低でも１点、内部に最低でも２点が存在することまでは
すぐ言えるのだが。
531:１３２人目の素数さん
15/09/22 22:26:29.90 ZLtLRDuu.net
>>510
あー、なるほど。その可能性をおもいっきり見逃してた。
>>507を土台にうまく修正できるかどうか。
それとも、まるっきり考え方を変える必要があるのかな？
532:１３２人目の素数さん
15/09/24 03:04:42.06 VcRgqQ8I.net
n個の鋭角三角形に分割できたとして
正方形の頂点以外の頂点の個数をvとすると
各頂点に集まる内角の個数に関して
3v+8≦3nよりv≦n-3
ここでn≦7とするとv≦4
よってv≦4かつn≦7となるような分割が存在しないことが示せればよい
あとは頼んだ
533:１３２人目の素数さん
15/09/26 01:59:16.33 KGE6XyvT.net
この問題か
Acute Square Triangulation
URLﾘﾝｸ(www.ics.uci.edu)
534:１３２人目の素数さん
15/09/26 01:59:41.85 KGE6XyvT.net
Survey of two-dimensional acute triangulations
Discrete Math. 313, Iss. 1 (2013) 35–49.
URLﾘﾝｸ(czamfirescu.tricube.de)
9頁
In the same busy year of 1960, Lindgren [54] described an acute triangulation of
the square (see Fig. 6), proving that it can be done with 8 triangles and that this is
optimal – Federico solved this independently in the same year. In 1966, Gardner also
gave a construction, which he reports in one of his mathematical columns (reprinted
in [35]), saying: “For days I was convinced that nine was the answer; then suddenly I
saw how to reduce it to eight”. We remark that, in fact, Gardner was trying to find
dissections of the square, and it happened that his configuration on eight triangles is a
triangulation. If he were looking for triangulations, this would have contradicted the
following matter.
Cassidy and Lord [15] continued the investigations of acutely triangulating the
square, publishing their results in 1980. They gave an alternative proof of the min-
imality (and combinatorial uniqueness) of the Federico-Lindgren construction on 8
triangles. They also showed that there is no triangulation consisting of exactly 9 tri-
angles, and proved that there exist acute triangulations of the square with k triangles
whenever k ≥ 10.
[54] H. Lindgren. A quadrilateral dissection. Austral. Math. Teacher 16 (1960) 64–65.
[15] Ch. Cassidy and G. Lord. A square acutely triangulated. J. Recr. Math. 13 (1980–
81) 263–268.
535:１３２人目の素数さん
15/09/26 02:39:33.02 MgrWGZzr.net
Journal of Recreational Mathematicsが大学の図書館にあるか判らん
536:513
15/09/26 03:05:19.37 MgrWGZzr.net
あるっぽいな
537:１３２人目の素数さん
15/09/26 04:08:58.11 jeE3BpXh.net
URLﾘﾝｸ(math.a.la9.jp)
正方形じゃなくて鈍角三角形バージョンの問題と解答を発見
538:１３２人目の素数さん
15/09/26 10:46:23.47 aSIv8JvA.net
>>513
どうやって見つけたんだ？貴様は神か？
539:513
15/09/26 11:20:48.61 smOIV1i/.net
>>518
divide square into acute triangle
でググっただけです（小声）
540:１３２人目の素数さん
15/09/26 19:43:56.60 Jz1cA5oo.net
よくわからんけど三角形分割ってことは
頂点が三角形の辺上にあるケースはそもそも考慮されて泣くね？
541:１３２人目の素数さん
15/09/27 04:15:48.86 qZeHHCLI.net
>>514の[15]を上げるまでの暇潰しに
URLﾘﾝｸ(www.itmedia.co.jp)
この時計は全ての時刻を表現可能である
（証明はｽﾚﾘﾝｸ(math板:136-138番)）
この周辺で面白い問題を作ってよ
542:１３２人目の素数さん
15/09/27 20:53:09.22 ONZsfJnq.net
上の時計で全ての正方形が光る回数の最小値と最大値を求めよ
543:１３２人目の素数さん
15/09/28 03:41:57.77 NXSABs39.net
>>522
12時は0と12のどちらを表示するのかによって話は変わるな。
544:１３２人目の素数さん
15/09/28 04:11:24.95 NXSABs39.net
>>522
ちなみに、最大の方では、時と分を表す数字を足して12以上になる場合のうち、
全ての正方形がひかる可能性がないのは8と8（8時40分）の場合のみ。
最小の方では、時または分が12を表示する場合のみ必ず全ての正方形がひかる。
分は12を表示することはないようなので、
時が1から12ならば12時台のみ必ず全てひかる。
0から11ならば、1の正方形のうちの片方は使わなくてもよくなる。
（ということは、やっぱり12時は12を表示するのだろうな）
（正確に言うと、「ひかる」ではなく「色がつく」だな）
545:１３２人目の素数さん
15/09/28 06:44:31.35 VbfJNND9.net
このスレでは未出題のようだから
n,n+2,n+4がいずれも素数になる自然数nを全て求めよ
546:１３２人目の素数さん
15/09/28 07:59:34.04 qwCqNxiY.net
つまらなすぎ
547:１３２人目の素数さん
15/09/28 09:45:45.18 NCZ2EFYi.net
ひねりがなんもないよな
548:１３２人目の素数さん
15/09/28 10:02:28.23 jlLelCrV.net
与えられた円の中心をコンパスのみで特定せよ
549:１３２人目の素数さん
15/09/28 22:29:57.43 NXSABs39.net
>>528
円周上にAB=BCとなるような３点A,B,Cを適当にとって
AB=BC=a、CA=bとおくと、
円の半径はa^2/√(4a^2-b^2)なので、その長さを
URLﾘﾝｸ(www.shinko-keirin.co.jp)
あたりを参考に作図すればいいよ
550:１３２人目の素数さん
15/09/29 02:25:06.10 nc3nLp6q.net
>>528
弦の垂直２等分線どうしの交点を求めるだけだが、
もしかして、定規は使っちゃいけないのか？
551:１３２人目の素数さん
15/09/29 03:19:11.03 azN8533W.net
コンパスだけでしょ
552:１３２人目の素数さん
15/09/29 04:16:04.08 /gO4uSCx.net
方眼紙上で定木のみを用いて面積7の正方形を作図できるか？
方眼紙の1つの升目の面積を1とする
553:１３２人目の素数さん
15/09/29 04:20:11.75 /gO4uSCx.net
つまり、面積が2平方数の和ではない正方形は作図できるか？
554:１３２人目の素数さん
15/09/29 08:15:26.52 2tetWzJ3.net
>>532
1x6のマス目の対角線は√7
これで正方形を作る
555:534
15/09/29 08:17:23.37 2tetWzJ3.net
間違ってた
上の無しで
556:１３２人目の素数さん
15/09/29 16:03:39.90 b0As/vwW.net
>>532
まず、定木のみの作図で新たに作れる点は、
既に存在する２点間を結んだ２直線の交点だけなので、
最初に格子点のみが全て与えられている状態から作図できるのは有理数点のみ。
２つの有理数点間の距離が√7になるとすると
x^2+y^2=7（x,yは有理数）となり、
x=m/k、y=n/k（m,nは整数，kは自然数で，m,n,kの最大公約数は1）とおくと，
m^2+n^2=7k^2とおける
ここで、整数Nについて
N^2≡0,1,2,4（mod 7）であり、N^2≡0となるのはNが7
557:の倍数のときだけなので、 m^2+n^2≡0（mod 7）より、mもnも7の倍数となるが、 その場合、kも7の倍数となり、m,n,kの最大公約数は1という条件に矛盾する よって、そのような有理数x,yは存在しないので、√7は作図できない。 √7の場合は、m,nの偶奇で場合分けしてmod 4で議論する手もあるが、 >>533のように一般化した議論では 2平方数の和ではない自然数の条件が、 n=a^2×b（a,bは自然数で、bは平方因子を持たず4k+3型の素数を因数として持つ） というものなので、bの素因数である4k+3型の素数をpとしてmod pで議論するのが より一般性がありそうだと考えた
558:１３２人目の素数さん
15/09/29 23:19:15.07 1WvbOcmu.net
F(1)=F(2)=1
F(n+2)=F(n+1)+F(n)
のときΣ[k=0~∞]1/F(2^k)を求めよ
559:１３２人目の素数さん
15/09/29 23:40:04.23 MmwWCV56.net
F(0)の値が定義されてないぞ
560:１３２人目の素数さん
15/09/29 23:45:51.82 sCkKbHjD.net
それが何か？
561:１３２人目の素数さん
15/09/30 01:12:56.07 W4f7D5tC.net
>>573
たまげたなあ
ネタバレ注意
URLﾘﾝｸ(imgur.com)
562:１３２人目の素数さん
15/09/30 01:14:25.58 W4f7D5tC.net
>>540は>>537に
563:１３２人目の素数さん
15/09/30 09:58:15.18 dmcZQwC0.net
>>540
kwsk
564:１３２人目の素数さん
15/09/30 10:50:49.83 lYRAE3q3.net
>>542
ウルフなんとかにぶちこんだだけ
565:１３２人目の素数さん
15/09/30 16:06:49.22 P+qfF9ot.net
>>537
F_{k-1}/F_{k} - F_{2k-1}/F_{2k} = ... = (-1)^k/F_{2k}
特に、kが偶数なら F_{k-1}/F_{k} - F_{2k-1}/F_{2k} = 1/F_{2k}
Σ[k=0~n]1/F(2^k) = 1/F(1) + 1/F(2) + Σ[k=2~n]1/F(2^k)
= 2 + Σ[k=2~n][ F_{2^(k-1)-1}/F_{2^(k-1)} - F_{2^k-1}/F_{2^k} ]
= 2+ F_{1}/F_{2} - F_{2^n-1}/F_{2^n} → 3 - 2/(1+√5) = (1/2)(7-√5) (n→∞)
566:１３２人目の素数さん
15/10/02 16:20:22.89 PIlMCyTn.net
F_1=F_2=1
F_(n+2)=F_(n+1)+F_n
のとき
Σ[n=1,∞](10^(-n))F_n
を求めよ
すなわち
0.1+0.01+0.002+0.0003+0.00005+0.000008+0.0000013+0.00000021+...
を求めよ
567:１３２人目の素数さん
15/10/02 19:05:28.58 ibVc9iom.net
F0=0として
G(x)= F0 + F1*x + F2*x^2 + F3*x^3 + ... + Fn* x^n + ... とすると
x*G(x)= F0*x + F1*x^2 + F2*x^3 + ... + F(n-1)* x^n + ...
x^2*G(x)= F0*x^2 + F1*x^3 + ... + F(n-2)* x^n + ...
ここで、Fn=F(n-1)+F(n-2)をつかうと
G(x) - F0 -F1*x = (x*G(x) - F0*x) + x^2 G(x)
つまり、G(x)=x/(1-x-x^2)
G(1/10)=10/89
568:１３２人目の素数さん
15/10/03 02:38:38.28 YaYUqMJy.net
F(1)=F(2)=1
F(n+2)=F(n+1)+F(n)
としてF(n)が2015の倍数となるような最小の正整数nは偶数かそれとも奇数か
569:１３２人目の素数さん
15/10/03 09:36:33.30 UXtZmLrn.net
>>547
mod 5
570:１３２人目の素数さん
15/10/03 14:23:35.96 vbqVLgzq.net
mod 31 でF(k)を考えると
01,01,02,03,05,08,13,21,03,24,
27,20,16,05,21,26,16,11,27,07,
03,10,13,23,05,28,02,30,01,00,
01,01,...
と周期30を持ち、F(30)≡0 (mod 31)
2015の倍数であるためには31の倍数である必要があるため、
f(n)が2015の倍数であるためには、nが30の倍数である必要がある
従って、>>547の解答は偶数
ちなみに、2015=5*13*31、
5|F(5r)、13|F(7s)、31|F(30t)
5,7,30の最小公倍数は210なので、2015|F(210u)
571:１３２人目の素数さん
15/10/03 22:53:51.35 YaYUqMJy.net
じゃあ>>547の発展問題
素数pがp≡3(mod 4)を満たすとき
F(n)がpの倍数となるようなnは偶数であることを示せ
572:１３２人目の素数さん
15/10/05 13:51:42.85 363gcpru.net
F(1)=F(2)=1
F(n+2)=F(n+1)+F(n)
のときΣ[k=1～n]F(4k-2)は平方数となることを示せ
573:１３２人目の素数さん
15/10/05 21:26:56.98 4FTwqx8Y.net
>>550
奇数番目のフィボナッチ数は
F_{2n+1}=F_{n+1}^2+F
574:_{n}^2 と変形できるが、互いに素な二つの数の平方の和は、4k+3型の素因数を持たない(※)。 従って、あるフィボナッチ数が4k+3型の素因数を持つとすれば、それは偶数番目の項に限られる。 >>551 F_{2n}^2-F_{2n-2}^2=(F_{2n}+F_{2n-2})*(F_{2n}-F_{2n-2})=...=F_{4n-2} Σ[k=1～n]F_{4k-2} = F_{2n}^2-F_{0}^2 = F_{2n}^2 ※ F_{n+1}^2+F_{n}^2 が合成数の場合、(ax+by)^2+(ay-bx)^2=(a^2+b^2)(x^2+y^2) という恒等式に対応する形で逐次、因数を取り出すことができる。 奇数の平方＋奇数の平方は4k+2型の数に、奇数の平方＋偶数の平方は4k+1型の数になる (ax+by)^2+(ay-bx)^2=(a^2+b^2)(x^2+y^2) この式の中には三つの（平方＋平方）型の数があるが、 (4k+1型)=(4k+1型)×(4k+1型) か、(4k+2型)=(4k+2型)×(4k+1型) というパターンでの 登場に限られる。この中に、4k+3型の数は現れない。
575:１３２人目の素数さん
15/10/05 21:44:07.21 nbzLSFra.net
よく知っているなあ。(棒
576:１３２人目の素数さん
15/10/06 18:24:25.73 fsLNLxlt.net
鶴と亀の頭の数の合計がk個、足の数の合計がl本のとき、鶴はx羽、亀はy匹である
x,yがともに非負整数となるようなk,lの条件を求めよ
577:１３２人目の素数さん
15/10/06 19:20:23.94 REG7UsAr.net
三角形ABCの内部に点Pがある。
三角形BCPの面積をα
三角形ACPの面積をβ
三角形ABPの面積をγとする。
ベクトルPAをa
ベクトルPBをb
ベクトルPCをcとおくとき
αa+βb+γc=0を示せ
みたいな問題を昔見た気がするんだが記憶違いだったらすまん。
答えは忘れたｗ
578:１３２人目の素数さん
15/10/07 04:46:25.83 kiTgcolQ.net
3桁の自然数を引っくり返して、元の数との差の絶対値をとる。
得られた数の桁の数字の和は一定値であることを示せ。
579:１３２人目の素数さん
15/10/07 08:59:57.27 H50pZ5gt.net
九九の９の段
580:１３２人目の素数さん
15/10/07 09:05:11.67 +3sISOZm.net
URLﾘﾝｸ(ja.wikipedia.org)
カプレカ数
581:１３２人目の素数さん
15/10/07 20:29:55.92 bVIaakd/.net
>>555
直線APと辺BCの交点をQとする
BQ:CQ=△ABQ:△ACQ=△ABP:△ACP=γ:β
また
AP:AQ=△ABP:△ABQ=△ABP:(△ABP+△PBQ)=△ABP:(△ABP+△PBC*BQ/BC)=γ:(γ+αγ/(γ+β))
よって
AP↑=(AP/AQ)AQ↑=1/(1+α/(β+γ))((β/(β+γ))AB↑+(γ/(β+γ))AC↑)=((β+γ)/(α+β+γ))(1/(β+γ))(βAB↑+γAC↑)=(1/(α+β+γ))(βAB↑+γAC↑)
αa+βb+γc=α(-AP↑)+β(AB↑-AP↑)+γ(AC↑-AP↑)=-(α+β+γ)AP↑+βAB↑+γAC↑=-(βAB↑+γAC↑)+βAB↑+γAC↑=0
URLﾘﾝｸ(mathtrain.jp)
これの逆
確認はしていないが
αa+βb+γc=0の左辺の係数を適宜負にすれば
Pが△ABCの外部にある場合にも拡張できるだろう
582:１３２人目の素数さん
15/10/07 20:45:04.75 bVIaakd/.net
>>556
1つの値にはならない
|100-1|=99 9+9=18
|101-101|=0
0か18のいずれかになる
583: ◆nxVhLK6vrE
15/10/07 22:51:00.01 Xsw/4YgJ.net
sin1°+2sin2°+3sin3°+...+90sin90°を計算せよ
答えはトリップ
584:１３２人目の素数さん
15/10/07 22:57:18.15 Xsw/4YgJ.net
>>561はトリップ間違えました
無かったことにしてください
585:１３２人目の素数さん
15/10/08 18:28:59.15 0srW166e.net
URLﾘﾝｸ(imgur.com)
問題も間違ってるような
586:１３２人目の素数さん
15/10/08 18:35:23.90 hjzFehcS.net
フィボナッチ数列をこねくり回してたら次の式が出てきた。
F(mn)/F(n)=Σ[0≦k＜m/2](-1)^{k(n+1)}*C(m-1-k,k)L(n)^(m-1-2k) (☆)
ただし L(n)=F(n+1)+F(n-1) とする。
(1) F(m+n+d)=F(
587:m+d)F(n+d)+(-1)^(d+1)*F(m)F(n) を証明せよ。 (2) F(n+2d)=L(n)F(n+d)+(-1)^(d+1)*F(n) を証明せよ。 (3) (☆)を証明せよ。
588:１３２人目の素数さん
15/10/08 18:36:53.32 hjzFehcS.net
>>564
ただしC(m,n)=(m+n)!/(m!n!)とする。
589:１３２人目の素数さん
15/10/08 18:44:03.48 hjzFehcS.net
>>564の(1)が間違ってた。申し訳ない。
(1) F(d)F(m+n+d)=F(m+d)F(n+d)+(-1)^(d+1)*F(m)F(n) を証明せよ。
590:１３２人目の素数さん
15/10/10 10:24:56.14 PeUyjTTt.net
>>555
直線ABとCPの交点をQ, αPD↑=βBP↑, αPE↑=γCP↑となる2点D,Eをとる
BQ:AQ=△PBC:△PCA=α:βよりAD//EP, 同様にAE//DP
よってPA↑=PD↑+PE↑より示すべき式を得る
591:１３２人目の素数さん
15/10/10 10:25:37.83 PeUyjTTt.net
a,b,cを与えられた正の整数とし, aとbは互いに素とする. このとき, aを法としてbに合同な正の整数であって, その全ての素因数がc以上であるようなものが無限個存在することを示せ.
592:１３２人目の素数さん
15/10/10 23:48:04.25 AWp5N1O6.net
>>566の式の拡張したような式が作れた。
役立つかどうかしらんけど。
数列{a[n]},{b[n]}は
b[n+1]=b[n]-a[n]-a[n+1]
を満たすとして
s[n]=Σ[k=1..n]a[k]
とすると
F(s[n])F(s[n-1]+b[n])=Σ[k=1..n](-1)^s[k-1]*F(a[k])F(b[k])
が成り立つ。
この式でn=2の場合は>>566の式になる。
問題：この式を証明せよ。
593:１３２人目の素数さん
15/10/11 19:30:16.51 1lehTb7O.net
>>568
a=1のときは素数の無限性より自明。a>1のとき、bを割り切らないc未満の素数全体の集合をPとし、Pのすべての元の積をmとする(Pが空のときはm=1とする)。このとき、a^k*m+b(k=1,2,...,)が条件を満たす。
証明は各自に任せる。
594:１３２人目の素数さん
15/10/14 07:19:35.42 m8TEiTt6.net
ほ
595:１３２人目の素数さん
15/10/15 08:02:39.75 ShUHgYGn.net
e^(1/e) - π^(1/π) < 1 を示せ。
596:１３２人目の素数さん
15/10/15 20:29:10.95 6VlkFHpA.net
e^(1/e)-π^(1/π)<4^(1/2)-1=1
597:１３２人目の素数さん
15/10/15 22:29:20.51 6KJ0Q333.net
ゆるい
598:１３２人目の素数さん
15/10/15 22:33:15.97 ShUHgYGn.net
ぐぬぬ…
e^(1/e) - π^(1/π) < 1/100 を示せ。
599:１３２人目の素数さん
15/10/17 00:55:05.00 oJL6KLEm.net
半径1の円に内接する正n角形について、ある頂点から時計回りに1,2,...,nとそれぞれの頂点に番号を付ける. このとき、nと互いに素な番号とn番の頂点との距離の総積は自然数であることを証明せよ
600:１３２人目の素数さん
15/10/17 02:15:57.96 T+AEruC5.net
>>576
ほんとかよウソくせー適当いってねぇ？
601:１３２人目の素数さん
15/10/17 02:24:55.17 MoaMy0B0.net
本当でしょ。
円分方程式の差積の絶対値。
602:１３２人目の素数さん
15/10/17 04:28:19.06 XxOr4UDp.net
z(k)=cos(2kπ/n)+isin(2kπ/n)とおくと、
n次の円分多項式F_n(x)は
n以下でnと互いに素なφ(n)個の自然数kについての総積Π(x-z(k))で表され、
一方、F_n(x)は整数係数の多項式なので、F_n(1)は整数。
（1はF_n(x)の根ではないので、0ではない）
>>576で言ってる距離の総積はΠ|1-z(k)|=|F_n(1)|なので、これは自然数
って話ですよね。
円分多項式についての基本的な知見を既知とするなら、これでおしまい。
それを証明するというのなら、任せた。
603:１３２人目の素数さん
15/10/17 04:44:29.85 oJL6KLEm.net
>>578
>>579
正解です
F_n(1)の具体的な値が分かればもっと面白い問題になると思うのですが
円分多項式に関する知識がないので自然数、とまでしか言えませんでした
604:１３２人目の素数さん
15/10/17 12:12:19.15 XxOr4UDp.net
>>580
＞F_n(1)の具体的な値が分かれば
n次の円分多項式をF_n(x)とするとき、
nが素数ならF_n(1)=n
nが合成数なら|F_n(1)|=1となることを示せ
605:１３２人目の素数さん
15/10/17 13:00:00.54 u2Me
606:Bzbf.net
607:１３２人目の素数さん
15/10/17 13:08:23.42 uGe4tjBl.net
>>581
nが素数ならx^(n-1)+x^(n-2)+...+1がQ上既約となるのでこれが円分多項式になってF_n(1)=n
nが合成数の場合
例えば4次の円分多項式はx^2+1より
F_4(1)=2になるので成り立たないと思うのですが...
608:１３２人目の素数さん
15/10/17 22:42:46.53 XxOr4UDp.net
>>583
そうですね、すみません。
f_1(1)=0
nが素数pの冪のとき、F_n(1)=p
それ以外のとき、F_n(1)=1
であってますかね。
609:１３２人目の素数さん
15/10/17 22:45:04.87 XxOr4UDp.net
（ということを、>>582さんが指摘してたようですね^^;）
610:１３２人目の素数さん
15/10/24 13:56:14.38 BAbl4apN.net
４×４の升目に1,2,3,4の数字を入れるとき、
(1) ラテン方陣は何通り作れるか？
(2) 数独は何通り作れるか？
611:１３２人目の素数さん
15/10/25 10:27:38.50 U2A2nlW9.net
>>586
(1)ラテン方陣
1234
2XXX
3XXX
4XXX
となるのは
1234 1234 1234 1234
2143 2143 2341 2413
3412 3421 3412 3142
4321 4312 4123 4321 の4通り。
左端を固定すると、列の入れ替えのバリエーションが×3!
さらに、4つの数字の入れ替えで×4!なので、
4×3!×4! = 576通り
(2)数独
1234
34XX
2XXX
4XXX
となるのは
1234 1234 1234
3412 3412 3421
2143 2341 2143
4321 4123 4312 の3通り。
左上4マスを固定すると、右２列と下２行の入れ替えのバリエーションが×2×2
さらに、4つの数字の入れ替えで×4!なので、
3×2×2×4! = 288通り
612:１３２人目の素数さん
15/10/25 10:58:05.90 +qG/76bi.net
>>587
正解です！
613:１３２人目の素数さん
15/10/25 11:23:55.54 +qG/76bi.net
(2)の数独において、２本の対角線上にも同じ数字が並ばない場合はどうか？
614:１３２人目の素数さん
15/10/25 11:47:40.29 ftLSrIfJ.net
問題が何通りって意味じゃないのか。
615:１３２人目の素数さん
15/10/25 12:00:01.40 +qG/76bi.net
(1)のラテン方陣で、２本の対角線上も同じ数字が入らない条件を持つものは何通りあるか？
条件を増やすと簡単になるなあ
616:１３２人目の素数さん
15/10/25 12:11:23.38 U2A2nlW9.net
>>589
12XX
34XX
XXXX
XXXX
において対角線上にも同じ数字が並ばない数独の配置は
1234 1243
3412 3421
4321 2134
2143 4312 の2通りのみ
数字の入れ替えを考慮して、2×4! = 48通り
617:１３２人目の素数さん
15/10/25 12:13:10.79 U2A2nlW9.net
>>590
ヒント数が４個の、別解のない４×４の数独の問題は
何通りあるか？
618:１３２人目の素数さん
15/10/25 12:19:49.64 +qG/76bi.net
>>592
正解です！
619:１３２人目の素数さん
15/10/25 13:47:25.43 U2A2nlW9.net
>>593
全てのヒントの数字が異なる場合を調べたら、唯一解となるのは
1x3x 1x3x 1x2x 1x2x 1x2x 1xxx
2xxx x2xx xxxx xxxx xxxx xx2x
xx4x xxx4 3xx4 x3x4 x3xx x3xx
xxxx xxxx xxxx xxxx xxx4 xxx4
の６タイプのみで、
それぞれの上下左右反転や、上２行、下２行、右２列、左２列の入れ替え、
数字の入れ替えによるバリエーションが、
左から順に
3072、3072、3072、768、1536、384 通りなので、
合計11904通り。
ヒントの数字には少なくとも３種類の数字が含まれる必要があるので、
あとは、ヒントがちょうど３種類の数字からなる場合を考えればよいが、
場合分けが発散しそうなので、人手でやるべき作業ではなさそう。
暇な人は、プログラムで調べてちょ
620:１３２人目の素数さん
15/10/25 13:50:42.41 U2A2nlW9.net
ずれた。コピーして等幅フォントで。
621:１３２人目の素数さん
15/10/25 14:06:38.28 FeX0gcyy.net
別スレで見た問題だけど
ｽﾚﾘﾝｸ(math板:738番)
738 １３２人目の素数さん sage 2015/10/24(土) 00:08:28.37 ID:mxQpNuML
次の性質を持つ実数全体で定義された連続関数y＝f(x)は存在しない事を（高校範囲で）示せ
xが有理数の時yは無理数
xが無理数の時yは有理数
622:１３２人目の素数さん
15/10/25 16:23:51.60 yazxyviR.net
>>597
高校範囲では、「連続関数」を定義しないから、
623: 極限の計算練習くらいはできても、証明は不可能。 高校範囲でなく、普通にやれば？
624:１３２人目の素数さん
15/10/25 16:29:51.70 U2A2nlW9.net
>>597
補題：実数a,bがa<bを満たすとき、a<q<bとなる有理数qが存在する。
a<bより、1/(b-a)は正の実数であり、N>1/(b-a)となる自然数Nが存在する。
このとき、Nb-Na>1なので、Nb<M<Naとなる整数Mが存在する。
q=M/Nとすると、a<q<bを満たす。
以下本題
条件を満たす関数f(x)が存在すると仮定する。
関数g(x)をg(x)=x+f(x)と定義すると、g(x)は連続関数であり、
xが有理数ならf(x)は無理数なのでg(x)は無理数
xが無理数ならf(x)は有理数なのでg(x)は無理数
よって、g(x)は任意の実数xに対して無理数となる。
g(x)が定数関数の場合、g(x)=kとおくと、f(-k)=2kとなり、
kが有理数ならば-kもf(-k)も有理数、kが無理数ならば-kもf(-k)も無理数となるので
条件と矛盾
g(x)が定数関数ではない場合、g(a)<g(b)となる実数a,bが存在する。
このとき、補題より、g(a)<q<g(b)となる有理数qが存在し、
g(x)は連続関数なので、中間値の定理より、g(c)=qとなるcがaとbの間に存在する。
ところが、g(c)は無理数なので、qが有理数であることと矛盾
以上より、いずれの場合も矛盾が生じるので、仮定は誤りであり
条件を満たす関数f(x)は存在しない。
# そもそも中間値の定理が実数の連続性から導かれるものなので、
# それを証明なしに勝手に使っていい高校数学は、結構ゆるゆる。
625:１３２人目の素数さん
15/10/25 16:32:00.45 U2A2nlW9.net
>>598
数IIIに「関数の連続性」という章があるのですが…
626:１３２人目の素数さん
15/10/25 17:35:12.41 yazxyviR.net
>>600
そこで、未定義の「lim」を使っているだろ。
627:１３２人目の素数さん
15/10/25 18:10:59.01 U2A2nlW9.net
そんなことはわかっとるわい（苦笑）
高校数学で中間値の定理とか微積を使った証明問題がないわけではあるまいに。
高校数学の範囲で示せ、と言われたら、使っていいことになってることを使って示す
パズルだと思えばいいだろ。
厳密に定義されていないものは使えないなら、高校数学なんて全滅だろって…
628:１３２人目の素数さん
15/10/25 20:44:52.80 eQ55Oj7N.net
>>601
高校の教科書にもちゃんと定義しているだろ
元の問題は高校の範囲超えてもいいのなら濃度を考えたら自明だろ
629:１３２人目の素数さん
15/10/26 00:05:39.06 YOaWhcc4.net
濃度を考えても自明とは思えないな
630:１３２人目の素数さん
15/10/26 01:28:40.96 RXHa2tRu.net
>>603
定義したようなふりはしているけれど、
「ちゃんと定義」はしてないよ。
そっちの方針がいいね。
631:１３２人目の素数さん
15/10/26 04:16:09.61 slr0ql1P.net
確かに濃度を考えても自明とは思えないですね。
自明だという方々は、どのような流れで自明だと言うつもりなのか
教えて頂きたいものです。
632:１３２人目の素数さん
15/10/26 04:22:08.47 VswQofCi.net
定数でない連続関数fの像は連続体濃度を持つけど、fの定義からfの像は高々可算集合であり、矛盾
自明だろう
633:１３２人目の素数さん
15/10/26 05:03:33.19 slr0ql1P.net
>>607
＞定数でない連続関数fの像は連続体濃度を持つけど、fの定義からfの像は高々可算集合であり
なるほど。「fの像は高々可算集合」ってとこに気付きませんでした。
（有理数の集合＋有理数の像、なんですね）
私のように気付かなかった奴からすると、その１行の説明でも立派な証明で、
自明って言葉のニュアンスとは違って感じたりもします。
634:１３２人目の素数さん
15/10/26 08:20:47.83 lA+MWMHJ.net
>>608
数学の専門書読んで行間を埋めたこと事ないの？
著者が自明だと書いていても理解するのに数日かかったりする事はざらだよ
635:１３２人目の素数さん
15/10/26 14:50:38.40 j7RcQfYy.net
>>595
いやすごいな。
636:１３２人目の素数さん
15/10/31 15:55:03.83 oUaeh8L4.net
おまけ付きの菓子にはA、B、Cのどれか１つが、それぞれ確率a、b、cで入っている。
(1) a+b+c=1のとき、3種類が揃うまでに買う個数の期待値を求めよ。
(2) 0<a+b+c<1のとき、3種類が揃うまでに買う個数の期待値は変わるか？
変わるならその値を求め、変わらないならそれを証明せよ。
637:１３２人目の素数さん
15/10/31 16:31:21.02 jlw7lTLW.net
>>611
(1)
nは3以上の整数として
n個目にA,B,C全て揃う確率は
n-1個目までにAが出ず、n個目にAが出る確率
n-1個目までにBが出ず、n個目にBが出る確率
n-1個目までにCが出ず、n個目にCが出る確率
の和であり
(1-a)^(n-1)*a+(1-b)^(n-1)*b+(1-c)^(n-1)*c
よって買う個数の期待値は
n((1-a)^(n-1)*a+(1-b)^(n-1)*b+(1-c)^(n-1)*c) (個)
(2)
買う個数の期待値は(1)と同じ
n((1-a)^(n-1)*a+(1-b)^(n-1)*b+(1-c)^(n-1)*c) (個)
これは式の意味から明らか
638:１３２人目の素数さん
15/10/31 16:36:34.14 jlw7lTLW.net
(2)のようにはずれがあるなら
買う個数の期待値は(1)より大きくなる
と思われる
639:１３２人目の素数さん
15/10/31 16:40:55.08 0j1dwPeS.net
>>612
＞n-1個目までにAが出ず
ではBだけ出てCが出ていないかもしれない
640:１３２人目の素数さん
15/10/31 16:45:45.73 jlw7lTLW.net
（n-1個目までにAが出ず、n個目にAが出る確率）
-（n-1個目までにBのみが出て、n個目にAが出る確率）
-（n-1個目までにCのみが出て、n個目にAが出る確率）
+（n-1個目までにBが出ず、n個目にBが出る確率）
-（n-1個目までにCのみが出て、n個目にBが出る確率）
-（n-1個目までにAのみが出て、n個目にBが出る確率）
+（n-1個目までにCが出ず、n個目にCが出る確率）
-（n-1個目までにAのみが出て、n個目にCが出る確率）
-（n-1個目までにBのみが出て、n個目にCが出る確率）
か
やめた
641:１３２人目の素数さん
15/11/01 00:54:53.93 AWAb936d.net
>>615より
n個目にA,B,C全て揃う確率は
(1-a)^(n-1)*a-b^(n-1)*a-c^(n-1)*a
+(1-b)^(n-1)*b-c^(n-1)*b-a^(n-1)*b
+(1-c)^(n-1)*c-a^(n-1)*c-b^(n-1)*c
買う個数の期待値は
n((1-a)^(n-1)*a-b^(n-1)*a-c^(n-1)*a
+(1-b)^(n-1)*b-c^(n-1)*b-a^(n-1)*b
+(1-c)^(n-1)*c-a^(n-1)*c-b^(n-1)*c)個
642:611
15/11/01 10:36:50.24 LvsYUQg2.net
正解者なし。
643:１３２人目の素数さん
15/11/01 11:39:28.82 BcQa9qVi.net
期待値の式にnが入ってる時点で明らかに不正解なのはわかる
644:１３２人目の素数さん
15/11/01 13:06:20.55 tOJjs8t9.net
>>611
(2)は問い方がおかしいだろ。
(1)でa+b+c=1を前提に答えを式変形していたら、(2)で使えるわけがない。
(1),(2)で共通で使える表現は存在する。
(1)だけの答えなら
bc+ca+ab=X、abc=Yとおいて
期待値は 1+ X/Y - (1+X)/(X-Y)
(1)(2)共通の答えは
期待値は 1+ 1/a + 1/b + 1/c - 1/(b+c) - 1/(c+a) - 1/(a+b)
考え方は、n≧1として、n回後にまだ全部揃っていない確率は
P(n) = (1-a)^n + (1-b)^n + (1-c)^n - (1-b-c)^n - (1-c-a)^n - (1-a-b)^n
であり、期待値は
1+Σ[n=1,∞]P(n)
（P(n)の式にn=0を代入すると0になるので、Σは0から計算すると楽）
645:１３２人目の素数さん
15/11/01 13:10:01.30 4gDXr50m.net
買う個数の期待値ですけど
646:１３２人目の素数さん
15/11/01 13:20:13.32 tOJjs8t9.net
>>620
そうですがなにか
647:１３２人目の素数さん
15/11/01 13:31:08.00 NRx06mRK.net
なお、おまけのお菓子は廃棄してはいけないこととする
648:１３２人目の素数さん
15/11/01 13:37:02.93 tOJjs8t9.net
ちょっと冷たかったな（汗）
一般に終了するまでの回数の期待値を考える場合、少しトリッキーな言い方だが、
「n回目が行われる回数」という確率変数をx(n)（x(n)は0か1の値をとる）とすると、
終了するまでの回数という確率変数Xは
X=Σ[n=1,∞]x(n)
となるので、Xの期待値は
E(X)=Σ[n=1,∞]E(x(n))
で、n回目までに終わってない確率をP(n)（n=0,1,…）とすると、
E(x(n))=P(n-1)となるので、結局
E(X)=Σ[n=0,∞]P(n)
と言える。今回の問題では、n≧1ではP(n)は示した通りで、P(0)=1。
649:１３２人目の素数さん
15/11/01 15:05:08.43 4gDXr50m.net
>>623
普通n回目に揃う確率をp(n)とした場合に求める期待値は当然
lim(n→∞)E(n)=lim(n→∞)np(n)
ではないの？
その方法でどうその後計算ができるのか示してもらいたいもんだ。
650:１３２人目の素数さん
15/11/01 15:06:23.21 4gDXr50m.net
×lim(n→∞)E(n)=lim(n→∞)np(n)
○lim(n→∞)E(n)=lim(n→∞)Σ[j=1,n]kp(k)
651:１３２人目の素数さん
15/11/01 15:15:08.77 tOJjs8t9.net
（さっきから示してるんですが…ま、いいや）
652:１３２人目の素数さん
15/11/01 15:25:50.30 tOJjs8t9.net
結局縦のものを横にして
653:計算してるだけなんだがな。 あと、E(X+Y)=E(X)+E(Y)は理解してるよな？
654:１３２人目の素数さん
15/11/01 16:07:34.53 4gDXr50m.net
n回目まで終わっていない確率を足し合わせても回数の期待値にはならないと言っているだけだが？
655:１３２人目の素数さん
15/11/01 22:14:45.26 tOJjs8t9.net
>>623の説明でわからなければ、私の手には負えません。
656:１３２人目の素数さん
15/11/01 23:00:35.12 4gDXr50m.net
>>629
n回目まで終わっていない確率を足し合わせたところで、その極限は1にしかならない。以上。
657:１３２人目の素数さん
15/11/01 23:11:13.81 tOJjs8t9.net
>>630
他のスレでの発言を見ていると、大学レベルの数学の知識をお持ちの方と
見受けられるのですが、
どうして自分の頭できちんと考えることを放棄されているのでしょうか？
658:１３２人目の素数さん
15/11/01 23:18:30.47 tOJjs8t9.net
（下げ忘れました。スミマセン）
659:１３２人目の素数さん
15/11/02 00:34:13.02 FzT0ePp1.net
日付が変わる前に>>630の発言を引き出せたからよしとするか…
何を言ってるかと思えば、そんなレベルの話だったとは
660:１３２人目の素数さん
15/11/02 02:34:02.14 krCUW5Pu.net
>>619は考え方は合ってるけど計算ミスしてるのでは。
661:１３２人目の素数さん
15/11/02 05:33:21.12 wY9be5wM.net
>>631
>>625
662:611
15/11/02 06:19:14.52 O2maGD3B.net
>>619
> (1)(2)共通の答えは
> 期待値は 1+ 1/a + 1/b + 1/c - 1/(b+c) - 1/(c+a) - 1/(a+b)
(1)のみ正解。
(2)はa+b+c≠1なので、式の形は異なります。(2)の値にa+b+c=1を代入すると(1)に一致するけどね。私が間違っていたらゴメン。
663:611
15/11/02 07:49:59.21 O2maGD3B.net
(2)の問題文を 「期待値を a, b, c で表せ」 に変更します。
s=a+b+c、t=ab+bc+ca、u=abc とおいて、s, t, u で表してもいいです。
664:１３２人目の素数さん
15/11/02 08:30:02.32 udp++JuJ.net
1/a+1/b+1/c-1/(a+b)-1/(a+c)-1/(b+c)+1/(a+b+c).
665:１３２人目の素数さん
15/11/02 10:26:01.27 FzT0ePp1.net
>>636
本当だ、ベン図の真ん中が(2)では存在するのを忘れてた。
（説明すると、n回終わってaが出ていない事象をA、bが出ていない事象をB、
cが出ていない事象をCとして、ベン図書いて考えてて、3つ重なった所に
最初に0を入れたまま忘れてた…基本的ミスですな）
>>638で両方共通の答えになるのかな。
666:１３２人目の素数さん
15/11/02 10:36:33.87 FzT0ePp1.net
ところで、>>635は昨日の4gDXr50mさんですかね。
そろそろ「もしかしたら自分が勘違いしてるかも」と疑い始めてもいいころでしょうに。
その自信はどこから来るのか、ある意味うらやましい（嘘です）。
いや、誰も
lim(n→∞)E(n)=lim(n→∞)Σ[j=1,n]kp(k)
の考え方を間違いだと言ってるわけではないんですよ。
その考え方でうまく計算できないようなケースに、
>>623みたいな作戦が使えるという話をしているだけで。
どうして自分の頭で考えて人の言っていることを理解する努力をしないのかと
不思議に思っているわけです。
667:１３２人目の素数さん
15/11/02 13:02:00.46 wY9be5wM.net
>>640
4gDXr50mです。
>>630で書いているとおりですが、理解しようがありません。
確率を足しても、∞の試行回数までに試行が終わる確率＝1しか得られないと考えます。
668:１３２人目の素数さん
15/11/02 15:08:14.85 1VvZixfA.net
>>630,641
> n回目まで終わっていない確率を足し合わせたところで、その極限は1にしかならない。以上。
n回目までに終わっていない確率(=n+1回目が行われる確率)の和は、
0回目から1回目までの和ですでに2になる単調増加列だが？
P(0)=1
P(1)=1
P(2)=1
P(3)=1-6abc
669:１３２人目の素数さん
15/11/02 16:20:04.75 udp++JuJ.net
a+2b+3c+4d+...
=(a+b+c+d+...)+(b+c+d+...)+(c+d+...)+(d+...)+....
670:１３２人目の素数さん
15/11/02 16:30:52.95 wY9be5wM.net
>>642
回数の期待値と書いているのにも関わらず、回数を考慮していないからおかしい。
671:１３２人目の素数さん
15/11/02 16:50:16.25 1VvZixfA.net
>>644
そんな関係ないレスしてないで
672: > 確率を足しても、∞の試行回数までに試行が終わる確率＝1しか得られないと考えます。 が偽だということは理解できたか？
673:１３２人目の素数さん
15/11/02 17:48:34.69 wY9be5wM.net
>>645
＞確率を足しても、∞の試行回数までに試行が終わる確率＝1しか得られないと考えます。
それは誤解だった。
n回目で終わる確率をP(n)とした場合にはその極限が1になるということ間違った。
＞E(x(n))=P(n-1)
と書かれているのがまずおかしい。
x(n)は0か1だから、E(0)とかE(1)は何を意味するのか？
E(n)=nP(n-1)
の間違いではないのか？
674:１３２人目の素数さん
15/11/02 20:26:17.36 Cvr2y9Py.net
一般に、確率変数Xが与えられたときにその期待値のことをE(X)と書くのであって
E(0)とかE(1)とかE(n)っていうのはちょっと意味が分からないなあ
675:１３２人目の素数さん
15/11/02 21:36:38.51 1VvZixfA.net
>>646
> ＞E(x(n))=P(n-1)
> と書かれているのがまずおかしい。
まず、「E(x(n))」という書き方は>>647の通り期待値の一般的な記法であって何もおかしくない
x(n)は>>623が書いている通り、「n回目が行われる回数」という確率変数で、
n-1回目までに全部そろっていなければ1を取り、 (確率P(n-1))
全部そろっていれば0を取る (確率1-P(n-1))
当然x(n)の期待値E(x(n))は
E(x(n))=1*P(n-1)+0*(1-P(n-1)=P(n-1)
になる
補足だが、このP(n)はｎ回目終了時点で終わっていない確率であって、n回目に最後の一つがそろい終了する確率ではない
> E(n)=nP(n-1)
> の間違いではないのか？
このE(n)、P(n)が何を意味するのか判りかねるが
>>624-625に倣ったもので、
E(n)=Σ[ｋ=1,n]kP(k)
の間違いならば、
P(n)は「n回目に最後の一つがそろい終了する確率」
E(n)は「『k回目に終了する時の買う個数kとP(ｋ)との積』のｋ=1からｎまでの和」
だろうから
> E(x(n))=P(n-1)
の「E(x(n))」、「P(n)」とは別のものだろう
676:１３２人目の素数さん
15/11/02 22:28:55.42 FzT0ePp1.net
x(n)は確率変数だと書いたはずだが。
ネット上で添字は分かりにくくなることがあるので、関数風に書くことはあるだろう。
x_nなら理解できるか？
nに対応する確率変数が無限にあるんだよ。
（というか、ただのよくある期待値計算の手法なのだが、なんでこんなことになってるの？）
677:１３２人目の素数さん
15/11/02 22:35:48.94 FzT0ePp1.net
E(x(n))ではなくE[x_n]と書けばよかったか？
丸カッコではなく角カッコの方が一般的だというなら、そう読み替えて下さい。
（高校の教科書では、残念ながら丸カッコを使っているが。）
678:１３２人目の素数さん
15/11/02 22:41:46.19 FzT0ePp1.net
最早難癖モードなのか、
本当に理解してないのかが計りにくいが、
ホントもうどうでもいい。
これでもまだ上から目線で議論できる神経にはある意味敬服する。（嘘です）
679:１３２人目の素数さん
15/11/02 22:42:07.10 Mg+fRVGR.net
>>611
(2)
f(x)=x/(1-x) + x/(1-x)^2 として
a*f(b+c) + b*f(c+a) + c*f(a+b) - (a+b)*f(c) - (b+c)*f(a) - (c+a)*f(b)
展開したり、通分したりすると、複雑になるので、ここで止めておく
特にa+b+c=1 の時は、
a*f(1-a)-(1-a)*f(a)=1-2a+1/a-1/(1-a) 等から
1 + 1/a + 1/b + 1/c - 1/(1-a) - 1/(1-b) - 1/(1-c)
と>>619に一致
680:１３２人目の素数さん
15/11/02 22:43:11.61 wY9be5wM.net
全て了解しました
681:１３２人目の素数さん
15/11/02 22:45:27.00 wY9be5wM.net
よく考えれば非常に簡単なことだった。間違っていると思ったから書いているだけで
別に上から目線だとは全然思っていない。
682:１３２人目の素数さん
15/11/02 23:08:00.26 d0E5e822.net
>>652に補足
3c{(a+b)^2-a^2-b^2} + 4c{(a+b)^3-a^3-b^3} + 5c{(a+b)^4-a^4-b^4} + ... + (cyclic項)
=Σ[k=2,∞](k+1)c{(a+b)^k-a^k-b^k} + cyc.
=Σ[k=1,∞](k+1)c{(a+b)^k-a^k-b^k} + cyc.
ここで
Σ[k=1,∞](k+1)x^k = Σ[k=1,∞](∂/∂x)x^(k+1) = ... = x/(1-x) + x/(1-x)^2 ≡f(x)
に注意して、書き直したのが>>652
683:１３２人目の素数さん
15/11/02 23:15:13.34 wY9be5wM.net
>>651
そうですね、それは大変に失礼いたしました。
以前に私はこの計算を行った問題です。
レアカードはABCDEFGHの8種類あり、レアカードが出る確率は5%。
A～Fと比べて、GとHは出る確率が半分。
n回目にレアカードがコンプする確率とコンプする回数の期待値を求めよ。
684:１３２人目の素数さん
15/11/02 23:15:58.38 wY9be5wM.net
×以前に私はこの計算を行った問題です。
○以前に私が計算を行った問題です。
685:１３２人目の素数さん
15/11/02 23:39:02.75 R2z+EcrU.net
あ、ミスった
>>652 >>655は無かったことに
686:１３２人目の素数さん
15/11/05 07:18:20.80 jjaZ4tUN.net
1から2n+1までの数字の書かれたカードが1枚ずつ2n+1枚ある。
この中から無作為に3枚を取り出す。
(1) 2数の差の最小値を得点とするとき、得点の期待値を求めよ。
(2) 2数の差の最大値を得点とするとき、得点の期待値を求めよ。
687:１３２人目の素数さん
15/11/08 01:47:28.64 Qs7YPP2X.net
任意の実数a,b,cに対して、不等式
|ab(a^2-b^2)+bc(b^2-c^2)+ca(c^2-a^2)|≦M（a^2+b^2+c^2）^2
が成り立つような最小の実数Mを求めよ
688:１３２人目の素数さん
15/11/08 16:59:39.06 f/sobXmt.net
(9√2)/32
689:１３２人目の素数さん
15/11/08 23:12:29.95 Ra6N4a1N.net
過程も書け
690:１３２人目の素数さん
15/11/09 21:15:51.58 VgRTV7gt.net
>>660
a^2+b^2+c^2=1 の球面上での極値問題と考える
a,b,c が対称だから (a,b,c)=(1,1,1)/√3 を軸とする極座標 (r,θ,φ) に変換すれば簡単になると予想
他の2軸を (√(2/3),-1/√6,-1/√6),(0,1/√2,-1/√2) として
a=(1/√3)r(√2cosφcosθ+sinφ)
b=r(-(1/√6)cosφcosθ+(1/√2)cosφsinθ+(1/√3)sinφ)
c=r(-(1/√6)cosφcosθ-(1/√2)cosφsinθ+(1/√3)sinφ)
とすれば
ab(a^2-b^2)+bc(b^2-c^2)+ca(c^2-a^2)=√(3/2)r^4 sinφ(cosφ)^3 (3sinθ-4(sinθ)^3)
sinφ(cosφ)^3 の最大値は 3√3/16 で 3sinθ-4(sinθ)^3 の最大値は 1 だから答は 9√2/32
691:１３２人目の素数さん
15/11/09 21:45:24.58 Uts8GNkz.net
すごい
692:１３２人目の素数さん
15/11/09 21:49:30.09 wYVWaO80.net
>>663
> a^2+b^2+c^2=1 の球面上での極値問題と考える
すでにココで何をやってるか分からない…
693:１３２人目の素数さん
15/11/09 23:29:45.01 2fj29AuI.net
>>662
X=a-b,Y=b-c,R=√(a^2+b^2+c^2)とすると、(c-a)=-X-Y
X^2+Y^2+(X+Y)^2=2(a^2+b^2+c^2)-2(ab+bc+ca)=2R^2-2(ab+bc+ca)なので
(a+b+c)^2=a^2+b^2+c^2+2(ab+bc+ca)=R^2+2R^2-X^2-Y^2-(X+Y)^2
{左辺/(右辺/M)}^2={(a-b)(b-c)(c-a)(a+b+c)}^2/(a^2+b^2+c^2)^4
=X^2Y^2(X+Y)^2(3R^2-X^2-Y^2-(X+Y)^2)/R^8=...≦81/512
腕力に頼るなら、f(x,y)={xy(x^2-y^2)+y(y^2-1)+x(1-x^2)}/(x^2+y^2+1)^2
として、∂f/∂x=∂f/∂y=0を解いて極大の候補を見つける方法も
694:１３２人目の素数さん
15/11/10 08:10:32.00 ktIVqkZl.net
2015年度 釣塔大学理学部 入学試験問題 数学
2/29 9:00-15:00 （6時間）
問1 π>3.05を示せ。
問2 tan1゜は有理数か。
問3 一辺1の正二十面体の体積を求めよ。
問4 tan10°=(tan20°)(tan30°)(tan40°) を示せ。
問5 C[2015,n]が偶数となる最小の自然数nを求めよ。
問6 (2^n+1)/n^2 が整数となるような自然数nを全て求めよ。
695:１３２人目の素数さん
15/11/10 11:46:09.81 AkD0Xa0Q.net
>>667
> 釣塔大学理学部
ネタも大概にしろ
696:１３２人目の素数さん
15/11/10 13:38:57.41 RSSjjlq7.net
同じ問題ばっかしコピペしてるなー
697:１３２人目の素数さん
15/11/10 13:55:57.09 eSJ4pj9H.net
解けない馬鹿ばかりだからね
698:１３２人目の素数さん
15/11/10 14:04:37.53 yjYWK9mN.net
調べればすぐ答え出てくる問題ばっかやな
699:１３２人目の素数さん
15/11/10 15:03:31.81 M07kpxaE.net
釣塔大の過去問ではファレイ数列を背景にしたものが面白かった
700:１３２人目の素数さん
15/11/10 17:44:2
701:0.54 ID:QKJlOMCa.net
702:１３２人目の素数さん
15/11/10 20:38:49.07 gneE9q0Y.net
これ、釣塔大のオリジナル？
703:１３２人目の素数さん
15/11/10 20:56:09.21 ejzOfhBl.net
そうわ問屋が卸さない。
704:１３２人目の素数さん
15/11/10 22:21:57.83 Yi1N+6jX.net
四面体の六辺の積をL、体積をVとおくとき
L/V^2の最小値を求めよ
705:１３２人目の素数さん
15/11/11 00:02:10.60 c02syTcL.net
V/2=1/6abcsinαsinβ=1/6defsinγsinσ
(V^2)/4=1/36Lsinαsinβsinγsinσ
L/V^2=9/sinαsinβsinγsinσ
こうですかわかりません！
706:１３２人目の素数さん
15/11/11 00:03:09.77 c02syTcL.net
ぜんぜん違うじゃねーか
707:１３２人目の素数さん
15/11/11 00:13:50.85 CD/W06rP.net
元ネタは何だろう
URLﾘﾝｸ(www.tcp-ip.or.jp)
708:１３２人目の素数さん
15/11/11 14:22:22.47 H4I4JOfA.net
>>638
(2) この答え違うよな
709:１３２人目の素数さん
15/11/12 23:45:42.55 +ZNawg+o.net
xy平面上で、不等式x^2＋y^2≦b^2で表される領域をDとする。
このとき、曲面Z=√(a^2－x^2－y^2)のDに対応する部分の面積を求めよ。
ただし、a.bは正の定数でa>bとする
710:１３２人目の素数さん
15/11/13 12:58:10.36 JTFtlSpL.net
それは見飽きた
711:１３２人目の素数さん
15/11/13 23:05:42.07 woulzGdF.net
解けないくせに
712:１３２人目の素数さん
15/11/14 03:12:10.96 CUofgJxc.net
球を平面で切った面積だろ？
どこの参考書にでも、
丸々おな問が載っているぞ。
勉強したこと無いの？
713:１３２人目の素数さん
15/11/14 05:03:08.80 FqgeDLEi.net
何？ また質の低い出題者がエレガントに出したの？
714:１３２人目の素数さん
15/11/14 13:53:59.34 2y7u5HhI.net
受験通った奴なら解ける問題
715:１３２人目の素数さん
15/11/14 15:21:58.54 MNaw2lGQ.net
口ばっかりで実際には解けていない連中
716:１３２人目の素数さん
15/11/14 15:24:48.46 MNaw2lGQ.net
文句しかつけられない屑ども
717:１３２人目の素数さん
15/11/14 15:35:05.13 rGriZ3WF.net
文句つけるしかしようがないからな
出直して来いってことだ
718:１３２人目の素数さん
15/11/14 17:51:05.48 WlTPgH8m.net
４種類のタイルがたくさんある。いずれも正多角形形で、一辺の長さが１である。
この四種類のタイル全てを一定の割合で使い、平面を規則的に覆い尽くすことができるという。
この４種類のタイルが、それぞれ正何角形か、そして、どのように配置するか。
719:１３２人目の素数さん
15/11/14 17:55:47.72 0i+c2SxP.net
全部正六角形で材質が違う
はい論破
720:１３２人目の素数さん
15/11/14 18:43:53.07 8/VySMOE.net
全部正方形で材(ry
721:１３２人目の素数さん
15/11/14 22:20:06.93 AGL93mt1.net
3,4,6,12.
722:１３２人目の素数さん
15/11/15 01:45:23.04 60GjeiIH.net
>>693
どうやって？
723:１３２人目の素数さん
15/11/15 06:09:13.20 UyssNKsl.net
>>694
693ではないが、
正十二角形と正三角形だけで平面が敷き詰められることと
正六角形の回りに正方形と正三角形を6つずつ並べると正十二角形になることを知ってれば
簡単だと思うが。
正十二角形と正三角形の敷き詰めパターンの中で
一部の正十二角形を規則的に選んで、他の正多角形の組合せに置き換えればいいだけ。
どういうルールで置き換える正十二面体を選ぶかはさじ加減次第でいかようにも。
724:１３２人目の素数さん
15/11/15 06:10:25.43 UyssNKsl.net
誤：正十二面体
正：正十二角形
725:１３２人目の素数さん
15/11/15 07:20:01.98 60GjeiIH.net
>>695
なるへそ。さんくす。
726:１３２人目の素数さん
15/11/15 22:04:33.00 VhAV5WwG.net
次の条件を満たす関数f(x)が存在すればそれを求め，存在しなければそれを示せ．
(1) 実数全体で微分可能
(2) x≠0 なる任意の実数 x に対して x^2 f’(x)＝f(x)
(3) f(1)＝1
727:１３２人目の素数さん
15/11/16 01:06:30.99 iIs89nTI.net
>>698
微分方程式知ってればただの問題だしなあ
(2)を解くと一般解はf(x)=Ce^(-1/x)で
(3)から特殊解はe^((x-1)/x)となるけど、
(1)の条件を満たさない（x=0が定義域に入らない）からそんな関数は存在しない。
728:１３２人目の素数さん
15/11/16 01:13:40.85 20I39tfO.net
>>690の出題者です。wiki の「平面充填」のページの「複数種類のタイルによる平面充填」の「正多角形」
の所に、８つの種類が図を伴って載っているが、
・(3,4,6,4)型において、正六角形とその周りの正方形と正三角形をまとめ、一つの正十二角形にする
・(3,12,12)型において、正十二角形を、一つの正六角形と３つの正方形・三つの正三角形にする
・(4,6,12)型において、正六角形を六つの正三角形にする
それぞれの平面充填図に於いて、この三パターンを置き換えを規則的な位置で行ったものが、
解答にあたると考えています。
いずれも正3,4,6,12角形の四種類のタイルを使用することになります。
729:１３２人目の素数さん
15/11/16 07:20:24.93 dgMTjPk9.net
>>699
地雷踏んでますな
間違ってるよ
730:１３２人目の素数さん
15/11/16 09:48:09.42 gF+qHZnf.net
型どおりの嵌め手だな。
lim[x→0]f(x)を
考えるといいんじゃない？
731:１３２人目の素数さん
15/11/16 10:09:59.96 lYzjmwv3.net
0(x<=0).
exp(1-1/x)(0<x).
732:１３２人目の素数さん
15/11/16 11:42:47.39 iIs89nTI.net
なるほど嵌められた。
733:１３２人目の素数さん
15/11/16 15:18:57.34 NgBGszqz.net
中途半端な知識がある奴に限って
引っかかって涙目になる好例だな
734:１３２人目の素数さん
15/11/16 23:49:12.75 gF+qHZnf.net
こういうのがあるから、実解析は厭らしい。
複素解析のように単純明快ではないから。
735:１３２人目の素数さん
15/11/17 00:21:31.90 B/WbhtGY.net
そういう問題ではないだろw
736:１３２人目の素数さん
15/11/18 08:07:35.28 YfZeoSBZ.net
Z:整数の集合 a,b:互いに素な整数 n:正の整数
A(n) = { ax^n+by^n | x,y∈Z } とおく
ZにおけるA(n)の補集合をB(n)とする
n≧2のとき B(n)が無限集合であることを示せ
737:１３２人目の素数さん
15/11/20 12:07:03.57 XLNgk5Ci.net
算数の授業で「皆殺し」 18782（嫌なやつ）＋18782＝37564
ｽﾚﾘﾝｸ(newsplus板)
藤沢市の女性教諭（４０）が４年生の算数の授業で電卓の使い方を教える際、
「嫌なやつ（１８７８２）と嫌なやつ（１８７８２）を足すと皆殺し（３７５６４）になる」
との語呂合わせを用いていたことが１９日、分かった。
738:１３２人目の素数さん
15/11/20 14:10:47.87 YC7UIon5.net
>>709
内容の善し悪し以前に、
ネタをボキャブラ天国から
とたことが異常に浅薄だな。
739:１３２人目の素数さん
15/11/20 21:20:39.64 cGbJ
740:bMBr.net
741:１３２人目の素数さん
15/11/20 21:23:39.27 yi/k0l6t.net
これは難しいな
どこが面白いのかを理解するのが
742:１３２人目の素数さん
15/11/20 21:41:16.13 qwFw9WzJ.net
たぶんヒロシの正体だろ？
743:１３２人目の素数さん
15/11/20 22:51:15.90 YC7UIon5.net
>>710 について陳謝と訂正。
ボキャブラ天国ではなく
トリビアの泉だったようだ。
似たようなもんといえば
似たようなもんだが。
744:１３２人目の素数さん
15/11/21 02:22:52.60 sgarGLHU.net
>>711
3通り
745:１３２人目の素数さん
15/11/21 04:26:38.18 gKgefaB2.net
>>715
同じく三通り見つかった
その三通りの A+B+C+D の和は、5345でおｋ
746:１３２人目の素数さん
15/11/25 06:31:23.75 b4wpDMiG.net
a^(bc)・b^(ca)・c^(ab)=2^(abc)をみたす自然数の組(a,b,c)をすべて求めよ。
747:１３２人目の素数さん
15/11/29 04:11:41.47 JA15tZsj.net
a^(bc)*b^(ca)*c^(ab)の素因数は2のみだから
a=2^l, b=2^m, c=2^n （l,m,nは非不整数）
とおける
(2^l)^(2^(m+n))*(2^m)^(2^(n+l))*(2^n)^(2^(l+m))=2^(2^(l+m+n))
⇔2^(m+n)*l+2^(n+l)*m+2^(l+m)*n=2^(l+m+n) …★
⇔(l,m,n)=(3,3,4),(3,4,3),(4,3,3) …☆
したがって
(a,b,c)=(8,8,16),(8,16,8),(16,8,8)
(l,m,n)の解（の一部？）☆は
l=m=nとしたとき
★⇔2^(2l)*3l=2^(3l)⇔2^l=3l
で3<l<4から当たりをつけた
☆以外にも解があるかもしれないが
★の両辺の大小関係から絞れるはず
例えば
(l,m,n)=(1,1,1),(1,2,3)では(左辺)>(右辺)
(l,m,n)=(4,5,6),(6,6,6)では(左辺)<(右辺)