😊出会いの泉😊

Dengan kesaktian Indukmu様、おはようございます。
はじめまして。

おしゃっていることが、レベルが高すぎて、理解できません。

No.254の有理数進数では、無理数を表せないと修正します。

> 有理数の四則演算なので、有理数で閉じているから、無限であっても、有理数のはずです。

なるほど、ではその証明をどうぞ。
四則演算一般でなく和の場合のみ、すなわち「有理数の総和は有理数である」という命題だけで構いません。

DD++様、遅れてすみません。２４時間に２０投稿という制限がありました。うっかりです。

これで、どうでしょう？

有理数と有理数の和が有理数であることを証明する。
数学的帰納法を使う。

a0/b0を初項とする。有理数である。
これに、a1/b1をたすと、
a0/b0+a1/b1=(b1a0+b0a1)/(b1b0)
であり、右辺は有理数である。

a0/b0からan/bnまでを足しても有理数cn/dnだったとする。
さて、これに、a(n+1)/b(n+1)を加えると、
cn/dn + a(n+1)/b(n+1) = {b(n+1) cn+dn a(n+1)}/{dn b(n+1)}
右辺は有理数である。

よって、数学的帰納法によって、証明された。

ちょっと、雑ですが、お許しください。

数学的帰納法は、任意の自然数nについてある条件が成立することを示す証明法です。
つまり、はちべえさんがここで証明した命題は正しくは「任意の自然数nについて任意のn個の有理数の総和は有理数となる」という命題です。

確かにこれで、個数が100個であろうが1万個であろうが、有理数のみからなる総和は有理数であることが保証されました。
しかし、数学的帰納法を用いた以上、そこには【その個数が自然数として表現できる限りは】という制約がついてきます。

無限は残念ながら自然数ではありませんね。
したがってこの証明では有理数のみからなる無限和が有理数になるかどうかは実は不明なままなんです。
無限和でも有理数だと主張したいのであれば、個数が自然数でなくても適用できる証明をしなくてはなりませんが、さて、どうでしょう？

DD++様、おはようございます。

＞無限和でも有理数だと主張したいのであれば、個数が自然数でなくても適用できる証明をしなくてはなりませんが、さて、どうでしょう？

困りました。

そこで、世間では、どうしているのだろうと、みると、
https://ja.wikipedia.org/wiki/%E3%83%90%E3%83%BC%E3%82%BC%E3%83%AB%E5%95%8F%E9%A1%8C
の「収束することの証明」では、無邪気に無限までなんの説明もなく、やっています。

まあ、参考にはなりませんね。困りました。いい案ないですかね？

ところで、放送大学の「初歩からの数学」で、有理数には、循環する無限小数はふくまれ、循環しない無限小数は無理数だと習いました。循環する無限小数は、例えば、1÷7ですが、あまりが循環するので、循環する無限小数となるのです。ところが、0.999・・・は、無限小数ですが、あまりはありません。つまり、あまりが循環する循環小数では、ないのです。したがって、無理数です。１は有理数で、0.999・・・は、無理数で、等号で結べませんと思います。

世間一般では、「0.999・・・」は循環小数だと思うのですが、うんざりはちべえさんはそう考えないわけですね？

管理人さん、おはようございます。

いつもご迷惑おかけします。

さて、０．９９９・・・は、ただ９を並べただけで、９が連続する（循環する）理由がないですよね。見かけは、循環しているように見えますが、ちがいますよね。
１÷７は、あまりが循環するから、循環小数になり、無限小数になります。

循環する根拠（理由）は、いりませんか？

１÷１を計算すれば、９が連続しませんか？

１÷１＝1で、長さ０の有限小数です。あまり、0です。

もしかして、
0.9999
1)1
　　10
　　 9
　　--------
　　　 10
　　　　9
　　　------
　　　　10
　　　　　9
　　　　-------
　　　　　10
　　　　　９
を言ってます？あまり１で循環させることもできます・・・
昔の同僚が、学校の数学の先生から１＝０．９９９・・・の証明として、説明されたと言ってました。

