如图,求阴影部分面积,它可以验证哪个公式?