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 XAA17799
	for <jinmei@shuttle.wide.toshiba.co.jp>; Sun, 16 Jul 2000 23:31:43 +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 XAA28605
	for <jinmei@shuttle.wide.toshiba.co.jp>; Sun, 16 Jul 2000 23:46:42 +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 XAA24254
	for <jinmei@shuttle.wide.toshiba.co.jp>; Sun, 16 Jul 2000 23:46:42 +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 XAA20234
	for <jinmei@isl.rdc.toshiba.co.jp>; Sun, 16 Jul 2000 23:46:41 +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 XAA24250
	for <jinmei@isl.rdc.toshiba.co.jp>; Sun, 16 Jul 2000 23:46:41 +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 XAA28601
	for <jinmei@isl.rdc.toshiba.co.jp>; Sun, 16 Jul 2000 23:46:40 +0900 (JST)
Received: from mgo.iij.ad.jp (root@mgo.iij.ad.jp [202.232.15.6])
	by orange.kame.net (8.9.3+3.2W/3.7W/smtpfeed 1.06) with ESMTP id XAA69275
	for <core@kame.net>; Sun, 16 Jul 2000 23:46:37 +0900 (JST)
Received: from ns.iij.ad.jp (root@ns.iij.ad.jp [192.168.2.8])
	by mgo.iij.ad.jp (8.8.8/MGO1.0) with ESMTP id XAA13539
	for <core@kame.net>; Sun, 16 Jul 2000 23:46:36 +0900 (JST)
Received: from fs.iij.ad.jp (root@fs.iij.ad.jp [192.168.2.9]) by ns.iij.ad.jp (8.8.5/3.5Wpl7) with ESMTP id XAA14941 for <core@kame.net>; Sun, 16 Jul 2000 23:46:36 +0900 (JST)
Received: from localhost (mine.iij.ad.jp [192.168.4.209]) by fs.iij.ad.jp (8.8.5/3.5Wpl7) with ESMTP id XAA13496 for <core@kame.net>; Sun, 16 Jul 2000 23:46:36 +0900 (JST)
Date: Sun, 16 Jul 2000 23:45:46 +0900 (JST)
Message-Id: <20000716.234546.74718191.kazu@Mew.org>
To: core@kame.net
Subject: Re: [KQC]
From: Kazu Yamamoto (山本和彦)
 <kazu@iijlab.net>
In-Reply-To: <y7vn1ji8fp7.wl@condor.isl.rdc.toshiba.co.jp>
References: <y7vn1ji8fp7.wl@condor.isl.rdc.toshiba.co.jp>
X-Mailer: Mew version 1.95b47 on Emacs 19.34 / Mule 2.3 (SUETSUMUHANA)
Mime-Version: 1.0
Content-Type: Text/Plain; charset=iso-2022-jp
Content-Transfer-Encoding: 7bit
X-UIDL: hY)"!~eS!!&%6"!0M3!!

From: JINMEI Tatuya / 神明達哉 <jinmei@isl.rdc.toshiba.co.jp>
Subject: [KQC]

>   無理数の無理数乗で有理数になるものがあることを証明しなさい。
>   つまり、無理数x, yでx^yが有理数になるようなものがあることを示せ、と
>   いうことです。

虚数を使ってもいいの？

いいなら、考えるまでもないけど。

--かず