[過去ログ] 分からない問題はここに書いてね458 (1002レス)
前次1-
抽出解除 必死チェッカー(本家) (べ) 自ID レス栞 あぼーん

このスレッドは過去ログ倉庫に格納されています。
次スレ検索 歴削→次スレ 栞削→次スレ 過去ログメニュー
リロード規制です。10分ほどで解除するので、他のブラウザへ避難してください。
594
(1): 132人目の素数さん [sage] 2020/03/11(水) 09:12:19.97 ID:zi4olkqu(1/2) AAS
>>586
 a = cot(x), b = cot(y), c = cot(z),
とおけば
 1/a + 1/b + 1/c - 1/abc = tan(x)+tan(y)+tan(z) - tan(x)tan(y)tan(z)
 = sin(x+y+z)/{cos(x)cos(y)cos(z)},
 A-1 = tan(x/2), B-1 = tan(y/2), C-1 = tan(z/2),
より
(与式) = (A-1)(B-1) + (B-1)(C-1) + (C-1)(A-1) - 1
 = tan(x/2)tan(y/2) + tan(y/2)tan(z/2) + tan(z/2)tan(x/2) - 1
 = -cos((x+y+z)/2)/{cos(x/2)cos(y/2)cos(z/2)}
 = -(1/a +1/b +1/c -1/abc)・cos(x)cos(y)cos(z)/{2sin((x+y+z)/2)cos(x/2)cos(y/2)cos(z/2)}
ですね^^
---------------------------------------------------------
加法公式の略証
e^{i(x+y+z)} = e^(ix)・e^(iy)・e^(iz)
 = {cos(x)+i・sin(x)}{cos(y)+i・sin(y)}{cos(z)+i・sin(z)}
 = cos(x)cos(y)cos(z){1+i・tan(x)}{1+i・tan(y){1+i・tan(z)},

実部から
cos(x+y+z) = cos(x)cos(y)cos(z) - sin(x)sin(y)cos(z) - cos(x)sin(y)sin(z) - sin(x)cos(y)sin(z)
 = cos(x)cos(y)cos(z){1 - tan(x)tan(y) - tan(y)tan(z) - tan(z)tan(x)},
虚部から
sin(x+y+z) = sin(x)cos(y)cos(z) + cos(x)sin(y)cos(z) + cos(x)cos(y)sin(z) - sin(x)sin(y)sin(z)
 = cos(x)cos(y)cos(z){tan(x) + tan(y) + tan(z) - tan(x)tan(y)tan(z)},
608
(1): 132人目の素数さん [sage] 2020/03/11(水) 21:30:44.12 ID:zi4olkqu(2/2) AAS
>>598
(与式) = ∫[0,1] P_L(x) dx
= [ {1/(2^L・L!)}(d/dx)^(L-1)・(xx-1)^L ](x=0,1)
Lは奇数とする。

x=1 のとき
 L個の(xx-1)因子のうち、少なくとも1個は微分を免れるから、0
x=0 のとき
 (xx-1)^L の中の x^(L-1) の係数は2項公式により
  (-1)^((L+1)/2) C(L, (L-1)/2)
  = (-1)^((L+1)/2) L! /{((L+1)/2)! ((L-1)/2)!}
  = -(-2)^((L-1)/2) L! (L-2)!! /{((L+1)/2)! (L-1)!}
 (2^L・L!) で割って
  = -(-1/2)^((L-1)/2) (L-2)!! /{2 ((L+1)/2)! (L-1)!}
 (L-1) 回微分すると (L-1)! 倍になる。
 x=0 は下限で -1 倍する。
  (-1/2)^((L-1)/2) (L-2)!! /{2 ((L+1)/2)!}
前次1-
スレ情報 赤レス抽出 画像レス抽出 歴の未読スレ AAサムネイル

ぬこの手 ぬこTOP 0.038s