I recently determined that for all integers a and b

Rome Frazier

Rome Frazier

Answered question

2022-02-25

I recently determined that for all integers a and b such that ab and b0.
arctan(ab)+π4=arctan(b+aba)

Answer & Explanation

Abbey Hope

Abbey Hope

Beginner2022-02-26Added 7 answers

As written, the formula is not true: the values of arctan(x) are always between π2 and π2. Pick a rational number ab with π4<ab<π2. For example, a=11, b=10. Then the left hand side,
arctan(1110)+π41.6184
whereas the right hand side is negative:
arctan(11+101011=arctan(21)1.5232
I think that what you mean is that if α is an angle such that tan(α) is rational, different from 1,
tan(α)=ab1, a,b integers,
thentan(α+π4)=b+aba
Certainly, well done if you discovered it by yourself! However, it is not new. In fact, the result is true even if a and b are not integers; all you need is for a to be different from b, that is, for απ4
There are well-known formulas that express the sine, cosine, and tangent of a sum of angles in terms of the sines, cosines, and tangents of the summands:
sin(α+β)=sin(α)cos(β)+cos(α)sin(β)
cos(α+β)=cos(α)cos(β)sin(α)sin(β)
tan(α+β)=tan(α)+tan(β)1tan(α)tan(β)
Taking β=π4, since tan(π4)=1, we get
tan(α+π4)=ab+11ab=a+bbbab=a+bba
giving your formula.
e4mot1ic5bf

e4mot1ic5bf

Beginner2022-02-27Added 6 answers

If you differentiate the function
f(t)=arctantarctan1+t1t
you get zero, so the function is constant in each of the two intervals (,1) and (1,+) on which it is defined.
Its calue at zero is π2, so that f(t)=π4 for all t<1, so
Its value at zero is π2, so that f(t)=π4 for all t<1, so
arctant+π4=arctan1+t1t,
On the other hand, one easily shows that limt+f(t)=3π4, so
arctant3π4=arctan1+t1t
If t=ab is a rational number smaller that 1, then the first point is your identity. If it larger than 1, we see that you have to change things a bit.

Do you have a similar question?

Recalculate according to your conditions!

Ask your question.
Get an expert answer.

Let our experts help you. Answer in as fast as 15 minutes.

Didn't find what you were looking for?