Is cos(15)=cos(45-30) ?

The answer to whether cos(15)=cos(45-30) is True

English

Español

Português

Français

Deutsch

Italiano

Русский

中文(简体)

한국어

日本語

Tiếng Việt

עברית

العربية

Popular Trigonometry >

prove cos(15)=cos(45-30)

Solution

prove

cos (1 5^{\circ}) = cos (4 5^{\circ} - 3 0^{\circ})

Solution

True

Solution steps

cos (1 5^{\circ}) = cos (4 5^{\circ} - 3 0^{\circ})

Manipulating left side

cos (1 5^{\circ})

Simplify

cos (1 5^{\circ}) : \frac{6 + 2}{4}

cos (1 5^{\circ})

Rewrite using trig identities:

cos (4 5^{\circ}) cos (3 0^{\circ}) + sin (4 5^{\circ}) sin (3 0^{\circ})

cos (1 5^{\circ})

Write

cos (1 5^{\circ})

cos (4 5^{\circ} - 3 0^{\circ})

= cos (4 5^{\circ} - 3 0^{\circ})

Use the Angle Difference identity:

cos (s - t) = cos (s) cos (t) + sin (s) sin (t)

= cos (4 5^{\circ}) cos (3 0^{\circ}) + sin (4 5^{\circ}) sin (3 0^{\circ})

= cos (4 5^{\circ}) cos (3 0^{\circ}) + sin (4 5^{\circ}) sin (3 0^{\circ})

Use the following trivial identity:

cos (4 5^{\circ}) = \frac{2}{2}

cos (4 5^{\circ})

cos (x)

periodicity table with

36 0^{\circ} n

cycle:

x 0 3 0^{\circ} 4 5^{\circ} 6 0^{\circ} 9 0^{\circ} 12 0^{\circ} 13 5^{\circ} 15 0^{\circ} cos (x) 1 \frac{3}{2} \frac{2}{2} \frac{1}{2} 0 - \frac{1}{2} - \frac{2}{2} - \frac{3}{2} x 18 0^{\circ} 21 0^{\circ} 22 5^{\circ} 24 0^{\circ} 27 0^{\circ} 30 0^{\circ} 31 5^{\circ} 33 0^{\circ} cos (x) - 1 - \frac{3}{2} - \frac{2}{2} - \frac{1}{2} 0 \frac{1}{2} \frac{2}{2} \frac{3}{2}

= \frac{2}{2}

Use the following trivial identity:

sin (3 0^{\circ}) = \frac{1}{2}

sin (3 0^{\circ})

sin (x)

periodicity table with

36 0^{\circ} n

cycle:

x 0 3 0^{\circ} 4 5^{\circ} 6 0^{\circ} 9 0^{\circ} 12 0^{\circ} 13 5^{\circ} 15 0^{\circ} sin (x) 0 \frac{1}{2} \frac{2}{2} \frac{3}{2} 1 \frac{3}{2} \frac{2}{2} \frac{1}{2} x 18 0^{\circ} 21 0^{\circ} 22 5^{\circ} 24 0^{\circ} 27 0^{\circ} 30 0^{\circ} 31 5^{\circ} 33 0^{\circ} sin (x) 0 - \frac{1}{2} - \frac{2}{2} - \frac{3}{2} - 1 - \frac{3}{2} - \frac{2}{2} - \frac{1}{2}

= \frac{1}{2}

= \frac{2}{2} \cdot \frac{3}{2} + \frac{2}{2} \cdot \frac{1}{2}

Simplify

\frac{2}{2} \cdot \frac{3}{2} + \frac{2}{2} \cdot \frac{1}{2} : \frac{6 + 2}{4}

\frac{2}{2} \cdot \frac{3}{2} + \frac{2}{2} \cdot \frac{1}{2}

\frac{2}{2} \cdot \frac{3}{2} = \frac{6}{4}

\frac{2}{2} \cdot \frac{3}{2}

Multiply fractions:

\frac{a}{b} \cdot \frac{c}{d} = \frac{a \cdot c}{b \cdot d}

= \frac{2 3}{2 \cdot 2}

Multiply the numbers:

2 \cdot 2 = 4

= \frac{2 3}{4}

Simplify

23 : 6

23

Apply radical rule:

a b = a \cdot b

23 = 2 \cdot 3

= 2 \cdot 3

Multiply the numbers:

2 \cdot 3 = 6

= 6

= \frac{6}{4}

\frac{2}{2} \cdot \frac{1}{2} = \frac{2}{4}

\frac{2}{2} \cdot \frac{1}{2}

Multiply fractions:

\frac{a}{b} \cdot \frac{c}{d} = \frac{a \cdot c}{b \cdot d}

= \frac{2 \cdot 1}{2 \cdot 2}

Multiply:

2 \cdot 1 = 2

= \frac{2}{2 \cdot 2}

Multiply the numbers:

2 \cdot 2 = 4

= \frac{2}{4}

= \frac{6}{4} + \frac{2}{4}

Apply rule

\frac{a}{c} \pm \frac{b}{c} = \frac{a \pm b}{c}

= \frac{6 + 2}{4}

= \frac{6 + 2}{4}

= \frac{2 + 6}{4}

Manipulating right side

cos (4 5^{\circ} - 3 0^{\circ})

Rewrite using trig identities

cos (4 5^{\circ} - 3 0^{\circ})

Use the Angle Difference identity:

cos (s - t) = cos (s) cos (t) + sin (s) sin (t)

= cos (4 5^{\circ}) cos (3 0^{\circ}) + sin (4 5^{\circ}) sin (3 0^{\circ})

cos (4 5^{\circ}) cos (3 0^{\circ}) + sin (4 5^{\circ}) sin (3 0^{\circ}) = \frac{6 + 2}{4}

cos (4 5^{\circ}) cos (3 0^{\circ}) + sin (4 5^{\circ}) sin (3 0^{\circ})

cos (4 5^{\circ}) cos (3 0^{\circ}) = \frac{6}{4}

cos (4 5^{\circ}) cos (3 0^{\circ})

Simplify

cos (4 5^{\circ}) : \frac{2}{2}

cos (4 5^{\circ})

Use the following trivial identity:

cos (4 5^{\circ}) = \frac{2}{2}

cos (x)

periodicity table with

36 0^{\circ} n

cycle:

x 0 3 0^{\circ} 4 5^{\circ} 6 0^{\circ} 9 0^{\circ} 12 0^{\circ} 13 5^{\circ} 15 0^{\circ} cos (x) 1 \frac{3}{2} \frac{2}{2} \frac{1}{2} 0 - \frac{1}{2} - \frac{2}{2} - \frac{3}{2} x 18 0^{\circ} 21 0^{\circ} 22 5^{\circ} 24 0^{\circ} 27 0^{\circ} 30 0^{\circ} 31 5^{\circ} 33 0^{\circ} cos (x) - 1 - \frac{3}{2} - \frac{2}{2} - \frac{1}{2} 0 \frac{1}{2} \frac{2}{2} \frac{3}{2}

= \frac{2}{2}

= \frac{2}{2} cos (3 0^{\circ})

Simplify

cos (3 0^{\circ}) : \frac{3}{2}

cos (3 0^{\circ})

Use the following trivial identity:

cos (3 0^{\circ}) = \frac{3}{2}

cos (x)

periodicity table with

36 0^{\circ} n

cycle:

x 0 3 0^{\circ} 4 5^{\circ} 6 0^{\circ} 9 0^{\circ} 12 0^{\circ} 13 5^{\circ} 15 0^{\circ} cos (x) 1 \frac{3}{2} \frac{2}{2} \frac{1}{2} 0 - \frac{1}{2} - \frac{2}{2} - \frac{3}{2} x 18 0^{\circ} 21 0^{\circ} 22 5^{\circ} 24 0^{\circ} 27 0^{\circ} 30 0^{\circ} 31 5^{\circ} 33 0^{\circ} cos (x) - 1 - \frac{3}{2} - \frac{2}{2} - \frac{1}{2} 0 \frac{1}{2} \frac{2}{2} \frac{3}{2}

= \frac{3}{2}

= \frac{2}{2} \cdot \frac{3}{2}

