Trignometric cardinality

Calculus Level 4

For 0 < x < π 2 0<x< \frac \pi2 , let A A and B B be two sets such that

A = { x cos ( cos x ) = tan ( tan x ) } B = { x sin ( sin x ) = tan ( tan x ) } A=\{x\mid \cos(\cos x)=\tan(\tan x)\} \\ B=\{x\mid \sin(\sin x)=\tan(\tan x)\}

Which of the following relationship is true regarding the cardinalities of sets A A and B ? B?

A A and B B are finite sets with A = B \mid A\mid = \mid B\mid A A and B B are finite sets with A < B \mid A\mid < \mid B\mid A A and B B are finite sets with A > B \mid A\mid > \mid B\mid A A and B B are infinite sets with A = B \mid A\mid \, = \, \mid B\mid

This section requires Javascript.
You are seeing this because something didn't load right. We suggest you, (a) try refreshing the page, (b) enabling javascript if it is disabled on your browser and, finally, (c) loading the non-javascript version of this page . We're sorry about the hassle.

1 solution

Chris Lewis
May 10, 2021

On the interval 0 < x < π 2 0<x<\frac{\pi}{2} , the functions cos ( cos ( x ) ) \cos(\cos(x)) and sin ( sin ( x ) ) \sin(\sin(x)) are both strictly increasing, and satisfy 0 < sin ( sin ( x ) ) < cos ( cos ( x ) ) < 1 0<\sin(\sin(x))<\cos(\cos(x))<1

The function tan ( tan ( x ) ) \tan(\tan(x)) takes all real values, and has infinitely many vertical asymptotes; in particular, tan ( tan ( x ) ) = 0 \tan(\tan(x))=0 has infinitely many roots of the form x = a k = tan 1 ( k π ) x=a_k=\tan^{-1} (k\pi) and tan ( tan ( x ) ) = 1 \tan(\tan(x))=1 has infinitely many roots of the form x = b k = tan 1 ( k π + π 4 ) x=b_k=\tan^{-1} \left(k\pi + \frac{\pi}{4}\right) , where k k is an integer.

Since arctan is a strictly increasing function, we have a k < b k < a k + 1 < b k + 1 a_k<b_k<a_{k+1}<b_{k+1} \cdots , and 0 < a k < b k < π 2 tan ( tan ( a k ) ) = 0 tan ( tan ( b k ) ) = 1 a k < x < b k 0 < tan ( tan ( x ) ) < 1 \begin{aligned} 0&<a_k<b_k<\frac{\pi}{2} \\ \tan(\tan(a_k))&=0 \\ \tan(\tan(b_k))&=1 \\ a_k<x<b_k &\Rightarrow 0<\tan(\tan(x))<1 \end{aligned}

and tan ( tan ( x ) ) \tan(\tan(x)) is continuous on [ a k , b k ] [a_k,b_k] .

There are therefore roots to both cos ( cos ( x ) ) = tan ( tan ( x ) ) \cos(\cos(x))=\tan(\tan(x)) and sin ( sin ( x ) ) = tan ( tan ( x ) ) \sin(\sin(x))=\tan(\tan(x)) in the interval ( a k , b k ) (a_k,b_k) .

This proves both sets have infinite cardinality, so A = B |A|=|B| because we can make a bijection between the two sets (like Hilbert's hotel, or the fact the cardinality of Z \mathbb{Z} is the same as the cardinality of N \mathbb{N} ).

@Chris Lewis , we really liked your comment, and have converted it into a solution.

Brilliant Mathematics Staff - 1 month ago

Log in to reply

Thank you!

Chris Lewis - 1 month ago

0 pending reports

×

Problem Loading...

Note Loading...

Set Loading...