多项式全家桶（五）：多项式三角函数，反三角函数

         \ \ \ \ \ \ \,       说好了，这个作用不大，主要是……过一下板子，赶时间的小朋友可以右上角叉叉了……

---

1. 多项式$Sin$ & 多项式$Cos$

         \ \ \ \ \ \ \,       P5264 【模板】多项式三角函数

         \ \ \ \ \ \ \,       欧拉公式：

$$e^{ix}=\cos x+i\sin x$$

         \ \ \ \ \ \ \,       直接推公式：

$$e^{-ix}=\cos x-i\sin x$$

         \ \ \ \ \ \ \,       加减一下得到:

$$2\cos x=e^{ix}+e^{-ix}$$

$$2i\sin x=e^{ix}-e^{-ix}$$

         \ \ \ \ \ \ \,       所以有：

$$\cos x=\frac{e^{ix}+e^{-ix}}{i}$$

$$\sin x=\frac{e^{ix}-e^{-ix}}{2i}$$

         \ \ \ \ \ \ \,       用多项式$A$替换掉 $x$ 即可：

$$\cos (A)=\frac{exp(i\cdot A)+exp(-i\cdot A)}{i}$$

$$\sin (A)=\frac{exp(i\cdot A)-exp(-i\cdot A)}{2i}$$

         \ \ \ \ \ \ \,       多项式卷单项式，$exp$，求逆，多项式卷多项式就好了，现在问题是 $i$ 怎么搞：

         \ \ \ \ \ \ \,       已知 $i^2=-1$，所以说 $i$ 既是 $mod-1$ 在 $\%mod$意义下的二次剩余，具体怎么算二次剩余呢，可以看这里，显然可以预处理出来，前置和目录里面已经说的有了，既为$img$。

inline Polynomial Sin(const Polynomial &a){
	return (Exponential(a*img)-Exponential(a*(mod-img)))*Inv(2ll*img%mod);
}
inline Polynomial Cos(const Polynomial &a){
	return (Exponential(a*img)+Exponential(a*(mod-img)))*Inv(2);
}

---

2. 多项式$Asin$ & 多项式$Atan$

         \ \ \ \ \ \ \,       P5265 【模板】多项式反三角函数

         \ \ \ \ \ \ \,       这个东西比较麻烦啦，直接给公式咯，具体证明可以看教材：

$$Asin(A)=\int \frac{A^{\prime }}{\sqrt{1-A^2}}dx$$

$$Atan(A)=\int \frac{A^{\prime }}{1+A^2}dx$$

inline Polynomial Asin(const Polynomial &a){
	Polynomial As_a=a*a;
  	As_a.resize(a.size());
  	for(int i=0;i<a.size();i++)As_a[i]=(mod-As_a[i]);
	As_a[0]=(1+As_a[0])%mod;
  	return Integral(Derivation(a)*Inverse(Kth_root(As_a,2)));
}
inline Polynomial Atan(const Polynomial &a){
	Polynomial At_a=a*a;
  	At_a.resize(a.size());At_a[0]=(1+At_a[0])%mod;
  	return Integral(Derivation(a)*Inverse(At_a));
}