Multiply fractions:

\frac{a}{b} \cdot \frac{c}{d} = \frac{a \cdot c}{b \cdot d}

= \frac{2 3}{2 \cdot 2}

Multiply the numbers:

2 \cdot 2 = 4

= \frac{2 3}{4}

Simplify

23 : 6

23

Apply radical rule:

a b = a \cdot b

23 = 2 \cdot 3

= 2 \cdot 3

Multiply the numbers:

2 \cdot 3 = 6

= 6

= \frac{6}{4}

sin (4 5^{\circ}) sin (3 0^{\circ}) = \frac{2}{4}

sin (4 5^{\circ}) sin (3 0^{\circ})

Simplify

sin (4 5^{\circ}) : \frac{2}{2}

sin (4 5^{\circ})

Use the following trivial identity:

sin (4 5^{\circ}) = \frac{2}{2}

sin (x)

periodicity table with

36 0^{\circ} n

cycle:

x 0 3 0^{\circ} 4 5^{\circ} 6 0^{\circ} 9 0^{\circ} 12 0^{\circ} 13 5^{\circ} 15 0^{\circ} sin (x) 0 \frac{1}{2} \frac{2}{2} \frac{3}{2} 1 \frac{3}{2} \frac{2}{2} \frac{1}{2} x 18 0^{\circ} 21 0^{\circ} 22 5^{\circ} 24 0^{\circ} 27 0^{\circ} 30 0^{\circ} 31 5^{\circ} 33 0^{\circ} sin (x) 0 - \frac{1}{2} - \frac{2}{2} - \frac{3}{2} - 1 - \frac{3}{2} - \frac{2}{2} - \frac{1}{2}

= \frac{2}{2}

= \frac{2}{2} sin (3 0^{\circ})

Simplify

sin (3 0^{\circ}) : \frac{1}{2}

sin (3 0^{\circ})

Use the following trivial identity:

sin (3 0^{\circ}) = \frac{1}{2}

sin (x)

periodicity table with

36 0^{\circ} n

cycle:

x 0 3 0^{\circ} 4 5^{\circ} 6 0^{\circ} 9 0^{\circ} 12 0^{\circ} 13 5^{\circ} 15 0^{\circ} sin (x) 0 \frac{1}{2} \frac{2}{2} \frac{3}{2} 1 \frac{3}{2} \frac{2}{2} \frac{1}{2} x 18 0^{\circ} 21 0^{\circ} 22 5^{\circ} 24 0^{\circ} 27 0^{\circ} 30 0^{\circ} 31 5^{\circ} 33 0^{\circ} sin (x) 0 - \frac{1}{2} - \frac{2}{2} - \frac{3}{2} - 1 - \frac{3}{2} - \frac{2}{2} - \frac{1}{2}

= \frac{1}{2}

= \frac{1}{2} \cdot \frac{2}{2}

Multiply fractions:

\frac{a}{b} \cdot \frac{c}{d} = \frac{a \cdot c}{b \cdot d}

= \frac{2 \cdot 1}{2 \cdot 2}

Multiply:

2 \cdot 1 = 2

= \frac{2}{2 \cdot 2}

Multiply the numbers:

2 \cdot 2 = 4

= \frac{2}{4}

= \frac{6}{4} + \frac{2}{4}

Apply rule

\frac{a}{c} \pm \frac{b}{c} = \frac{a \pm b}{c}

= \frac{6 + 2}{4}

= \frac{6 + 2}{4}

= \frac{6 + 2}{4}

We showed that the two sides could take the same form

\Rightarrow True

Popular Examples

prove (sin(2x))/(1-cos(2x))=2csc(2x)-tan(x)

prove tan(x)=tan(x)*csc^2(x)+cot(-x)

prove (1-cos(2θ)+sin(2θ))/(1+cos(2θ)+sin(2θ))=tan(θ)

prove cot(x)sec^2(x)-cot(x)=tan(x)

prove cos(-pi/4-5t)=cos(5t+pi/4)

Frequently Asked Questions (FAQ)

Is cos(15)=cos(45-30) ?
The answer to whether cos(15)=cos(45-30) is True