En matemàtiques, el problema del sofà és un problema no resolt sobre una idealització bidimensional del trasllat d'una figura (el sofà) per un passadís en forma de L d'una unitat d'amplada. El problema consisteix en calcular la superfície màxima de la figura que pot superar l'obstacle de la cantonada de 90 graus sense ser aixecat del terra.[1]

Solucions trivials del problema.

El problema, aparentment trivial, va ser proposat pel matemàtic canadenc Leo Moser el 1966, tot i que havia estat discutit informalment per altres matemàtics anteriorment,[2] i des d'aleshores s'ha convertit en un dels més popular problemes no resolts.[3]

És obvi que un sofà quadrat de costat podria passar la cantonada essent arrossegat primer cap a la dreta i després cap a baix. Això dona una superfície de la figura de . Però també podria vencer l'obstacle una figura semicircular de radi , lo qual donaria una superfície de .

Solució de Hammersley

El 1968, el matemàtic britànic John Hammersley va proposar una nova figura, de forma similar a un auricular telefònic antic, que consisteix en dos quarts de disc de radi a banda i banda d'un rectangle d' per del qual s'ha eliminat un mig disc de radi . Aquesta figura té una superfície de .[4]

Hammersley també va demostrar que no podien existir figures d'una superfície superior a que complissin el requisit.[5]

Tot això deixava el problema obert: podien existir altres figures de superfície més gran que la de Hammersley que també poguessin girar a la cantonada.

Figura proposada per Gerver (1992).

El 1992, el matemàtic Joseph Gerver,[6] va obtenir una figura de superfície , ampliant la figura de Hammersley i arrodonint-li les cantonades.

L'any 2018, amb un algorisme iteratiu i després de quasi cinc-centes hores de càlculs amb ordinador, els matemàtics Yoav Kallus i Dan Romik, van establir que el límit màxim de la superfície de la figura era de .[7] Aquest últim, també va estudiar el cas d'una figura "ambidextra": una figura que pogués fer un gir a la dreta i, a continuació, un altre a l'esquerra.[8]

El sofà ambidextre de Romik.

Amb tot, el problema segueix obert.

Referències

modifica
  1. Croft, Falconer i Guy, 2012, p. 171-172.
  2. Wagner, 1976, p. 188.
  3. Barral, 2017, p. web.
  4. Stewart, 1992, p. c.16.
  5. Kallus i Romik, 2018, p. 961.
  6. Gerver, 1992, p. 267-283.
  7. Kallus i Romik, 2018, p. 962.
  8. Romik, 2018, p. 316-330.

Bibliografia

modifica

Enllaços externs

modifica