が存在する」（名古屋市大）そうですが、
は、どのような式の間にあるでしょうか？らすかるさんからのコメントです。（令和７年８月１５日付け）
は、b/a と (3a+b)/(a+b) の間にあると思います。より一般に、√n は、b/a と (na+b)/(a+b) の間にあると思います。
りらひいさんからのコメントです。（令和７年８月１６日付け）
a、b は正の数で、a√n ≠ b であるとき、p√n > q を満たす正の数 p、q に対して、
√n は b/a と (npa+qb)/(qa+pb) の間にある。
よって、次のようにいろいろ作れそうですね。
は b/a と 3(2a+b)/(3a+2b) の間にある。 は b/a と (9a+5b)/(5a+3b) の間にある。 は b/a と 3(7a+4b)/(12a+7b) の間にある。（コメント）
＝１．７３２０５０８０７・・・ に対して、ａ＝３、ｂ＝５ とすると、ｂ/ａ＝１．６６６６６・・・ 、3(7a+4b)/(12a+7b) ＝１２３/７１＝１．７３２３９４３６６・・・
なので、確かに、「
は b/a と 3(7a+4b)/(12a+7b) の間にある。」と言えますね！Dengan kesaktian Indukmu さんからのコメントです。（令和７年８月１７日付け）
連分数展開と関係しているのかもしれませんね
ＧＡＩ さんからのコメントです。（令和７年８月１７日付け）
p√n > q を満たす正の数 p、q に対して、(n*p*a+q*b)/(q*a+p*b) の分数がどの様な形を
成すのかを調べて行くと（但し、n=3 として調査したもの)、
[p,q]=[2,3]=>(6*a+3*b)/(3*a+2*b)
[p,q]=[3,4]=>(9*a+4*b)/(4*a+3*b)
[p,q]=[3,5]=>(9*a+5*b)/(5*a+3*b)
[4,5]
[4,6]
[5,6]
[5,7]
[5,8]
[6,7]
[6,8]
[6,9]
[6,10]
[7,8]
･･････
の様に、各 p に対して分数を構成可能な q の最大値を追っていくと、
3,5,6,8,10,12,13,15,17,19,20,22,24,25,･････
この数列がちょうど「A022838」;Beatty sequence for sqrt(3) に対応する数列と繋がって
いました。
sqrt(3)繋がりでちょっと面白く感じました。
以下、工事中！
