sina+cosa=1的推导公式,sina乘以cosa的推导过程

将已知20x²y² 40y⁴=13，通过sina cosa=1三角函数公式，换元出现正弦余弦sint，cost，同时再使用基本不等式即可得到所求代数式的最小值。

将已知20x²y² 40y⁴=13，设所求最小值为t0，则x² 17y²=t0,可求出函数y对x的导数，此时的导数并与已知条件中y对x的导数相等，即可求得最小值。