What's The Largest Sofa That Can Fit Around a Corner?

769,671
0
Published 2023-05-25
Sign up to Brilliant to receive a 20% discount with this link! brilliant.org/upandatom/
Recommended course: Advanced Geometry Puzzles brilliant.org/courses/advanced-geometry-puzzles/

Mathematica Notebook and animations can be found at the bottom of Dan Romik's page
www.math.ucdavis.edu/~romik/movingsofa/

And more here by Simon Mackenzie
drive.google.com/drive/u/3/folders/1qxPmxZdg3YjOHm…

Hi! I'm Jade. If you'd like to consider supporting Up and Atom, head over to my Patreon page :)
www.patreon.com/upandatom

Visit the Up and Atom store
store.nebula.app/collections/up-and-atom

Subscribe to Up and Atom for physics, math and computer science videos
youtube.com/c/upandatom

For a one time donation, head over to my PayPal :) www.paypal.me/upandatomshows

A big thank you to my AMAZING PATRONS!
Jonathan Koppelman, Michael Seydel, Cy 'kkm' K'Nelson, Thorsten Auth, Chris Flynn, Tim Barnard, AndrewA, Izzy Ca, Millennial Glacier, Richard O McEwen Jr, Scott Ready, John H. Austin, Jr., Brian Wilkins, Thomas V Lohmeier, David Johnston, Thomas Krause, Lynn Shackelford, Ave Eva Thornton, Andrew Pann, Anne Tan, David Tuman, Richard Rensman, Larry Nixon, Ben Mitchell, Steve Archer, Luna, Viktor Lazarevich, Tyler Simms, Michael Geer, James Mahoney, Jim Felich, Fabio Manzini, Jeremy, Sam Richardson, Robin High, KiYun Roe, Christopher Rhoades, DONALD McLeod, Ron Hochsprung, Aria Bend, James Matheson, Kevin Anderson, Alexander230, Tim Ludwig, Alexander Del Toro Barba, Justin Smith, A. Duncan, Mark Littlehale, Tony T Flores, Dagmawi Elehu, Jeffrey Smith, Alex Hackman, bpatb, Paul Barclay, 12tone, Sergey Ten, Damien Holloway, John Lakeman, Jana Christine Saout, Jeff Schwarz, Yana Chernobilsky, Louis Mashado, Michael Dean, Chris Amaris, Matt G, Dag-Erling Smørgrav, John Shioli, Todd Loreman, Susan Jones, Antony Birch, Paul Bunbury, Kent Arimura, Phillip Rhodes, Michael Nugent, James N Smith, Roland Gibson, Joe McTee, Dean Fantastic, Bernard Pang, Oleg Dats, John Spalding, Simon J. Dodd, Tang Chun, Michelle, William Toffey, Michel Speiser, Rigid Designator, James Horsley, Brian Williams, Craig Tumblison, Cameron Tacklind, 之元 丁, Kevin Chi, Lance Ahmu, Tim Cheseborough, Markus Lindström, Steve Watson, Midnight Skeptic, Dexter Scott, Potch, Indrajeet Sagar, Markus Herrmann (trekkie22), Gil Chesterton, Alipasha Sadri, Pablo de Caffe, Taylor Hornby, Mark Fisher, Emily, Colin Byrne, Nick H, Jesper de Jong, Loren Hart, Sofia Fredriksson, Phat Hoang, Spuddy, Sascha Bohemia, tesseract, Stephen Britt, KG, Hansjuerg Widmer, John Sigwald, O C, Carlos Gonzalez, Res, Thomas Kägi, James Palermo, Chris Teubert, Fran, Christopher Milton, Robert J Frey, Wolfgang Ripken, Jeremy Bowkett, Vincent Karpinski, Nicolas Frias, Louis M, kadhonn, Moose Thompson, Rick DeWitt, Andrew, Pedro Paulo Vezza Campos, S, Rebecca Lashua, Pat Gunn, George Fletcher, RobF, Vincent Seguin, Shawn, Israel Shirk, Jesse Clark, Steven Wheeler, Philip Freeman, Jareth Arnold, Simon Barker, Lou, and Simon Dargaville.

Chapters
0:00 The Moving Sofa Problem
2:06 Hammersley's sofa
3:15 Gerver's Sofa
3:55 Why is it so hard?
5:34 How Gerver came up with his sofa
9:50 Thank you Brilliant!
11:23 Will you find a bigger sofa?



Creator - Jade Tan-Holmes
Script - Alexander Berkes
Animations - Daniel Kouts and Simon Mackenzie
Music - epidemicsound.com

