Question

用MATLAB证明三角函数

Answer 1

对于函数证明可以使用符号运算进行：

• syms x                                                % 定义符号变量

• L = tan(x)^2+cot(x)^2;                    % 左边项

• R = 2*(3+cos(4*x))/(1-cos(4*x))；   % 右边项

• F = L-R；                                          % 左右作差

• flag = simplify(F)；                          % 化简，如果flag为0则得意证明

Answer 2

参考代码：
>> syms x
>> f=tan(x)^2+cot(x)^2-2*(3+cos(4*x))/(1-cos(4*x))
f =
tan(x)^2+cot(x)^2-(6+2*cos(4*x))/(1-cos(4*x))

>> simplify(f)
ans =
0