球体体积公式的证明
2016-03-18 02:45
本GeoGebra范例通过三维几何构造与微积分思想，直观演示并证明了球体体积公式 V = 4/3 π r³。利用圆柱、圆锥和球体的截面关系，结合旋转体、正交平面和截面面积的计算，帮助用户深入理解立体几何与积分在推导球体体积中的应用。
所属专题
S3数学：面积与体积
<?xml version="1.0" encoding="utf-8"?>
<geogebra format="5.0" version="5.2.876.0" app="classic" platform="w" id="829d4918-79d9-4ec8-9878-1f30eae30b45" xsi:noNamespaceSchemaLocation="http://www.geogebra.org/apps/xsd/ggb.xsd" xmlns="" xmlns:xsi="http://www.w3.org/2001/XMLSchema-instance" >
<gui>
<window width="980" height="700" />
<perspectives>
<perspective id="tmp">
<panes>
<pane location="" divider="0.6071428571428571" orientation="1" />
<pane location="0" divider="0" orientation="1" />
</panes>
<views>
<view id="4097" visible="false" inframe="false" stylebar="true" location="1,1,1,1" size="400" window="290,101,700,550" />
<view id="4" toolbar="0 || 2020 , 2021 , 2022 , 66 || 2001 , 2003 , 2002 , 2004 , 2005 || 2040 , 2041 , 2042 , 2044 , 2043" visible="false" inframe="false" stylebar="false" location="1,1" size="300" window="100,100,600,400" />
<view id="8" toolbar="1001 | 1002 | 1003 || 1005 | 1004 || 1006 | 1007 | 1010 || 1008 1009 || 66 68 || 6" visible="false" inframe="false" stylebar="false" location="1,3" size="300" window="100,100,600,400" />
<view id="512" toolbar="0 | 1 501 5 19 , 67 | 2 15 45 18 , 7 37 | 514 3 9 , 13 44 , 47 | 16 | 551 550 11 , 22 , 23 , 55 56 57 , 12 | 69 | 510 511 , 512 513 | 533 531 , 534 532 , 522 523 , 537 536 , 535 | 521 520 | 36 , 38 49 560 | 571 30 29 570 31 33 | 17 | 540 40 41 42 , 27 28 35 , 6 , 502" visible="true" inframe="false" stylebar="false" location="3,1" size="595" window="100,100,600,400" />
<view id="1" visible="false" inframe="false" stylebar="false" location="3" size="308" window="100,100,600,400" />
<view id="2" visible="false" inframe="false" stylebar="true" location="3" size="318" tab="ALGEBRA" window="501,25,277,702" />
<view id="16" visible="true" inframe="false" stylebar="false" location="1" size="375" window="50,50,500,500" />
<view id="32" visible="false" inframe="false" stylebar="true" location="1" size="150" window="50,50,500,500" />
<view id="64" toolbar="0" visible="false" inframe="false" stylebar="true" location="1" size="150" window="50,50,500,500" />
<view id="128" visible="false" inframe="false" stylebar="false" location="1" size="480" window="50,50,500,500" />
<view id="70" toolbar="0 || 2020 || 2021 || 2022" visible="false" inframe="false" stylebar="true" location="1" size="150" window="50,50,500,500" />
</views>
<toolbar show="false" items="0 39 | 1 501 67 , 5 19 , 72 | 2 15 45 , 18 65 , 7 37 | 4 3 8 9 , 13 44 , 58 , 47 | 16 51 64 , 70 | 10 34 53 11 , 24 20 22 , 21 23 | 55 56 57 , 12 | 36 46 , 38 49 50 , 71 | 30 29 54 32 31 33 | 17 26 62 73 , 14 68 | 25 52 60 61 | 40 41 42 , 27 28 35 , 6" position="3" help="false" />
<input show="false" cmd="true" top="false" />
<dockBar show="false" east="false" />
</perspective>
</perspectives>
<labelingStyle val="3"/>
<font size="20"/>
</gui>
<euclidianView>
<viewNumber viewNo="1"/>
<coordSystem xZero="215" yZero="315" scale="50" yscale="50"/>
<evSettings axes="true" grid="false" gridIsBold="false" pointCapturing="3" rightAngleStyle="1" checkboxSize="26" gridType="0"/>
<bgColor r="255" g="255" b="255"/>
<axesColor r="0" g="0" b="0"/>
<gridColor r="192" g="192" b="192"/>
<lineStyle axes="1" grid="10"/>
<axis id="0" show="true" label="" unitLabel="" tickStyle="1" showNumbers="true"/>
<axis id="1" show="true" label="" unitLabel="" tickStyle="1" showNumbers="true"/>
</euclidianView>
<euclidianView>
<viewNumber viewNo="2"/>
<size width="374" height="697"/>
<coordSystem xZero="215.0000000000001" yZero="314.99999999999983" scale="50.00000000000003" yscale="49.999999999999986"/>
<evSettings axes="false" grid="false" gridIsBold="false" pointCapturing="3" rightAngleStyle="1" checkboxSize="26" gridType="0"/>
<bgColor r="255" g="255" b="255"/>
<axesColor r="0" g="0" b="0"/>
<gridColor r="192" g="192" b="192"/>
<lineStyle axes="1" grid="0"/>
<axis id="0" show="false" label="" unitLabel="" tickStyle="1" showNumbers="true"/>
<axis id="1" show="false" label="" unitLabel="" tickStyle="1" showNumbers="true"/>
</euclidianView>
<spreadsheetView>
<dimensions rows="100" columns="26"/></spreadsheetView>
<kernel>
<uses3D val="true"/>
<continuous val="false"/>
<usePathAndRegionParameters val="true"/>
<decimals val="2"/>
<angleUnit val="degree"/>
<algebraStyle val="0" spreadsheet="0"/>
<coordStyle val="0"/>
</kernel>
<tableview min="0" max="0" step="0"/>
<scripting blocked="false" disabled="false"/>
<euclidianView3D>
<coordSystem xZero="0.37800285034093595" yZero="-0.34059097699675" zZero="-0.7804196879913948" scale="118.05780962194308" xAngle="11" zAngle="-89.88546220804285"/>
<evSettings axes="false" grid="false" gridIsBold="false" pointCapturing="3" rightAngleStyle="1" gridType="0"/>
<axis id="0" show="false" label="" unitLabel="" tickStyle="1" showNumbers="true"/>
<axis id="1" show="false" label="" unitLabel="" tickStyle="1" showNumbers="true"/>
<axis id="2" show="false" label="" unitLabel="" tickStyle="1" showNumbers="true"/>
<plate show="false"/>
<bgColor r="255" g="255" b="255"/>
<clipping use="false" show="false" size="2"/>
<projection type="0"/>
</euclidianView3D>
<construction title="" author="" date="">
<element type="point3d" label="A">
<show object="true" label="false" ev="4"/>
<objColor r="68" g="68" b="68" alpha="0"/>
<layer val="0"/>
<labelMode val="0"/>
<fixed val="true"/>
<pointSize val="2"/>
<coords x="-1.405198123744105" y="1.0399411688394196" z="0" w="1"/>
</element>
<command name="Circle">
<input a0="A" a1="1" a2="xOyPlane"/>
<output a0="c"/>
</command>
<element type="conic3d" label="c">
<show object="false" label="false" ev="4"/>
<objColor r="0" g="0" b="0" alpha="0"/>
<layer val="0"/>
<labelMode val="0"/>
<lineStyle thickness="2" type="0" typeHidden="1"/>
<eqnStyle style="specific"/>
<eigenvectors x0="1" y0="0" z0="1.0" x1="0" y1="1" z1="1.0"/>
<matrix A0="1" A1="1" A2="-1" A3="0" A4="0" A5="0"/>
</element>
<element type="point3d" label="B">
<show object="true" label="false" ev="4"/>
<objColor r="0" g="0" b="255" alpha="0"/>
<layer val="0"/>
<labelMode val="0"/>
<fixed val="true"/>
<pointSize val="2"/>
<coords x="0.9856159874257303" y="1.0917092427719037" z="0" w="1"/>
</element>
<command name="Circle">
<input a0="B" a1="1" a2="xOyPlane"/>
<output a0="d"/>
</command>
<element type="conic3d" label="d">
<show object="false" label="false" ev="4"/>
<objColor r="0" g="0" b="0" alpha="0"/>
<layer val="0"/>
<labelMode val="0"/>
<lineStyle thickness="2" type="0" typeHidden="1"/>
<eqnStyle style="specific"/>
<eigenvectors x0="1" y0="0" z0="1.0" x1="0" y1="1" z1="1.0"/>
<matrix A0="1" A1="1" A2="-1" A3="0" A4="0" A5="0"/>
</element>
<command name="Point">
<input a0="c"/>
<output a0="C"/>
</command>
<element type="point3d" label="C">
<show object="false" label="true" ev="4"/>
<objColor r="125" g="125" b="255" alpha="0"/>
<layer val="0"/>
<labelMode val="0"/>
<animation step="1" speed="1" type="1" playing="false"/>
<pointSize val="3"/>
<coords x="-0.6013820887845395" y="0.4450632133377196" z="0" w="1"/>
</element>
<command name="Sphere">
<input a0="A" a1="C"/>
<output a0="a"/>
</command>
<element type="quadric" label="a">
<show object="false" label="false" ev="4"/>
<objColor r="255" g="255" b="0" alpha="0.46000000834465027"/>
<layer val="0"/>
<labelMode val="0"/>
<lineStyle thickness="2" type="0" typeHidden="1"/>
<eqnStyle style="specific"/>
<eigenvectors x0="1" y0="0" z0="0" x1="0" y1="1" z1="0" x2="0" y2="0" z2="1"/>
<matrix A0="1" A1="1" A2="1" A3="2.0560594016210514" A4="0" A5="0" A6="0" A7="1.405198123744105" A8="-1.0399411688394196" A9="0"/>
</element>
<expression label="D" exp="B + (0, 0, 1)" type="point" />
<element type="point3d" label="D">
<show object="false" label="true" ev="4"/>
<objColor r="68" g="68" b="68" alpha="0"/>
<layer val="0"/>
<labelMode val="0"/>
<coordStyle style="cartesian"/>
<pointSize val="3"/>
<coords x="0.9856159874257303" y="1.0917092427719037" z="1" w="1"/>
</element>
<command name="Cylinder">
<input a0="B" a1="D" a2="1"/>
<output a0="b" a1="e" a2="f" a3="g"/>
</command>
<element type="quadriclimited" label="b">
<show object="true" label="false" ev="4"/>
<objColor r="255" g="255" b="0" alpha="0.25"/>
<layer val="0"/>
<labelMode val="0"/>
</element>
<element type="conic3d" label="e">
<show object="true" label="false" ev="4"/>
<condition showObject="E ≠ F"/>
<objColor r="255" g="255" b="0" alpha="0.44999998807907104"/>
<layer val="0"/>
<labelMode val="0"/>
<auxiliary val="false"/>
<lineStyle thickness="2" type="0" typeHidden="2"/>
<eqnStyle style="implicit"/>
<eigenvectors x0="1" y0="0" z0="1.0" x1="0" y1="1" z1="1.0"/>
<matrix A0="1" A1="1" A2="-1" A3="0" A4="0" A5="0"/>
</element>
<element type="conic3d" label="f">
<show object="true" label="false" ev="4"/>
<objColor r="255" g="255" b="0" alpha="0"/>
<layer val="0"/>
<labelMode val="0"/>
<auxiliary val="false"/>
<lineStyle thickness="2" type="0" typeHidden="1"/>
<eqnStyle style="implicit"/>
<eigenvectors x0="1" y0="0" z0="1.0" x1="0" y1="1" z1="1.0"/>
<matrix A0="1" A1="1" A2="-1" A3="0" A4="0" A5="0"/>
</element>
<element type="quadricpart" label="g">
<show object="true" label="false" ev="4"/>
<objColor r="255" g="255" b="0" alpha="0.46000000834465027"/>
<layer val="0"/>
<labelMode val="0"/>
<auxiliary val="false"/>
<lineStyle thickness="2" type="0" typeHidden="1"/>
<eqnStyle style="implicit"/>
<eigenvectors x0="1" y0="0" z0="0" x1="0" y1="1" z1="0" x2="0" y2="0" z2="1"/>
</element>
<command name="Cone">
<input a0="D" a1="B" a2="1"/>
<output a0="h" a1="k" a2="i"/>
</command>
<element type="quadriclimited" label="h">
<show object="true" label="false" ev="4"/>
<objColor r="255" g="255" b="0" alpha="0.25"/>
<layer val="0"/>
<labelMode val="0"/>
</element>
<element type="conic3d" label="k">
<show object="true" label="false" ev="4"/>
<objColor r="255" g="255" b="0" alpha="0"/>
<layer val="0"/>
<labelMode val="0"/>
<auxiliary val="false"/>
<lineStyle thickness="2" type="0" typeHidden="1"/>
<eqnStyle style="implicit"/>
<eigenvectors x0="1" y0="0" z0="1.0" x1="0" y1="1" z1="1.0"/>
<matrix A0="1" A1="1" A2="-1" A3="0" A4="0" A5="0"/>
</element>
<element type="quadricpart" label="i">
<show object="true" label="false" ev="4"/>
<objColor r="255" g="255" b="0" alpha="0.46000000834465027"/>
<layer val="0"/>
<labelMode val="0"/>
<auxiliary val="false"/>
<lineStyle thickness="2" type="0" typeHidden="1"/>
<eqnStyle style="implicit"/>
<eigenvectors x0="1" y0="0" z0="0" x1="0" y1="-1" z1="0" x2="0" y2="0" z2="-1"/>
</element>
<element type="point3d" label="E">
<show object="true" label="false" ev="4"/>
<objColor r="68" g="68" b="68" alpha="0"/>
<layer val="0"/>
<labelMode val="0"/>
<fixed val="true"/>
<coordStyle style="cartesian"/>
<pointSize val="2"/>
<coords x="-2.666976480237564" y="0.8304214736074567" z="8.881784197001252e-16" w="1"/>
</element>
<command name="Segment">
<input a0="E" a1="E + (0, 0, 1)"/>
<output a0="j"/>
</command>
<element type="segment3d" label="j">
<show object="true" label="false" ev="4"/>
<objColor r="0" g="0" b="0" alpha="0"/>
<layer val="0"/>
<labelMode val="0"/>
<lineStyle thickness="3" type="0" typeHidden="1"/>
<outlyingIntersections val="false"/>
<keepTypeOnTransform val="true"/>
</element>
<command name="Point">
<input a0="j"/>
<output a0="F"/>
</command>
<element type="point3d" label="F">
<show object="true" label="false" ev="4"/>
<objColor r="255" g="127" b="0" alpha="0"/>
<layer val="0"/>
<labelMode val="0"/>
<animation step="0.1" speed="1" type="0" playing="false"/>
<coordStyle style="cartesian"/>
<pointSize val="5"/>
<coords x="-2.666976480237564" y="0.8304214736074567" z="0.5" w="1"/>
</element>
<command name="OrthogonalPlane">
<input a0="F" a1="j"/>
<output a0="l"/>
</command>
<element type="plane3d" label="l">
<show object="false" label="false" ev="4"/>
<objColor r="99" g="219" b="219" alpha="0.5"/>
<layer val="0"/>
<labelMode val="0"/>
<fading val="0.1"/>
<lineStyle thickness="0" type="0" typeHidden="1"/>
<eqnStyle style="user"/>
<coords x="0" y="0" z="1" w="-0.5"/>
</element>
<command name="IntersectPath">
<input a0="l" a1="a"/>
<output a0="p"/>
</command>
<element type="conic3d" label="p">
<show object="true" label="false" ev="4"/>
<objColor r="255" g="127" b="0" alpha="0.699999988079071"/>
<layer val="0"/>
<labelMode val="0"/>
<lineStyle thickness="2" type="0" typeHidden="2"/>
<eqnStyle style="implicit"/>
<eigenvectors x0="1" y0="0" z0="1.0" x1="0" y1="1" z1="1.0"/>
<matrix A0="1" A1="1" A2="0.8859831236054299" A3="0" A4="-1.261778356493459" A5="-0.2095196952319629"/>
</element>
<command name="IntersectPath">
<input a0="l" a1="h"/>
<output a0="q"/>
</command>
<element type="conic3dpart" label="q">
<show object="true" label="false" ev="4"/>
<objColor r="255" g="127" b="0" alpha="0"/>
<layer val="0"/>
<labelMode val="0"/>
<lineStyle thickness="2" type="0" typeHidden="2"/>
<eqnStyle style="implicit"/>
<eigenvectors x0="1" y0="0" z0="1.0" x1="0" y1="1" z1="1.0"/>
<matrix A0="1" A1="1" A2="13.159703033145565" A3="0" A4="-3.652592467663294" A5="-0.26128776916444707"/>
</element>
<command name="IntersectPath">
<input a0="l" a1="b"/>
<output a0="r"/>
</command>
<element type="conic3dpart" label="r">
<show object="true" label="false" ev="4"/>
<objColor r="255" g="127" b="0" alpha="0"/>
<layer val="0"/>
<labelMode val="0"/>
<lineStyle thickness="2" type="0" typeHidden="2"/>
<eqnStyle style="implicit"/>
<eigenvectors x0="1" y0="0" z0="1.0" x1="0" y1="1" z1="1.0"/>
<matrix A0="1" A1="1" A2="12.409703033145565" A3="0" A4="-3.652592467663294" A5="-0.26128776916444707"/>
</element>
<element type="numeric" label="n">
<value val="30"/>
<show object="false" label="true"/>
<objColor r="0" g="0" b="0" alpha="0.10000000149011612"/>
<layer val="0"/>
<labelMode val="1"/>
<animation step="1" speed="1" type="0" playing="false"/>
</element>
<expression label="G" exp="B + (0, 0, z(F))" type="point" />
<element type="point3d" label="G">
<show object="true" label="false" ev="4"/>
<objColor r="68" g="68" b="68" alpha="0"/>
<layer val="0"/>
<labelMode val="0"/>
<coordStyle style="cartesian"/>
<pointSize val="2"/>
<coords x="0.9856159874257303" y="1.0917092427719037" z="0.5" w="1"/>
</element>
<command name="Point">
<input a0="q"/>
<output a0="H"/>
</command>
<element type="point3d" label="H">
<show object="false" label="true" ev="4"/>
<objColor r="125" g="125" b="255" alpha="0"/>
<layer val="0"/>
<labelMode val="0"/>
<animation step="0.1" speed="1" type="0" playing="false"/>
<coordStyle style="cartesian"/>
<pointSize val="3"/>
<coords x="1.110758552816518" y="0.6076231571141848" z="0.5" w="1"/>
</element>
<command name="Intersect">
<input a0="Ray[G, H]" a1="r"/>
<output a0="I" a1=""/>
</command>
<element type="point3d" label="I">
<show object="false" label="true" ev="4"/>
<objColor r="68" g="68" b="68" alpha="0"/>
<layer val="0"/>
<labelMode val="0"/>
<coordStyle style="cartesian"/>
<pointSize val="3"/>
<coords x="1.2359011182073059" y="0.12353707145646531" z="0.5" w="1"/>
</element>
<expression label="α" exp="(360 * ° / n)" />
<element type="angle" label="α">
<angleStyle val="3"/>
<value val="0.20943951023931953"/>
<objColor r="0" g="100" b="0" alpha="0.10000000149011612"/>
</element>
<command name="Rotate">
<input a0="H" a1="α" a2="G"/>
<output a0="H'"/>
</command>
<element type="point3d" label="H'">
<show object="false" label="true" ev="4"/>
<objColor r="125" g="125" b="255" alpha="0"/>
<layer val="0"/>
<labelMode val="0"/>
<coordStyle style="cartesian"/>
<pointSize val="3"/>
<coords x="1.2086710440828496" y="0.6442202019008572" z="0.5" w="1"/>
</element>
<command name="Rotate">
<input a0="I" a1="α" a2="G"/>
<output a0="I'"/>
</command>
<element type="point3d" label="I'">
<show object="false" label="true" ev="4"/>
<objColor r="68" g="68" b="68" alpha="0"/>
<layer val="0"/>
<labelMode val="0"/>
<coordStyle style="cartesian"/>
<pointSize val="3"/>
<coords x="1.4317261007399693" y="0.19673116102980992" z="0.5" w="1"/>
</element>
<command name="Polygon">
<input a0="H" a1="H'" a2="I'" a3="I"/>
<output a0="poly1" a1="h_1" a2="h'" a3="i'" a4="i_1"/>
</command>
<element type="polygon3d" label="poly1">
<lineStyle thickness="2" type="0" typeHidden="1"/>
<show object="false" label="false" ev="4"/>
<objColor r="153" g="51" b="0" alpha="0.10000000149011612"/>
<layer val="0"/>
<labelMode val="0"/>
</element>
<element type="segment3d" label="h_1">
<show object="false" label="false" ev="4"/>
<objColor r="153" g="51" b="0" alpha="0"/>
<layer val="0"/>
<labelMode val="0"/>
<auxiliary val="false"/>
<lineStyle thickness="2" type="0" typeHidden="1"/>
<outlyingIntersections val="false"/>
<keepTypeOnTransform val="true"/>
</element>
<element type="segment3d" label="h'">
<show object="false" label="false" ev="4"/>
<objColor r="153" g="51" b="0" alpha="0"/>
<layer val="0"/>
<labelMode val="0"/>
<auxiliary val="false"/>
<lineStyle thickness="2" type="0" typeHidden="1"/>
<outlyingIntersections val="false"/>
<keepTypeOnTransform val="true"/>
</element>
<element type="segment3d" label="i'">
<show object="false" label="false" ev="4"/>
<objColor r="153" g="51" b="0" alpha="0"/>
<layer val="0"/>
<labelMode val="0"/>
<auxiliary val="false"/>
<lineStyle thickness="2" type="0" typeHidden="1"/>
<outlyingIntersections val="false"/>
<keepTypeOnTransform val="true"/>
</element>
<element type="segment3d" label="i_1">
<show object="false" label="false" ev="4"/>
<objColor r="153" g="51" b="0" alpha="0"/>
<layer val="0"/>
<labelMode val="0"/>
<auxiliary val="false"/>
<lineStyle thickness="2" type="0" typeHidden="1"/>
<outlyingIntersections val="false"/>
<keepTypeOnTransform val="true"/>
</element>
<command name="Sequence">
<input a0="Rotate[poly1, (k * α), G]" a1="k" a2="0" a3="n"/>
<output a0="list1"/>
</command>
<element type="list" label="list1">
<show object="false" label="false" ev="4"/>
<objColor r="255" g="215" b="0" alpha="1"/>
<bgColor r="255" g="255" b="255" alpha="255"/>
<layer val="0"/>
<labelMode val="0"/>
<lineStyle thickness="0" type="0" typeHidden="1"/>
<pointSize val="3"/>
<pointStyle val="0"/>
<angleStyle val="0"/>
</element>
<expression label="J" exp="A + (0, 0, z(F))" type="point" />
<element type="point3d" label="J">
<show object="true" label="false" ev="4"/>
<objColor r="68" g="68" b="68" alpha="0"/>
<layer val="0"/>
<labelMode val="0"/>
<coordStyle style="cartesian"/>
<pointSize val="2"/>
<coords x="-1.405198123744105" y="1.0399411688394196" z="0.5" w="1"/>
</element>
<command name="Intersect">
<input a0="Ray[J, J + (1, 0, 0)]" a1="p"/>
<output a0="K" a1=""/>
</command>
<element type="point3d" label="K">
<show object="true" label="false" ev="4"/>
<objColor r="68" g="68" b="68" alpha="0"/>
<layer val="0"/>
<labelMode val="0"/>
<coordStyle style="cartesian"/>
<pointSize val="2"/>
<coords x="-0.5391727199596668" y="1.0399411688394196" z="0.5" w="1"/>
</element>
<command name="Segment">
<input a0="A" a1="J"/>
<output a0="s"/>
</command>
<element type="segment3d" label="s">
<show object="true" label="true" ev="4"/>
<objColor r="0" g="0" b="0" alpha="0"/>
<layer val="0"/>
<labelOffset x="-17" y="16"/>
<labelMode val="3"/>
<caption val="h"/>
<lineStyle thickness="3" type="20" typeHidden="2"/>
<outlyingIntersections val="false"/>
<keepTypeOnTransform val="true"/>
</element>
<command name="Segment">
<input a0="J" a1="K"/>
<output a0="t"/>
</command>
<element type="segment3d" label="t">
<show object="true" label="true" ev="4"/>
<objColor r="0" g="0" b="0" alpha="0"/>
<layer val="0"/>
<labelOffset x="-3" y="-4"/>
<labelMode val="3"/>
<caption val="x"/>
<lineStyle thickness="3" type="20" typeHidden="2"/>
<outlyingIntersections val="false"/>
<keepTypeOnTransform val="true"/>
</element>
<command name="Segment">
<input a0="K" a1="A"/>
<output a0="a_1"/>
</command>
<element type="segment3d" label="a_1">
<show object="true" label="true" ev="4"/>
<objColor r="0" g="0" b="0" alpha="0"/>
<layer val="0"/>
<labelOffset x="7" y="15"/>
<labelMode val="3"/>
<caption val="r"/>
<lineStyle thickness="3" type="20" typeHidden="2"/>
<outlyingIntersections val="false"/>
<keepTypeOnTransform val="true"/>
</element>
<command name="Intersect">
<input a0="Ray[G, G + (1, 0, 0)]" a1="q"/>
<output a0="L" a1="M"/>
</command>
<element type="point3d" label="L">
<show object="true" label="false" ev="4"/>
<objColor r="68" g="68" b="68" alpha="0"/>
<layer val="0"/>
<labelMode val="0"/>
<coordStyle style="cartesian"/>
<pointSize val="2"/>
<coords x="1.485615987425731" y="1.0917092427719037" z="0.5" w="1"/>
</element>
<element type="point3d" label="M">
<show object="false" label="true" ev="4"/>
<objColor r="68" g="68" b="68" alpha="0"/>
<layer val="0"/>
<labelMode val="0"/>
<coordStyle style="cartesian"/>
<pointSize val="3"/>
<coords x="NaN" y="NaN" z="NaN" w="NaN"/>
</element>
<command name="Segment">
<input a0="B" a1="G"/>
<output a0="b_1"/>
</command>
<element type="segment3d" label="b_1">
<show object="true" label="true" ev="4"/>
<objColor r="0" g="0" b="0" alpha="0"/>
<layer val="0"/>
<labelOffset x="-17" y="21"/>
<labelMode val="3"/>
<caption val="h"/>
<lineStyle thickness="3" type="20" typeHidden="2"/>
<outlyingIntersections val="false"/>
<keepTypeOnTransform val="true"/>
</element>
<command name="Segment">
<input a0="G" a1="L"/>
<output a0="c_1"/>
</command>
<element type="segment3d" label="c_1">
<show object="true" label="true" ev="4"/>
<objColor r="0" g="0" b="0" alpha="0"/>
<layer val="0"/>
<labelOffset x="7" y="-6"/>
<labelMode val="3"/>
<caption val="y"/>
<lineStyle thickness="3" type="20" typeHidden="2"/>
<outlyingIntersections val="false"/>
<keepTypeOnTransform val="true"/>
</element>
<command name="Circle">
<input a0="s" a1="C"/>
<output a0="d_1"/>
</command>
<element type="conic3d" label="d_1">
<show object="true" label="false" ev="4"/>
<condition showObject="E ≠ F"/>
<objColor r="255" g="255" b="0" alpha="0.44999998807907104"/>
<layer val="0"/>
<labelMode val="0"/>
<lineStyle thickness="2" type="0" typeHidden="2"/>
<eqnStyle style="implicit"/>
<eigenvectors x0="1" y0="0" z0="1.0" x1="0" y1="1" z1="1.0"/>
<matrix A0="1" A1="1" A2="-0.9999999999999998" A3="0" A4="0" A5="0"/>
</element>
<command name="Angle">
<input a0="A" a1="J" a2="K"/>
<output a0="β"/>
</command>
<element type="angle3d" label="β">
<angleStyle val="1"/>
<value val="1.5707963267948966"/>
<lineStyle thickness="2" type="0" typeHidden="2"/>
<arcSize val="20"/>
<show object="true" label="false" ev="4"/>
<objColor r="0" g="0" b="0" alpha="0"/>
<layer val="0"/>
<labelMode val="1"/>
</element>
<command name="Angle">
<input a0="B" a1="G" a2="L"/>
<output a0="γ"/>
</command>
<element type="angle3d" label="γ">
<angleStyle val="1"/>
<value val="1.5707963267948966"/>
<lineStyle thickness="2" type="0" typeHidden="2"/>
<arcSize val="20"/>
<show object="true" label="false" ev="4"/>
<objColor r="0" g="0" b="0" alpha="0"/>
<layer val="0"/>
<labelMode val="1"/>
</element>
<command name="Surface">
<input a0="(sqrt(1 - h^(2)) * cos(θ)) + x(A)" a1="(sqrt(1 - h^(2)) * sin(θ)) + y(A)" a2="h" a3="θ" a4="0" a5="6.28319" a6="h" a7="0" a8="1"/>
<output a0="o"/>
</command>
<element type="surfacecartesian3d" label="o">
<show object="true" label="false" ev="4"/>
<objColor r="255" g="255" b="0" alpha="0.46000000834465027"/>
<layer val="0"/>
<labelMode val="0"/>
<lineStyle thickness="0" type="0" typeHidden="1"/>
</element>
<element type="numeric" label="m">
<value val="0"/>
<slider min="0" max="13" absoluteScreenLocation="true" width="200" x="35" y="56" fixed="true" horizontal="true" showAlgebra="true"/>
<lineStyle thickness="10" type="0" typeHidden="1"/>
<show object="false" label="true" ev="3"/>
<objColor r="0" g="0" b="0" alpha="0.10000000149011612"/>
<layer val="0"/>
<labelMode val="1"/>
<animation step="1" speed="1" type="0" playing="false"/>
</element>
<expression label="text1" exp=""\small\text{At height }h,""/>
<element type="text" label="text1">
<show object="false" label="false" ev="43"/>
<objColor r="0" g="0" b="0" alpha="0"/>
<layer val="0"/>
<labelMode val="0"/>
<isLaTeX val="true"/>
<font serif="true" sizeM="1" size="0" style="0"/>
<startPoint x="-4.18" y="6.14" z="1"/>
</element>
<expression label="text2" exp=""\small\text{ area of the cross-section of the \\ hemisphere}""/>
<element type="text" label="text2">
<show object="false" label="false" ev="43"/>
<objColor r="0" g="0" b="0" alpha="0"/>
<layer val="0"/>
<labelMode val="0"/>
<isLaTeX val="true"/>
<font serif="true" sizeM="1" size="0" style="0"/>
<startPoint x="-4.2" y="5.52" z="1"/>
</element>
<expression label="text3" exp=""=πx^2""/>
<element type="text" label="text3">
<show object="false" label="false" ev="43"/>
<objColor r="0" g="0" b="0" alpha="0"/>
<layer val="0"/>
<labelMode val="0"/>
<isLaTeX val="true"/>
<font serif="true" sizeM="1" size="0" style="0"/>
<startPoint x="-4.239999999999997" y="4.52" z="1"/>
</element>
<expression label="text4" exp=""=π(r^2-h^2)""/>
<element type="text" label="text4">
<show object="false" label="false" ev="43"/>
<objColor r="0" g="0" b="0" alpha="0"/>
<layer val="0"/>
<labelMode val="0"/>
<isLaTeX val="true"/>
<font serif="true" sizeM="1" size="0" style="0"/>
<startPoint x="-4.239999999999997" y="3.86" z="1"/>
</element>
<expression label="text5" exp=""\small\text{ area of the cross-section of the \\ 
solid at the RHS}""/>
<element type="text" label="text5">
<show object="false" label="false" ev="43"/>
<objColor r="0" g="0" b="0" alpha="0"/>
<layer val="0"/>
<labelMode val="0"/>
<isLaTeX val="true"/>
<font serif="true" sizeM="1" size="0" style="0"/>
<startPoint x="-4.119999999999996" y="2.92" z="1"/>
</element>
<expression label="text6" exp=""=πr^2-πy^2""/>
<element type="text" label="text6">
<show object="false" label="false" ev="43"/>
<objColor r="0" g="0" b="0" alpha="0"/>
<layer val="0"/>
<labelMode val="0"/>
<isLaTeX val="true"/>
<font serif="true" sizeM="1" size="0" style="0"/>
<startPoint x="-4" y="1.7599999999999998" z="1"/>
</element>
<expression label="text7" exp=""=πr^2-πh^2""/>
<element type="text" label="text7">
<show object="false" label="false" ev="43"/>
<objColor r="0" g="0" b="0" alpha="0"/>
<layer val="0"/>
<labelMode val="0"/>
<isLaTeX val="true"/>
<font serif="true" sizeM="1" size="0" style="0"/>
<startPoint x="-4.02" y="0.98" z="1"/>
</element>
<expression label="text8" exp=""=π(r^2-h^2)""/>
<element type="text" label="text8">
<show object="false" label="false" ev="43"/>
<objColor r="0" g="0" b="0" alpha="0"/>
<layer val="0"/>
<labelMode val="0"/>
<isLaTeX val="true"/>
<font serif="true" sizeM="1" size="0" style="0"/>
<startPoint x="-4.039999999999999" y="0.16000000000000014" z="1"/>
</element>
<expression label="text9" exp=""\small\text{∴ The two cross-sections at height}
\\\text{ }h\text{ are equal in area}""/>
<element type="text" label="text9">
<show object="false" label="false" ev="43"/>
<objColor r="0" g="0" b="0" alpha="0"/>
<layer val="0"/>
<labelMode val="0"/>
<isLaTeX val="true"/>
<font serif="true" sizeM="1" size="0" style="0"/>
<startPoint x="-4.279999999999996" y="-0.639999999999999" z="1"/>
</element>
<expression label="text10" exp=""\small\text{∴ The two solids are equal in volume}""/>
<element type="text" label="text10">
<show object="false" label="false" ev="43"/>
<objColor r="0" g="0" b="0" alpha="0"/>
<layer val="0"/>
<labelMode val="0"/>
<isLaTeX val="true"/>
<font serif="true" sizeM="1" size="0" style="0"/>
<startPoint x="-4.26" y="-1.88" z="1"/>
</element>
<expression label="text11" exp=""\small\text{∴ The volume of the sphere}""/>
<element type="text" label="text11">
<show object="false" label="false" ev="43"/>
<objColor r="0" g="0" b="0" alpha="0"/>
<layer val="0"/>
<labelMode val="0"/>
<isLaTeX val="true"/>
<font serif="true" sizeM="1" size="0" style="0"/>
<startPoint x="-4.140000000000001" y="-2.5799999999999996" z="1"/>
</element>
<expression label="text12" exp=""\small=2(πr^2×r-\frac{1}{3}πr^2×r)""/>
<element type="text" label="text12">
<show object="false" label="false" ev="43"/>
<objColor r="0" g="0" b="0" alpha="0"/>
<layer val="0"/>
<labelMode val="0"/>
<isLaTeX val="true"/>
<font serif="true" sizeM="1" size="0" style="0"/>
<startPoint x="-3.66" y="-3.04" z="1"/>
</element>
<expression label="text13" exp=""\small=\frac{4}{3}πr^3""/>
<element type="text" label="text13">
<show object="false" label="false" ev="43"/>
<objColor r="0" g="0" b="0" alpha="0"/>
<layer val="0"/>
<labelMode val="0"/>
<isLaTeX val="true"/>
<font serif="true" sizeM="1" size="0" style="0"/>
<startPoint x="-3.52" y="-4.06" z="1"/>
</element>
<element type="button" label="button1">
<show object="true" label="true" ev="3"/>
<objColor r="0" g="0" b="0" alpha="0"/>
<bgColor r="255" g="255" b="255" alpha="255"/>
<layer val="0"/>
<labelOffset x="81" y="11"/>
<labelMode val="0"/>
<fixed val="true"/>
<auxiliary val="true"/>
<ggbscript val="SetValue[m, If[m<13, m+1, 0]]"/>
<caption val="▶"/>
<font serif="false" sizeM="2" size="20" style="0"/>
</element>
<expression label="text14" exp=""\small\underline\text{Proof:}
\\" + (LaTeX[If[m ≥ 1, text1, ""]]) + "
\\" + (LaTeX[If[m ≥ 2, text2, ""]]) + "
\\" + (LaTeX[If[m ≥ 3, text3, ""]]) + "
\\" + (LaTeX[If[m ≥ 4, text4, ""]]) + "
\\ " + (LaTeX[If[m ≥ 5, text5, ""]]) + " 
\\" + (LaTeX[If[m ≥ 6, text6, ""]]) + "
\\" + (LaTeX[If[m ≥ 7, text7, ""]]) + "
\\" + (LaTeX[If[m ≥ 8, text8, ""]]) + "
\\" + (LaTeX[If[m ≥ 9, text9, ""]]) + "
\\" + (LaTeX[If[m ≥ 10, text10, ""]]) + "
\\" + (LaTeX[If[m ≥ 11, text11, ""]]) + "
\\" + (LaTeX[If[m ≥ 12, text12, ""]]) + "
\\" + (LaTeX[If[m ≥ 13, text13, ""]]) + """ />
<element type="text" label="text14">
<show object="true" label="false" ev="11"/>
<objColor r="0" g="0" b="0" alpha="0"/>
<layer val="0"/>
<labelMode val="0"/>
<selectionAllowed val="false"/>
<isLaTeX val="true"/>
<font serif="true" sizeM="1" size="0" style="0"/>
<absoluteScreenLocation x="3" y="24"/>
</element>
<command name="Surface">
<input a0="x(B) + (k * cos(θ))" a1="y(B) + (k * sin(θ))" a2="s" a3="θ" a4="0" a5="(2 * pi)" a6="k" a7="s" a8="1"/>
<output a0="u"/>
</command>
<element type="surfacecartesian3d" label="u">
<show object="true" label="false" ev="4"/>
<objColor r="255" g="127" b="0" alpha="0.699999988079071"/>
<layer val="0"/>
<labelMode val="0"/>
<lineStyle thickness="0" type="0" typeHidden="1"/>
</element>
</construction>
</geogebra>