4全等三角形的证明与计算