A254619 -id:A254619 - cp's OEIS frontend

A002391 Decimal expansion of natural logarithm of 3.

1, 0, 9, 8, 6, 1, 2, 2, 8, 8, 6, 6, 8, 1, 0, 9, 6, 9, 1, 3, 9, 5, 2, 4, 5, 2, 3, 6, 9, 2, 2, 5, 2, 5, 7, 0, 4, 6, 4, 7, 4, 9, 0, 5, 5, 7, 8, 2, 2, 7, 4, 9, 4, 5, 1, 7, 3, 4, 6, 9, 4, 3, 3, 3, 6, 3, 7, 4, 9, 4, 2, 9, 3, 2, 1, 8, 6, 0, 8, 9, 6, 6, 8, 7, 3, 6, 1, 5, 7, 5, 4, 8, 1, 3, 7, 3, 2, 0, 8, 8, 7, 8, 7, 9, 7

Offset: 1

N. J. A. Sloane

			1.098612288668109691395245236922525704647490557822749451734694333637494...

Calvin C. Clawson, Mathematical Mysteries: The Beauty and Magic of Numbers, Springer, 2013. See p. 221.
W. E. Mansell, Tables of Natural and Common Logarithms. Royal Society Mathematical Tables, Vol. 8, Cambridge Univ. Press, 1964, p. 2.
N. J. A. Sloane, A Handbook of Integer Sequences, Academic Press, 1973 (includes this sequence).
N. J. A. Sloane and Simon Plouffe, The Encyclopedia of Integer Sequences, Academic Press, 1995 (includes this sequence).

Harry J. Smith, Table of n, a(n) for n = 1..20000
D. H. Bailey, Compendium to BBP formulas. [Broken link]
Peter Bala, New series for old functions.
G. Huvent, Formules BBP en base 3. - _Jaume Oliver Lafont_, Oct 12 2009
Melissa Larson, Verifying and discovering BBP-type formulas, 2008.
Simon Plouffe, Plouffe's Inverter, The natural logarithm of 3 to 10000 digits.
Simon Plouffe, log(3), natural logarithm of 3 to 2000 places.
S. Ramanujan, Notebook entry.
Horace S. Uhler, Recalculation and extension of the modulus and of the logarithms of 2, 3, 5, 7 and 17, Proc. Nat. Acad. Sci. U. S. A. 26, (1940). 205-212.
Eric Weisstein's World of Mathematics, BBP-Type Formula.
Wikipedia, Bailey-Borwein-Plouffe formula.
Index entries for transcendental numbers

Cf. A058962, A154920, A002162, A016731 (continued fraction), A073000, A105531, A254619.

RealDigits[Log[3],10,120][[1]]  (* Harvey P. Dale, Apr 23 2011 *)

log(3) \\ Charles R Greathouse IV, Jan 24 2012

# Use some guard digits when computing.
# BBP formula P(1, 4, 2, (1, 0)).
from decimal import Decimal as dec, getcontext
def BBPlog3(n: int) -> dec:
    getcontext().prec = n
    s = dec(0); f = dec(1); g = dec(4)
    for k in range(2 * n):
        s += f / dec(2 * k + 1)
        f /= g
    return s
print(BBPlog3(200))  # Peter Luschny, Nov 03 2023