All Comments (21)
  • I tried to explain this problem to my friend, but he continued to scream things like "I'm not interested!", "I don't care about math!" or "Nobody asked you to cut off the edges of my sofa!"
  • @SgtSupaman
    Seems like the problem now is less "can you find a bigger sofa?" and more "can you finalize the proof for Gerver's sofa?"
  • @blodpudding
    I'm Swedish, so my solution is of course to disassemble the sofa and bring it through in pieces. IKEA beats math every time.
  • I gotta say as someone who worked for a moving company as a grunt for years, I find this fascinating. But it's not really the problem in the real world as we have 3 dimensions and most places have upwards of 12 foot ceilings. So you flip whatever your moving up on a side and then rotate it around, of course this breaks down and becomes complicated when the 90° turn is in the middle of a stairwell but there's ways to work it out. Even without touching the walls ( we put that to the test moving one family out and another into a place that was freshly painted so we couldn't touch a single wall) it's difficult but do able. The real problem is doorways.. like moving a L shaped couch that isn't sectional through a doorway into a hallway. Fun stuff Lol
  • @duvasrealm
    On a fun note: Yes if you give the property of disassembly, there do exist a plethora of larger objects/sofa that can move over the hallway. Ikea still lurks around because of this.
  • @Kaanin
    I thoroughly enjoyed the Numberphile video on this problem. When I saw you had posted one on the same topic I was skeptical you could add anything worthwhile to the discussion. I was wrong to doubt you! Your explanation of how a balanced shape has no space to gain through small movements was really intuitive! Your ability to turn a complex and difficult to explain concept into something easy is on another level. You are a terrific science educator!
  • @huzzzzzzahh
    This is such an incredibly elegant example of how math is actually done in real life. I wish all the students who “hate math” could see and really internalize this. Math isn’t about solving equations (although you gotta get your hands dirty sometimes) it’s about finding new perspectives and massaging hard problems into successively more tractable ones
  • I didn't think a degree in mathematics was needed to to become a furniture mover. This is why sectional sofas exist.
  • @MedlifeCrisis
    Shout out to the Douglas Adams fans who remember Richard Macduff’s staircase sofa. Stuck ever since delivery men couldn’t get it round a corner but then couldn’t get it back out the way it came either
  • @kbrown4ou
    We moved a large oak desk (with no real effort) into our home office. When it came time to move the desk out we found it impossible to get back out as the doorway was narrow and led to a 90 degree hallway. Ended up sawing the legs off the desk to get it out. Still confounds me how we managed to get it in with no real problem.
  • @SaiGanesh314
    Always a pleasure to be an audience in your family, Jade! I have been studying optimization in CS for my degree for 3 years now (about to graduate in the next summer!), and your content like this manages to tickle that little tone of fancy in my heart for math and provokes me to admire the hidden beauty that most often goes rather disappointingly unnoticed. But, I believe content creators like you, Derek, Diana, Henry, Brady, Grant (just to name a few) are always there to keep igniting those burning little sparks of curiosity ... Keep going and never forget that enthusiasts like me are always watching (in awe) the essense and value you bring upon in our community. Cheers :)
  • @JosephBlanch
    What makes the sofa problem even more complex is that you can rotate the sofa in a 3rd dimension (pitch, yaw, and roll as they name them in aviation). Additionally, real life sofas can also squish at the edges and corners. Sofas are so complicated 😂
  • Douglas Adams brought up a similar problem in his story " Dirk Gently's Holistic Detective Agency ". In this case it was a corner half way up some stairs, the movers got it to the corner, rotated it all over and then couldn't get it out in any direction. It was stuck. ( The use of a time and space machine finally solved it but that part is different to this puzzle...
  • This is the best mathematical puzzle I've ever seen ! Such a simple puzzle yet difficult and quite an elegant solution !
  • That was very enjoyable with great graphics. A stuck sofa also plays an important part in Douglas Adams "Holistic Detection agency". There, a computer simulation proved it could not be freed by going backwards or forwards. For the resolution of this paradox, read the novel. 🙂
  • @Shamazya
    Fun topic! I've seen Numberphile tackle this topic but the part where you showed how lateral movement of the hall allows for an increase in area was really cool!
  • This problem also looks like minkowski sums and differences! Very useful for checking for intersections and getting resulting shapes efficiently. And the intuition of "draw a vector along another vectors path." Looks similar if not the same to drawing the shape of no collisions when drawn along a path! 😀