Prove that ## 4\tan^{-1}\left[\dfrac{1}{5}\right]- \tan^{-1}\left[\dfrac{1}{239}\right]= \dfrac{π}{4}##

AI Thread Summary
The discussion centers on proving the equation 4tan^(-1)(1/5) - tan^(-1)(1/239) = π/4. Participants explore various approaches to simplify the problem, including using tangent identities and substitutions for angles. There is a debate about the validity of assuming the equation to be true at the outset and the correct application of tangent formulas. Some users express uncertainty about their calculations and seek clarification on specific steps, particularly regarding the simplification of tan(4S). The conversation highlights the complexity of the proof and the importance of careful mathematical reasoning.
chwala
Gold Member
Messages
2,825
Reaction score
413
Homework Statement
Prove that,
## 4\tan^{-1}\left[\dfrac{1}{5}\right]- \tan^{-1}\left[\dfrac{1}{239}\right]= \dfrac{π}{4}##
Relevant Equations
Trig. identities
I let,

## 4\tan^{-1}\left[\dfrac{1}{5}\right]- \tan^{-1}\left[\dfrac{1}{239}\right]= \dfrac{π}{4}##
##\tan^{-1}\left[\dfrac{1}{5}\right]- \dfrac{1}{4}\tan^{-1}\left[\dfrac{1}{239}\right]= \dfrac{π}{16}##

Then i let, ##\tan^{-1}\left[\dfrac{1}{5}\right] = α , \tan^{-1}\left[\dfrac{1}{239}\right]=β##

##⇒\tan α=\left[\dfrac{1}{5}\right],\tan β =\left[\dfrac{1}{239}\right], ##

##\tan (α-\dfrac{β}{4})= \left[\dfrac{\dfrac{1}{5}- \dfrac{1}{239×4}}{1+ \dfrac{1}{5}⋅\dfrac{1}{239×4}}\right]##

##\tan (α-\dfrac{β}{4})= \left[\dfrac{951}{4780} × \dfrac{4780}{4781}\right]##

##\tan (α-\dfrac{β}{4})=\left[\dfrac{951}{4781}\right]##

##\tan^{-1}(\tan (α-\dfrac{β}{4})≅11.25^0 = \dfrac{π}{16}##

##4[\tan^{-1}(\tan (α-\dfrac {β}{4})]≅45^0 = \dfrac{π}{4}##

I had a problem dealing with the ##4## in ##4\tan^{-1}\dfrac{1}{5}##... there may be a better approach...
 
Last edited:
Physics news on Phys.org
I think of the calculation procedure
\tan^{-1}\frac{1}{5}-\tan^{-1}\frac{1}{239}=\tan^{-1}A, A=\frac{117}{598}
if my math is good. Then
\tan^{-1}\frac{1}{5}+\tan^{-1}A=\tan^{-1}B
\tan^{-1}\frac{1}{5}+\tan^{-1}B=\tan^{-1}C
\tan^{-1}\frac{1}{5}+\tan^{-1}C=\tan^{-1}D
We expect D=1.

[EDIT]
\tan(2\tan^{-1}\frac{1}{5})=\frac{5}{12}
\tan(4\tan^{-1}\frac{1}{5})=\frac{120}{119}
\tan(4\tan^{-1}\frac{1}{5}-\tan^{-1}\frac{1}{239})=1
 
Last edited:
I'm not sure what you did ...

What I've done:

Prove that: ## 4\tan^{-1}\left[\dfrac{1}{5}\right]- \tan^{-1}\left[\dfrac{1}{239}\right]= \dfrac{π}{4}##

Let:
##\tan^{-1} \frac{1}{5} = S##...................so................... ##tanS=\dfrac{1}{5}##
##\tan^{-1} \frac{1}{239} = T##..............so................... ##tanT=\dfrac{1}{239}##
So
##4S - T = X## (We want to prove that ##X=\dfrac{π}{4}##)
##tan(4S - T)=tanX##

We know that ##tan(4S-T)=\dfrac{tan(4S)-tanT}{1+tan(4S)tanT}##
So we need to find tan(4S):

##tan(4S)=\dfrac{4tanS(1-tan^{2}S)}{1-6tan^{2}S+tan^{4}S}=\dfrac{(4/5)(24/25)}{1-(6/25)+1/625}=\dfrac{120}{119}##

Now we calculate ##tan(4S-T)## :

##tan(4S-T)=\dfrac{(120/119)-(1/239)}{1+(120/119)(1/239)}=\dfrac{ \dfrac{239*120-119}{119*239} }{ \dfrac{119*239+120}{119*239} }##

##=\dfrac{239*120-119}{239*119+120}=\dfrac{239*119+239-119}{239*119+120}=\dfrac{239*119+120}{239*119+120}=1##
We proved that ##tan(4S-T)=1## so we can say that ##4S-T=\dfrac{π}{4}##.

Remember that ##4S-T =4\tan^{-1}\left[\dfrac{1}{5}\right]- \tan^{-1}\left[\dfrac{1}{239}\right]##.
 
Last edited:
MatinSAR said:
I'm not sure what you did ...

What I've done:

Prove that: ## 4\tan^{-1}\left[\dfrac{1}{5}\right]- \tan^{-1}\left[\dfrac{1}{239}\right]= \dfrac{π}{4}##