log(3) = Sum_{n>=1} (9*n-4)/((3*n-2)*(3*n-1)*3*n). [Jolley, Summation of Series, Dover (1961) eq 74]
log(3) = (1/4)*(1 + Sum_{m>=0} (1/9)^(k+1)*(27/(2*k+1) + 4/(2*k+2) + 1/(2*k+3))) (a BBP-type formula). - Alexander R. Povolotsky, Dec 01 2008
log(3) = 4/5 + (1/5)*Sum_{n>=0} (1/4)^n*(1/(2*n+1) + 1/(2*n+3)). - Alexander R. Povolotsky, Dec 18 2008
log(3) = Sum_{k>=0} (1/9)^(k+1)*(9/(2k+1) + 1/(2k+2)). - Jaume Oliver Lafont, Dec 22 2008
Sum_{i>=1} 1/(9^i*i) + Sum_{i>=0} 1/(9^i*(i+1/2)) = 2*log(3) (Huvent 2001). - Jaume Oliver Lafont, Oct 12 2009
Conjecture: log(3) = Sum_{k>=1} A191907(3,k)/k. - Mats Granvik, Jun 19 2011
log(3) = lim_{n->oo} Sum_{k=3^n..3^(n+1)-1} 1/k. Also see A002162. By analogy to the integral of 1/x, log(m) = lim_{n->oo} Sum_{k=m^n..m^(n+1)-1} 1/k, for any value of m > 1. - Richard R. Forberg, Aug 16 2014
From Peter Bala, Feb 04 2015: (Start)
log(3) = Sum {k >= 0} 1/((2*k + 1)*4^k).
Define a pair of integer sequences A(n) = 4^n*(2*n + 1)!/n! and B(n) = A(n)*Sum_{k = 0..n} 1/((2*k + 1)*4^k). Both sequences satisfy the same second-order recurrence equation u(n) = (20*n + 6)*u(n-1) - 16*(2*n - 1)^2*u(n-2). From this observation we obtain the continued fraction expansion log(3) = 1 + 2/(24 - 16*3^2/(46 - 16*5^2/(66 - ... - 16*(2*n - 1)^2/((20*n + 6) - ... )))). Cf. A002162, A073000 and A105531 for similar expansions.
log(3) = 2 * Sum_{k >= 1} (-1)^(k+1)*(4/3)^k/(k*binomial(2*k,k)).
log(3) = (1/4) * Sum_{k >= 1} (-1)^(k+1) (55*k - 23)*(8/9)^k/( 2*k*(2*k - 1)*binomial(3*k,k) ).
log(3) = (1/4) * Sum_{k >= 1} (7*k + 1)*(8/3)^k/( 2*k*(2*k - 1)*binomial(3*k,k) ). (End)
log(3) = -lim_{n->oo} (n+1)th derivative of zeta(n) / n-th derivative of zeta(n). By n = 1000 there is convergence to 25 digits. A related expression: lim_{n->oo} n-th derivative of zeta(n-1) / n-th derivative of zeta(n) = 3. Also see A002581. - Richard R. Forberg, Feb 24 2015
From Peter Bala, Nov 02 2019: (Start)
log(3) = 2*Integral_{x = 0..1} (1 - x^2)/(1 + x^2 + x^4) dx = 2*( 1 - (2/3) + 1/5 + 1/7 - (2/9) + 1/11 + 1/13 - (2/15) + ... ).
log(3) = 16*Sum_{n >= 0} 1/( (6*n + 1)*(6*n + 3)*(6*n + 5) ).
log(3) = 4/5 + 64*Sum_{n >= 0} (18*n + 1)/((6*n - 5)*(6*n - 3)*(6*n - 1)*(6*n + 1)*(6*n + 7)). (End)
From Amiram Eldar, Jul 05 2020: (Start)
Equals 2*arctanh(1/2).
Equals Sum_{k>=1} (2/3)^k/k.
Equals Integral_{x=0..Pi} sin(x)dx/(2 + cos(x)). (End)
log(3) = Integral_{x = 0..1} (x^2 - 1)/log(x) dx. - Peter Bala, Nov 14 2020
From Peter Bala, Oct 28 2023: (Start)
The series representation log(3) = 16*Sum_{n >= 0} 1/((6*n + 1)*(6*n + 3)*(6*n + 5)) given above appears to be the case k = 0 of the following infinite family of series representations for log(3):
log(3) = c(k) + (-1)^k*d(k)*Sum_{n >= 0} 1/((6*n + 1)*(6*n + 3)*...*(6*n + 12*k + 5)), where c(k) is a rational approximation to log(3) and d(k) = 2^(6*k+3)/27^k * (6*k + 2)!.
The first few values of c(k) for k >= 0 are [0, 2996/2673, 89195548/81236115, 23239436137364/21153065697225, 3345533089100222564/3045237239236561677, ...]. Cf A304656. (End)
log(3) = 1 + 2*Sum_{k>=1} 1/((3*k)^3 - 3*k) [Ramanujan]. - Stefano Spezia, Jul 01 2024

Editing and more terms from Charles R Greathouse IV, Apr 20 2010

A073000 Decimal expansion of arctangent of 1/2.

Original entry on oeis.org

4, 6, 3, 6, 4, 7, 6, 0, 9, 0, 0, 0, 8, 0, 6, 1, 1, 6, 2, 1, 4, 2, 5, 6, 2, 3, 1, 4, 6, 1, 2, 1, 4, 4, 0, 2, 0, 2, 8, 5, 3, 7, 0, 5, 4, 2, 8, 6, 1, 2, 0, 2, 6, 3, 8, 1, 0, 9, 3, 3, 0, 8, 8, 7, 2, 0, 1, 9, 7, 8, 6, 4, 1, 6, 5, 7, 4, 1, 7, 0, 5, 3, 0, 0, 6, 0, 0, 2, 8, 3, 9, 8, 4, 8, 8, 7, 8, 9, 2, 5, 5, 6, 5, 2, 9

Offset: 0

Robert G. Wilson v, Aug 03 2002

The angle at which you must shoot a cue ball on a standard pool table so that it will strike all four sides and return to its origin. [Barrow] - Robert G. Wilson v, Nov 29 2015

			Arctan(1/2)
