OFFSET
2,2
COMMENTS
The augmented truncated tetrahedron is Johnson solid J_65.
LINKS
Paolo Xausa, Table of n, a(n) for n = 2..10000
Wikipedia, Augmented truncated tetrahedron.
FORMULA
Equals 3 + 13*sqrt(3)/2 = 3 + 13*A010527.
Equals the largest root of 4*x^2 - 24*x - 471.
EXAMPLE
14.258330249197702407928401219788170385128234149767...
MATHEMATICA
First[RealDigits[3 + 13*Sqrt[3]/2, 10, 100]] (* or *)
First[RealDigits[PolyhedronData["J65", "SurfaceArea"], 10, 100]]
CROSSREFS
KEYWORD
AUTHOR
Paolo Xausa, Jul 21 2025
STATUS
approved
