Proof Without Words: Sum of First n Cubes
2012-10-09 04:54
This GeoGebra applet provides a visual proof without words for the sum of the first n cubes formula. Using sequence and mirror commands, it constructs geometric shapes and rectangles to demonstrate area relationships dynamically, helping learners understand the algebraic identity through visual geometry.
Loading the GeoGebra board and drawing, please wait…
<?xml version="1.0" encoding="utf-8"?>
<geogebra format="5.0" version="5.0.279.0" id="74e161dc-b693-40ae-aed2-9038075b37da" xsi:noNamespaceSchemaLocation="http://www.geogebra.org/ggb.xsd" xmlns="" xmlns:xsi="http://www.w3.org/2001/XMLSchema-instance" >
<gui>
<window width="960" height="660" />
<perspectives>
<perspective id="tmp">
<panes>
<pane location="" divider="0.18484848484848485" orientation="0" />
</panes>
<views>
<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="1" visible="true" inframe="false" stylebar="false" location="2" size="528" window="100,100,600,400" />
<view id="2" visible="false" inframe="false" stylebar="false" location="3" size="281" window="100,100,250,400" />
<view id="8" toolbar="1001 | 1002 | 1003 || 1005 | 1004 || 1006 | 1007 | 1010 || 1008 | 1009 || 6" visible="false" inframe="false" stylebar="false" location="1" size="150" window="50,50,500,500" />
<view id="16" visible="true" inframe="false" stylebar="false" location="0" size="122" window="303,174,500,500" />
<view id="32" visible="false" inframe="true" stylebar="true" location="1" size="150" window="50,50,500,500" />
<view id="64" toolbar="0" visible="false" inframe="true" stylebar="false" location="1" size="150" window="50,50,500,500" />
<view id="128" visible="false" inframe="true" stylebar="false" location="1" size="480" window="50,50,500,500" />
<view id="4097" visible="false" inframe="true" stylebar="true" location="1" size="150" window="50,50,500,500" />
<view id="70" toolbar="0 || 2020 || 2021 || 2022" visible="false" inframe="false" stylebar="true" location="1" size="900" window="50,50,500,500" />
<view id="43" visible="false" inframe="false" stylebar="false" location="1" size="450" window="50,50,500,500" />
<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 , 20 22 21 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="false" inframe="true" stylebar="false" location="1" size="480" window="50,50,500,500" />
</views>
<toolbar show="false" items="0 39 59 || 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 , 14 66 68 | 25 52 60 61 || 40 41 42 , 27 28 35 , 6" position="1" help="false" />
<input show="false" cmd="true" top="false" />
<dockBar show="false" east="false" />
</perspective>
</perspectives>
<labelingStyle val="3"/>
<font size="18"/>
</gui>
<euclidianView>
<viewNumber viewNo="1"/>
<size width="957" height="527"/>
<coordSystem xZero="43.34932179180667" yZero="487.22564946793176" scale="21.600893972047135" yscale="21.600893972047164"/>
<evSettings axes="false" grid="false" gridIsBold="false" pointCapturing="3" rightAngleStyle="1" checkboxSize="13" 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="false" label="" unitLabel="" tickStyle="1" showNumbers="true" tickDistance="1" tickExpression="" positiveAxis="true"/>
<axis id="1" show="false" label="" unitLabel="" tickStyle="1" showNumbers="true" tickDistance="1" tickExpression="" positiveAxis="true"/>
</euclidianView>
<euclidianView>
<viewNumber viewNo="2"/>
<size width="957" height="121"/>
<coordSystem xZero="141.00000000000003" yZero="165" scale="50.5181347150259" yscale="49.999999999999986"/>
<evSettings axes="false" grid="false" gridIsBold="false" pointCapturing="3" rightAngleStyle="1" checkboxSize="13" 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="false" label="" unitLabel="" tickStyle="1" showNumbers="true"/>
<axis id="1" show="false" label="" unitLabel="" tickStyle="1" showNumbers="true"/>
</euclidianView>
<kernel>
<continuous val="false"/>
<usePathAndRegionParameters val="true"/>
<decimals val="2"/>
<angleUnit val="degree"/>
<algebraStyle val="0" spreadsheet="0"/>
<coordStyle val="0"/>
<angleFromInvTrig val="false"/>
</kernel>
<scripting blocked="false" disabled="false"/>
<construction title="" author="" date="">
<element type="numeric" label="n">
<value val="4"/>
<show object="true" label="true" ev="3"/>
<objColor r="0" g="0" b="0" alpha="0.1"/>
<layer val="0"/>
<labelMode val="1"/>
<slider min="1" max="10" absoluteScreenLocation="true" width="200" x="714" y="33" fixed="true" horizontal="true" showAlgebra="false"/>
<lineStyle thickness="7" type="0" typeHidden="1"/>
<animation step="1" speed="1" type="0" playing="false"/>
</element>
<command name="Sequence">
<input a0="Sequence[(i, j), i, 0, ((n * (n + 1))) / 2 - 1]" a1="j" a2="0" a3="((n * (n + 1))) / 2 - 1"/>
<output a0="listDot"/>
</command>
<element type="list" label="listDot">
<show object="true" label="true"/>
<objColor r="0" g="0" b="0" alpha="0"/>
<bgColor r="255" g="255" b="255" alpha="255"/>
<layer val="2"/>
<labelMode val="0"/>
<selectionAllowed val="false"/>
<lineStyle thickness="2" type="0" typeHidden="1"/>
<pointSize val="2"/>
<pointStyle val="-1"/>
</element>
<expression label ="f" exp="f(n) = floor((n - 1) / 2)"/>
<element type="function" label="f">
<show object="false" label="false"/>
<objColor r="0" g="0" b="0" alpha="0"/>
<layer val="5"/>
<labelMode val="0"/>
<animation step="1" speed="1" type="0" playing="false"/>
<auxiliary val="true"/>
<lineStyle thickness="2" type="0" typeHidden="1"/>
</element>
<command name="Sequence">
<input a0="Sequence[Polygon[((2 * f(i)^(2)) + f(i) - 0.5, ((j - 1) * ((2 * f(i)) + 1)) - 0.5), ((2 * f(i)^(2)) + (3 * f(i)) + 0.5, ((j - 1) * ((2 * f(i)) + 1)) - 0.5), 4], j, 1, f(i)]" a1="i" a2="1" a3="n"/>
<output a0="listOdd"/>
</command>
<element type="list" label="listOdd">
<show object="true" label="true"/>
<condition showObject="box1"/>
<objColor r="51" g="153" b="0" alpha="0.25"/>
<bgColor r="255" g="255" b="255" alpha="255"/>
<layer val="1"/>
<labelMode val="0"/>
<selectionAllowed val="false"/>
<lineStyle thickness="3" type="0" typeHidden="1"/>
<pointSize val="3"/>
<pointStyle val="-1"/>
</element>
<command name="Sequence">
<input a0="Sequence[Polygon[((2 * f(i)^(2)) + (3 * f(i)) + 0.5, ((j - 1) * ((2 * f(i)) + 2)) + 0.5 + f(i)), ((2 * f(i)^(2)) + (5 * f(i)) + 2.5, ((j - 1) * ((2 * f(i)) + 2)) + 0.5 + f(i)), 4], j, 1, f(i)]" a1="i" a2="1" a3="n - 1"/>
<output a0="listEven"/>
</command>
<element type="list" label="listEven">
<show object="true" label="false"/>
<condition showObject="box2"/>
<objColor r="0" g="0" b="255" alpha="0.25"/>
<bgColor r="255" g="255" b="255" alpha="255"/>
<layer val="1"/>
<labelMode val="0"/>
<selectionAllowed val="false"/>
<lineStyle thickness="3" type="0" typeHidden="1"/>
<pointSize val="3"/>
<pointStyle val="-1"/>
</element>
<command name="Sequence">
<input a0="Polygon[((2 * f(i)^(2)) + (3 * f(i)) + 0.5, -0.5), ((2 * f(i)^(2)) + (3 * f(i)) + 0.5, -0.5 + f(i) + 1), ((2 * f(i)^(2)) + (5 * f(i)) + 2.5, -0.5 + f(i) + 1), ((2 * f(i)^(2)) + (5 * f(i)) + 2.5, -0.5)]" a1="i" a2="1" a3="n - 1"/>
<output a0="listRect"/>
</command>
<element type="list" label="listRect">
<show object="true" label="false"/>
<condition showObject="box2"/>
<objColor r="153" g="0" b="204" alpha="0.25"/>
<bgColor r="255" g="255" b="255" alpha="255"/>
<layer val="1"/>
<labelMode val="0"/>
<selectionAllowed val="false"/>
<lineStyle thickness="3" type="0" typeHidden="1"/>
<pointSize val="3"/>
<pointStyle val="-1"/>
</element>
<command name="Mirror">
<input a0="listEven" a1="y = x"/>
<output a0="listEven'"/>
</command>
<element type="list" label="listEven'">
<show object="true" label="false"/>
<condition showObject="box2"/>
<objColor r="0" g="0" b="255" alpha="0.25"/>
<bgColor r="255" g="255" b="255" alpha="255"/>
<layer val="1"/>
<labelMode val="0"/>
<selectionAllowed val="false"/>
<lineStyle thickness="3" type="0" typeHidden="1"/>
<pointSize val="3"/>
<pointStyle val="-1"/>
</element>
<command name="Mirror">
<input a0="listOdd" a1="y = x"/>
<output a0="listOdd'"/>
</command>
<element type="list" label="listOdd'">
<show object="true" label="true"/>
<condition showObject="box1"/>
<objColor r="51" g="153" b="0" alpha="0.25"/>
<bgColor r="255" g="255" b="255" alpha="255"/>
<layer val="1"/>
<labelMode val="0"/>
<selectionAllowed val="false"/>
<lineStyle thickness="3" type="0" typeHidden="1"/>
<pointSize val="3"/>
<pointStyle val="-1"/>
</element>
<command name="Mirror">
<input a0="listRect" a1="y = x"/>
<output a0="listRect'"/>
</command>
<element type="list" label="listRect'">
<show object="true" label="false"/>
<condition showObject="box2"/>
<objColor r="153" g="0" b="204" alpha="0.25"/>
<bgColor r="255" g="255" b="255" alpha="255"/>
<layer val="1"/>
<labelMode val="0"/>
<selectionAllowed val="false"/>
<lineStyle thickness="3" type="0" typeHidden="1"/>
<pointSize val="3"/>
<pointStyle val="-1"/>
</element>
<expression label ="g" exp="g(n) = floor(n / 2)"/>
<element type="function" label="g">
<show object="false" label="false"/>
<objColor r="0" g="0" b="0" alpha="0"/>
<layer val="5"/>
<labelMode val="0"/>
<animation step="1" speed="1" type="0" playing="false"/>
<auxiliary val="true"/>
<lineStyle thickness="2" type="0" typeHidden="1"/>
</element>
<command name="Sequence">
<input a0="Polygon[((2 * j^(2)) - j - 0.5, (2 * j^(2)) - j - 0.5), ((2 * j^(2)) - j - 0.5 + (2 * j), (2 * j^(2)) - j - 0.5), 4]" a1="j" a2="1" a3="g(n)"/>
<output a0="listDiagonal_2"/>
</command>
<element type="list" label="listDiagonal_2">
<show object="true" label="false"/>
<condition showObject="box2"/>
<objColor r="0" g="0" b="255" alpha="0.4"/>
<bgColor r="255" g="255" b="255" alpha="255"/>
<layer val="1"/>
<labelMode val="0"/>
<selectionAllowed val="false"/>
<lineStyle thickness="3" type="0" typeHidden="1"/>
<pointSize val="3"/>
<pointStyle val="-1"/>
</element>
<element type="boolean" label="box1">
<value val="true"/>
<show object="true" label="true" ev="3"/>
<objColor r="0" g="0" b="0" alpha="0"/>
<layer val="5"/>
<labelOffset x="708" y="62"/>
<labelMode val="0"/>
<checkbox fixed="true"/>
<caption val="Show Odd Terms"/>
</element>
<element type="boolean" label="box2">
<value val="true"/>
<show object="true" label="true" ev="3"/>
<objColor r="0" g="0" b="0" alpha="0"/>
<layer val="5"/>
<labelOffset x="708" y="90"/>
<labelMode val="0"/>
<checkbox fixed="true"/>
<caption val="Show Even Terms"/>
</element>
<command name="Sequence">
<input a0="Polygon[((2 * j^(2)) - (3 * j) + 0.5, (2 * j^(2)) - (3 * j) + 0.5), ((2 * j^(2)) - j - 0.5, (2 * j^(2)) - (3 * j) + 0.5), 4]" a1="j" a2="1" a3="f(n) + 1"/>
<output a0="listDiagonal_1"/>
</command>
<element type="list" label="listDiagonal_1">
<show object="true" label="true"/>
<condition showObject="box1"/>
<objColor r="51" g="153" b="0" alpha="0.3"/>
<bgColor r="255" g="255" b="255" alpha="255"/>
<layer val="1"/>
<labelMode val="0"/>
<lineStyle thickness="3" type="0" typeHidden="1"/>
<pointSize val="3"/>
<pointStyle val="-1"/>
</element>
<expression label="text1" exp=""1^3+2^3+3^3+...+n^3 =1×1^2+2×2^2+3×3^2+...+n×n^2 \\ \;\;\;\;\;\;\;\;\;\;\;\;\;\;\;\;\;\;\;\;\;\;\;\;\;\;\;\;\;\;\;\;\;\;\;\;\;\;\;= (1+2+3+...+n)^2 \\ \;\;\;\;\;\;\;\;\;\;\;\;\;\;\;\;\;\;\;\;\;\;\;\;\;\;\;\;\;\;\;\;\;\;\;\;\;\;\;= " + (LaTeX[(n^(2) * (n + 1)^(2) / 4)]) + """ />
<element type="text" label="text1">
<show object="true" label="false" ev="3"/>
<objColor r="0" g="0" b="0" alpha="0"/>
<layer val="5"/>
<labelMode val="0"/>
<isLaTeX val="true"/>
<font serif="true" sizeM="1" size="0" style="1"/>
<absoluteScreenLocation x="8" y="6"/>
</element>
</construction>
</geogebra>