Received: from tsbgw.wide.toshiba.co.jp (tsbgw.wide.toshiba.co.jp [202.249.10.123]) by shuttle.wide.toshiba.co.jp (8.9.1+3.1W/8.9.1) with ESMTP id AAA17873 for ; Mon, 17 Jul 2000 00:01:46 +0900 (JST) Received: from maltese.wide.toshiba.co.jp (maltese.wide.toshiba.co.jp [202.249.10.99]) by tsbgw.wide.toshiba.co.jp (8.9.3/8.9.1) with ESMTP id AAA28789 for ; Mon, 17 Jul 2000 00:16:45 +0900 (JST) Received: from isl.rdc.toshiba.co.jp (spiffy.isl.rdc.toshiba.co.jp [133.196.10.10]) by maltese.wide.toshiba.co.jp (8.9.1/8.9.1) with ESMTP id AAA24392 for ; Mon, 17 Jul 2000 00:16:45 +0900 (JST) Received: from maltese.wide.toshiba.co.jp ([202.249.10.99]) by isl.rdc.toshiba.co.jp (8.9.3/8.9.3/8.4) with ESMTP id AAA20513 for ; Mon, 17 Jul 2000 00:16:44 +0900 (JST) Received: from tsbgw.wide.toshiba.co.jp (tsbgw.wide.toshiba.co.jp [202.249.10.123]) by maltese.wide.toshiba.co.jp (8.9.1/8.9.1) with ESMTP id AAA24388 for ; Mon, 17 Jul 2000 00:16:44 +0900 (JST) Received: from orange.kame.net (orange.kame.net [203.178.141.194]) by tsbgw.wide.toshiba.co.jp (8.9.3/8.9.1) with ESMTP id AAA28785 for ; Mon, 17 Jul 2000 00:16:43 +0900 (JST) Received: from shuttle.wide.toshiba.co.jp (shuttle.wide.toshiba.co.jp [202.249.10.124]) by orange.kame.net (8.9.3+3.2W/3.7W/smtpfeed 1.06) with ESMTP id AAA69435 for ; Mon, 17 Jul 2000 00:16:34 +0900 (JST) Received: from localhost (shuttle.sixyards.wide.toshiba.co.jp [3ffe:501:100f:0:200:f8ff:fe01:61cf]) by shuttle.wide.toshiba.co.jp (8.9.1+3.1W/8.9.1) with ESMTP id AAA17868 for ; Mon, 17 Jul 2000 00:01:34 +0900 (JST) Date: Mon, 17 Jul 2000 00:12:28 +0900 Message-ID: From: JINMEI Tatuya / 神明達哉 To: core@kame.net Subject: Re: [KQC] In-Reply-To: In your message of "Sun, 16 Jul 2000 23:45:46 +0900 (JST)" <20000716.234546.74718191.kazu@Mew.org> References: <20000716.234546.74718191.kazu@Mew.org> User-Agent: Wanderlust/2.3.0 (Roam) Emacs/20.6 Mule/4.0 (HANANOEN) Organization: Research & Development Center, Toshiba Corp., Kawasaki, Japan. MIME-Version: 1.0 (generated by SEMI 1.13.7 - "Awazu") Content-Type: text/plain; charset=ISO-2022-JP X-Dispatcher: imput version 980905(IM100) Lines: 16 X-UIDL: C4)#!"`R"!9,f!!~>d!! >>>>> On Sun, 16 Jul 2000 23:45:46 +0900 (JST), >>>>> Kazu Yamamoto (山本和彦) said: >> 無理数の無理数乗で有理数になるものがあることを証明しなさい。 >> つまり、無理数x, yでx^yが有理数になるようなものがあることを示せ、と >> いうことです。 > 虚数を使ってもいいの？ No. 実数onlyです。 > いいなら、考えるまでもないけど。 e^(iパイ)とかありますからね。原文がちょっと不明確だったかも。 神明 達哉