これで、１＝０．９９９・・・は、終わりにしますか？

> 困りました。いい案ないですかね？

ありません。なぜなら、実際には無限和の場合この命題は偽だからです。反例の1つがまさにバーゼル問題です。

同様に、交換法則、結合法則等も無限和においては成立せず、それどころか同じ内容の式であれば何回計算しても常に同じ答えになることすら保証されません。

もちろん、9を付け足していくという操作に関しても、有限回であれば当たり前のことが無限回で成り立つかどうかは逐一証明が必要です。
9を付け足しているだけでは繰り上がりが起こらない……本当に無限回でもそうですか？
というのが最初に私が指摘した内容です。

「あまり１で循環させることもできます・・・」とのことですが、どうするのでしょうか？

宇宙人との接触に成功し懸命に文化・学問の交流を試みはじめていました。
この宇宙人とのあいだで、地球の数学概念・数学記号について対話しています。
宇宙人側は万能翻訳機に近いものを持ってはいたのですが……
対話のなかで
不等号についてはすぐに宇宙人にご理解いただけました。
ところが等号についてはなかなかご理解いただけていません。

宇宙人側にとって、
1=0.999999……
がどうやら難関のようです。

十進の有限小数の範囲までなら等号の意味を理解はしてもらってはいるのですけれども。

そんなある日のこと、地球側の小さな子ども（ジョン）が、宇宙人の子ども（名前不明）と話はじめました。

ジョン
「あのねえ
Ａ＝Ｂ
について説明するよ。
もひとつなんでもいいから十進の有限小数となるＣをもってくる。
Ａ＜Ｃ　
Ｂ＜Ｃ　
がともになりたつか
Ａ＞Ｃ　
Ｂ＞Ｃ　
がともになりたつかの、
どちらかがどんなＣについても必ずいえるとき
Ａ＝Ｂ
というんだよ。 」

名無し（宇宙人の子）
「なあんだ、地球の等号って、そういうことなのか、悩んで損したなあ」

子どもたちの会話を聞いていた大人たちは喜びました。
地球の十進無限小数の概念が伝わった瞬間でした。

※あとでわかったことですが宇宙人の数学での数の表現は連分数展開を基調とするものだったのでした。


―――

という例えばなしはいかがでしょうか？

十進の有限小数の全体の集合をデデキントっぽく切断して十進の無限小数（循環小数または無理数）に拡大するというお伽噺です。

DD++様、こんにちは。

無限では、情報はなくなるという理解でいいのでしょうか？

管理人様、こんにちは。

＞「あまり１で循環させることもできます・・・」とのことですが、どうするのでしょうか？

管理人様の1÷１のことです。

Dengan kesaktian Indukmu様、こんにちは。

難しいお話ですが、お手数をおかけして、申しわけございません。

具体的にどう計算するのかを知りたいのですが…。

管理人様、No.275です。
　--------
１）１
で、あまり１として、
　　0.9
　--------
１）１0
　　　９
　　-----
　　　１
とあまり１にするのです。
　　0.9９
　--------
１）１0
　　　９
　　-----
　　　１０
　　　　９
　　　------
　　　　１
とあまり１にするのです。
もう説明不要でしょう？

もちろん、
　　1
　-------
１）１
　　１
　　----
　　0
ですけどね。だから、1=0.999・・・となります。

もちろん、これは、方便に過ぎないと思いますが、あまり１で循環する無限小数となります。有理数になります。

1÷1で、あまり1が続く計算から、0.999…が循環小数であることを示されたわけですが、
このことは今まで言われていたことに矛盾しませんか？

0.999・・・は、無理数です。循環小数とする根拠がありませんからね。

この1÷１は、あくまで、方便です。0.999・・・を作るのに、インチキしてますからね。

1=0.999・・・を終わらせる方便です。管理人様の発案を利用しただけです。

この議論は、終わりにしないと、管理人様にもいつまでも迷惑をおかけし、他の人にも迷惑だと思いました。

