rt，题解区里没有任何一篇题解有关于算法的证明，因此我试着写了一篇。link。如果证明有问题请指出。