Question Number 228358 by Math1 last updated on 09/Apr/26
![Find: lim_(x→(𝛑/2)) [(x − (π/2)) tanx] = ?](https://www.tinkutara.com/question/Q228358.png)
$$\mathrm{Find}:\:\:\:\underset{\boldsymbol{\mathrm{x}}\rightarrow\frac{\boldsymbol{\pi}}{\mathrm{2}}} {\mathrm{lim}}\:\left[\left(\mathrm{x}\:−\:\frac{\pi}{\mathrm{2}}\right)\:\mathrm{tanx}\right]\:=\:? \\ $$
Answered by cherokeesay last updated on 09/Apr/26

Answered by Lara2440 last updated on 10/Apr/26

$$\underset{{x}\rightarrow\frac{\pi}{\mathrm{2}}} {\mathrm{lim}}\:\left({x}−\frac{\pi}{\mathrm{2}}\right)\centerdot\mathrm{tan}\left({x}\right)=\underset{{x}\rightarrow\frac{\pi}{\mathrm{2}}} {\mathrm{lim}}\frac{\left({x}−\frac{\pi}{\mathrm{2}}\right)\mathrm{sin}\left({x}\right)}{\mathrm{cos}\left({x}\right)} \\ $$$$\mathrm{Let}\:{t}\:\overset{\mathrm{substitute}} {\rightarrow}{x}−\frac{\pi}{\mathrm{2}} \\ $$$$\underset{{t}\rightarrow\mathrm{0}} {\mathrm{lim}}\:\frac{{t}\centerdot\mathrm{sin}\left({t}+\frac{\pi}{\mathrm{2}}\right)}{\mathrm{cos}\left({t}+\frac{\pi}{\mathrm{2}}\right)}=−\underset{{t}\rightarrow\mathrm{0}} {\mathrm{lim}}\:\:\frac{{t}\centerdot\mathrm{cos}\left({t}\right)}{\mathrm{sin}\left({t}\right)} \\ $$$$\: \\ $$$$\mathrm{sin}\left({t}\right)<{t}<\mathrm{tan}\left({t}\right)\:,\:{t}\in\left(\mathrm{0},\frac{\pi}{\mathrm{2}}\right)\:…..\left({A}\right)^{\ast\ast} \\ $$$$\mathrm{sin}\left({t}\right)<{t}<\frac{\mathrm{sin}\left({t}\right)}{\mathrm{cos}\left({t}\right)}\:\Rightarrow\:\mathrm{sin}\left({t}\right)\mathrm{cos}\left({t}\right)<{t}\centerdot\mathrm{cos}\left({t}\right)<\frac{\mathrm{sin}\left({t}\right)}{\mathrm{cos}\left({t}\right)}\centerdot\mathrm{cos}\left({t}\right) \\ $$$$=\mathrm{sin}\left({t}\right)\mathrm{cos}\left({t}\right)\centerdot\frac{\mathrm{1}}{\mathrm{sin}\left({t}\right)}<\frac{{t}\centerdot\mathrm{cos}\left({t}\right)}{\mathrm{sin}\left({t}\right)}<\frac{\mathrm{sin}\left({t}\right)}{\mathrm{sin}\left({t}\right)} \\ $$$$=\mathrm{cos}\left({t}\right)<\frac{{t}\centerdot\mathrm{cos}\left({t}\right)}{\mathrm{sin}\left({t}\right)}<\mathrm{1} \\ $$$$\therefore\:\underset{{t}\rightarrow\mathrm{0}} {\mathrm{lim}}\:\mathrm{cos}\left({t}\right)<\underset{{t}\rightarrow\mathrm{0}} {\mathrm{lim}}\frac{{t}\centerdot\mathrm{cos}\left({t}\right)}{\mathrm{sin}\left({t}\right)}<\underset{{t}\rightarrow\mathrm{0}} {\mathrm{lim}}\:\mathrm{1} \\ $$$$\mathrm{1}<\underset{{t}\rightarrow\mathrm{0}} {\mathrm{lim}}\:\frac{{t}\centerdot\mathrm{cos}\left({t}\right)}{\mathrm{sin}\left({t}\right)}<\mathrm{1}\:\Rightarrow\:\therefore−\underset{{t}\rightarrow\mathrm{0}} {\mathrm{lim}}\:\frac{{t}\centerdot\mathrm{cos}\left({t}\right)}{\mathrm{sin}\left({t}\right)}=−\mathrm{1} \\ $$$$\: \\ $$$$\mathrm{But}\:\mathrm{can}\:\mathrm{we}\:\mathrm{really}\:\mathrm{sure}\:\underset{{t}\rightarrow\mathrm{0}} {\mathrm{lim}}\:\mathrm{cos}\left({t}\right)=\mathrm{1}….?? \\ $$$$\mathrm{and} \\ $$$$\underset{{x}\rightarrow{a}} {\mathrm{lim}}\:{A}<\underset{{x}\rightarrow{a}} {\mathrm{lim}}\:{B}<\underset{{x}\rightarrow{a}} {\mathrm{lim}}\:{C}\:\mathrm{and}\:\mathrm{iff}\:\Rightarrow\:\underset{{x}\rightarrow{a}} {\mathrm{lim}}\:{A}={L}\:,\underset{{x}\rightarrow{a}} {\mathrm{lim}}\:{C}={L} \\ $$$$\underset{{x}\rightarrow{a}} {\mathrm{lim}}\:{B}={L}…?? \\ $$$$\: \\ $$$$\left.{Ans}\right) \\ $$$$\mathrm{proof}… \\ $$$$\underset{{t}\rightarrow\mathrm{0}} {\mathrm{lim}}\:\mathrm{cos}\left({t}\right)=\mathrm{1}\: \\ $$$$\mathrm{for}\:\mathrm{all}\:\boldsymbol{\epsilon}>\mathrm{0}\:\mathrm{there}\:\mathrm{exist}\:\boldsymbol{\delta}>\mathrm{0}\:,\:\mathrm{whenever}\:{t}\in\mathbb{R}\backslash\left\{\mathrm{0}\right\} \\ $$$$\mathrm{such}\:\mathrm{that}\:\mathrm{0}<\mid{t}\mid<\boldsymbol{\delta}\:\overset{\mathrm{Implies}} {\Rightarrow}\:\mid\mathrm{cos}\left({x}\right)−\mathrm{1}\mid<\boldsymbol{\epsilon} \\ $$$$\mathrm{sin}^{\mathrm{2}} \left(\frac{{t}}{\mathrm{2}}\right)=\frac{\mathrm{1}−\mathrm{cos}\left({t}\right)}{\mathrm{2}}\:\left(\mathrm{from}\:\mathrm{the}\:\mathrm{half}\:\mathrm{angle}\:\mathrm{formula}\right) \\ $$$$\mathrm{1}−\mathrm{cos}\left({t}\right)=\mathrm{2}\centerdot\mathrm{sin}^{\mathrm{2}} \left(\frac{{t}}{\mathrm{2}}\right) \\ $$$$\mathrm{sin}\left({t}\right)<{t}\:…..\left({A}\right)^{\ast\ast} \:\:{t}\in\left(\mathrm{0},\frac{\pi}{\mathrm{2}}\right) \\ $$$$\therefore\mid\left(\mathrm{1}−\mathrm{cos}\left({t}\right)\right)\mid=\mathrm{2}\centerdot\mathrm{sin}^{\mathrm{2}} \left(\frac{{t}}{\mathrm{2}}\right)<\frac{{t}^{\mathrm{2}} }{\mathrm{2}} \\ $$$$\boldsymbol{\delta}=\mathrm{min}\left(\frac{\pi}{\mathrm{2}},\sqrt{\mathrm{2}\boldsymbol{\epsilon}}\right) \\ $$$$\mathrm{choose}\:\boldsymbol{\epsilon}=\mathrm{0}.\mathrm{00001}\:,\:\boldsymbol{\delta}=\mathrm{min}\left(\frac{\pi}{\mathrm{2}},\sqrt{\mathrm{2}\centerdot\left(\mathrm{0}.\mathrm{00001}\right)}\right) \\ $$$$\boldsymbol{\delta}\approx\mathrm{0}.\mathrm{004472136}…. \\ $$$$\mid\mathrm{1}−\mathrm{cos}\left(\boldsymbol{\delta}\right)\mid<\boldsymbol{\epsilon}\:…??? \\ $$$$\mid\left(\mathrm{1}−\mathrm{cos}\left(\boldsymbol{\delta}\right)\right)\mid\approx\mathrm{0}.\mathrm{00000968}<\mathrm{0}.\mathrm{00001}\:\:\mathrm{True}!! \\ $$$$\: \\ $$$$\therefore\:\underset{{t}\rightarrow\mathrm{0}} {\mathrm{lim}}\:\mathrm{cos}\left({t}\right)=\mathrm{1} \\ $$$$\:\: \\ $$$$\mathrm{Suppose}\:\mathrm{that}\:\mathrm{the}\:\mathrm{inequality}\:{A}<{B}<{C}\:\mathrm{holds} \\ $$$$\mathrm{for}\:\mathrm{any}\:{x}\:\mathrm{in}\:\mathrm{a}\:\mathrm{given}\:\mathrm{ingerval}\:{x}\in\mathbb{E} \\ $$$$\mathrm{assuming}\:\mathrm{that}\:\mathrm{the}\:\mathrm{limit}\:\mathrm{operation}\:\mathrm{preserves}\:\mathrm{this}\:\mathrm{Order} \\ $$$$\mathrm{and}\:\mathrm{that}\:\underset{{x}\rightarrow{a}} {\mathrm{lim}}\:{A}\:,\:\underset{{x}\rightarrow{a}} {\mathrm{lim}}\:{B}\:,\:\underset{{x}\rightarrow{a}} {\mathrm{lim}}\:{C}\:\mathrm{all}\:\mathrm{converge}. \\ $$$$\left.\mathcal{Q}\right) \\ $$$$\mathrm{would}\:\underset{{x}\rightarrow{a}} {\mathrm{lim}}\:{B}={L}\:\mathrm{hold}\:\mathrm{if}\:\underset{{x}\rightarrow{a}} {\mathrm{lim}}\:{A}={L}\:\mathrm{and}\:\underset{{x}\rightarrow{a}} {\mathrm{lim}}\:{C}={L}…?? \\ $$$$\: \\ $$$$\mathrm{for}\:\mathrm{a}\:\mathrm{totally}\:\mathrm{ordered}\:\mathrm{set}\:\left({X},\leq\right)\:\mathrm{the}\:\mathrm{following} \\ $$$$\mathrm{three}\:\mathrm{binary}\:\mathrm{relations}\:\mathrm{are}\:\mathrm{Satisfied} \\ $$$$\: \\ $$$$\mathrm{1}.\:\mathrm{transitive}\:\mathrm{relation} \\ $$$$\forall{a},{b},{c}\in{X}\:,{a}\mathcal{R}{b}\wedge{b}\mathcal{R}{c}\:\Rightarrow\:{a}\mathcal{R}{c} \\ $$$$\left.\mathrm{ex}\right).\:{a}\leq{b}\:,\:{b}\leq{c}\:\Rightarrow\:{a}\leq{c} \\ $$$$\: \\ $$$$\mathrm{2}.\:\mathrm{antisymmetric}\:\mathrm{relation} \\ $$$$\forall{a},{b}\in{X}\:,\:{a}\mathcal{R}{b}\wedge{b}\mathcal{R}{a}\:\Rightarrow\:{a}={b} \\ $$$$\left.\mathrm{ex}\right).\:{a}\leq{b}\:,\:{b}\leq{a}\:\Rightarrow\:{a}={b} \\ $$$$\: \\ $$$$\mathrm{3}.\:\mathrm{total}\:\mathrm{relation} \\ $$$$\forall{x},{y}\in{X}\:,\:\left({x},{y}\right)\in\mathcal{R}\:\mathrm{or}\:\left({y},{x}\right)\in\mathcal{R} \\ $$$$\: \\ $$$$\mathrm{for}\:\mathrm{a}\:\mathrm{each}\:\mathrm{function}\:{A},{B},{C}\:\mathrm{inequality}\:{A}<{B}<{C}\:\mathrm{holds}, \\ $$$$\mathrm{and}\:\mathrm{the}\:\mathrm{limit}\:\mathrm{operation}\:\mathrm{preserves}\:\mathrm{this}\:\mathrm{Order} \\ $$$$\: \\ $$$$\mathrm{and}\:\mathrm{funtion}\:{A},{B},{C}\:\mathrm{converge}\:\mathrm{to}\:\mathrm{a}\:\mathrm{single}\:\mathrm{value}. \\ $$$$\: \\ $$$$\mathrm{and}\:\mathrm{Let} \\ $$$$\underset{{x}\rightarrow{a}} {\mathrm{lim}}\:{A}={L}<\underset{{x}\rightarrow{a}} {\mathrm{lim}}\:{B}\:\:\mathrm{and}\:\underset{{x}\rightarrow{a}} {\mathrm{lim}}\:{B}<\underset{{x}\rightarrow{a}} {\mathrm{lim}}{C}={L}\: \\ $$$$\therefore\:\underset{{x}\rightarrow{a}} {\mathrm{lim}}\:{B}={L}\: \\ $$$$\left(\mathrm{by}\:\mathrm{antisymmetric}\:\mathrm{relation}\right) \\ $$
Answered by Ghisom_ last updated on 10/Apr/26