本当は、これから、0.999・・・は、循環小数かという議論が、したかったのですが・・・。

https://ja.wikipedia.org/wiki/%E5%BE%AA%E7%92%B0%E5%B0%8F%E6%95%B0
には、0.999・・・は、循環小数と書かれています。

勝手な行動ばかりで、管理人様には、本当にすみません。

「情報が失われる」という数学的用語は私が知る限り存在しませんが、それを「演算について閉じなくなる」と同じ意味で用いているのであれば、そうです、無限の場合にはそうなることがあります。
また、そうならない場合でも、無限の場合でも適用可能な証明をするまでは断言することはできません。

DD++様、おはようございます。

＞なぜなら、実際には無限和の場合この命題は偽だからです。反例の1つがまさにバーゼル問題です。

このことから、
0.999・・・=9/10+9/10^2+9/10^3+9/10^4+・・・・
は、無理数であるとなりますね。

DD++様の
＞「情報が失われる」という数学的用語は私が知る限り存在しませんが、それを「演算について閉じなくなる」と同じ意味で用いているのであれば、そうです、無限の場合にはそうなることがあります。

は、理解できました。

>また、そうならない場合でも、無限の場合でも適用可能な証明をするまでは断言することはできません。

は、注意しておきます。

ありがとうございます。

「p≡1 (mod 8), (mod 12), (mod 5), (mod 28)のとき・・・であるが、それを満たす最小の素数は2521」
と言っているのでは？

最近、　-1＝・・・９９９　という表記に触れ、不思議さを感じました。

表現というのは、違和感ありますね。まだ計算の途中みたいな、
同等になるということですか。
４sin(pai/4)cos(pai/4) も同等ですね。

0.999…＝１は、厳密には、極限の問題ですが、
ｘ　＝０.９９９９…とおいて、１０倍して
１0ｘ＝９.９９９…＝９＋０.９９９…＝９＋ｘ　より
９ｘ＝９　つまり、ｘ＝１が気に入ってます。

ちょっとKS様の計算に疑問ですが、

x=aとする。
　nx=na
-) x= a
(n-1)x=(n-1)a
両辺を(n-1)でわると、
x=a

さて、ここで、a=0.9999・・・・,n=10を代入すると、　

　10x=9.999・・・・
-) x= 0.999・・・・
9x= 9 ✕ 0.9999・・・ なお右辺の✕は掛け算のかけるという記号です。
両辺を10-1でわると、
x=0.999・・・・

となりませんか？

管理人さんのコメントに対してですが、、代数学的に、x=aは、10倍して、引いても、x=aなのです。

ですから、よく説明される
　10x=9.999・・・・
-) x= 0.999・・・・
9x=9
両辺を10-1でわると、
x=1
なんて、真っ赤な嘘です。
代数学的結論を否定するこの計算はおかしいのです。

別のはなしで説明すると、
x=1-0.1=0.9 とする。
　10x= 9
-) x= 0.9
9x= 8.1
x=0.9

x=1-0.01=0.99とする。
　10x= 9.9
-) x= 0.99
9x= 8.91
x=0.99

x=1-0.001=0.999とする。
　10x= 9.99
-) x= 0.999
9x= 8.991
x=0.999

同 様にして、x=1-10^(-n)とすると、｛　x=0.9999・・・・であるが｝
　10x=10{1-10^(-n)}
-) x= 1-10^(-n)
9x= 9-10 10^(-n)+10^(-n)
9x= 9-9 10^(-n)
x= 1-10^(-n)

よって、10^(-n)＞0であるから、{ 10^(-n)においてnは無限大であるから、10^(-n) は無限小である。}
x<1
つまり、
x≠1

ここで、もし、10^(-n)=0とすると、｛もし、10^(-n)=0 つまり、無限小は0であるなら｝
x= 1-10^(-n)=1　つまり、x=1であり、x=0.9999・・・・とはならない。

無限小を使ってもだめである。

私は、0.999・・・=1は、間違いだと思います。

