login
The OEIS Foundation is supported by donations from users of the OEIS and by a grant from the Simons Foundation.

 

Logo


Hints
(Greetings from The On-Line Encyclopedia of Integer Sequences!)
A128463 Decimal expansion of area of Gerver's sofa. 2
2, 2, 1, 9, 5, 3, 1, 6, 6, 8, 8, 7, 1, 9, 7 (list; constant; graph; refs; listen; history; text; internal format)
OFFSET

1,1

COMMENTS

What is the sofa of greatest area S which can be moved around a right-angled hallway of unit width? Hammersley bounded this by A086118). Gerver (1992) found a sofa with larger area and provided arguments indicating that it is either optimal or close to it. The boundary of Gerver's sofa is a complicated shape composed of 18 arcs.

REFERENCES

S. R. Finch, Moving Sofa Constant, Sect. 8.12 in Mathematical Constants. Cambridge, England: Cambridge University Press, pp. 519-523, 2003.

LINKS

Table of n, a(n) for n=1..15.

J. L. Gerver, On Moving a Sofa Around a Corner, Geometriae Dedicata 42, 267-283, 1992.

Yoav Kallus and Dan Romik, Improved upper bounds in the moving sofa problem, arXiv preprint arXiv:1706.06630 [math.MG], 2017.

Dan Romik, Differential equations and exact solutions in the moving sofa problem, arXiv:1606.08111 [math.DG], 2016.

Dan Romik, Differential equations and exact solutions in the moving sofa problem, Experimental Mathematics (2017): 1-15.

Eric Weisstein's World of Mathematics, Moving Sofa Problem.

EXAMPLE

2.21953166887197...

CROSSREFS

Cf. A086118.

Sequence in context: A077944 A077992 A126586 * A136730 A175714 A291082

Adjacent sequences:  A128460 A128461 A128462 * A128464 A128465 A128466

KEYWORD

cons,nonn,more

AUTHOR

Jonathan Vos Post, May 05 2007

STATUS

approved

Lookup | Welcome | Wiki | Register | Music | Plot 2 | Demos | Index | Browse | More | WebCam
Contribute new seq. or comment | Format | Style Sheet | Transforms | Superseeker | Recent
The OEIS Community | Maintained by The OEIS Foundation Inc.

License Agreements, Terms of Use, Privacy Policy. .

Last modified May 25 02:01 EDT 2020. Contains 334581 sequences. (Running on oeis4.)