# Tagged Questions

Trigonometric functions (both geometric and circular), relationships between lengths and angles in triangles, and other topics relating to measuring triangles.

32k views

### How to prove that $\lim\limits_{x\to0}\frac{\sin x}x=1$?

How can one prove the statement $$\lim\limits_{x\to 0}\frac{\sin x}x=1$$ without using the Taylor series of $\sin$, $\cos$ and $\tan$? Best would be a geometrical solution. This is homework. In my ...
8k views

6k views

### Prove that $\prod_{k=1}^{n-1}\sin\frac{k \pi}{n} = \frac{n}{2^{n-1}}$

Using $\text{n}^{\text{th}}$ root of unity $$\large\left(e^{\frac{2ki\pi}{n}}\right)^{n} = 1$$ Prove that $$\prod_{k=1}^{n-1}\sin\frac{k \pi}{n} = \frac{n}{2^{n-1}}$$
7k views

### Computing the integral of $\log(\sin x)$

How to compute the following integral? $$\int\log(\sin x)\,dx$$ Motivation: Since $\log(\sin x)'=\cot x$, the antiderivative $\int\log(\sin x)\,dx$ has the nice property $F''(x)=\cot x$. Can we ...
9k views

### Prove $\sin(A+B)\sin(A-B)=\sin^2A-\sin^2B$

How would I verify the following double angle identity. $$\sin(A+B)\sin(A-B)=\sin^2A-\sin^2B$$ So far I have done this. $$(\sin A\cos B+\cos A\sin B)(\sin A\cos B-\cos A\sin B)$$But I am not sure ...
20k views

### How can I understand and prove the “sum and difference formulas” in trigonometry? (cos(a ± b) = …, etc.)?

The "sum and difference" formulas often come in handy, but it's not immediately obvious that they would be true. \begin{align} \sin(\alpha \pm \beta) &= \sin \alpha \cos \beta \pm \cos \alpha \...
8k views

### Intuitive understanding of the derivatives of $\sin x$ and $\cos x$

One of the first things ever taught in a differential calculus class: The derivative of $\sin x$ is $\cos x$. The derivative of $\cos x$ is $-\sin x$. This leads to a rather neat (and convenient?) ...
2k views

1k views

6k views

### Are $\mathrm{arccot}(x)$ and $\arctan(1/x)$ the same function?

In my textbook it asks for me to: Prove that there is no constant $C$ such that $\text{arccot}(x) - \text{arctan}(\frac{1}{x}) = C$ for all $x \ne 0$. Explain why this does not violate the zero-...
2k views

### Prove that $\sum_{k=1}^{n-1}\tan^{2}\frac{k \pi}{2n} = \frac{(n-1)(2n-1)}{3}$

How can you prove that: $$\sum_{k=1}^{n-1}\tan^{2}\frac{k \pi}{2n} = \frac{(n-1)(2n-1)}{3}$$ for every integer $n\geq 1$. PS: no, it's not a homework... :-)
2k views

### When the trig functions moved from the right triangle to the unit circle?

I have to write a paper about the unit circle and I'm trying to uncover some of its origins. Also, when the trig functions were expanded to angles greater than 90° and what was the rationale behind ...
1k views

### $\arcsin$ written as $\sin^{-1}(x)$

I know that different people follow different conventions, but whenever I see $\arcsin(x)$ written as $\sin^{-1}(x)$, I find myself thinking it wrong, since $\sin^{-1}(x)$ should be $\csc(x)$, and not ...
14k views

### Why do we require radians in calculus?

I think this is just something I've grown used to but can't remember any proof. When differentiating and integrating with trigonometric functions, we require angles to be taken in radians. Why does ...
10k views

### how to strictly prove $\sin x<x$ for $0<x<\frac{\pi}{2}$

$$\sin x<x\,(0<x<\frac{\pi}{2})$$ In most textbooks, to prove this inequality is based on geometry illustration (draw a circle, compare arc length and chord ), but I think that strict proof ...
912 views

### How to raise a complex number to the power of another complex number?

How do I calculate the outcome of taking one complex number to the power of another, ie $\displaystyle {(a + bi)}^{(c + di)}$?
6k views

### Compute $\int \frac{\sin(x)}{\sin(x)+\cos(x)}\mathrm dx$

I'm having trouble computing the integral: $$\int \frac{\sin(x)}{\sin(x)+\cos(x)}\mathrm dx.$$ I hope that it can be expressed in terms of elementary functions. I've tried simple substitutions such as ...
460 views

### Trig sum: $\tan ^21^\circ+\tan ^22^\circ+…+\tan^2 89^\circ = ?$

As the title suggests, I'm trying to find the sum $$\tan^21^\circ+\tan^2 2^\circ+...+\tan^2 89^\circ$$ I'm looking for a solution that doesn't involve complex numbers, or any other advanced branch in ...
1k views

1k views

### Evaluating $\int_0^{\large\frac{\pi}{4}} \log\left( \cos x\right) \, \mathrm{d}x$

It's my first post here and I was wondering if someone could help me with evaluating the definite integral $$\int_0^{\Large\frac{\pi}{4}} \log\left( \cos x\right) \, \mathrm{d}x$$ Thanks in ...
### Integration by parts: $\int e^{ax}\cos(bx)\,dx$
I need to evaluate the following function and then check my answer by taking the derivative: $$\int e^{ax}\cos(bx)\,dx$$ where $a$ is any real number and $b$ is any positive real number. I know ...