1/3は、0.333・・・・となるということをよく考えると、1÷3はあ まりが出てきて、0.333・・・・・と、あまり０．０・・・・1ですね。無限に３が続くということは、あまりが無限に続くということです。あまりが、な くなったら、３は終わりです。ところが、０．３３３・・・・は、あまりがいらない、なくなると言っているのです。

したがって、1/3≠０．３３３・・・です。両辺を３倍するにしても、左辺は１ですが、小数計算は末位からするのが、規則ですが、そこを無理やり、３倍しても０．９９９・・・ですが、1/3✕3=1≠０．999・・・となり、1≠０．999・・・です。


また、ε-δ法は、実数なら、使えるかもしれないが、１０進数では使えないのである。

数直線で考えると、ε-δ法でできたとなるが、10進数で、0.999・・・をいくら1に近づけようと9を増やしても、0.999・・・でしかない のです。

なぜなら、0.999・・・・の9を使い果たしたら、桁上がりして1になるのであるからです。

9を使い果たすということは、0.0・・・・1がなければありえないのです。したがって、ε-δ法では、どこまで行っても0.999・・・に過ぎ ないのです。

０．９９９・・・＝１の問題は１０進数の問題であるから、明らかに、０．９９９・・・＜１なのです。

極限なら、０．９９９・・・はほぼ１でしょう。
しかし、等号で、結ぶことは、できません。

100歩譲りましょう。

NHK のBSPでみた「コ ズミック　フロント「相対論ｖｓ．量子論　事象の地平線と“異次元のダンス”」から思いました。

車いすの天才・ホーキング博士が提示した「ブラックホール情報パラドックス」で、ブラックホールは熱を出して、縮み消滅し、すべての情報は失われるといったの に、量子力学者たちは、情報は無くならないといい、論争になり、何年もかかって、超弦理論で、情報は無くならないと結論が出たのです。

さ て、自然数、１，２，３，・・・・と無限までゆくとします。偶数は、2nで、奇 数は2n+1です。では、無限大は、偶数ですか、奇数ですか？ととわれると、無限大は、どちらかわからないので、偶数でも、奇数でもないという説明では間 違っていると思います。

無限では、バーゼル問題でも、有理数（分数）は、四則演算で、有理数で閉じているのに、π^2/6という無理数になっているのです。

有理数で閉じているものが、無限で、無理数になるということは、有理数という情報が無限でなくなっているのです。

無限では、情報はなくなるのです。

ですから、自然数から派生した無限大も自然数もそういう情報なので、無限大は、情報がなくなって、自然数というこ ともありませんし、 無理数かもしれないし、虚数かもしれないし、複素数かもしれないし、これまでの概念を超えたものかもしれなくなるということです。そうなると、大小関係（情報）もなくなるということです。

ということにすれば、1/3=0.333・・・・となるのです。

（でも、これには根拠がありません。無理数、あるいは複素数かもしれませんから・・・・）

10進数について、注意書きをします。
10進数は、10個の記号をつかいます。０，１，２，３，４，５，６，７，８，９です。
記号を使い果たしたら、桁上がりします。つまり、９の次が必要にならないと、桁上がりしません。

０．９９９・・・と９を無限に並べても、９の次の記号が必要にならない限り、桁上がりは起きず、１にはなりません。

もし、超弦理論ででた結論で、無限でも情報が無くならないとすると、

√２は、
√2=1.414213562373095・・・
なので、桁ごとに表すと、次のようになります。
=1+4/10+1/10^2-+4/10^3-+2/10^4-+1/10^5-+3/10^6-+5/10^7-+6/10^8-+2/10^9-+・・・・
さて、右辺は、有理数の四則演算なので、有理数で閉じていますから、無限であっても有理数のはずです。
したがって、10進小数はすべて、有理数となるはずです。
つまり、10進小数は、無理数を含まない、すなわち、10進数は、無理数を含まないとなるのではないでしょうか？
当然、2進数でも、桁ごとに表せば、有理数の四則演算なので、有理数で閉じていますから、無限であっても有理数のはずです。したがって、２進数は、無理数を含まないとなるのではないでしょうか？
同様にして、自然数進数は、無理数を含まないとなるのではないでしょうか？
同様にして、有理数進数は、無理数を含まないとなるのではないでしょうか？

