• ベストアンサー

エジプト分数表示、有理数を単位分数の和で表す

エジプト分数表示と呼ばれる、有理数(ただし0から1の間)を単位分数の和で表すことについて調べています。 http://www.interq.or.jp/www-user/nozato/pseudo/noteof/note5.html によると、 p/qより小さい単位分数のうち最大のもの(1/n)をとってきて、 q/p=1/n+… と考え、残りを同様に続けると有限回で終わることが示されています。これは欲張り展開法とも呼ばれるそうです。 次に、 http://www5d.biglobe.ne.jp/~bongo/math/math01.html によると、 n/m が単位分数分解できることを示すのに、 「n と m が互いに素より、 an - bm = 1 となる a,b ∈ N が存在する」 ことを用いて、示されています。 あと、 http://web2.incl.ne.jp/yaoki/abunsuu.htm によると、 「リンド・パピルスの方法の推理」とよばれる次の方法があるそうです。 1.元の分母を越えない最大の3の倍数をみつける。 2.その数を3で割り、2を掛ける。 その数が求める1つの分母になる。 3.与えられた分数から2)で求められた分数を引く。 分子が1のとき、求めるもう1つの分数となる。 分子が2のとき、約分出来るときは、約分した分数が、求めるもう1つの分数となる。 約分出来ないとき、1)にもどる。 分子が3のとき1+2に分割して2、3の分数が求められる。 で、このリンド・パピルスの方法でどの有理数も単位分数の和で表すことができるのかがわかりませんので教えていただけないでしょうか? また、単位分数分解で知られている一般的なおもしろい結果がありましたら、教えていただけないでしょうか。

  • jlglg
  • お礼率34% (133/384)

質問者が選んだベストアンサー

  • ベストアンサー
  • pori_boy
  • ベストアンサー率60% (18/30)
回答No.2

こんにちは リンド・パピルスの方法の推理についてですが これは任意の分数を単位分数にわけることが できるのでしょうか? あやしいように思います。 というのは ステップ3まできたときに分子が1,2,3の いずれかにならないと処理が行えないと思いますが、 例えば与えられた数が 2/19 だと ステップ1 18を見つける ステップ2 1/12が単位分数となる ステップ3 2/19 - 1/12 = 5/308 ??? なお、分子が2に限定されている場合は 分母が偶数なら1つの奇数なら2つの単位分数に 常に分解できるのであまり考える価値はないかもです。 リンド・パピルスの方法(私はよくしりません)に ついての正しい理解が必要かな、です。

jlglg
質問者

お礼

ありがとうございます。 2/19 を単位分数分解ですが、 2/19 - 1/12 = 5/228 となり、リンド・パピルスの方法を少し変更すれば、 5/228 = (1+2+2)/228 = 1/228 + 1/114 + 1/114 となります。1/114が二種類出てくるので一方を、 1/n=1/(n+1) + 1/n(n+1) を用いて、変更すれば出来ます。

その他の回答 (1)

回答No.1

単位分数分解で、自分も色々考えて一つの解法を見つけましたので、使ってみてください。任意の既約真分数で、(1)(分母)÷(分子)を行う。(2)その(商)+1を分母とする単位分数が、求める単位分数。(3)元の分数から、(2)の単位分数をひく。(4)出てきた分数をまた(1)に戻っておこなう。以上の繰り返しで、どんな分数でも単文数の和に直せます。

jlglg
質問者

お礼

その方法は、僕が書いた「欲張り展開法」と同じと思われます。

