S=(a-b+c)(a+b-c)又因为S=sqrt[(a+b+c)(a+b-c)(a-b+c)(b+c-a)]所以(a+b+c)(b+c-a)=(a+b-c)(a-b+c)展开得到(b+c)^2-a^2=a^2-(b-c)^2整理得到所以b^2+c^2=a^2所以A=90度所以tan A/2=1
余弦定理，三角和180，诱导公式，万能定理
