【证明】如何证明数据结构/动态内存管理/伙伴系统中，有关回收算法中伙伴块的起始地址求解的证明

简介：在伙伴系统内存的动态回收部分，得知当前释放块的伙伴块相当重要。因为要根据伙伴块的空闲情况，来确定是否一同合并该伙伴块。（具体参考《数据结构》——清华大学出版社）
公式：

buddy(p,k)=p+2^k ，若p%2^(k+1)=0;// 下一个伙伴
buddy(p,k)=p-2^k，若p%2^(k+1)=2^k;// 上一个伙伴

证明：