(Solved): Use Python to solve the following.Thank you! 1. The double angle formula for tangent is: tan(2)=1 ...

1. The double angle formula for tangent is: $\tan (2\theta )=\frac{2\tan (\theta )}{1-{\tan }^2(\theta )}.$ Define a variable $\theta$ and verify this identity is true for $\theta =\pi /5$ and $\theta =100^{\circ }$. (For each value of $\theta$, compute both sides of the identity and check if they are equal or not.) Note: Using the variable name " $\mathrm{t}$ " instead of " $\theta$ " might be easier in python. The evalf() command can be used to convert your answers to decimals. Convert angles to radians first if necessary.