Writing \(\pi\) as sum of arctangents with linear recurrent sequences, golden mean and Lucas numbers
type: Item
instance of: scholarly article
zbMATH Open document ID: 1360.11029
DOI: 10.1142/S1793042114500286
author: Marco Abrate
author: Stefano Barbero
author: Umberto Cerruti
author: Nadir Murru
published in: International Journal of Number Theory
publication date: 2014-08-19T00:00:00Z
full work available at URL: https://arxiv.org/abs/1409.6455
Mathematics Subject Classification ID: 11B37
Mathematics Subject Classification ID: 11B39
zbMATH DE Number: 6332006
zbMATH Keywords: arctangent formulae
zbMATH Keywords: Lucas numbers
Wikidata QID: Q114072043
MaRDI profile type: Publication
arXiv ID: 1409.6455
cites work: Q3107076
cites work: ON MACHIN'S FORMULA WITH POWERS OF THE GOLDEN SECTION
cites work: John Machin and Robert Simson on inverse-tangent series for \(\pi\)
OpenAlex ID: W2007875258
title: Writing \(\pi\) as sum of arctangents with linear recurrent sequences, golden mean and Lucas numbers
review text: Let \(A(x)=\arctan(x)\). Further, for any real \(x\), let NEWLINE\[NEWLINE u_n(x)=\frac{\alpha(x)^n+\beta(x)^n}{2}\quad\text{and}\quad v_n(x)=\frac{\alpha(x)^n-\beta(x)^n}{\alpha-\beta}, NEWLINE\]NEWLINE where \((\alpha(x),\beta(x))=(1+ix, 1-ix)\), \(i={\sqrt{-1}}\). The authors show that for any positive integer \(n\) and any real number \(x\neq \pm 1\), we have \(A^{n}(1/x)=v_n(x)/u_n(x)\) (Theorem 1.3) and \(A^n(x)=(-1)^{n+1} (v_n(x)/u_n(x))^{(-1)^n}\) (Theorem 1.4). As a consequence, they exhibit identities such as NEWLINE\[NEWLINE n\arctan \left(\frac{1}{x}\right)+\arctan\left(\frac{u_n(x)-v_n(x)}{u_n(x)+v_n(x)}\right)=\frac{\pi}{4}+k(n,x)\pi, NEWLINE\]NEWLINE where \(k(n,x)\) is some suitable integer. Similarly, they prove that NEWLINE\[NEWLINE 2\arctan (-x\pm {\sqrt{1+x^2}})+\arctan(x)=\pm \frac{\pi}{2} NEWLINE\]NEWLINE holds for every real number \(x\). Taking \(x=L_{2k+1}/2\), where \(\{L_m\}_{m\geq 0}\) is the Lucas companion of the Fibonacci sequence, they get formulas such as NEWLINE\[NEWLINE \frac{\pi}{2}=\arctan \left(\frac{L_{2k+1}}{2}\right)+2\arctan\left(\frac{1}{\phi^{2k+1}}\right), NEWLINE\]NEWLINE where \(\phi=(1+{\sqrt{5}})/2\) is the Golden mean. The proofs are by induction.
reviewed by: Florian Luca
description: scientific article; zbMATH DE number 6332006