相邻两正奇数的恰小维相等的两种情形
一、相邻两正奇数的恰小维相等的情形（一）、 设有3x+1问题正奇数组（x(0),x(1),……，x(q-1)，x(q)，……)，对应的指数组为（m(0),m(1),……，m(q-1)，m(q)，……）,
对应的恰小维组为（qxw(x(0)),qxw(x(1)),……，qxw(x(q-1))，qxw(x(q)
新浪博客
（一）、 设有3x+1问题正奇数组（x(0),x(1),……，x(q-1)，x(q)，……)，对应的指数组为（m(0),m(1),……，m(q-1)，m(q)，……）,
对应的恰小维组为（qxw(x(0)),qxw(x(1)),……，qxw(x(q-1))，qxw(x(q)
)，……）,
对应的恰商依次为qs(x(0)) ，qs(x(1)) ，qs(x(2)) ，…… ，qs(x(q)，……)。
注：“恰商”的定义在帖子《恰小维下降的充分必要条件》中已介绍，如
（二）、相邻两正奇数的恰小维相等，可设
qxw(x(0)) = qxw(x(1)) = q
(由于恰小维等于1时太简单，这里假定q >= 2)。
由恰小维定义有：
不等式2^(m(0)+……+m(q-2)+1)
不等式2^(m(1)+……+m(q-1)+1)
（三）、相邻两正奇数的恰小维相等的两种情形
首先，由2^(m(1)+……+m(q-1)+1)
即 qs(x(0)) + 1/(3*2^(m(1)+……+m(q-1)+1))
1/(3*2^(m(1)+……+m(q-1)+1)) 一般很小，可近似认为
qs(x(0)) >1/3，
其次，由x(1) < 2^(m(1)+……+m(q-1)+m(q)+1)及x(1) = 3*x(0)/m(0)可得
qs(x(0)) + 1/(3*2^(m(0)+m(1)+……+m(q-1)+1))
这样看m(q) = 1还是m(q) > 1可得两种恰小维相等的情形，
第1种情形：当m(q) = 1时，qs(x(0)) + 1/(3*2^(m(0)+m(1)+……+m(q-1)+1))
1/(3*2^(m(0)+m(1)……+m(q-1)+1)) 一般很小，可近似认为1/3 < qs(x(0))
第2种情形：当m(q) > 1时，qs(x(0)) + 1/(3*2^(m(0)+m(1)+……+m(q-1)+1))
1/(3*2^(m(0)+m(1)……+m(q-1)+1)) 一般很小，可近似认为1/3 < qs(x(0))
二、简要说明
相邻两正奇数x(0)、x(1)的恰小维的差为（qxw(x(0)) -
差（qxw(x(0)) -
1、m(q)
2、m(q)
（由于分子x(0)是奇数，分母是2的幂，恰商qs(x(0))
三、实用性举例
1、设x(0) = 41 ，x(1) = 31 ，x(2) = 47，x(3) = 71 ，x(4) = 107
计算指数有m(0) = 2 ，m(1) = 1 ，m(2) = 1，m(3) = 1 ，m(4) = 1
qxw(41) = qxw(31) = 4 ，
m(4) = 1 ，有qs(x(0)) = qs(41) 约等于 0.6406 ，这里有
1/3 < qs(41) <
2、设x(0) = 31 ，x(1) = 47 ，x(2) = 71，x(3) = 107 ，x(4) = 161
计算指数有m(0) = 1 ，m(1) = 1 ，m(2) = 1，m(3) = 1 ，m(4) = 2 ，
qxw(31) = qxw(47) = 4 ，
m(4) = 2>1 ，有qs(x(0)) = qs(31) 约等于 0.9688 ，这里有1/3 < qs(31) < 1。
对应的恰商依次为qs(x(0)) ，qs(x(1)) ，qs(x(2)) ，…… ，qs(x(q)，……)。
注：“恰商”的定义在帖子《恰小维下降的充分必要条件》中已介绍，如
（二）、相邻两正奇数的恰小维相等，可设
qxw(x(0)) = qxw(x(1)) = q
(由于恰小维等于1时太简单，这里假定q >= 2)。
由恰小维定义有：
不等式2^(m(0)+……+m(q-2)+1)
不等式2^(m(1)+……+m(q-1)+1)
（三）、相邻两正奇数的恰小维相等的两种情形
首先，由2^(m(1)+……+m(q-1)+1)
即 qs(x(0)) + 1/(3*2^(m(1)+……+m(q-1)+1))
1/(3*2^(m(1)+……+m(q-1)+1)) 一般很小，可近似认为
qs(x(0)) >1/3，
其次，由x(1) < 2^(m(1)+……+m(q-1)+m(q)+1)及x(1) = 3*x(0)/m(0)可得
qs(x(0)) + 1/(3*2^(m(0)+m(1)+……+m(q-1)+1))
这样看m(q) = 1还是m(q) > 1可得两种恰小维相等的情形，
第1种情形：当m(q) = 1时，qs(x(0)) + 1/(3*2^(m(0)+m(1)+……+m(q-1)+1))
1/(3*2^(m(0)+m(1)……+m(q-1)+1)) 一般很小，可近似认为1/3 < qs(x(0))
第2种情形：当m(q) > 1时，qs(x(0)) + 1/(3*2^(m(0)+m(1)+……+m(q-1)+1))
1/(3*2^(m(0)+m(1)……+m(q-1)+1)) 一般很小，可近似认为1/3 < qs(x(0))
二、简要说明
相邻两正奇数x(0)、x(1)的恰小维的差为（qxw(x(0)) -
差（qxw(x(0)) -
1、m(q)
2、m(q)
（由于分子x(0)是奇数，分母是2的幂，恰商qs(x(0))
三、实用性举例
1、设x(0) = 41 ，x(1) = 31 ，x(2) = 47，x(3) = 71 ，x(4) = 107
计算指数有m(0) = 2 ，m(1) = 1 ，m(2) = 1，m(3) = 1 ，m(4) = 1
qxw(41) = qxw(31) = 4 ，
m(4) = 1 ，有qs(x(0)) = qs(41) 约等于 0.6406 ，这里有
1/3 < qs(41) <
2、设x(0) = 31 ，x(1) = 47 ，x(2) = 71，x(3) = 107 ，x(4) = 161
计算指数有m(0) = 1 ，m(1) = 1 ，m(2) = 1，m(3) = 1 ，m(4) = 2 ，
qxw(31) = qxw(47) = 4 ，
m(4) = 2>1 ，有qs(x(0)) = qs(31) 约等于 0.9688 ，这里有1/3 < qs(31) < 1。