Let:
##\tan^{-1} \frac{1}{5} = S##...................so................... ##tanS=\dfrac{1}{5}##
##\tan^{-1} \frac{1}{239} = T##..............so................... ##tanT=\dfrac{1}{239}##
So
##4S - T = X## (We want to prove that ##X=\dfrac{π}{4}##)
##tan(4S - T)=tanX##

We know that ##tan(4S-T)=\dfrac{tan(4S)-tanT}{1+tan(4S)tanT}##
So we need to find tan(4S):

##tan(4S)=\dfrac{4tanS(1-tan^{2}S)}{1-6tan^{2}S+tan^{4}S}=\dfrac{(4/5)(24/25)}{1-(6/25)+1/625}=\dfrac{120}{119}##

Now we calculate ##tan(4S-T)## :

##tan(4S-T)=\dfrac{(120/119)-(1/239)}{1+(120/119)(1/239)}=\dfrac{ \dfrac{239*120-119}{119*239} }{ \dfrac{119*239+120}{119*239} }##

##=\dfrac{239*120-119}{239*119+120}=\dfrac{239*119+239-119}{239*119+120}=\dfrac{239*119+120}{239*119+120}=1##
We proved that ##tan(4S-T)=1## so we can say that ##4S-T=\dfrac{π}{4}##.

Remember that ##4S-T =4\tan^{-1}\left[\dfrac{1}{5}\right]- \tan^{-1}\left[\dfrac{1}{239}\right]##.
I am not sure on my working. I could be wrong.
 
chwala said:
I am not sure on my working. I could be wrong.
How did you find out that ##tan(\dfrac{\beta}{4})=\dfrac{1}{239*4}##?
It's wrong.
 
MatinSAR said:
How did you find out that ##tan(\dfrac{\beta}{4})=\dfrac{1}{239*4}##?
It's wrong.
I divided each term by ##4##.
 
chwala said:
I divided each term by ##4##.
According to you ##\dfrac{tan\beta} {4}=tan\dfrac{\beta} {4} ## but it's not correct.

Fore example :
##\dfrac{1} {4} tan \pi =0##
But ##tan(\dfrac{\pi} {4} )=1 ##
 
chwala said:
I am not sure on my working. I could be wrong.
How did you simplify your ##\tan (4S)##? I had tried ##\tan (2S + 2S)## expansion and I noted that it was quite long with the substitutions... Am assuming you used the same approach to realize your rhs.
 
Try to get tan 2S first. Then you can proceed to tan4S.
 
  • #10
anuttarasammyak said:
Try to get tan 2S first. Then you can proceed to tan4S.
That should be easy... I think I had different equations from start... thanks though...
 
  • #11
chwala said:
How did you simplify your ##\tan (4S)##? I had tried ##\tan (2S + 2S)## expansion and I noted that it was quite long with the substitutions... Am assuming you used the same approach to realize your rhs.
I haven't proved it in the post.
You can google tan4x formula there are plenty of sites which proved the formula. It's not hard.
Did you understand your mistake in post #1?
 
  • #12
MatinSAR said:
I haven't proved it in the post.
You can google tan4x formula there are plenty of sites which proved the formula. It's not hard.
Did you understand your mistake in post #1?
Yes I did...and I replied in post ##10## that the simplification that I was asking is as easy as abc. I had assumed that it was the same equation that I had in my hard copy book but I just counter checked and realized that my equations were different. Cheers man!
 
  • #13
Some comments:
chwala said:
I let,

## 4\tan^{-1}\left[\dfrac{1}{5}\right]- \tan^{-1}\left[\dfrac{1}{239}\right]= \dfrac{π}{4}##
##\tan^{-1}\left[\dfrac{1}{5}\right]- \dfrac{1}{4}\tan^{-1}\left[\dfrac{1}{239}\right]= \dfrac{π}{16}##
The first equation above is what you're supposed to prove, so it is generally invalid to assume ("let") a statement you're trying to prove. Only under very specific conditions (*) is it valid to make this sort of assumption.

* Each step is reversible; i.e., by performing a one-to-one operation on each side of the equation or inequality.
chwala said:
Then i let, ##\tan^{-1}\left[\dfrac{1}{5}\right] = α , \tan^{-1}\left[\dfrac{1}{239}\right]=β##

##⇒\tan α=\left[\dfrac{1}{5}\right],\tan β =\left[\dfrac{1}{239}\right], ##
This is what you should do first, not assume that the equation you're trying to prove is true.

chwala said:
Relevant Equations:
Trig. identities
Unless you list specific identities you should leave this section blank.

Also, as already mentioned by @MatinSAR ##\dfrac{tan\beta} {4} \ne tan\dfrac{\beta} {4} ##
 
  • Like
Likes chwala and MatinSAR
  • #14
Mark44 said:
Some comments:

The first equation above is what you're supposed to prove, so it is generally invalid to assume ("let") a statement you're trying to prove. Only under very specific conditions (*) is it valid to make this sort of assumption.

* Each step is reversible; i.e., by performing a one-to-one operation on each side of the equation or inequality.
This is what you should do first, not assume that the equation you're trying to prove is true.

Unless you list specific identities you should leave this section blank.

Also, as already mentioned by @MatinSAR ##\dfrac{tan\beta} {4} \ne tan\dfrac{\beta} {4} ##
The section you are reffering to cannot be left blank. I just tried doing that.
 
Back
Top