Path: ccsf.homeunix.org!ccsf.homeunix.org!news1.wakwak.com!nf1.xephion.ne.jp!onion.ish.org!gcd.org!vda-gw!news.moat.net!newsfeed.mesh.ad.jp!jpix!news0.dion.ne.jp!feed1.dion.ne.jp!news1.dion.ne.jp!53ab2750!not-for-mail
Message-ID: <4265094B.9@d5.dion.ne.jp>
From: =?ISO-2022-JP?B?GyRCTHgzWkA5Q0sbKEI=?= <nagira@d5.dion.ne.jp>
Reply-To:  nagira@d5.dion.ne.jp
User-Agent: Mozilla/5.0 (Macintosh; U; PPC; ja-JP; rv:1.0.2) Gecko/20030208 Netscape/7.02
X-Accept-Language: ja,en
MIME-Version: 1.0
Newsgroups: fj.sci.math
Subject: Re: F(z) = q =?ISO-2022-JP?B?GyRCJjAbKEJfbiAoMS1xXm4pXjIoMS1xXnsx?=
 =?ISO-2022-JP?B?MW59KV4yGyRCJE5KXTc/QC0bKEI=?=
References: <42443C24.1040600@d5.dion.ne.jp> <050329213726.M01205479@ims.kit.ac.jp> <424987F0.10002@d5.dion.ne.jp> <42515051.5020402@d5.dion.ne.jp> <42528504.9000904@d5.dion.ne.jp> <4253E826.1090600@d5.dion.ne.jp>
Content-Type: text/plain; charset=ISO-2022-JP
Content-Transfer-Encoding: 7bit
Lines: 31
Date: Tue, 19 Apr 2005 22:36:11 +0900
NNTP-Posting-Host: 219.108.222.126
X-Trace: news1.dion.ne.jp 1113917590 219.108.222.126 (Tue, 19 Apr 2005 22:33:10 JST)
NNTP-Posting-Date: Tue, 19 Apr 2005 22:33:10 JST
Organization: DION Network
Xref: ccsf.homeunix.org fj.sci.math:1683

不完全ですが、

F((az + b)/(11cz + d)) = (11cz + d)^2 F(z)ならば
F((-az - b)/(-11cz -d)) = F((az + b)/(11cz + d)) = (11cz + d)^2 F(z) =
(11(-c)z + (-d))^2 F(z)
なので
[a   b]が証明できれば[-a   -b]が証明できる。
[11c d]　　　　　　　[-11c -d]

[a   b]| ad-11bc = 1
[11c d]
が与えられたとして
|c| = 0,1, |d| = 1は証明できているので|c|≧2, |d|≧2としてよい。
(c,d) =1なので c d'+d c' = 1となるc', d'∈Zが無数に存在し、ひとつの解を
c' = C, d' =Dとすると解はc'=C+td, d'=D-tc |t∈Zが解でdまたはc刻みで
c', d'を選ぶことができる。|c|,|d|≠0, 1よりc'≠0，d'≠0なので
min(|c|,|d|) > min(|c'|,|d'|) ≧ 1を満たすc', d'をとることができる。
(c',d')=1かつ『(11,d')=1 であれば』なので
a'd' - 11b'c' =1
となるa', b'∈Zがとれて
[a   b] = [11bc'+ad'   ab'+a'b][a'    -b']
[11c d]   [11        11b'c+a'd][-11c'  d']
と分解できる。以後同様に
c'd"+d'c"= 1 | min(|c'|,|d'|) > min(|c"|,|d"|) ≧ 1を満たす
c", d"がとれ、最後に|c|=1または|d|=1に帰着する。

『(11,d')=1であれば』が最後の関門です。

柳楽＠生物系