OFFSET
1,1
LINKS
Paolo Xausa, Table of n, a(n) for n = 1..92 (the full sequence).
Wikipedia, List of Johnson solids.
EXAMPLE
a(6) = 65 because Johnson solid J_6 (pentagonal rotunda) has 10 triangular faces (no diagonals), 6 pentagonal faces (5 diagonals each) and 1 10-gonal face (35 diagonals), for a total of 10*0 + 6*5 + 1*35 = 65 face diagonals.
MATHEMATICA
Sum[k*(k-3), {k, Map[Length, #]}]/2 & @@@ Array[PolyhedronData[{"Johnson", #}, {"FaceIndices"}] &, 92]
CROSSREFS
KEYWORD
nonn,fini,full
AUTHOR
Paolo Xausa, Jun 09 2026
STATUS
approved