=0.463647609000806116214256231461214402028537054286120263810933088720197864165... radians
=26°.56505117707798935157219372045329467120421429964522102798601631528806582148474...
=26°33'.9030706246793610943316232271976802722528579787132616791609789172839492890...
=26°33'54".184237480761665659897393631860816335171478722795700749658735037036957...
complement = 63°.43494882292201064842780627954670532879578570035477897201398368471...
supplement = 153°.4349488229220106484278062795467053287957857003547789720139836847...

John D. Barrow, One Hundred Essential Things You Didn't Know You Didn't Know, W. W. Norton & Co., NY & London, 2008.
John H. Conway and Richard K. Guy, The Book of Numbers, New York: Springer-Verlag, 1996. See p. 242.

G. C. Greubel, Table of n, a(n) for n = 0..5000
Peter Bala, New series for old functions.
R. J. Mathar, Hierarchical Subdivision of the Simple Cubic Lattice, arXiv preprint arXiv:1309.3705 [math.MG], 2013.
Simon Plouffe, arctan(1/2).
Index entries for transcendental numbers

Cf. A001622, A002162, A002391, A105531, A254619.

evalf(arctan(0.5)) ; # R. J. Mathar, Aug 22 2013

Mathematica
```
RealDigits[ ArcTan[1/2], 10, 110] [[1]]
```

default(realprecision,2000); atan(1/2) \\ Anders Hellström, Nov 30 2015

Equals Pi/2 - A105199 = A019669-A105199. - R. J. Mathar, Aug 21 2013
From Peter Bala, Feb 04 2015: (Start)
Arctan(1/2) = 1/2*Sum_{k >= 0} (-1)^k/((2*k + 1)*4^k).
Define a pair of integer sequences A(n) = 4^n*(2*n + 1)!/n! and B(n) = A(n)*Sum_{k = 0..n} (-1)^k/((2*k + 1)*4^k). Both sequences satisfy the same second order recurrence equation u(n) = (12*n + 10)*u(n-1) + 16*(2*n - 1)^2*u(n-2). From this observation we obtain the continued fraction expansion 2*arctan(1/2) = 1 - 2/(24 + 16*3^2/(34 + 16*5^2/(46 + ... + 16*(2*n - 1)^2/((12*n + 10) + ...)))). See A002391, A105531 and A002162 for similar expansions.
Arctan(1/2) = 2/5 * Sum_{k >= 0} (4/5)^k/((2*k + 1)*binomial(2*k,k)).
Define a pair of integer sequences C(n) = 5^n*(2*n + 1)!/n! and D(n) = C(n)*Sum_{k = 0..n} (4/5)^k/((2*k + 1)*binomial(2*k,k)). Both sequences satisfy the same second order recurrence equation u(n) = (24*n + 10)*u(n-1) - 40*n*(2*n - 1)^2*u(n-2). From this observation we obtain the continued fraction expansion 5/2*arctan(1/2) = 1 + 4/(30 - 240/(58 - 600/(82 - ... - 40*n*(2*n - 1)/((24*n + 10) - ... )))).
Arctan(1/2) = 2/25 * Sum_{k >= 0} (24*k + 17)*(4/5)^(2*k)/( (4*k + 1)*(4*k + 3)*binomial(4*k,2*k) ).
Arctan(1/2) = 2/125 * Sum_{k >= 0} (1116*k^2 + 1446*k + 433)*(4/5)^(3*k)/( (6*k + 1)*(6*k + 3)*(6*k + 5)*binomial(6*k,3*k) ). (End)
Equals Integral_{x = 0..oo} exp(-2*x)*sin(x)/x dx. - Peter Bala, Nov 05 2019
Equals 2 * arccot(phi^3), where phi is the golden ratio (A001622). - Amiram Eldar, Jul 06 2023
Equals Sum_{n >= 1} i/(n*P(n, 2*i)*P(n-1, 2*i)) = (1/2)*Sum_{n >= 1} (-1)^(n+1)*4^n/(n*A098443(n)*A098443(n-1)), where i = sqrt(-1) and P(n, x) denotes the n-th Legendre polynomial. The n-th summand of the series is O( 1/(3 + 2*sqrt(2))^n ). - Peter Bala, Mar 16 2024

A254381 a(n) = 3^n(2n + 1)!/n!.

Original entry on oeis.org

1, 18, 540, 22680, 1224720, 80831520, 6304858560, 567437270400, 57878601580800, 6598160580211200, 831368233106611200, 114728816168712345600, 17209322425306851840000, 2787910232899709998080000, 485096380524549539665920000, 90227926777566214377861120000

Offset: 0

Peter Bala, Feb 04 2015

Cf. A002391, A034910, A073000, A093766, A254619, A254620.

