cp's OEIS Frontend

This is a front-end for the Online Encyclopedia of Integer Sequences, made by Christian Perfect. The idea is to provide OEIS entries in non-ancient HTML, and then to think about how they're presented visually. The source code is on GitHub.

Showing 1-3 of 3 results.

A010527 Decimal expansion of sqrt(3)/2.

Original entry on oeis.org

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

Views

Author

N. J. A. Sloane

Keywords

Comments

This is the ratio of the height of an equilateral triangle to its base.
Essentially the same sequence arises from decimal expansion of square root of 75, which is 8.6602540378443864676372317...
Also the real part of i^(1/3), the cubic root of i. - Stanislav Sykora, Apr 25 2012
Gilbert & Pollak conjectured that this is the Steiner ratio rho_2, the least upper bound of the ratio of the length of the Steiner minimal tree to the length of the minimal tree in dimension 2. (See Ivanov & Tuzhilin for the status of this conjecture as of 2012.) - Charles R Greathouse IV, Dec 11 2012
Surface area of a regular icosahedron with unit edge is 5*sqrt(3), i.e., 10 times this constant. - Stanislav Sykora, Nov 29 2013
Circumscribed sphere radius for a cube with unit edges. - Stanislav Sykora, Feb 10 2014
Also the ratio between the height and the pitch, used in the Unified Thread Standard (UTS). - Enrique Pérez Herrero, Nov 13 2014
Area of a 30-60-90 triangle with shortest side equal to 1. - Wesley Ivan Hurt, Apr 09 2016
If a, b, c are the sides of a triangle ABC and h_a, h_b, h_c the corresponding altitudes, then (h_a+h_b+h_c) / (a+b+c) <= sqrt(3)/2; equality is obtained only when the triangle is equilateral (see Mitrinovic reference). - Bernard Schott, Sep 26 2022

Examples

			0.86602540378443864676372317...

References

  • Steven R. Finch, Mathematical Constants, Encyclopedia of Mathematics and its Applications, vol. 94, Cambridge University Press, 2003, Sections 8.2, 8.3 and 8.6, pp. 484, 489, and 504.
  • Jan Gullberg, Mathematics from the Birth of Numbers, W. W. Norton & Co., NY & London, 1997, §12.4 Theorems and Formulas (Solid Geometry), pp. 450-451.
  • D. S. Mitrinovic, E. S. Barnes, D. C. B. Marsh, and J. R. M. Radok, Elementary Inequalities, Tutorial Text 1 (1964), P. Noordhoff LTD, Groningen, problem 6.8, page 114.

Links

Crossrefs

Cf. A010153.
Cf. Platonic solids surfaces: A002194 (tetrahedron), A010469 (octahedron), A131595 (dodecahedron).
Cf. Platonic solids circumradii: A010503 (octahedron), A019881 (icosahedron), A179296 (dodecahedron), A187110 (tetrahedron).
Cf. A126664 (continued fraction), A144535/A144536 (convergents).
Cf. A002194, A010502, A020821, A104956, A152623 (other geometric inequalities).

Programs

  • Magma
    SetDefaultRealField(RealField(100)); Sqrt(3)/2; // G. C. Greubel, Nov 02 2018
  • Maple
    Digits:=100: evalf(sqrt(3)/2); # Wesley Ivan Hurt, Apr 09 2016
  • Mathematica
    RealDigits[Sqrt[3]/2, 10, 200][[1]] (* Vladimir Joseph Stephan Orlovsky, Feb 21 2011 *)
  • PARI
    default(realprecision, 20080); x=10*(sqrt(3)/2); for (n=0, 20000, d=floor(x); x=(x-d)*10; write("b010527.txt", n, " ", d));  \\ Harry J. Smith, Jun 02 2009
  • PARI
    sqrt(3)/2 \\ Michel Marcus, Apr 10 2016

Formula

Equals cos(30 degrees). - Kausthub Gudipati, Aug 15 2011
Equals A002194/2. - Stanislav Sykora, Nov 30 2013
From Amiram Eldar, Jun 29 2020: (Start)
Equals sin(Pi/3) = cos(Pi/6).
Equals Integral_{x=0..Pi/3} cos(x) dx. (End)
Equals 1/(10*A020832). - Bernard Schott, Sep 29 2022
Equals x^(x^(x^...)) where x = (3/4)^(1/sqrt(3)) (infinite power tower). - Michal Paulovic, Jun 25 2023
Equals 2F1(-1/4,1/4 ; 1/2 ; 3/4) . - R. J. Mathar, Aug 31 2025