関連するQ&A

  • エジプトの単位分数について

    いま学校のレポートで「アーメス・パピルス」について調べているのですが、古代エジプトの単位分数の表し方でよく判らないのです。 なぜ、単位分数の分母はすべて異なるものなのでしょうか? 判る方、ぜひ教えてください!

  • 有理数の数え方は?

    カントール流に、x軸に分母、y軸に分子を採って、第1・第2象限内の正方格子点が表現する、正負の有理数のうち、既約分数のみを数える(ナンバリングする)、数え上げ公式を御教え下さい。正のだけを数える公式なら、本で見たのですが。

  • エクセル 分数の表示

    エクセル2003です 分数を約分せずに表示させる方法を教えてください ユーザー定義で###/###としても約分されてしまいます なお、 1.分子・分母とも2桁以上としたい  例えば 20/30 200/400 2000/4000 2.入力した分数を使って計算をしたい

  • 無理数が分子、有理数が分母の分数は無理数ですか

    分子、分母ともに無理数の場合は必ず有理数になりますか。

  • 0,8888・・・はなぜ「有理数」なのですか?

    0,8の「8」の上に「・」があります。 0,88888・・・だと思いますが、これが有理数と回答欄にありました。 有理数はn分のmに表せるものと覚えているのですが、0,8888・・・は分数にはできないと解釈しています。 解説をお願いいたします

  • またまたお願いします。

    ・整数 ? を7でわった商の少数第1位を四捨五入すると7に、3でわった商の第一位を四捨五入すると15になります。 ・1より大きく100より小さい数の中で、分母が6であって、約分できない分数は ? 個です。 ・分子と分母の和が140で、約分すると17/18になる分数は ? です。 ・(7.43×2.42+2.57÷1/2×1.21)÷ ? =1.1×33 これらの問題の解き方を教えてください。 お願いします。

  • cos(有理数*2π)=有理数となるのはどういったときですか

    先日、tan1°、sin1°が無理数であるとのご回答を いただきました。 http://oshiete1.goo.ne.jp/kotaeru.php3?q=2209804 cos(n°)が有理数になるのは、1≦n≦89の範囲では、n=60のときになるときだけ、と自分自身で考えたことをお礼の欄で述べましたが、それはしらみつぶしの方法でした。 改めて、cos(2π*p/q)が有理数となる場合はどういったときか、を教えていただきたいです。以後、孤度法を用います。 sinやtanも気になりますが、とりあえずcosがやりやすそうです。 孤度の(有理数*2π)を区間[0,π/2]上の点に限ると、 結論は、次の場合のみであろうと僕は思います。 cos(0)=(-1),cos(π/3)=1/2,cos(π/2)=0 さて、それを示したいのですが、cos(nθ)はcosθの整数係数n次多項式でかけると言うn倍角の公式があります。 http://www004.upp.so-net.ne.jp/s_honma/inequality/tschebyscheff.htm をみると、その最高次の係数は、2^(n-1)です。 定数項は、0または±1です。 つまり、文字を自然数として、 cos(2π*p/q)=r/s と仮定したとき、左辺のq倍角は、 1=cos(2π*p)=[cos(2π*p/q)を変数とする整数係数q次多項式、最高次の係数は2のベキ] になりますが、それが有理数解r/sを持つなら、分母のsは2のベキになることが分かります。 ここで、分母が2のときは、cos(π/3)=1/2などの解がある。 分母が4のときは、・・・、うーん、ここでつまりました。 別の解法でもいいですので、ヒントでもいいですので、tanなどの場合でもいいですので、なにかご教授いただけないでしょうか?

  • 分母を有理化することについて(2)

    大学受験の場において、分数の分母がルートである場合有理化しなくていいんですか? という質問に対し、 基本的に値さえ合っていれば問題ありません。 ただし、有理化して分母が1になる場合」は 必ず有理化してください。 「未約分」扱いになります。 「共通因数が含まれる場合」も同様です。 「分母分子がともに無理数の場合」も、特段事情がない限り は(分母分子どちらかの)有理化を行います。 これらの場合でも例外的に、複数の値の分母や分子を 揃えて値の大小を比べる(だけの)場合には分母を 有理化(約分)していなくても問題ない場合があります。 という非常に具体的な回答をいただきました。 これ以外で、具体的なことがありましたら教えてください。

  • 5乗根の分数の有理化

    Aの5乗根をf(A)と書くことにします。 このとき、次の分数を有理化する方法を教えてください。 1/{1+f(64)-f(4)} 五乗根の打ち方がわからないので、fで置きました。 「有理化」は「分母を正の整数、分子を整数と累乗根の和差積で表すこと」とします。

  • 分母に有理数と無理数があるときの有利化の方法

    分母がたとえば、 1+√3だった場合、有利化はどうすればいいんでしたでしょうか?? 解答を見ると、 それぞれが独立で二乗されてるようなのですが、なぜこうなるのでしょうか。 普通に和を二乗するとエンドレスで無理数が発生してしまいますよね。。 でも分母の数をそれぞれで有理化、ということになると値が変わってくるような気がしてしまうのですが・・・。 「分母に有理数と無理数があるときの有理化の方法」を教えてください!