rt,第三篇题解里为什么说:" 并且这两个点应该满足 $mid+\frac{P_{mid}-1}{2}≥i$, $i$ 是双倍回文串右边部分的中心点,$mid$ 是双倍回文串的中点。因为如果$mid+\frac{P_{mid}-1}{2}<i$可以证明此时回文串长度还应该更长。"求证明,还有为什么能取小于啊,右边的中点不应该永远小于等于整个的中点吗？