Extensions

Last term corrected and more terms added by Harry J. Smith, Jun 02 2009

A144535 Numerators of continued fraction convergents to sqrt(3)/2.

Original entry on oeis.org

0, 1, 6, 13, 84, 181, 1170, 2521, 16296, 35113, 226974, 489061, 3161340, 6811741, 44031786, 94875313, 613283664, 1321442641, 8541939510, 18405321661, 118973869476, 256353060613, 1657092233154, 3570537526921, 23080317394680, 49731172316281, 321467351292366
Offset: 0

Views

Author

N. J. A. Sloane, Dec 29 2008

Keywords

Examples

			0, 1, 6/7, 13/15, 84/97, 181/209, 1170/1351, 2521/2911, 16296/18817, 35113/40545, ...

Links

Crossrefs

Cf. A126664, A144536, A002531/A002530.
Bisections give A001570, A011945.

Programs

  • Magma
    I:=[0, 1, 6, 13]; [n le 4 select I[n] else 14*Self(n-2)-Self(n-4): n in [1..30]]; // Vincenzo Librandi, Dec 10 2013
  • Maple
    with(numtheory); Digits:=200: cf:=convert(evalf(sqrt(3)/2,confrac); [seq(nthconver(cf,i), i=0..100)];
  • Mathematica
    CoefficientList[Series[x (1 + 6 x - x^2)/((1 - 4 x + x^2) (1 + 4 x + x^2)), {x, 0, 40}], x] (* Vincenzo Librandi, Dec 10 2013 *)
Numerator[Convergents[Sqrt[3]/2,30]] (* or *) LinearRecurrence[{0,14,0,-1},{0,1,6,13},30] (* Harvey P. Dale, Feb 10 2014 *)
  • PARI
    Vec(x*(1+6*x-x^2)/((1-4*x+x^2)*(1+4*x+x^2)) + O(x^30)) \\ Colin Barker, Mar 27 2016

Formula

From Colin Barker, Apr 14 2012: (Start)
a(n) = 14*a(n-2) - a(n-4).
G.f.: x*(1 + 6*x - x^2)/((1 - 4*x + x^2)*(1 + 4*x + x^2)). (End)
a(n) = ((-(-2-sqrt(3))^n*(-3+sqrt(3)) + (2-sqrt(3))^n*(-3+sqrt(3)) - (3+sqrt(3))*((-2+sqrt(3))^n - (2+sqrt(3))^n)))/(8*sqrt(3)). - Colin Barker, Mar 27 2016
a(2*n) = 6*a(2*n-1) + a(2*n-2). a(2*n+1) = A003154(A101265(n+1)). - John Elias, Dec 10 2021

A258723 Expansion of 1/(1-12*x+48*x^2)^(1/2).

Original entry on oeis.org

1, 6, 30, 108, 54, -3564, -41364, -314280, -1798362, -6972156, -1793340, 283697640, 3341429820, 25984971720, 151750943640, 596184213168, 101849014278, -25747257110940, -305001821608236, -2392882855430328, -14088646343199276, -55649498057805096, -7100681134947480
Offset: 0

Views

Author

Sergei N. Gladkovskii, Jun 08 2015

Keywords

Links

Crossrefs

Cf. A144535, A144536, A240880.

Programs

  • Mathematica
    CoefficientList[Series[1/(1-12*x+48*x^2)^(1/2), {x, 0, 20}], x]  (* Vaclav Kotesovec, Jun 08 2015 *)
  • PARI
    Vec(1/(1-12*x+48*x^2)^(1/2) + x^50) \\ G. C. Greubel, Feb 14 2017

Formula

G.f.: 1/(1-12*x+48*x^2)^(1/2).
E.g.f.: exp(6*x)*BesselJ(0,2*sqrt(3)*x).
If mod(n,6)=4 then a(n) ~ (-1)^((n+8)/6) * 3^((n+1)/2) * 4^(n-1) / (sqrt(Pi) * n^(3/2)), else a(n) ~ 3^(n/2) * 2^(2*n+1) * cos(Pi*(n-1)/6) / sqrt(Pi*n). - Vaclav Kotesovec, Jun 08 2015
D-finite with recurrence n*a(n) +6*(-2*n+1)*a(n-1) +48*(n-1)*a(n-2)=0. [Belbachir]
Showing 1-3 of 3 results.

Started in 1964 by Neil J. A. Sloane | Maintained by The OEIS Foundation Inc.

Content is available under The OEIS End-User License Agreement.