(2021年整理)全等三角形倍半角模型