回顾：半角

证明 $2{\sin\left(\frac{x}{2}\right)}^{2}$ 等于 $1-\cos\left(x\right)$：不断改写，直到板上显示 $1-\cos\left(x\right)$。然后按“检查”。