论文链接:这里
记 。
考虑元素 所在的位置,它一定在某个角落,我们自然有
此后我们将其简记为
我们只需要证明,钩长公式亦满足这个递推,从而 一定就是钩长公式本身。
现在来考虑依托某杨图的一个随机过程:在 个格子里随机选一个,然后在该格子的钩子中随机选一个,……,直到当前格子已经是一个边角。设该随机过程终结于格子 的概率为 。
我们只需要证明一件事:
然后,由于显然 ,所欲证的结论就立即得出了。
固定 。记 是该随机过程终结于格子 ,且路径上所有经过的横坐标的集合为 ,纵坐标的集合为 的概率。
讨论第一步是 还是 可以得到一个归纳,由归纳易得:
然后显然有
即得证。