😊出会いの泉😊

三線極点(trilinear pole)と三線極線(trilinear polar)のことですよね？

https://ja.wikipedia.org/wiki/%E4%B8%89%E7%B7%9A%E6%A5%B5%E7%B7%9A


これが何かの一般化なのかどうか私は知りませんが、
円や二次曲線の極・極線とは無関係だと思った方がいいと思います。

よくあることですが、別のものに同じような名称が使われていると紛らわしいですよね。


この図で基準三角形を△ABCとするとき、点Pと直線UVWが三線極点・三線極線の関係にあります。

No.2538 の図について説明を書いておこうと思います。

以下では射影平面で考えることとし、
ユークリッド平面で必要な平行線の場合分けを一切省略します。

点から始める場合と直線から始める場合でそれぞれ説明ができますが、
それぞれの説明は射影幾何の双対の関係にあります。


(1)[点Pから始める場合]

基準三角形を△ABCとします。
点Pは直線BC,CA,AB上にない点とします。

BCとAPの交点をA'，CAとBPの交点をB'，ABとCPの交点をC'とするとき、
△A'B'C'を(△ABCに関する)点Pのチェバ三角形といいます。

基準三角形△ABCとチェバ三角形△A'B'C'は点Pを中心とする配景の位置にあるので
デザルグの定理により配景の軸が存在します。
すなわち、BCとB'C'の交点U，CAとC'A'の交点V，ABとA'B'の交点Wはある直線l上にあり、
この直線lを(△ABCに関する)点Pの三線極線といいます。

また、A,A'に関する点Pの調和共役点をA''，B,B'に関する点Pの調和共役点をB''，
C,C'に関する点Pの調和共役点をC''とするとき、
△A''B''C''を(△ABCに関する)点Pの反チェバ三角形といいます。
4点A,U,B'',C''，4点B,V,C'',A''，4点C,W,A'',B''はそれぞれ一直線上にあります。

基準三角形△ABCと反チェバ三角形△A''B''C''は点Pを中心とする配景の位置にあるので
デザルグの定理により配景の軸が存在しますが、それは直線lに一致します。


(2)[直線lから始める場合]

基準三角形を△ABCとします。
直線lは点A,B,Cを通らない直線とし、
直線lと直線BC,CA,ABの交点をそれぞれU,V,Wとします。

3直線AU,BV,CWを辺とする三角形を△A''B''C''とします。
(BVとCWの交点をA''，CWとAUの交点をB''，AUとBVの交点をC''とします。)

基準三角形△ABCと△A''B''C''は直線lを軸とする配景の位置にあるので
デザルグの定理により配景の中心が存在します。
すなわち、3直線AA'',BB'',CC''はある点Pで交わり、
この点Pを(△ABCに関する)直線lの三線極点といいます。

