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