{"id":29012,"date":"2016-06-25T16:40:23","date_gmt":"2016-06-25T21:40:23","guid":{"rendered":"http:\/\/blogs.ams.org\/mathgradblog\/?p=29012"},"modified":"2016-06-25T16:40:23","modified_gmt":"2016-06-25T21:40:23","slug":"infinity-elephants-gabriels-horn","status":"publish","type":"post","link":"https:\/\/blogs.ams.org\/mathgradblog\/2016\/06\/25\/infinity-elephants-gabriels-horn\/","title":{"rendered":"Infinity Elephants and Gabriel\u2019s Horn"},"content":{"rendered":"

Guest Author: Brian Hook<\/em><\/h3>\n
\"A

A screenshot of Vi Hart’s “Infinity Elephants” video which creatively addresses infinite series.<\/p><\/div>\n

Vi Hart\u2019s\u00a0Doodling in Math Class: Infinity Elephants<\/a><\/em>\u00a0is a fun little video that brushes over many mathematical concepts without getting bogged down in technical jargon. Vi, a prolific recreational mathematician<\/a> who also contributes heavily to Khan Academy, starts the video off by discussing\u00a0infinite series such as \u00bd + \u00bc + 1\/8 + 1\/16 + 1\/32 + … = 1 and the issue of convergence of series. As you can see in the screenshot here, Vi draws elephants of length \u00a0\u00bd, 1\/4, 1\/8… of a page\u00a0and relates this drawing to the idea of convergent series.<\/p>\n

Watching the video\u00a0reminded me of the dilemma with\u00a0Gabriel\u2019s Horn<\/a>, a famous example of a shape that is infinite in length and surface area but finite in volume. Gabriel\u2019s Horn is a useful example to employ in calculus classes to help students visualize integration in three dimensions while showing that some infinite shapes have finite\u00a0volume.<\/p>\n

\"Brian<\/a>

3D rendering of Gabriel’s horn from the public domain.<\/p><\/div>\n

This is often seen as an object that can be filled with paint but not painted, and it was pointed out that since the shape is unbounded it would take infinite time to fill it. This is where we connect to Vi\u2019s problem: bounding an infinite shape in a finite space.<\/p>\n

The way Mark Lynch decided to tackle this problem is by making it into a piecewise function: \"f(x)\" on \"[0,1]\" is defined as \"f(x) if \"x=0\" or \"x=1\/n\" if \"n\" is a positive integer and on the interval \"(1\/(n+1),. This makes a spiked looking shape that has the same principles as Gabriel\u2019s Horn but is bounded.\u00a0When bounding Gabriel\u2019s Horn and shifting the focus to a piecewise function,\u00a0our problem becomes a geometric series and we can explicitly compute the area.<\/p>\n

The way Vi found her answer was a bit different; she looked to fractals for her approach.\u00a0Problems like these have many applications and have many ways of solving them from integration to piecewise functions to fractals. However you look at these types of problems, the good news is that you will always have many further questions to pursue.<\/p>\n

Sources:<\/strong><\/p>\n