在边长为a的正方形中挖掉一边长为b的小正方形（a b），把余下的部分剪成直角梯形后，再拼成一个等腰梯形（如图），通过计算阴影部分的面积，验证了一个等式，这个等式是.