Re: L(r,χ)=1/(r-1)!・(-2πi/N)^r・1/2Σ_{a∈Z_N^×}χ(a)h_r(ζ_N^a)の証明

From(投稿者):	"Kyoko Yoshida" <kyokoyoshida123@gmail.com>
Newsgroups(投稿グループ):	fj.sci.math
Subject(見出し):	Re: L(r,χ)=1/(r-1)!・(-2πi/N)^r・1/2Σ_{a∈Z_N^×}χ(a)h_r(ζ_N^a)の証明
Date(投稿日時):	Thu, 14 Feb 2013 20:38:30 -0500
Organization(所属):	A noiseless patient Spider
References(祖先記事, 一番最後が直親):	(G) <k28esm$lh0$1@dont-email.me>
(G) <120907175716.M0214546@ras1.kit.ac.jp>
(G) <k2qqmr$ceu$1@dont-email.me>
(G) <120913172130.M0328511@ras1.kit.ac.jp>
(G) <k474s4$nrv$1@dont-email.me>
(G) <120930031951.M0423608@ras2.kit.ac.jp>
(G) <k4d99n$72l$1@dont-email.me>
(G) <121002192027.M0226123@ras1.kit.ac.jp>
(G) <k51ku7$bj5$1@dont-email.me>
(G) <121010183414.M0102909@ras1.kit.ac.jp>
(G) <k6k9nu$fd9$1@dont-email.me>
(G) <121029203255.M0304207@ras2.kit.ac.jp>
(G) <k714kp$uvu$1@dont-email.me>
(G) <121103214751.M0205144@ras2.kit.ac.jp>
(G) <kalnac$jm1$1@dont-email.me>
(G) <121217191741.M0213843@ras1.kit.ac.jp>
(G) <kdbu0o$5j6$1@dont-email.me>
(G) <130121192327.M0410816@ras1.kit.ac.jp>
(G) <ke1d13$cfn$1@dont-email.me>
(G) <130129213843.M0111587@ras2.kit.ac.jp>
Message-ID(記事識別符号):	(G) <kfk32g$jva$1@dont-email.me>
Followuped-by(子記事):	(G) <130219183239.M0109160@ras1.kit.ac.jp>

From(投稿者):

"Kyoko Yoshida" <kyokoyoshida123@gmail.com>

Newsgroups(投稿グループ):

fj.sci.math

Subject(見出し):

Re: L(r,χ)=1/(r-1)!・(-2πi/N)^r・1/2Σ_{a∈Z_N^×}χ(a)h_r(ζ_N^a)の証明

Date(投稿日時):

Thu, 14 Feb 2013 20:38:30 -0500

Organization(所属):

A noiseless patient Spider

References(祖先記事, 一番最後が直親):

(G) <k28esm$lh0$1@dont-email.me>

(G) <120907175716.M0214546@ras1.kit.ac.jp>

(G) <k2qqmr$ceu$1@dont-email.me>

(G) <120913172130.M0328511@ras1.kit.ac.jp>

(G) <k474s4$nrv$1@dont-email.me>

(G) <120930031951.M0423608@ras2.kit.ac.jp>

(G) <k4d99n$72l$1@dont-email.me>

(G) <121002192027.M0226123@ras1.kit.ac.jp>

(G) <k51ku7$bj5$1@dont-email.me>

(G) <121010183414.M0102909@ras1.kit.ac.jp>

(G) <k6k9nu$fd9$1@dont-email.me>

(G) <121029203255.M0304207@ras2.kit.ac.jp>

(G) <k714kp$uvu$1@dont-email.me>

(G) <121103214751.M0205144@ras2.kit.ac.jp>

(G) <kalnac$jm1$1@dont-email.me>

(G) <121217191741.M0213843@ras1.kit.ac.jp>

(G) <kdbu0o$5j6$1@dont-email.me>

(G) <130121192327.M0410816@ras1.kit.ac.jp>

(G) <ke1d13$cfn$1@dont-email.me>

(G) <130129213843.M0111587@ras2.kit.ac.jp>

Message-ID(記事識別符号):

(G) <kfk32g$jva$1@dont-email.me>

Followuped-by(子記事):

(G) <130219183239.M0109160@ras1.kit.ac.jp>

記事全体へのコマンド

ご回答誠に有難うございます。


>> http://www.geocities.jp/a_k_i_k_o928346/prop192_12015__02.pdf
>> と再々訂正致しました。これなら如何でしょうか?
> s_k が k について単調減少であるとは,
> k \leq h のとき s_k \geq s_h となるということです.

左様です。

> k < h のとき s_k > s_h となることではありません.

そうですね。これなら狭義減少ですね。

> 従って, 一般に s_k = |a_k|^{1/k} ではありません.

そうでした。

> このような初歩的な勘違いばかりでは時間の無駄です.
> <121029203255.M0304207@ras2.kit.ac.jp>
> において既に証明の方針は示しましたから, それを
> 良く読んで理解してから議論して下さい.

http://www.geocities.jp/a_k_i_k_o928346/prop192_12015__04.pdf
とお蔭様で上手くいきましたが
2ページ目の【8.5】直下のα-ε<(α-ε/2)^{k/(k-1)}は一体どこで利用されるのでしょうか?

Fnews-brouse 1.9(20180406) -- by Mizuno, MWE <mwe@ccsf.jp>
GnuPG Key ID = ECC8A735
GnuPG Key fingerprint = 9BE6 B9E9 55A5 A499 CD51 946E 9BDC 7870 ECC8 A735