Post Reply 
Rational trig identities?
10-10-2021, 04:42 PM
Post: #1
Rational trig identities?
Surprisingly (to me), tan(n * arctan(1/n)) is rational when n is an integer. However, I can't get Mathematica nor the Prime CAS nor the 50g in exact mode to express this formula as a rational expression. Am I missing something obvious (probably!) or are such simplifications beyond the abilities of CAS's?

An iterative program is shown at A348140 but no formula is given. Here is a translation for the 49g/50g (exact mode):


\<< DUP INV \-> n s
  \<< s 1 n  1 -
    START DUP s + SWAP n / 1 SWAP - / EVAL
Find all posts by this user
Quote this message in a reply
Post Reply 

Messages In This Thread
Rational trig identities? - John Keith - 10-10-2021 04:42 PM
RE: Rational trig identities? - John Keith - 10-11-2021, 01:08 PM

User(s) browsing this thread: 1 Guest(s)