結論として、有理数進数は、無理数を含まないとなるのではないでしょうか？

うんざりはちべえさん、ご投稿ありがとうございます。うんざりはちべえさんの計算で
10x=9.999・・・・
-) x= 0.999・・・・
　9x= 9×0.9999・・・
がよく分かりません。9.999・・・から0.999・・・を引いたら、9になると思うのですが、なぜ、
「9×0.999・・・」という書き方になるのでしょうか？

管理人さん、ご迷惑おかけします。連投しましたことをお許しください。

管理人さんの質問ですが、それは、次の代数式の計算に当てはめているからです。
x=aとする。
　nx=na
-) x= a
(n-1)x=(n-1)a
両辺を(n-1)でわると、
x=a

仮定が「x=aとする。」で、結論が「x=a」では、何も計算していないことにならないで
しょうか？うんざりはちべえさんの計算の真意は？

Komornik-Loreti 定数 というのがありまして、定義や、どんな数値になるのかについてを OEISの
「A055060」で参照できます。
今回はこの定数を q で表すこととします。
さて『1 の q進表現』を考えますと、1 = 0.11010011001011010010110011010011…
となりまして、この数は Thue-Morse 列 となります。

Thue-Morse 列につきましては、http://shochandas.xsrv.jp/mathbun/mathbun1053.html
に色々な関連事項が記載されています。

そも管理人さんが見たのは「……999=-1」なんですよね？
これは「0.999……=1」とは全く別の等式なわけですが議論が明後日の方向にすっ飛んでませんかね。
（前者は解析接続の話、後者は極限の話）

また、はちべえさんの論理に対して指摘を1つ。
はちべえさんは「有限回の計算では閉じている処理が、無限回では閉じなくなることがある」と理解しているわけですよね。
で最後に9を付け足すという処理を繰り返したときに、有限回の処理では小数点の前の数が必ず0のまま保たれるのに対して、それを無限回やったら小数点の前の数字は0とは限らなくなるはずなんですが、はちべえさんは何を論拠にそれが0のままとしているのでしょう？

管理人さん、私は、
　10x=9.999・・・・
-) x= 0.999・・・・
9x=9
両辺を10-1でわると、
x=1

この計算の、10倍したものから引いて、0.999・・・が消えるという計算に疑問があったのです。
0.999・・・を桁移動しても、無限だから、小数部が、変わらないということを代数計算で、否定したのです。

少なくとも、小数計算は、原則として末位から行うもので、無限だから、末位はありえないので、この計算はできないと指摘しているWebもあります。

それもあったので、代数計算でやってみたら、x=aは、n倍して引いても、x=aであり、aの小数計算が不要であることが、示されました。

DD++様、はじめまして。

＞はちべえさんは「有限回の計算では閉じている処理が、無限回では閉じなくなることがある」と理解しているわけですよね。

これは、どこの話でしょうか？たくさん連投したもので、すみません。
バーゼル問題でしょうか？

＞で最後に9を付け足すという処理を繰り返したときに、有限回の処理では小数点の前の数が必ず0のまま保たれるのに対して、それを無限回やったら小数点の前の数字は0とは限らなくなるはずなんですが、はちべえさんは何を論拠にそれが0のままとしているのでしょう？

これも、どこの話でしょうか？ひらめきが悪くてすみません。

上はバーゼル問題のところの話ですね。
単なるはちべえさんの理解の確認程度です。

下はNo253の話です。

1 の値についての十進表現として自明な 1 と非自明な 0.99999… とがあることについて話題になっているようですね。
実のところ、1 の値について 2 通りの十進表現を許容することが標準的なモデルとなっていますのでなんら問題なしとしたいところではあります。

