[go: up one dir, main page]
More Web Proxy on the site http://driver.im/
login
Search: a144535 -id:a144535
     Sort: relevance | references | number | modified | created      Format: long | short | data
Decimal expansion of sqrt(3)/2.
+10
86
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,1
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
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
E. N. Gilbert and H. O. Pollak, Steiner minimal trees, SIAM J. Appl. Math. 16, (1968), pp. 1-29.
A. O. Ivanov and A. A. Tuzhilin, The Steiner ratio Gilbert-Pollak conjecture is still open, Algorithmica 62:1-2 (2012), pp. 630-632.
Matt Parker, The mystery of 0.866025403784438646763723170752936183471402626905190314027903489, Stand-up Maths, YouTube video, Feb 14 2024.
Simon Plouffe, Plouffe's Inverter, sqrt(3)/2 to 10000 digits.
Simon Plouffe, Sqrt(3)/2 to 5000 digits.
Eric Weisstein's World of Mathematics, Lebesgue Minimal Problem.
Wikipedia, Icosahedron.
Wikipedia, Platonic solid.
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
EXAMPLE
0.86602540378443864676372317...
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 *)
PROG
(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
(Magma) SetDefaultRealField(RealField(100)); Sqrt(3)/2; // G. C. Greubel, Nov 02 2018
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).
KEYWORD
nonn,cons,easy,changed
EXTENSIONS
Last term corrected and more terms added by Harry J. Smith, Jun 02 2009
STATUS
approved
Denominators of continued fraction convergents to sqrt(3)/2.
+10
4
1, 1, 7, 15, 97, 209, 1351, 2911, 18817, 40545, 262087, 564719, 3650401, 7865521, 50843527, 109552575, 708158977, 1525870529, 9863382151, 21252634831, 137379191137, 296011017105, 1913445293767, 4122901604639, 26650854921601, 57424611447841, 371198523608647
OFFSET
0,3
FORMULA
G.f.: (1 + x - 7*x^2 + x^3)/(1 - 14*x^2 + x^4). - Colin Barker, Jan 01 2012
a(n) = 14*a(n-2) - a(n-4). - Sergei N. Gladkovskii, Jun 07 2015
a(n) = ((3+sqrt(3))*((-2+sqrt(3))^n + (2+sqrt(3))^n) - (-3+sqrt(3))*((-2-sqrt(3))^n + (2-sqrt(3))^n))/12. - Vaclav Kotesovec, Jun 08 2015
From John Elias, Dec 02 2021: (Start)
a(2*n) = 6*A001353(n)^2 + 1. See illustration in links.
a(2*n+1) = 2*a(2*n) + a(2*n-1). (End)
EXAMPLE
0, 1, 6/7, 13/15, 84/97, 181/209, 1170/1351, 2521/2911, 16296/18817, 35113/40545, ...
MAPLE
with(numtheory); Digits:=200: cf:=convert(evalf(sqrt(3)/2, confrac); [seq(nthconver(cf, i), i=0..100)];
MATHEMATICA
Denominator[Convergents [Sqrt[3]/2, 30]] (* Vincenzo Librandi, Feb 01 2014 *)
LinearRecurrence[{0, 14, 0, -1}, {1, 1, 7, 15}, 30] (* Harvey P. Dale, Sep 15 2017 *)
CROSSREFS
Bisections give A011943, A028230.
KEYWORD
nonn,easy,frac
AUTHOR
N. J. A. Sloane, Dec 29 2008
STATUS
approved
Expansion of 1/(1-12*x+48*x^2)^(1/2).
+10
2
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,2
LINKS
Hacène Belbachir, Abdelghani Mehdaoui, László Szalay, Diagonal Sums in the Pascal Pyramid, II: Applications, J. Int. Seq., Vol. 22 (2019), Article 19.3.5.
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]
MATHEMATICA
CoefficientList[Series[1/(1-12*x+48*x^2)^(1/2), {x, 0, 20}], x] (* Vaclav Kotesovec, Jun 08 2015 *)
PROG
(PARI) Vec(1/(1-12*x+48*x^2)^(1/2) + x^50) \\ G. C. Greubel, Feb 14 2017
CROSSREFS
KEYWORD
sign
AUTHOR
STATUS
approved

Search completed in 0.006 seconds