Maple
```
seq(3^n*(2*n + 1)!/n!, n = 0..13);
```

Table[3^n(2n + 1)!/n!, {n, 0, 19}] (* Alonso del Arte, Feb 04 2015 *)

E.g.f.: 1/(1 - 12*x)^(3/2) = 1 + 18*x + 540*x^2/2! + 22680*x^3/3! + ....
Recurrence equation: a(n) = 6*(2*n + 1)*a(n-1) with a(0) = 1.
2nd order recurrence equation: a(n) = 8*(n + 1)*a(n-1) + 12*(2*n - 1)^2*a(n-2) with a(0) = 1, a(1) = 18.
Define a sequence b(n) := a(n)*sum {k = 0..n} (-1)^k/((2*k + 1)*3^k) beginning [1, 16, 492, 20544, 1111056, 73299456, 5718022848, ...]. It is not difficult to check that b(n) also satisfies the previous 2nd order recurrence equation (and so is an integer sequence). Using this observation we obtain the continued fraction expansion Pi/(2*sqrt(3)) = Sum {k >= 0} (-1)^k/( (2*k + 1)*3^k ) = 1 - 2/(18 + 12*3^2/(24 + 12*5^2/(32 + ... + 12*(2*n - 1)^2/((8*n + 8) + ... )))). Cf. A254619 and A254620.

A254620 a(n) = 9^n(2n + 1)!/n!.

Original entry on oeis.org

1, 54, 4860, 612360, 99202320, 19642059360, 4596241890240, 1240985310364800, 379741504971628800, 129871594700297049600, 49091462796712284748800, 20323865597838885886003200, 9145739519027498648701440000, 4444829406247364343268899840000

Offset: 0

Peter Bala, Feb 03 2015

Cf. A002162, A002391, A034910, A073000, A105531, A254381, A254619.

Maple
```
seq(9^n*(2*n + 1)!/n!, n = 0..14);
```

Table[9^n (2n+1)!/n!,{n,0,20}] (* Harvey P. Dale, Aug 13 2019 *)

E.g.f.: 1/(1 - 36*x)^(3/2) = 1 + 54*x + 4860*x^2/2! + 612360*x^3/3! + ....
Recurrence equation: a(n) = 18*(2*n + 1)*a(n-1) with a(0) = 1.
2nd order recurrence equation: a(n) = (40*n + 16)*a(n-1) - 36*(2*n - 1)^2*a(n-2) with a(0) = 1, a(1) = 54.
Define a sequence b(n) := a(n)*sum {k = 0..n} 1/((2*k + 1)*9^k) beginning [1, 56, 5052, 636672, 103142544, 20422253952, 4778808090048, ...]. It is not difficult to check that b(n) also satisfies the previous 2nd order recurrence equation (and so is an integer sequence). Using this observation we obtain the continued fraction expansion log(2) = 2/3*Sum {k >= 0} 1/((2*k + 1)*9^k) = 2/3*(1 + 2/(54 - 36*3^2/(96 - 36*5^2/(136 - ... - 36*(2*n - 1)^2/((40*n + 16) - ... ))))).
Alternative 2nd order recurrence equation: a(n) = (32*n + 20)*a(n-1) + 36*(2*n - 1)^2*a(n-2) with a(0) = 1, a(1) = 54.
Define now a sequence c(n) := a(n)*sum {k = 0..n} (-1)^k/((2*k + 1)*9^k) beginning [1, 52, 4692, 591072, 95755344, 18959527872, 4436530187328, ...], which, along with a(n), satisfies the alternative 2nd order recurrence equation. From this observation we find the continued fraction expansion arctan(1/3) = 1/3*Sum {k >= 0} (-1)^k/((2*k + 1)*9^k) = 1/3*(1 - 2/(54 + 36*3^2/(84 + 36*5^2/(116 + ... + 36*(2*n - 1)^2/((32*n + 20) + ... ))))). Cf. A254381 and A254619.

cp's OEIS Frontend

A002391 Decimal expansion of natural logarithm of 3.

Views

Author

Keywords

Examples

References

Links

Crossrefs

Programs

Mathematica

PARI

Python

Formula

Extensions

A073000 Decimal expansion of arctangent of 1/2.

Views

Author

Keywords

Comments

Examples

References

Links

Crossrefs

Programs

Maple

Mathematica

PARI

Formula

A254381 a(n) = 3^n*(2*n + 1)!/n!.

Views

Author

Keywords

Crossrefs

Programs

Maple

Mathematica

Formula

A254620 a(n) = 9^n*(2*n + 1)!/n!.

Views

Author

Keywords

Crossrefs

Programs

Maple

Mathematica

Formula

A254381 a(n) = 3^n(2n + 1)!/n!.

A254620 a(n) = 9^n(2n + 1)!/n!.