WEBVTT

1
00:00:00.000 --> 00:00:07.268
Here is the problem: sin(x)/(1 minus cos(x)) equals (1 plus cos(x))/sin(x).

2
00:00:07.718 --> 00:00:09.541
Prove a trigonometric identity.

3
00:00:10.341 --> 00:00:16.808
Rewrite everything in terms of sin x and cos x. The expression already uses only sine and cosine.

4
00:00:17.258 --> 00:00:19.557
Left side in sine and cosine.

5
00:00:20.007 --> 00:00:22.248
Right side in sine and cosine.

6
00:00:22.698 --> 00:00:32.601
Subtract the sides and write the difference over a common denominator. The identity is true exactly when this numerator is zero for every value of the variable.

7
00:00:33.401 --> 00:00:38.010
Replace every cos squaredx with 1 minus sin squaredx and collect terms.

8
00:00:38.460 --> 00:00:48.340
The numerator is identically zero. Every term cancelled after using sin squared plus cos squared equals 1, so both sides are equal wherever they are defined.

9
00:00:49.140 --> 00:00:54.666
So the answer is The identity is true (for every value where both sides are defined).

10
00:00:55.116 --> 00:01:13.785
After rewriting both sides with sine and cosine and replacing cos squared with 1 minus sin squared, the difference of the two sides is exactly 0, so sin(x)/(1 minus cos(x)) equals (1 plus cos(x))/sin(x) holds for every x at which both sides are defined.

11
00:01:14.585 --> 00:01:18.683
Numeric spot check at 10 sample values: both sides agree.