十進に限らなければ、たったの2通りでは済まないこともありえます。

黄金比を q で表すこととします。
ここで『1 の q進表現』についてさまざまな表現を列挙したく存じます。

いま、表現の循環部を()で囲むことといたします。
注:10進表現で()の使い方わ例示しますと、
1/3=0.(3)
ですし、
1/7=0.(142857)
とします。
本当は循環部の始めと終わりの桁の数字の上に「・」を書きたいのですが、今回は諦めることとし、()で代用します。

話を戻します。1の黄金比進表現をいくつか並べます。

1
1.(0) →無限小数
0.(10) →無限小数
0.11
0.1011
0.101011

この他にも多数あります。(上の例では可算無限個の表現がありますね）

以上、十進に限らなければ、たったの2通りでは済まないこともありえる、というお話をしました。

なお、前回に投稿した Komornik-Loreti 定数を基数とした表現を取りますと、1 の値の表現として非自明なものは、投稿済みのあの表現のたったの１個しかないそうです。

もっと驚くべきは、 基数を上手に選べば、1の値の表現が【非】可算無限個存在することもある、という……

以上は
https://ja.wikipedia.org/wiki/0.999...
を参考にしております。

「3以上」でよいと思います。

「素数の奇素数」の意味がよくわかりません（素数番目の奇素数とかのタイポかなあと思いますが）が、
仮に奇素数を全部使ってよい場合でさえ「3以上」だと3が反例になるのでは？

あ、奇素数だったんですね。失礼しました。

# というか、奇素数に限る必要はないと思いますけどね。

ksさんの問題の仮定に加えて、《その二つの奇素数のうち「少なくとも一つ」は「双子素数の片割れ」とすることができる。》

こちらには反例があるでしょうか。

５＝３＋３－１
７＝３＋５－１
１１＝５＋７－１
１３＝３＋１１－１
１７＝７＋１１－１
１９＝７＋１３－１
２３＝１１＋１３－１
２９＝１３＋１７－１
……
このあたりまでは双子素数の片割れないし両方が右辺に顔を出すようにできるようです。

もっと左辺が大きい場合にはどうでしょうか？

確かに、３＝２＋２－１なのですが、２は、唯一偶数の素数で、
特別この時以外は、使わないので、奇素数＋奇素数ー１の場合だけにしました。あと同時に、
姉妹編、５以上の奇素数は、奇素数＋２のべき乗数で表せる
こちらは、すぐに見つかりました。最小数は？
謎の多い素数が、簡単な式で表せるほど、甘くはないと、
単純な式では、うまく反例があるとは思いますが。

反例となる最小の奇素数は、１２７ですね！

ｋｓさんからのコメント:
《５以上の素数は、二つの奇素数の和から、１を引いて表せる。》について、これに反例があるかどうかについては
ゴールドバッハ予想について参照すれば参考になろうかと存じます。

《その二つの奇素数のうち「少なくとも一つ」は「双子素数の片割れ」とすることができる。》に反例があるかどう
かについては 、OEISの「A295424」： Number of distinct twin primes which are in Goldbach partitions of 2n
が参考になります。

引用します。
”Conjecture. Further empirical examinations lead to a hypothesis that all even numbers n ＞ 4 have at least 1 twin prime in GP(n).”

以上となります。

面白い問題ですね。

(1) 216 = 3^3 * 2^3, 162 = 3^4 * 2
(2) 592 = 2^4 * 37, 925 = 5^2 * 37
(3) 901 = 17 * 53, 910 = 2 * 5 * 7 * 13
(4)
(5) 180 = 2^2 * 3^2 * 5, 1080 = 2^3 * 3^3 *5
(6) 175 = 5^2 * 7, 1575 = 5^2 * 7 * 3^2
(7) 125 = 5^3, 512 = 2^9
(8) 625 = 5^4, 256 = 2^8
(9) 2401 = 7^4, 1024 = 2^10

(4) だけは理詰めでも当てずっぽうでも厳しそう……。


これも綺麗ですかね。
知らなきゃ難問だと思いますが。

ABC = p^2 * q^2 (p<q)
ACB = r^2
BCA = s^2

管理人様、DD++様
　ご回答ありがとうございます。正解です！

DD++様
　ＡＣ＝p^4　　ですね。
　数字の並びを知っていたら分かりますが、理詰めで解くならば素数の平方が3桁になるものを書き出して絞りそうです。

　(4) については、
　　　ＡＢＣとそのアナグラムが互いに素であれば素因数3を含まないこと、
　　　7*11*13＝1001＞999より、pは2または5であること
　　などを用いれば多少絞り込めますが、最後はしらみつぶしかなと思います。

（追記）
最終的には、
　ＡＢＣ＝p*q*r，　（ＡＢＣのアナグラム）＝s*t*u
のようなものを作りたかったのですが、私が手計算した限りでは存在しませんでした。

(4) 874 = 2 * 19 * 23, 847 = 11^2 * 7

s が　2 桁になるのは想定してなかった……。

(4)の解はもう一つありますね。

DD++様
　ありがとうございます。私の想定解でした。

らすかる様
　ありがとうございます。
　唯一解と思っていましたが、確かに s が２桁の解がもう１つありましたね。

管理人さんの解答である 174 と 147 は、素因数の 3 が重複してるので
「p、q、r、…… は、相異なる
素数とする。」
に反していますね。

DD++さん、ご指摘ありがとうございます。確かに、条件に反していましたね！

ひょっとして、以下の式でしょうか。

1^k+19^k+20^k+51^k+57^k+80^k+82^k ＝ 2^k+12^k+31^k+40^k+69^k+71^k+85^k
( k = 1, 2, 3, 4, 5, 6 )

※上の式は本日、Google徘徊をしていて偶さかにみつけました。

⇒ Chen Shuwen's Equal Sums of Like Powers Page http://euler.free.fr/eslp/

またもやオイラープロジェクトです。

このドキュメントには「12個の累乗和」も例示されていました……

以前出会った等式の中にa,b,cを任意の自然数とし

(6*a-3*b-8*c)^k+(5*a-9*c)^k+(4*a-4*b-3*c)^k+(2*a+2*b-5*c)^k+(a-2*b+c)^k+b^k
=(6*a-2*b-9*c)^k+(5*a-4*b-5*c)^k+(4*a+b-8*c)^k+(2*a-3*b)^k+(a+2*b-3*c)^k+c^k

(但しk=0,1,2,3,4,5)

というものがありました。
こんなにも自由度がありながら成立できるなんてと思っていろいろa,b,cのパラメータを変化させてみて確かめたんですが
確かに等号が成立していきます。
中にはa,b,cの取り方によってはk=6,7,8,9,10,･･･でも等号OKというものもでてきます。

こんな式をよく思いつきますよね～

貴重な、スペシャルな解を、見つけてくださって、ありがとうございます。
私の、探索の中では、二けた以内の自然数解はありませんでした。
見つけたのは、二組。
（1，19，28，59，65，90，102）
≡（2，14，39，45，76，85，103）
（1，16，26，62，75，105，107）
≡（5，7、37，50，86，96，111）

最初の式が、間違えてました。
ABCD＋ADBC＞＝ACBD　でした
トレミーの不等式でした。
等式の部分が不足してます。

等号が成り立つ⇔（α－β）（γーδ）＝ｋ（αーδ）（βーγ）
⇔（α－β）（γーδ）/（αーδ）（γーβ）=ーk（実数）
⇔偏角を取ると、０ではなく、１８０°の場合になる
⇔ＡＲＧ（（α－β）（γーδ）/（αーδ）（γーβ））＝π
⇔ＡＲＧ（α－β/αーδ）＋ＡＲＧ（γーδ/γーβ）＝π
⇔∠ＤＡＢ＋∠ＤＣＢ＝π　対角の和がπ
⇔Ａ、Ｂ、C、Dは同一円周上の点