Internal Assessment Carson Graham SecondaryMs. J. Dai2017****all texts with “>>text<<" will be removed prior to final submissionProof of Gabriel's Horn (Torricelli's trumpet)Does the Mathematical paradox of Gabriel's Horn affect its existence?ContentsIntroduction >>personal engagement<>explain math theory<>avoid mistakes,apply concept, include graphs, tables, all steps<>comment and briefly reflect on results make sure to interpret results well<>touch on how original research question wasn’t going to work<<{equation number} - Reference number for equationsFigure x.y - Reference number for graphs, data, and other figures1) Introduction Gabriel's Horn or Torricelli's Trumpet is a unique geometric figure due to its interesting properties. It is known for being discovered and studied by Evangelista Torricelli(15 October 1608 – 25 October 1647), an Italian physicist and mathematician renowned for his creation of the mercury barometer and Torricelli's equation(Britannica, 2017). This figure has been titled alluding to the Archangel Gabriel's Horn he blows on Judgement Day, symbolizing the connection between finite and infinite(Theindeliblelifeofme, 2014). The property that causes it to differ from others, is that it has infinite surface area, but has finite volume. Many have disputed(C. Wijeratne, 2015), claiming that there are paradoxes with the concept of Gabriel's Horn and cannot possibly exist.I have always been intrigued by different topics of debate, and Gabriel's Horn has especially peaked my interest due to its paradoxical nature. Personally, I did not believe a shape of finite volume and infinite surface area could possibly exist. My mistake here was relating a theoretical figure to a physical idea of possible figures. However this did not sway me and this topic is worth exploring because Therefore my goal for this research is to discover how a mathematically paradoxical figure can exist, as well as possible applications for Gabriel's Horn, to find possible uses for the convenience of other maths, similar to the function of complex numbers such as i. I will obtain the data for this research by looking and using multiple past research stemming from Torricelli's investigations majorly second hand sources because Torricelli's work was done in italian, although some formulae may be evident I would not be able to fully understand the contexts. Furthermore, I will derive the volume and surface area myself, to understand how this mathematically and seemingly logically defying shape can exist.2) The figure of Gabriel's HornGeometry >>more explanation/detail<< Gabriel's Horn is a solid of revolution that is created using the following properties. Figure 2.1 First, the function of y=1xis given. Figure 2.2 Second, the domain is limited to x1 (area is represented in red) Figure 2.3 Third, function is revolved around the x axis when 1 x +,resulting in a cone shape, which then forms the shape of a funnel >>Change x=1 in figure to y=1<>Image citationhttp://www.worldcat.org/title/single-variable-calculus-early-transcendentals/oclc/52203359?page=citation <>derived surface area of solid of revolution using Pappus’s centroid theorem, the Pythagorean theorem and arc length formula already, have not typed<1 {19} 1= 1{20} ? 1+x> 1 Adding any positive value x will cause it to be greater than 1 because x4is always positive{21} ? 1+1×4>1{22} ? 1×1+1×4>1×1 Adding 1xto both sides of the inequality{23} ? 11×1+1x4dx>11x1dx Adding the improper integral 1 to both sides of the inequality{24} ?211×1+1x4dx>211x1dx Adding 2to both sides of the inequalityQuestion #9 from section 22E.2 of the HL coursework(D.Martin, 2012) states that “the … area from x=1 to infinity is infinite for the function y=1x.” This is shown as {25} A=11xdx = If this were to be proven true, then 211x1dx= would be true as well because 11xdx < 211x1dxTherefore, we need to prove that A=11xdx is infinite{26} A=11xdx =b1b1xdx We use bbecause we can't use directly as is not a number{27} =blnx|1b Because for fx=1x , f'x=lnx {28} =b(lnb-ln1) {29} =blnb ln1 is irrelevant if b{30} A=Since 11xdx < 211x1dx < 211x1+1x4dx , {reference equation 24, 26} < 211x1+1x4dx?211x1+1x4dxmust also be ? Surface Area of Gabriel's Horn is 4) Results Analysis The results I got from calculating Gabriel's Horn were fascinating, due to the fact that I had no idea that this solid was possible, and it seemed to contradict the basic common sense that if something is infinitely long, it must hold infinite volume. Furthermore, as previously stated, in the course work of the math HL work within the textbook(D.Martin, 2012), I noticed that it stated that "We call thisthe relationship between the function of 1x where x1and Gabriel's horn a mathematical paradox." This statement is correct, proven in {reference equation 30} Proving the relationship of 1x where x1and Gabriel's horn is indeed mathematically paradoxical, however the fact that states the Gabriel's Horn does is exist is not paradoxical, concluded from calculations and evidence gathered in section 3) Calculations.5) Conclusion>>unfinished<>have not finished sourcing<<>>don’t source thesehttps://www.google.ca/search?q=major+vs+minor+radius&ie=utf-8&oe=utf-8&gws_rd=cr&dcr=0&ei=05Y6Wou0IMiB0gK66o1Ahttps://en.wikipedia.org/wiki/Infinitesimalhttps://en.wikipedia.org/wiki/Pappus%27s_centroid_theorem#cite_note-7https://en.wikipedia.org/wiki/Pappus%27s_centroid_theoremhttps://en.wikipedia.org/wiki/Gabriel%27s_Hornhttps://en.wikipedia.org/wiki/Surface_of_revolutionhttps://www.youtube.com/watch?v=Wa8uoqKy4-4https://brilliant.org/wiki/gabriels-horn/http://www.jstor.org/stable/2316426?seq=2#page_scan_tab_contentshttps://en.m.wikipedia.org/wiki/Centroidhttp://tutorial.math.lamar.edu/Classes/CalcII/ArcLength.aspx