“无字证明”(proofs without words)，就是将数学命题用简单、有创意而且易于理解的几何图形来呈现．请利用图甲、图乙中阴影部分的面积关系，写出该图所验证的一个三角恒等变换公式：