また、BC,AUに関する直線lの調和共役線をi，CA,BVに関する直線lの調和共役線をj，
AB,CWに関する直線lの調和共役線をkとするとき、
3直線i,j,kを辺とする三角形を△A'B'C'とします。
(jとkの交点をA'，kとiの交点をB'，iとjの交点をC'とします。)
4直線BC,AA'',j,k，4直線CA,BB'',k,i，4直線AB,CC'',i,jはそれぞれ一点で交わります。

基準三角形△ABCと△A'B'C'は直線lを軸とする配景の位置にあるので
デザルグの定理により配景の中心が存在しますが、それは点Pに一致します。

すみません、最後の一文の0も偶数に含めるものとする、は余計でしたね！

辺上の格子点が奇数個⇔辺の中点が格子点⇔辺の両端の座標の偶奇がx,yとも同じ
辺上の格子点が偶数個⇔辺の中点が非格子点⇔辺の両端の座標の偶奇がx,yいずれかで異なる
となるから、問題の条件ではA,B,Cの座標の偶奇はx,yとも同じ
そしてDとCは座標の偶奇がx,yいずれかで異なるから
DとAも座標の偶奇がx,yいずれかで異なることになり、
辺DA上の格子点の個数は必ず偶数個。

正解です！
ちょっと簡単過ぎましたかね。

133の後に1をn個続けて素数になる最小のnは2890ですから、それらの値はすべて合成数とわかっています。
実際、それらの値をPari/GPでisprime((10^2248*1198-1)/9)のように調べると、すべて(1秒以内で)0(つまり合成数)と判定されます。
参考: https://oeis.org/A069568
↑このページのデータは私が2023年にa(119)～a(602)を追加するまではa(1)～a(118)までしかありませんでした。
603の後に1を何個続けると素数になるかは、おそらく誰もわかっていないと思います。
（少なくとも30万個までは合成数でした。）

らすかるさん、偉業ですね。

※ (11980000*(1000000^(n))-1)/9 → 実はこちらの変種でもがいておりました。(⁠゜⁠o⁠゜⁠;

a(603) が不明とのこと、大変に心惹かれます。

白状しますと
MAGMA で以下のコードで走らせて素数がみつかっていなかったので悲しいです。

for n in [4000] do
p := (1198 * 10^n - 1) div 9;
if IsPrime(p) then
printf "n = %o, candidate = %o\n", n, p;
end if;
end for;

Python で下記を走らせたところ、たしかに、
n = 2890 で素数となりました。

from sympy import isprime

# n を 2889 から 2891 の範囲で調べる
n_range = range(2889, 2892)

# 結果を格納する変数
prime_results = []

for n in n_range:
P_n = (1198 * 10**n - 1) // 9 # 整数値を計算
if isprime(P_n):
prime_results.append((n, P_n)) # n とその素数を記録

prime_results # 結果を出力

> ※ (11980000*(1000000^(n))-1)/9 → 実はこちらの変種でもがいておりました。(?゜?o?゜?;

(10^n*1198-1)/9 は
nが奇数のとき11で割り切れ、
n≡0 (mod 6)のとき7で割り切れ、
n≡2 (mod 6)のとき3で割り切れますので、
素数になるとしたら
n≡4 (mod 6)しかありません。
それを表したのが
(11980000*(1000000^(n))-1)/9
ですね。
（つまり「変種」すなわちこの形にならない(10^n*1198-1)/9は合成数なので、調べる必要がないということです）

n=2890の次に素数になるのはn=17710でした。
ただし、n=17710のときの値は確率的素数です。

らすかるさん、有難うございます。
C言語で組まれていますか？

はい、C言語です。

らすかるさん、
御回答をありがとうございました。

それらは数列サイト（https://oeis.org/Axxxxxx）の以下の項目にありますね。
21111…111が素数: A056700
31111…111が素数: A056704
41111…111が素数: A056706
51111…111が素数: A056713
61111…111が素数: A056717
71111…111が素数: A056719
81111…111が素数: A056722
91111…111が素数: A056726
また、関連するものは以下の通りです。
13333…333が素数: A056698
23333…333が素数: A056701
43333…333が素数: A056707
53333…333が素数: A056714
73333…333が素数: A056720
83333…333が素数: A056723
17777…777が素数: A089147
27777…777が素数: A056702
37777…777が素数: A056705
47777…777が素数: A056708
57777…777が素数: A056715
67777…777が素数: A056718
87777…777が素数: A056724
97777…777が素数: A056727
19999…999が素数: A002957
29999…999が素数: A056703
49999…999が素数: A056712
59999…999が素数: A056716
79999…999が素数: A056721
89999…999が素数: A056725
ちょうど今、これらの未開拓な部分について計算しているところです。
17777…777は一つ見つけましたので、先月追加しました。

あと、Pari/GPでは4500桁ぐらいまでは決定的素数判定法で素数かどうか調べられます。
ただし、4500桁となるとメモリが12GB、時間が（最近のPCで）15時間程度必要です。
私のPCはメモリが16GBしかありませんのでこの程度が限界ですが、
さらにメモリがあれば5000桁ぐらいまではいけると思います（ただし数日～1週間ぐらいかかります）。
そんな感じなので、8111…111の474個、902個はPari/GPでは1分程度で決定的素数と判定できます。

単位円周上のn点を、z_1,z_2, … ,z_n とし、
多項式
P(w)=(w-z_1)*(w-z_2)*…*(w-z_n)
を考える。
|P(w)|≧2 かつ 1≧|w| なる w の存在が次のようにして示せる。

(z_1)*(z_2)*…*(z_n)=(-1)^n となるように座標を設定できる。
k=1,2,…,nに対して、w_k=exp(i*2*π*k/n) とすると、
P(w_1)+P(w_2)+…+P(w_n)=2*n
であることがわかる。よって、
|P(w_1)|+|P(w_2)|+…+|P(w_n)|≧2*n.
よって、|P(w_1)|，|P(w_2)|，…，|P(w_n)|のうち、
少なくとも1つは2以上。

特殊な場合ではこうなっているようです。

単位円に内接する正 n+1 角形の頂点のうち n 個をとります。それらまでの n 個の距離の積が 2 以上になる点が、円周上ないしは円の内部に存在することを示せ。

↓↓↓
正 n+1 角形の頂点のうち n 個をとったときにあぶれた頂点を P とします。
P から あらかじめとられていた n 個の頂点に引いた線分の長さの積 N は n+1 に等しい。

不思議……

「または円の内部」がわざわざついているのが気になっているんですが、
この積が最大値をとる点は必ず円周上にあるわけでもないんですかね？
感覚的には必ず円周上と言えそうな気がしていますが、さりとて証明もできず。

双対多角形を利用すべきと直感的に思ったのですが今日まで鼠一匹捕れませんでした。
(円の内部にもあるとしたら……)

1の原始(n+1)乗根をzとすると、z^(n+1)=1で、z^i(i=0,1,2,...,n)は複素数平面上で正(n+1)角形となります。
zの複素共役z^*はz^*=z^-1なので、実軸上の点(x,0)とz^i(i=1,2,...,n)との距離の積の2乗は、
(x-z)*(x-z^-1)*(x-z^2)*(x-z^-2)*...*(x-z^n)*(x-z^-n)
=(x-z)*(x-z^n)*(x-z^2)*(x-z^(n-1))*...*(x-z^n)*(x-z)
=((x-z)*(x-z^2)*...(x-z^n))^2
となります。

(x-1)*(x-z)*(x-z^2)*..(x-z^n)=x^(n+1)-1=(x-1)*(x^n+...x^2+x+1)
なので、
(x-z)*(x-z^2)*...(x-z^n)=x^n+...x^2+x+1
と表すことができて、実軸上の点(x,0)とz^i(i=1,2,...,n)との距離の積は
|x^n+...x^2+x+1|
となります。

x=1のときは、
x^n+...x^2+x+1=n+1
となって、距離の積はn+1となります。
x=0のときは、(0,0)とz^i(i=1,2,...,n)との距離は1なので、それらの積も明らかに1ですが、
((-z)*(-z^2)*...*(z^n))^2=(-z)^(n(n+1)/2*2)=(-z)^(n(n+1))
=(-1)^(n(n+1))*z^(n(n+1))=1*1=1
となるので、距離の積は1となります。

実軸上の点(x,0)とz^i(i=1,2,...,n)との距離の積|x^n+...x^2+x+1|はxについて連続な実数値関数なので、
中間値の定理から、距離の積が2となる点は(0,0)と(1,0)の間にあることになります。

--------------------------------------------------------------

1の原始(2k+1)乗根をzとすると、z^(2k+1)=1で、z^i(i=0,1,...,2k)は複素数平面上で正(2k+1)角形となります。
実軸上の点(x,0)とz^i(i=0,1,...,2k)との距離の積の2乗は、
(x-1)^2*(x-z)*(x-z^-1)*(x-z^2)*(x-z^-2)*...*(x-z^2k)*(x-z^-2k)
=((x-1)*(x-z)*(x-z^2)*...(x-z^2k))^2
=(x^(2k+1)-1)^2
となります。

x=-1のとき、
(x^(2k+1)-1)^2=(-2)^2=4
となるので、(-1,0)とz^i(i=0,1,...,2k)との距離の積は2となります。

--------------------------------------------------------------

1の原始2k乗根をz、原始4k乗根をwとすると、n=2k,w^2=z,w^4k=z^2k=1で、w^i(i=0,1,...,4k-1)は複素数平面上で正4k角形となり、w^(2i+1)(i=0,1,...,2k-1)は複素数平面上で正2k角形となります。
実軸上の点(x,0)とw^(2i+1)(i=0,1,...,2k-1)との距離の積の2乗は、
(x-w)*(x-w^-1)*(x-w^3)*(x-w^-3)*...*(x-w^(4k-1))*(x-w^-(4k-1))
=(x-w)*(x-w^(4k-1))*(x-w^3)*(x-w^(4k-3))*...*(x-w^(4k-1))*(x-w)
=((x-w)*(x-w^3)*...*(x-w^(4k-1)))^2
となります。

(x-w)*(x-w^3)*(x^w^5)*...*(x-w^(4k-1))
=(x-w)*(x-w*z)*(x-w*z^2)*...*(x-w*z^(2k-1))
=x^2k-w^2k=x^2k+1
なので（x^2k-1=0の根と係数の関係を応用）、x=±1のとき、
x^2k+1=2
となるので、(±1,0)とw^(2i+1)(i=0,1,...,2k-1)との距離の積は2となります。

[2448] の DD++ さんによる問いかけについて
ぼんやりと想起したのが以下です。

複素関数論における最大値の原理（または最大値の定理）
《正則関数f(z)を、円の中心からある一定の距離までの範囲で定義されていて、この範囲で値がなめらかに変化する関数とします。このとき、f(z)の大きさを表す|f(z)|の最大値は、その範囲の端っこの部分、つまり円周上で必ず見つかります。》

このような f がみつかると嬉しいなと。

※でも、大数の記事中の問題に複素関数論使うのかと。近道があるのですかね。

返信遅くなりました。
私が作った解法も、複素平面によるものでした。
なぜ「円の内部」とわざわざ記述されているかについての考察、興味深く拝見いたしました。

ツイッターで紹介されていたサイトに以下のページがありました。(画像はその一部をトリミングしたものです)

https://jkoizumi144.com/puzzles.html

文面が on the circle であり、in the circle ではないことから、求める点は円周上にあると意識されていることと存じます。

p=2,3,5,...に対して、p(p-1)^2/2=1,6,40,...となりますが、ksさんが考えたQ_p(p=2,3,5,...)での既約な二次式というのはどのようなものでしょうか。p=2,3の場合だけでも例示していただけないでしょうか。

p進数体の二次拡大体は、2進数体Q_2については、Q_2(√2)、Q_2(√3)、Q_2(√6)、Q_2(√-1)、Q_2(√-2)、Q_2(√-3)、Q_2(√-6)の7つの二次拡大体があり、p進数体(p>2)Q_pについては、Q_p(√p)、Q_p(√n)、Q_p(√(np))の3つの二次拡大体があります。ただし、nはQ_pに平方根をもたない数です。

Q_2の二次式では、x^2-2,x^2-3,x^2-6,x^2+1,x^2+2,x^2+3,x^2+6が既約となりますが、α=2,3,6,-1,-2,-3,-6とすると、a,b∈Q_2,(x+a)^2-b^2*α=x^2+2ax+(a^2-b^2*α)も既約となります。
Q_p(p>2)の二次式では、x^2-p,x^2-n,x^2-npが既約となりますが、α=p,n,npとすると、a,b∈Q_p,(x+a)^2-b^2*α=x^2+2ax+(a^2-b^2*α)も既約となります。

Q_3では、2の平方根は存在しませんが、-2の平方根は存在し、3進法表記で
...01101021200010200211,
...21121201022212022012
が平方根となります。√-1=√2/(√-2)なので、Q_3(√-1)=Q_3(√2)となり、Q_3の3つの二次拡大体は、
Q_3(√3)、Q_3(√2)=Q_3(√-1)、Q_3(√6)=Q_3(√-3)となります。

Q_5では、2,3の平方根は存在しませんが、3/2の平方根は存在し、5進法表記で
...23333103203131132432,
...21111341241313312013
が平方根となります。√3=√2*√(3/2)なので、Q_5(√3)=Q_5(√2)となり、Q_5の3つの二次拡大体は、
Q_5(√5)、Q_5(√2)=Q_5(√3)、Q_5(√10)=Q_5(√15)となります。

Q_5には-1の平方根も存在して、5進法表記で
...40423140223032431212,
...04021304221412013233
が平方根となります。

p>2の素数として、Jacobi記号(a/p)を用いると、(a/p)=-1のときはaはpを法として平方非剰余で、(a/p)=1のときはaはpを法として平方剰余となります。

p=4n+3の素数のときは、平方剰余の第一補助法則
(-1/p)=(-1)^((p-1)/2)より(-1/p)=(-1)^(2n+1)=-1
となるので-1はpを法として平方非剰余となり、p=4n+3ときは、Q_pに-1の平方根が存在せず、3つの二次拡大体は、Q_p(√p)、Q_p(√-1)、Q_p(√-p)となります。このような素数は、p=3,7,11,19,...などがあります。
これに対して、p=4n+1(p=5,13,17,...)のときはQ_pに-1の平方根が存在します。

p=8n+3,8n+5(=8n-3)の素数のときは、平方剰余の第二補助法則
(2/p)=(-1)^((p^2-1)/8)より(2/p)=(-1)^(8n^2±6n+1)=-1
となるので2はpを法として平方非剰余となり、
p=8n+3の素数はp=4n+3の素数でもあるので、Q_pに-1の平方根が存在しませんが、p=8n+5の素数はp=4n+1の素数でもあるので、Q_pに-1の平方根が存在するかわりに2の平方根が存在せず、3つの二次拡大体は、Q_p(√p)、Q_p(√2)、Q_p(√(2p))となります。このような素数は、p=5,13,29,...などがあります。
これに対して、p=8n+1(p=17,41,...)のときはQ_pに-1と2の平方根が存在します。

平方剰余の相互法則
(p/q)(q/p)=(-1)^((p-1)/2*(q-1)/2)
より、q=3とすると、
(p/3)(3/p)=(-1)^((p-1)/2)
で、p=8n+1のときは(p/3)(3/p)=1ですが、p=3m+2のときは(p/3)=-1なので、(3/p)=-1で3はpを法として平方非剰余となります。p=8n+1かつp=3m+2となるのはp mod 24=17のとき(p=17,41,89,...)で、この場合は、3つの二次拡大体は、Q_p(√p)、Q_p(√3)、Q_p(√(3p))となります。
これに対して、(p/3)=1となるp=3m+1のときは、p=8n+1かつp=3m+1であってp mod 24=1(p=73,97,...)であり、このときはQ_pに-1と2と3の平方根が存在します。

Q_17では、-1と2の平方根が存在して、A=10,B=11,C=12,D=13,E=14,F=15,G=16とした17進法表記を用いると、
-1の平方根は、
...5E81F0160E3D8CGC5A24,
...B28F1GFAG2D38404B6ED
2の平方根は
...2A2E9AB511E922CB822B,
...E6E2765BFF27EE458EE6
とそれぞれ表されます。

有難うございます。
P=2のときの、既約な二次式
x^2+x+1
P=3のときの、既約な二次式
x^2+1,2x^2+2,…など

ksさんの考えでは、p=2でx^2+1とかx^2-2は既約にならないのでしょうか。
p=3で2x^2+2=2(x^2+1)ですが・・・p=3の他の4種類(5種類?)の既約二次多項式はどのようなものでしょうか？

P=3のときの、残りの４個は
x^2+x+2,2x^2+2x+1,x^2+2x+2,2x^2+x+1
素数P進法の二次式の個数は（ｐ－1）ｐ＾２で
そのうち、可約な個数は、ｐ（ｐ＋1）（ｐ－1）／2
既約な個数　ｐ（ｐ－1）＾2／2

有限体GF(p)上でx^2の係数が1の既約多項式は、
p=2で
x^2+x+1の1個
p=3で
x^2+1,x^2+x+2,x^2+2x+2の3個
p=5で
x^2+2,x^2+3,x^2+x+1,x^2+x+2,x^2+2x+3,^2+2x+4,x^2+3x+3,x^2+3x+4,x^2+4x+1,x^2+4x+2
の10個なので、有限体GF(p)上での既約多項式の総数は、p=2,3,5でたしかに1,6,40となりますね。
ksさんが言っていたP進数体というのは有限体のことだったのですね。

あらら……。
6300日を超える連続更新が……。

何処までも続いて欲しかったのですが、残念です。

22日に発生したシステム障害は基地局の機器の不具合によるものでした。27日に解消したようですが、今度は我が家のネットワーク機器の不具合で、インターネットに接続できないでいます。接続業者から明日代替の機器が届く予定です。更新再開までもうしばらくお待ちください。

本日朝９時頃、宅配便が届き、急ぎ機器の設置を行い、９時半ごろ無事機器の動作確認を終了しました。
８日ぶりの更新となります。また末永くご愛顧のほどお願い申し上げます。

このサイトに入るとまず更新記録が続いているか確認し、
来場者数が昨日よりが100増えてるのを確認してから掲示板に移動するのが
ルーティンでしたので更新再開はうれしいかぎりです。

連続更新が途切れたのは残念でしたが、無事に再開できてよかったです。
これからもよろしくお願いします。

今回のネットワーク障害のおかげで、だいぶ勉強になりました！接続業者のサポートセンターへの電話は、午前中よりも午後の方がつながりやすいこと。今回の不運は、障害が起こったのが土曜日で、次の日が日曜、またその次の日が祝日であったこと。サポートセンターは平日しか電話を受け付けないようなので、サポートを受けるまで３日間待たされました。２５日（火）に不具合の電話を入れたところ、回線の状態を調べてみるとのことで、その結果、２６日（水）にエリアの基地局に機器の不具合が発生していたことが分かったようです。２７日（木）に基地局の機器の不具合が解消しましたが、今度は我が家のルーターが故障したようです。２７日の午前中に、一瞬インターネットがつながったのですが、すぐに切れてしまいました。多分そのときにルーターが壊れたのでしょうね。２７日の午後にサポートセンターに電話を入れたところ、ルーターの交換を提案されて、無事に３月２日（日）に回線が復旧しました。家の中ではwi-fiを使っているのですが、テレビやスマホのwi-fiの再設定が必要でした。さらに、プリンタも。スマホからプリンタに出力するのに、wi-fiを経由してつながっていることに気づかされました。意外でした。

今度は 355/113 を３個の正の有理数の立方和として計算してみました。

355/113 = (506940/346921)^3+(14114/199671)^3+(32483809/117606219)^3

参考文献の構成方法で
a=355/113
r=1/6
t=1065/113
としたものです。

(r と t の選び方にはある程度自由度があります。)

周期5と10の場合については、
Sl_3(π/5)=√(3-φ)/2+√(φ+2)/2/2^3+√(φ+2)/2/3^3+√(3-φ)/2/4^3
-√(3-φ)/2/6^3-√(φ+2)/2/7^3-√(φ+2)/2/8^3-√(3-φ)/2/9^2+...
Sl_3(2*π/5)=√(φ+2)/2+√(3-φ)/2/2^3-√(3-φ)/2/3^3-√(φ+2)/2/4^3+...
Sl_3(3*π/5)=√(φ+2)/2-√(3-φ)/2/2^3-√(3-φ)/2/3^3+√(φ+2)/2/4^3
-√(φ+2)/2/6^3+√(3-φ)/2/7^3+√(3-φ)/2/8^3-√(φ+2)/2/9^3+...
Sl_3(4*π/5)=√(3-φ)/2-√(φ+2)/2/2^3+√(φ+2)/2/3^3-√(3-φ)/2/4^3+...
φ=(1+√5)/2
Sl_3(π/5)=(2/3)*π^3*B_3(1/10)=3/125*π^3
Sl_3(2π/5)=(2/3)*π^3*B_3(1/5)=4/125*π^3
Sl_3(3π/5)=(2/3)*π^3*B_3(3/10)=7/250*π^3
Sl_3(4π/5)=(2/3)*π^3*B_3(2/5)=2/125*π^3
より、

√(φ+2)Sl_3(2π/5)+√(3-φ)Sl_3(4π/5)
=5/2-5/2/4^3+5/2/6^3-5/2/9^3+...
=(√(φ+2)*4/125+√(3-φ)*2/125)*π^3
なので、
1-1/4^3+1/6^3-1/9^3+...=(√(φ+2)*8/625+√(3-φ)*4/625)π^3
となります。

√(3-φ)Sl_3(2π/5)-√(φ+2)Sl_3(4π/5)
=5/2*(1/2^3-1/3^3+1/7^3-1/8^3+...)
=(√(3-φ)*4/125-√(φ+2)*2/125)*π^3
なので、
1/2^3-1/3^3+1/7^3-1/8^3+...=(√(3-φ)*8/625-√(φ+2)*4/625)*π^3
となります。

√(3-φ)Sl_3(π/5)+√(φ+2)Sl_3(3π/5)
=5/2+5/2/4^3-5/2/6^3-5/2/9^3+...
=(√(3-φ)*3/125+√(φ+2)*7/250)*π^3
なので、
1+1/4^3-1/6^3-1/9^3+...=(√(3-φ)*6/625+√(φ+2)*7/625)*π^3
となります。

√(φ+2)Sl_3(π/5)-√(3-φ)Sl_3(3π/5)
=5/2/2^3+5/2/3^3-5/2/7^3-5/2/8^3+...
=(√(φ+2)*3/125-√(3-φ)*7/250)*π^3
なので、
1/2^3+1/3^3-1/7^3-1/8^3+...=(√(3-φ)*6/625-√(φ+2)*7/625)*π^3
となります。

周期7の場合については、
Sl_3(2π/7)=sin(2*π/7)*(1-1/6^3+...)+sin(4π/7)*(1/2^3-1/5^3+...)+sin(6π/7)*(1/3^3-1/4^3+...)
Sl_3(4π/7)=sin(4*π/7)*(1-1/6^3+...)+sin(8π/7)*(1/2^3-1/5^3+...)+sin(12π/7)*(1/3^3-1/4^3+...)
Sl_3(6π/7)=sin(6*π/7)*(1-1/6^3+...)+sin(12π/7)*(1/2^3-1/5^3+...)+sin(18π/7)*(1/3^3-1/4^3+...)
Sl_3(2π/7)=(2/3)π^3*B_3(1/7)=10/343*π^3
Sl_3(4π/7)=(2/3)π^3*B_3(2/7)=10/343*π^3
Sl_3(6π/7)=(2/3)π^3*B_3(3/7)=4/343*π^3
より、

sin(2π/7)*(1-1/6^3+...)+sin(4π/7)*(1/2^3-1/5^3+...)+sin(8π/7)*(-1/3^3+1/4^3+...)=10/343*π^3
sin(4π/7)*(1-1/6^3+...)+sin(8π/7)*(1/2^3-1/5^3+...)+sin(2π/7)*(-1/3^3+1/4^3+...)=10/343*π^3
sin(8π/7)*(1-1/6^3+...)+sin(2π/7)*(1/2^3-1/5^3+...)+sin(4π/7)*(-1/3^3+1/4^3+...)=-4/343*π^3
と書き換えて、zを1の原始7乗根とすると、
sin(2π/7)=(z-z^-1)/2i,sin(4π/7)=(z^2-z^-2)/2i,sin(8π/7)=(z^4-z^-4)/2i
であり、

1-1/6^3+1/8^3-1/13^3+...=(2i/2401)*(10*z^6+10*z^5+4*z^4-4*z^3-10*z^2-10*z)
1/2^3-1/5^3+1/9^3-1/12^3+...=(2i/2401)*(-4*z^6+10*z^5-10*z^4+10*z^3-10*z^2+4*z)
-1/3^3+1/4^3-1/10^3+1/11^3-...=(2i/2401)*(10*z^6-4*z^5-10*z^4+10*z^3+4*z^2-10*z)
より、

1+1/2^3-1/3^3+1/4^3-1/5^3-1/6^3+...=(32i/2401)*π^3*(z^6+z^5-z^4+z^3-z^2-z)
であり、
z^6+z^5-z^4+z^3-z^2-z=-i√7
なので、

1+1/2^3-1/3^3+1/4^3-1/5^3-1/6^3+...=32/(343√7)*π^3
となります。


周期11の場合については、
Sl_3(2π/11)=sin(2π/11)*(1-1/10^3+...)+sin(4π/11)*(1/2^3-1/9^3+...)+sin(6π/11)*(1/3^3-1/8^3+...)
+sin(8π/11)*(1/4^3-1/7^3+...)+sin(10π/11)*(1/5^3-1/6^3+...)
Sl_3(4π/11)=sin(4π/11)*(1-1/10^3+...)+sin(8π/11)*(1/2^3-1/9^3+...)+sin(12π/11)*(1/3^3-1/8^3+...)
+sin(16π/11)*(1/4^3-1/7^3+...)+sin(20π/11)*(1/5^3-1/6^3+...)
Sl_3(6π/11)=sin(6π/11)*(1-1/10^3+...)+sin(12π/11)*(1/2^3-1/9^3+...)+sin(18π/11)*(1/3^3-1/8^3+...)
+sin(24π/11)*(1/4^3-1/7^3+...)+sin(30π/11)*(1/5^3-1/6^3+...)
Sl_3(8π/11)=sin(8π/11)*(1-1/10^3+...)+sin(16π/11)*(1/2^3-1/9^3+...)+sin(24π/11)*(1/3^3-1/8^3+...)
+sin(32π/11)*(1/4^3-1/7^3+...)+sin(40π/11)*(1/5^3-1/6^3+...)
Sl_3(10π/11)=sin(10π/11)*(1-1/10^3+...)+sin(20π/11)*(1/2^3-1/9^3+...)+sin(30π/11)*(1/3^3-1/8^3+...)
+sin(40π/11)*(1/4^3-1/7^3+...)+sin(50π/11)*(1/5^3-1/6^3+...)
Sl_3(2π/11)=(2/3)*π^3*B_3(1/11)=30/1331*π^3
Sl_3(4π/11)=(2/3)*π^3*B_3(2/11)=42/1331*π^3
Sl_3(6π/11)=(2/3)*π^3*B_3(3/11)=40/1331*π^3
Sl_3(8π/11)=(2/3)*π^3*B_3(4/11)=28/1331*π^3
Sl_3(10π/11)=(2/3)*π^3*B_3(5/11)=10/1331*π^3
より、

Sl_3(2π/11)=sin(2π/11)*(1-1/10^3+...)+sin(6π/11)*(1/3^3-1/8^3+...)+sin(18π/11)*(-1/2^3+1/9^3+...)
+sin(10π/11)*(1/5^3-1/6^3+...)+sin(8π/11)*(1/4^3-1/7^3+...)
Sl_3(6π/11)=sin(6π/11)*(1-1/10^3+...)+sin(18π/11)*(1/3^3-1/8^3+...)+sin(10π/11)*(-1/2^3+1/9^3+...)
+sin(8π/11)*(1/5^3-1/6^3+...)+sin(2π/11)*(1/4^3-1/7^3+...)
-Sl_3(4π/11)=sin(18π/11)*(1-1/10^3+...)+sin(10π/11)*(1/3^3-1/8^3+...)+sin(8π/11)*(-1/2^3+1/9^3+...)
+sin(2π/11)*(1/5^3-1/6^3+...)+sin(6π/11)*(1/4^3-1/7^3+...)
Sl_3(10π/11)=sin(10π/11)*(1-1/10^3+...)+sin(8π/11)*(1/3^3-1/8^3+...)+sin(2π/11)*(-1/2^3+1/9^3+...)
+sin(6π/11)*(1/5^3-1/6^3+...)+sin(18π/11)*(1/4^3-1/7^3+...)
Sl_3(8π/11)=sin(8π/11)*(1-1/10^3+...)+sin(2π/11)*(1/3^3-1/8^3+...)+sin(6π/11)*(-1/2^3+1/9^3+...)
+sin(18π/11)*(1/5^3-1/6^3+...)+sin(10π/11)*(1/4^3-1/7^3+...)
と書き換えて、

sin(2π/11)*(1-1/10^3+...)+sin(6π/11)*(1/3^3-1/8^3+...)+sin(18π/11)*(-1/2^3+1/9^3+...)
+sin(10π/11)*(1/5^3-1/6^3+...)+sin(8π/11)*(1/4^3-1/7^3+...)=30/1331*π^3
sin(6π/11)*(1-1/10^3+...)+sin(18π/11)*(1/3^3-1/8^3+...)+sin(10π/1*1)*(-1/2^3+1/9^3+...)
+sin(8π/11)*(1/5^3-1/6^3+...)+sin(2π/11)*(1/4^3-1/7^3+...)=40/1331π^3
sin(18π/11)*(1-1/10^3+...)+sin(10π/11)*(1/3^3-1/8^3+...)+sin(8π/11)*(-1/2^3+1/9^3+...)
+sin(2π/11)*(1/5^3-1/6^3+...)+sin(6π/11)*(1/4^3-1/7^3+...)=-42/1331*π^3
sin(10π/11)*(1-1/10^3+...)+sin(8π/11)*(1/3^3-1/8^3+...)+sin(2π/11)*(-1/2^3+1/9^3+...)
+sin(6π/11)*(1/5^3-1/6^3+...)+sin(18π/11)*(1/4^3-1/7^3+...)=10/1331*π^3
sin(8π/11)*(1-1/10^3+...)+sin(2π/11)*(1/3^3-1/8^3+...)+sin(6π/11)*(-1/2^3+1/9^3+...)
+sin(18π/11)*(1/5^3-1/6^3+...)+sin(10π/11)*(1/4^3-1/7^3+...)=28/1331*π^3
であり、zを1の原始11乗根とすると、
sin(2π/11)=(z-z^-1)/2i,sin(6π/11)=(z^3-z^-3)/2i,sin(8π/11)=(z^4-z^-4)/2i,
sin(10π/11)=(z^5-z^-5)/2i,sin(18π/11)=(z^9-z^-9)/2i
なので、

1-1/10^3+...=(2i/11^4)*π^3*(30*z^10+42*z^9+40*z^8+28*z^7+10*z^6-10*z^5-28*z^4-40*z^3-42*z^2-30*z)
1/3^3-1/8^3+...=(2i/11^4)*π^3*(28*z^10-40*z^9+30*z^8+10*z^7-42*z^6+42*z^5-10*z^4-30*z^3+40*z^2-28*z)
-1/2^3+1/9^3+...=(2i/11^4)*π^3*(10*z^10-30*z^9+28*z^8-42*z^7+40*z^6-40*z^5+42*z^4-28*z^3+30*z^2-10*z)
1/5^3-1/6^3+...=(2i/11^4)*π^3*(-42*z^10-28*z^9+10*z^8+40*z^7+30*z^6-30*z^5-40*z^4-10*z^3+28*z^2+42*z)
1/4^3-1/7^3+...=(2i/11^4)*π^3*(40*z^10-10*z^9-42*z^8+30*z^7+28*z^6-28*z^5-30*z^4+42*z^3+10*z^2-40*z)
より、

1-1/2^3+1/3^3+1/4^3+1/5^3-1/6^3-1/7^3-1/8^3+1/9^3-1/10^3+...
=(2i/11^3)*π^3*(-12*z^9- 12*z^5-12*z^4-12*z^3-12*z-6)
=(12i/11^3)*π^3*(z^10-z^9+z^8+z^7+z^6-z^5-z^4-z^3+z^2-z)
なので、

z^10-z^9+z^8+z^7+z^6-z^5-z^4-z^3+z^2-z=-i√11
から、

1-1/2^3+1/3^3+1/4^3+1/5^3-1/6^3-1/7^3-1/8^3+1/9^3-1/10^3+...=12/(121√11)*π^3
となります。

紹介してもらって初めて知ることに成りましたこのクラウゼン関数
何とベルヌーイ多項式と組み合わさることでディリクレのベータ関数や
ディリクレL関数を引き起こす働きができるんですね。
もう何年も前に計算上偶然見つけていた等式がこんなにも理路騒然と
他の概念から導き出せるものなのだと感動しています。
ディリクレはドイツ(1805～1859)
クラウゼンはデンマーク(1801～1885）
でほぼ同じ世代をお互い刺激し合いながら生きていたんでしょうね。
世の中色々な人で満ち溢れていますね。
改めてこの人を読んでこんなにも立派な発見をやっておきながら、余り
名を知られていないのは不公平に感じる。
私だけが知らないだけなのか？
kuiperbeltさんは何時この繋がりを御知りになったのですか？

私もクラウゼン関数を知ったのはつい最近のことでした。

1-1/3^3+1/5^3-1/7^3+1/9^3-1/11^3+･･･
1-1/2^3+1/4^3-1/5^3+1/7^3-1/8^3+1/10^3-1/11^3+1/13^3-1/14^3+･･･
を見て、多重対数関数を用いて
Li_3(i)=i-1/2^3-i/3^3+1/4^3+i/5^3-1/6^3-i/7^3+1/8^3+･･･
Li_3(ω)=ω+ω^2/2^3+1/3^3+ω/4^3+ω^2/5^3+1/6^3+･･･
の虚部で表せるのではないかと考え、英語版の多重対数関数のWikipedeia(https://en.wikipedia.org/wiki/Polylogarithm)に

The polylogarithm with pure imaginary μ may be expressed in terms of the Clausen functions Ci_s(θ) and Si_s(θ), and vice versa (Lewin 1958, Ch. VII § 1.4; Abramowitz & Stegun 1972, § 27.8):

Li_s(e^±iθ)=Ci_s(θ)±iSi_s(θ)

という記載を見つけてクラウゼン関数にたどりついたのでした。