平方差公式的无字证明（二）
2012-09-15 04:09
本范例通过几何图形的分割与重组，直观演示平方差公式 a²−b²=(a+b)(a−b) 的无字证明。构造中包含大正方形与小正方形，利用多边形（Polygon）命令生成梯形区域，并通过旋转（Rotate）与平移（Translate）变换将差面积重新拼接为矩形，从而在视觉上验证代数恒等式。适合初中至高中阶段学生理解因式分解的几何意义，强化数形结合思想。
<?xml version="1.0" encoding="utf-8"?>
<geogebra format="5.0" version="5.0.320.0" id="83d9d7e6-1c7a-4477-b1ed-1fdaa00873ad" 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.25303030303030305" 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="true" location="1,1" size="300" window="100,100,600,400" />
<view id="8" toolbar="1001 | 1002 | 1003 || 1005 | 1004 || 1006 | 1007 | 1010 | 1011 || 1008 1009 || 6" visible="false" inframe="false" stylebar="false" location="1,3" size="300" window="100,100,600,400" />
<view id="1" visible="true" inframe="false" stylebar="false" location="2" size="483" window="100,100,600,400" />
<view id="2" visible="false" inframe="false" stylebar="true" location="1" size="260" window="100,100,250,400" />
<view id="16" visible="true" inframe="false" stylebar="false" location="0" size="167" window="-14,109,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="true" 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="383" window="234,88,811,643" />
<view id="70" toolbar="0 || 2020 || 2021 || 2022" visible="false" inframe="true" stylebar="true" location="1" size="150" 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 , 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="false" inframe="false" stylebar="false" location="1" size="300" 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="7" 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"/>
<size width="958" height="483"/>
<coordSystem xZero="69.00000000000001" yZero="456.0000000000001" scale="34.59999999999999" yscale="34.59999999999999"/>
<evSettings axes="false" grid="true" gridIsBold="false" pointCapturing="3" rightAngleStyle="1" checkboxSize="26" gridType="0" lockedAxesRatio="1"/>
<bgColor r="255" g="255" b="255"/>
<axesColor r="0" g="0" b="0"/>
<gridColor r="153" g="153" b="153"/>
<lineStyle axes="1" grid="0"/>
<axis id="0" show="false" label="" unitLabel="" tickStyle="1" showNumbers="true" tickDistance="1" tickExpression=""/>
<axis id="1" show="false" label="" unitLabel="" tickStyle="1" showNumbers="true" tickDistance="1" tickExpression=""/>
</euclidianView>
<euclidianView>
<viewNumber viewNo="2"/>
<size width="958" height="167"/>
<coordSystem xZero="8.604672530054808e-14" yZero="169.99999999999997" scale="24.219999999999985" yscale="24.219999999999985"/>
<evSettings axes="false" grid="false" gridIsBold="false" pointCapturing="3" rightAngleStyle="1" checkboxSize="26" gridType="0" lockedAxesRatio="1"/>
<bgColor r="255" g="250" b="205"/>
<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"/>
<grid distX="1" distY="1" distTheta="0.5235987755982988"/>
</euclidianView>
<kernel>
<continuous val="false"/>
<usePathAndRegionParameters val="true"/>
<decimals val="2"/>
<angleUnit val="degree"/>
<algebraStyle val="0" spreadsheet="0"/>
<coordStyle val="0"/>
</kernel>
<scripting language="en" blocked="false" disabled="false"/>
<construction title="" author="" date="">
<element type="numeric" label="a">
<value val="5"/>
<show object="true" label="true" ev="3"/>
<objColor r="0" g="0" b="0" alpha="0.1"/>
<layer val="0"/>
<labelOffset x="-4" y="3"/>
<labelMode val="1"/>
<slider min="2" max="12" absoluteScreenLocation="true" width="100" x="35" y="41" fixed="true" horizontal="true" showAlgebra="false"/>
<lineStyle thickness="10" type="0" typeHidden="1"/>
<animation step="1" speed="1" type="0" playing="false"/>
</element>
<element type="numeric" label="b">
<value val="2"/>
<show object="true" label="true" ev="3"/>
<objColor r="0" g="0" b="0" alpha="0.1"/>
<layer val="0"/>
<labelOffset x="-6" y="4"/>
<labelMode val="1"/>
<slider min="0" max="a - 1" absoluteScreenLocation="true" width="100" x="35" y="81" fixed="true" horizontal="true" showAlgebra="false"/>
<lineStyle thickness="10" type="0" typeHidden="1"/>
<animation step="1" speed="1" type="0" playing="false"/>
</element>
<expression label="A" exp="(a, 0)" type="point" />
<element type="point" label="A">
<show object="false" label="true"/>
<objColor r="64" g="64" b="64" alpha="0"/>
<layer val="0"/>
<labelMode val="0"/>
<isShape val="false"/>
<coords x="5" y="0" z="1"/>
<pointSize val="3"/>
<pointStyle val="0"/>
</element>
<element type="point" label="O">
<show object="false" label="true"/>
<objColor r="0" g="0" b="255" alpha="0"/>
<layer val="0"/>
<labelMode val="0"/>
<fixed val="true"/>
<selectionAllowed val="false"/>
<isShape val="false"/>
<auxiliary val="true"/>
<coords x="0" y="0" z="1"/>
<pointSize val="3"/>
<pointStyle val="0"/>
</element>
<expression label="D" exp="(a - b, 0)" type="point" />
<element type="point" label="D">
<show object="false" label="true"/>
<objColor r="64" g="64" b="64" alpha="0"/>
<layer val="0"/>
<labelMode val="0"/>
<isShape val="false"/>
<coords x="3" y="0" z="1"/>
<pointSize val="3"/>
<pointStyle val="0"/>
</element>
<command name="Polygon">
<input a0="O" a1="A" a2="4"/>
<output a0="SqBig" a1="s8" a2="s1" a3="s3" a4="s4" a5="B" a6="C"/>
</command>
<element type="polygon" label="SqBig">
<lineStyle thickness="4" type="0" typeHidden="1"/>
<show object="false" label="false"/>
<objColor r="0" g="0" b="255" alpha="0.25"/>
<layer val="0"/>
<labelMode val="0"/>
<selectionAllowed val="false"/>
<isShape val="false"/>
</element>
<element type="segment" label="s8">
<show object="false" label="false"/>
<objColor r="0" g="0" b="255" alpha="0"/>
<layer val="0"/>
<labelMode val="0"/>
<selectionAllowed val="false"/>
<isShape val="false"/>
<auxiliary val="true"/>
<coords x="0" y="5" z="0"/>
<lineStyle thickness="4" type="0" typeHidden="1"/>
<eqnStyle style="implicit"/>
<outlyingIntersections val="false"/>
<keepTypeOnTransform val="true"/>
</element>
<element type="segment" label="s1">
<show object="false" label="false"/>
<objColor r="0" g="0" b="255" alpha="0"/>
<layer val="0"/>
<labelMode val="0"/>
<selectionAllowed val="false"/>
<isShape val="false"/>
<auxiliary val="true"/>
<coords x="-4.999999999999998" y="0" z="24.999999999999993"/>
<lineStyle thickness="4" type="0" typeHidden="1"/>
<eqnStyle style="implicit"/>
<outlyingIntersections val="false"/>
<keepTypeOnTransform val="true"/>
</element>
<element type="segment" label="s3">
<show object="false" label="false"/>
<objColor r="0" g="0" b="255" alpha="0"/>
<layer val="0"/>
<labelMode val="0"/>
<selectionAllowed val="false"/>
<isShape val="false"/>
<auxiliary val="true"/>
<coords x="-1.7763568394002505e-15" y="-4.999999999999999" z="24.999999999999996"/>
<lineStyle thickness="4" type="0" typeHidden="1"/>
<eqnStyle style="implicit"/>
<outlyingIntersections val="false"/>
<keepTypeOnTransform val="true"/>
</element>
<element type="segment" label="s4">
<show object="false" label="false"/>
<objColor r="0" g="0" b="255" alpha="0"/>
<layer val="0"/>
<labelMode val="0"/>
<selectionAllowed val="false"/>
<isShape val="false"/>
<auxiliary val="true"/>
<coords x="5" y="-8.881784197001252e-16" z="0"/>
<lineStyle thickness="4" type="0" typeHidden="1"/>
<eqnStyle style="implicit"/>
<outlyingIntersections val="false"/>
<keepTypeOnTransform val="true"/>
</element>
<element type="point" label="B">
<show object="false" label="true"/>
<objColor r="64" g="64" b="64" alpha="0"/>
<layer val="0"/>
<labelMode val="0"/>
<isShape val="false"/>
<auxiliary val="true"/>
<coords x="5" y="4.999999999999998" z="1"/>
<pointSize val="3"/>
<pointStyle val="0"/>
</element>
<element type="point" label="C">
<show object="false" label="true"/>
<objColor r="64" g="64" b="64" alpha="0"/>
<layer val="0"/>
<labelMode val="0"/>
<isShape val="false"/>
<auxiliary val="true"/>
<coords x="8.881784197001252e-16" y="5" z="1"/>
<pointSize val="3"/>
<pointStyle val="0"/>
</element>
<command name="Polygon">
<input a0="D" a1="A" a2="4"/>
<output a0="SqSmall" a1="s5" a2="s2" a3="s6" a4="s7" a5="E" a6="F"/>
</command>
<element type="polygon" label="SqSmall">
<lineStyle thickness="4" type="0" typeHidden="1"/>
<show object="false" label="false"/>
<objColor r="0" g="0" b="255" alpha="0.25"/>
<layer val="0"/>
<labelMode val="0"/>
<selectionAllowed val="false"/>
<isShape val="false"/>
</element>
<element type="segment" label="s5">
<show object="true" label="false"/>
<condition showObject="k ≟ 0"/>
<objColor r="0" g="0" b="255" alpha="0"/>
<layer val="0"/>
<labelMode val="0"/>
<selectionAllowed val="false"/>
<isShape val="false"/>
<auxiliary val="true"/>
<coords x="0" y="2" z="0"/>
<lineStyle thickness="4" type="15" typeHidden="1"/>
<eqnStyle style="implicit"/>
<outlyingIntersections val="false"/>
<keepTypeOnTransform val="true"/>
</element>
<element type="segment" label="s2">
<show object="true" label="false"/>
<condition showObject="k ≟ 0"/>
<objColor r="0" g="0" b="255" alpha="0"/>
<layer val="0"/>
<labelMode val="0"/>
<selectionAllowed val="false"/>
<isShape val="false"/>
<auxiliary val="true"/>
<coords x="-1.9999999999999996" y="0" z="9.999999999999998"/>
<lineStyle thickness="4" type="15" typeHidden="1"/>
<eqnStyle style="implicit"/>
<outlyingIntersections val="false"/>
<keepTypeOnTransform val="true"/>
</element>
<element type="segment" label="s6">
<show object="false" label="false"/>
<objColor r="0" g="0" b="255" alpha="0"/>
<layer val="0"/>
<labelMode val="0"/>
<selectionAllowed val="false"/>
<isShape val="false"/>
<auxiliary val="true"/>
<coords x="-4.440892098500626e-16" y="-1.9999999999999996" z="4.000000000000001"/>
<lineStyle thickness="4" type="0" typeHidden="1"/>
<eqnStyle style="implicit"/>
<outlyingIntersections val="false"/>
<keepTypeOnTransform val="true"/>
</element>
<element type="segment" label="s7">
<show object="false" label="false"/>
<objColor r="0" g="0" b="255" alpha="0"/>
<layer val="0"/>
<labelMode val="0"/>
<selectionAllowed val="false"/>
<isShape val="false"/>
<auxiliary val="true"/>
<coords x="2" y="-4.440892098500626e-16" z="-6"/>
<lineStyle thickness="4" type="0" typeHidden="1"/>
<eqnStyle style="implicit"/>
<outlyingIntersections val="false"/>
<keepTypeOnTransform val="true"/>
</element>
<element type="point" label="E">
<show object="false" label="true"/>
<objColor r="64" g="64" b="64" alpha="0"/>
<layer val="0"/>
<labelMode val="0"/>
<isShape val="false"/>
<auxiliary val="true"/>
<coords x="5" y="1.9999999999999996" z="1"/>
<pointSize val="3"/>
<pointStyle val="0"/>
</element>
<element type="point" label="F">
<show object="false" label="true"/>
<objColor r="64" g="64" b="64" alpha="0"/>
<layer val="0"/>
<labelMode val="0"/>
<isShape val="false"/>
<auxiliary val="true"/>
<coords x="3.0000000000000004" y="2" z="1"/>
<pointSize val="3"/>
<pointStyle val="0"/>
</element>
<command name="Polygon">
<input a0="F" a1="C" a2="O" a3="D"/>
<output a0="TrapeLeft" a1="t6" a2="t2" a3="t1" a4="t4"/>
</command>
<element type="polygon" label="TrapeLeft">
<lineStyle thickness="4" type="0" typeHidden="1"/>
<show object="true" label="false"/>
<objColor r="0" g="0" b="255" alpha="0.2" dynamicr="0" dynamicg="0" dynamicb="1" dynamica="opacity1" colorSpace="0"/>
<layer val="0"/>
<labelMode val="0"/>
<selectionAllowed val="false"/>
<isShape val="false"/>
</element>
<element type="segment" label="t6">
<show object="false" label="false"/>
<objColor r="0" g="0" b="255" alpha="0"/>
<layer val="0"/>
<labelMode val="0"/>
<selectionAllowed val="false"/>
<isShape val="false"/>
<auxiliary val="true"/>
<coords x="-3" y="-2.9999999999999996" z="15"/>
<lineStyle thickness="4" type="0" typeHidden="1"/>
<eqnStyle style="implicit"/>
<outlyingIntersections val="false"/>
<keepTypeOnTransform val="true"/>
</element>
<element type="segment" label="t2">
<show object="true" label="false"/>
<objColor r="0" g="0" b="255" alpha="0"/>
<layer val="0"/>
<labelMode val="0"/>
<selectionAllowed val="false"/>
<isShape val="false"/>
<auxiliary val="true"/>
<coords x="5" y="-8.881784197001252e-16" z="0"/>
<lineStyle thickness="4" type="0" typeHidden="1"/>
<eqnStyle style="implicit"/>
<outlyingIntersections val="false"/>
<keepTypeOnTransform val="true"/>
</element>
<element type="segment" label="t1">
<show object="true" label="false"/>
<objColor r="0" g="0" b="255" alpha="0"/>
<layer val="0"/>
<labelMode val="0"/>
<selectionAllowed val="false"/>
<isShape val="false"/>
<auxiliary val="true"/>
<coords x="0" y="3" z="0"/>
<lineStyle thickness="4" type="0" typeHidden="1"/>
<eqnStyle style="implicit"/>
<outlyingIntersections val="false"/>
<keepTypeOnTransform val="true"/>
</element>
<element type="segment" label="t4">
<show object="true" label="false"/>
<objColor r="0" g="0" b="255" alpha="0"/>
<layer val="0"/>
<labelMode val="0"/>
<selectionAllowed val="false"/>
<isShape val="false"/>
<auxiliary val="true"/>
<coords x="-2" y="4.440892098500626e-16" z="6"/>
<lineStyle thickness="4" type="0" typeHidden="1"/>
<eqnStyle style="implicit"/>
<outlyingIntersections val="false"/>
<keepTypeOnTransform val="true"/>
</element>
<command name="Polygon">
<input a0="B" a1="C" a2="F" a3="E"/>
<output a0="TrapeRight" a1="t8" a2="t3" a3="t7" a4="t5"/>
</command>
<element type="polygon" label="TrapeRight">
<lineStyle thickness="4" type="0" typeHidden="1"/>
<show object="false" label="false"/>
<objColor r="0" g="0" b="255" alpha="0.25"/>
<layer val="0"/>
<labelMode val="0"/>
<selectionAllowed val="false"/>
<isShape val="false"/>
</element>
<element type="segment" label="t8">
<show object="false" label="false"/>
<objColor r="0" g="0" b="255" alpha="0"/>
<layer val="0"/>
<labelMode val="0"/>
<selectionAllowed val="false"/>
<isShape val="false"/>
<auxiliary val="true"/>
<coords x="-1.7763568394002505e-15" y="-4.999999999999999" z="24.999999999999996"/>
<lineStyle thickness="4" type="0" typeHidden="1"/>
<eqnStyle style="implicit"/>
<outlyingIntersections val="false"/>
<keepTypeOnTransform val="true"/>
</element>
<element type="segment" label="t3">
<show object="false" label="false"/>
<condition showObject="(k ≠ 0) ∧ (k ≠ 3)"/>
<objColor r="0" g="0" b="255" alpha="0"/>
<layer val="0"/>
<labelMode val="0"/>
<selectionAllowed val="false"/>
<isShape val="false"/>
<auxiliary val="true"/>
<coords x="3" y="2.9999999999999996" z="-15"/>
<lineStyle thickness="4" type="0" typeHidden="1"/>
<eqnStyle style="implicit"/>
<outlyingIntersections val="false"/>
<keepTypeOnTransform val="true"/>
</element>
<element type="segment" label="t7">
<show object="false" label="false"/>
<objColor r="0" g="0" b="255" alpha="0"/>
<layer val="0"/>
<labelMode val="0"/>
<selectionAllowed val="false"/>
<isShape val="false"/>
<auxiliary val="true"/>
<coords x="4.440892098500626e-16" y="1.9999999999999996" z="-4.000000000000001"/>
<lineStyle thickness="4" type="0" typeHidden="1"/>
<eqnStyle style="implicit"/>
<outlyingIntersections val="false"/>
<keepTypeOnTransform val="true"/>
</element>
<element type="segment" label="t5">
<show object="false" label="false"/>
<objColor r="0" g="0" b="255" alpha="0"/>
<layer val="0"/>
<labelMode val="0"/>
<selectionAllowed val="false"/>
<isShape val="false"/>
<auxiliary val="true"/>
<coords x="-2.9999999999999987" y="0" z="14.999999999999995"/>
<lineStyle thickness="4" type="0" typeHidden="1"/>
<eqnStyle style="implicit"/>
<outlyingIntersections val="false"/>
<keepTypeOnTransform val="true"/>
</element>
<element type="numeric" label="k">
<value val="0"/>
<show object="true" label="true" ev="3"/>
<condition showObject="area1"/>
<objColor r="0" g="0" b="255" alpha="0.1"/>
<layer val="0"/>
<labelMode val="3"/>
<slider min="0" max="3" absoluteScreenLocation="true" width="200" x="678" y="49" fixed="false" horizontal="true" showAlgebra="false"/>
<lineStyle thickness="10" type="0" typeHidden="1"/>
<animation step="0.01" speed="1" type="0" playing="false"/>
<caption val="Cut and move"/>
</element>
<command name="If">
<input a0="k < 1" a1="k" a2="1"/>
<output a0="k_1"/>
</command>
<element type="numeric" label="k_1">
<value val="0"/>
<objColor r="0" g="0" b="0" alpha="0.1"/>
<selectionAllowed val="false"/>
</element>
<command name="If">
<input a0="k < 2" a1="If[k > 1, k - 1, 0]" a2="1"/>
<output a0="k_2"/>
</command>
<element type="numeric" label="k_2">
<value val="0"/>
<objColor r="0" g="0" b="0" alpha="0.1"/>
<selectionAllowed val="false"/>
</element>
<command name="Rotate">
<input a0="B" a1="(90° * k_1)" a2="C"/>
<output a0="B'"/>
</command>
<element type="point" label="B'">
<show object="false" label="true"/>
<objColor r="64" g="64" b="64" alpha="0"/>
<layer val="0"/>
<labelMode val="0"/>
<isShape val="false"/>
<auxiliary val="true"/>
<coords x="5" y="4.999999999999998" z="1"/>
<pointSize val="3"/>
<pointStyle val="0"/>
</element>
<command name="Rotate">
<input a0="C" a1="(90° * k_1)" a2="C"/>
<output a0="C'"/>
</command>
<element type="point" label="C'">
<show object="false" label="true"/>
<objColor r="64" g="64" b="64" alpha="0"/>
<layer val="0"/>
<labelMode val="0"/>
<isShape val="false"/>
<auxiliary val="true"/>
<coords x="8.881784197001252e-16" y="5" z="1"/>
<pointSize val="3"/>
<pointStyle val="0"/>
</element>
<command name="Rotate">
<input a0="F" a1="(90° * k_1)" a2="C"/>
<output a0="F'"/>
</command>
<element type="point" label="F'">
<show object="false" label="true"/>
<objColor r="64" g="64" b="64" alpha="0"/>
<layer val="0"/>
<labelMode val="0"/>
<isShape val="false"/>
<auxiliary val="true"/>
<coords x="3.0000000000000004" y="2" z="1"/>
<pointSize val="3"/>
<pointStyle val="0"/>
</element>
<command name="Rotate">
<input a0="E" a1="(90° * k_1)" a2="C"/>
<output a0="E'"/>
</command>
<element type="point" label="E'">
<show object="false" label="true"/>
<objColor r="64" g="64" b="64" alpha="0"/>
<layer val="0"/>
<labelMode val="0"/>
<isShape val="false"/>
<auxiliary val="true"/>
<coords x="5" y="1.9999999999999996" z="1"/>
<pointSize val="3"/>
<pointStyle val="0"/>
</element>
<command name="Polygon">
<input a0="B'" a1="C'" a2="F'" a3="E'"/>
<output a0="TrapeRight1" a1="r1" a2="r2" a3="r4" a4="r3"/>
</command>
<element type="polygon" label="TrapeRight1">
<lineStyle thickness="4" type="0" typeHidden="1"/>
<show object="false" label="true"/>
<objColor r="0" g="0" b="255" alpha="0.25"/>
<layer val="0"/>
<labelMode val="0"/>
<selectionAllowed val="false"/>
<isShape val="false"/>
</element>
<element type="segment" label="r1">
<show object="false" label="false"/>
<objColor r="0" g="0" b="255" alpha="0.1"/>
<layer val="0"/>
<labelMode val="0"/>
<selectionAllowed val="false"/>
<isShape val="false"/>
<auxiliary val="true"/>
<coords x="-1.7763568394002505e-15" y="-4.999999999999999" z="24.999999999999996"/>
<lineStyle thickness="4" type="0" typeHidden="1"/>
<eqnStyle style="implicit"/>
<outlyingIntersections val="false"/>
<keepTypeOnTransform val="true"/>
</element>
<element type="segment" label="r2">
<show object="false" label="false"/>
<objColor r="0" g="0" b="255" alpha="0.1"/>
<layer val="0"/>
<labelMode val="0"/>
<selectionAllowed val="false"/>
<isShape val="false"/>
<auxiliary val="true"/>
<coords x="3" y="2.9999999999999996" z="-15"/>
<lineStyle thickness="4" type="0" typeHidden="1"/>
<eqnStyle style="implicit"/>
<outlyingIntersections val="false"/>
<keepTypeOnTransform val="true"/>
</element>
<element type="segment" label="r4">
<show object="false" label="false"/>
<objColor r="0" g="0" b="255" alpha="0.1"/>
<layer val="0"/>
<labelMode val="0"/>
<selectionAllowed val="false"/>
<isShape val="false"/>
<auxiliary val="true"/>
<coords x="4.440892098500626e-16" y="1.9999999999999996" z="-4.000000000000001"/>
<lineStyle thickness="4" type="0" typeHidden="1"/>
<eqnStyle style="implicit"/>
<outlyingIntersections val="false"/>
<keepTypeOnTransform val="true"/>
</element>
<element type="segment" label="r3">
<show object="false" label="false"/>
<objColor r="0" g="0" b="255" alpha="0.1"/>
<layer val="0"/>
<labelMode val="0"/>
<selectionAllowed val="false"/>
<isShape val="false"/>
<auxiliary val="true"/>
<coords x="-2.9999999999999987" y="0" z="14.999999999999995"/>
<lineStyle thickness="4" type="0" typeHidden="1"/>
<eqnStyle style="implicit"/>
<outlyingIntersections val="false"/>
<keepTypeOnTransform val="true"/>
</element>
<command name="Translate">
<input a0="B'" a1="Vector[((k_2 * 2) * (E' - B'))]"/>
<output a0="B''"/>
</command>
<element type="point" label="B''">
<show object="false" label="true"/>
<objColor r="64" g="64" b="64" alpha="0"/>
<layer val="0"/>
<labelMode val="0"/>
<isShape val="false"/>
<auxiliary val="true"/>
<coords x="5" y="4.999999999999998" z="1"/>
<pointSize val="3"/>
<pointStyle val="0"/>
</element>
<command name="Translate">
<input a0="C'" a1="Vector[((k_2 * 2) * (E' - B'))]"/>
<output a0="C''"/>
</command>
<element type="point" label="C''">
<show object="false" label="true"/>
<objColor r="64" g="64" b="64" alpha="0"/>
<layer val="0"/>
<labelMode val="0"/>
<isShape val="false"/>
<auxiliary val="true"/>
<coords x="8.881784197001252e-16" y="5" z="1"/>
<pointSize val="3"/>
<pointStyle val="0"/>
</element>
<command name="Polygon">
<input a0="B''" a1="E'" a2="F'" a3="C''"/>
<output a0="TrapeRight2" a1="p1" a2="p3" a3="p4" a4="p2"/>
</command>
<element type="polygon" label="TrapeRight2">
<lineStyle thickness="4" type="0" typeHidden="1"/>
<show object="false" label="true"/>
<objColor r="0" g="0" b="255" alpha="0.25"/>
<layer val="0"/>
<labelMode val="0"/>
<selectionAllowed val="false"/>
<isShape val="false"/>
</element>
<element type="segment" label="p1">
<show object="false" label="false"/>
<objColor r="0" g="0" b="255" alpha="0"/>
<layer val="0"/>
<labelMode val="0"/>
<selectionAllowed val="false"/>
<isShape val="false"/>
<auxiliary val="true"/>
<coords x="2.9999999999999987" y="0" z="-14.999999999999995"/>
<lineStyle thickness="4" type="0" typeHidden="1"/>
<eqnStyle style="implicit"/>
<outlyingIntersections val="false"/>
<keepTypeOnTransform val="true"/>
</element>
<element type="segment" label="p3">
<show object="false" label="false"/>
<objColor r="0" g="0" b="255" alpha="0"/>
<layer val="0"/>
<labelMode val="0"/>
<selectionAllowed val="false"/>
<isShape val="false"/>
<auxiliary val="true"/>
<coords x="-4.440892098500626e-16" y="-1.9999999999999996" z="4.000000000000001"/>
<lineStyle thickness="4" type="0" typeHidden="1"/>
<eqnStyle style="implicit"/>
<outlyingIntersections val="false"/>
<keepTypeOnTransform val="true"/>
</element>
<element type="segment" label="p4">
<show object="false" label="false"/>
<objColor r="0" g="0" b="255" alpha="0"/>
<layer val="0"/>
<labelMode val="0"/>
<selectionAllowed val="false"/>
<isShape val="false"/>
<auxiliary val="true"/>
<coords x="-3" y="-2.9999999999999996" z="15"/>
<lineStyle thickness="4" type="0" typeHidden="1"/>
<eqnStyle style="implicit"/>
<outlyingIntersections val="false"/>
<keepTypeOnTransform val="true"/>
</element>
<element type="segment" label="p2">
<show object="false" label="false"/>
<objColor r="0" g="0" b="255" alpha="0"/>
<layer val="0"/>
<labelMode val="0"/>
<selectionAllowed val="false"/>
<isShape val="false"/>
<auxiliary val="true"/>
<coords x="1.7763568394002505e-15" y="4.999999999999999" z="-24.999999999999996"/>
<lineStyle thickness="4" type="0" typeHidden="1"/>
<eqnStyle style="implicit"/>
<outlyingIntersections val="false"/>
<keepTypeOnTransform val="true"/>
</element>
<command name="If">
<input a0="k > 2" a1="k - 2" a2="0"/>
<output a0="k_3"/>
</command>
<element type="numeric" label="k_3">
<value val="0"/>
<objColor r="0" g="0" b="0" alpha="0.1"/>
<selectionAllowed val="false"/>
</element>
<command name="Translate">
<input a0="B''" a1="(k_3 * (C' - F'))"/>
<output a0="B'''"/>
</command>
<element type="point" label="B'''">
<show object="false" label="true"/>
<objColor r="64" g="64" b="64" alpha="0"/>
<layer val="0"/>
<labelMode val="0"/>
<isShape val="false"/>
<auxiliary val="true"/>
<coords x="5" y="4.999999999999998" z="1"/>
<pointSize val="3"/>
<pointStyle val="0"/>
</element>
<command name="Translate">
<input a0="E'" a1="(k_3 * (C' - F'))"/>
<output a0="E''"/>
</command>
<element type="point" label="E''">
<show object="false" label="true"/>
<objColor r="64" g="64" b="64" alpha="0"/>
<layer val="0"/>
<labelMode val="0"/>
<isShape val="false"/>
<auxiliary val="true"/>
<coords x="5" y="1.9999999999999996" z="1"/>
<pointSize val="3"/>
<pointStyle val="0"/>
</element>
<command name="Translate">
<input a0="F'" a1="(k_3 * (C' - F'))"/>
<output a0="F''"/>
</command>
<element type="point" label="F''">
<show object="false" label="true"/>
<objColor r="64" g="64" b="64" alpha="0"/>
<layer val="0"/>
<labelMode val="0"/>
<isShape val="false"/>
<auxiliary val="true"/>
<coords x="3.0000000000000004" y="2" z="1"/>
<pointSize val="3"/>
<pointStyle val="0"/>
</element>
<command name="Translate">
<input a0="C''" a1="(k_3 * (C' - F'))"/>
<output a0="C'''"/>
</command>
<element type="point" label="C'''">
<show object="false" label="true"/>
<objColor r="64" g="64" b="64" alpha="0"/>
<layer val="0"/>
<labelMode val="0"/>
<isShape val="false"/>
<auxiliary val="true"/>
<coords x="8.881784197001252e-16" y="5" z="1"/>
<pointSize val="3"/>
<pointStyle val="0"/>
</element>
<command name="Polygon">
<input a0="B'''" a1="E''" a2="F''" a3="C'''"/>
<output a0="TrapeRight3" a1="q1" a2="q3" a3="q4" a4="q2"/>
</command>
<element type="polygon" label="TrapeRight3">
<lineStyle thickness="4" type="0" typeHidden="1"/>
<show object="true" label="false"/>
<objColor r="0" g="0" b="255" alpha="0.2" dynamicr="0" dynamicg="0" dynamicb="1" dynamica="If[k_2 ≟ 0 ∨ k_2 ≟ 1, opacity1, ((opacity1 - opacity2) * (k_2 - 0.5)^(2) / 0.5^(2)) + opacity2]" colorSpace="0"/>
<layer val="0"/>
<labelMode val="0"/>
<selectionAllowed val="false"/>
<isShape val="false"/>
</element>
<element type="segment" label="q1">
<show object="true" label="false"/>
<objColor r="0" g="0" b="255" alpha="0.1"/>
<layer val="0"/>
<labelMode val="0"/>
<selectionAllowed val="false"/>
<isShape val="false"/>
<auxiliary val="true"/>
<coords x="2.9999999999999987" y="0" z="-14.999999999999995"/>
<lineStyle thickness="4" type="0" typeHidden="1"/>
<eqnStyle style="implicit"/>
<outlyingIntersections val="false"/>
<keepTypeOnTransform val="true"/>
</element>
<element type="segment" label="q3">
<show object="true" label="false"/>
<objColor r="0" g="0" b="255" alpha="0.1"/>
<layer val="0"/>
<labelMode val="0"/>
<selectionAllowed val="false"/>
<isShape val="false"/>
<auxiliary val="true"/>
<coords x="-4.440892098500626e-16" y="-1.9999999999999996" z="4.000000000000001"/>
<lineStyle thickness="4" type="0" typeHidden="1"/>
<eqnStyle style="implicit"/>
<outlyingIntersections val="false"/>
<keepTypeOnTransform val="true"/>
</element>
<element type="segment" label="q4">
<show object="true" label="false"/>
<condition showObject="(k ≠ 0) ∧ (k ≠ 3)"/>
<objColor r="0" g="0" b="255" alpha="0.1"/>
<layer val="0"/>
<labelMode val="0"/>
<selectionAllowed val="false"/>
<isShape val="false"/>
<auxiliary val="true"/>
<coords x="-3" y="-2.9999999999999996" z="15"/>
<lineStyle thickness="4" type="0" typeHidden="1"/>
<eqnStyle style="implicit"/>
<outlyingIntersections val="false"/>
<keepTypeOnTransform val="true"/>
</element>
<element type="segment" label="q2">
<show object="true" label="false"/>
<objColor r="0" g="0" b="255" alpha="0.1" dynamicr="0" dynamicg="0" dynamicb="1" colorSpace="0"/>
<layer val="0"/>
<labelMode val="0"/>
<selectionAllowed val="false"/>
<isShape val="false"/>
<auxiliary val="true"/>
<coords x="1.7763568394002505e-15" y="4.999999999999999" z="-24.999999999999996"/>
<lineStyle thickness="4" type="0" typeHidden="1"/>
<eqnStyle style="implicit"/>
<outlyingIntersections val="false"/>
<keepTypeOnTransform val="true"/>
</element>
<element type="numeric" label="opacity1">
<value val="0.2"/>
<show object="false" label="true"/>
<objColor r="0" g="0" b="0" alpha="0.1"/>
<layer val="0"/>
<labelMode val="1"/>
<slider min="0" max="1" absoluteScreenLocation="true" width="100" x="230" y="35" fixed="false" horizontal="true" showAlgebra="false"/>
<lineStyle thickness="2" type="0" typeHidden="1"/>
<animation step="0.1" speed="1" type="0" playing="false"/>
</element>
<element type="numeric" label="opacity2">
<value val="0.5"/>
<show object="false" label="true"/>
<objColor r="0" g="0" b="0" alpha="0.1"/>
<layer val="0"/>
<labelMode val="1"/>
<slider min="0" max="1" absoluteScreenLocation="true" width="100" x="220" y="72" fixed="false" horizontal="true" showAlgebra="false"/>
<lineStyle thickness="2" type="0" typeHidden="1"/>
<animation step="0.1" speed="1" type="0" playing="false"/>
</element>
<command name="Midpoint">
<input a0="t1"/>
<output a0="G"/>
</command>
<element type="point" label="G">
<show object="false" label="true"/>
<objColor r="64" g="64" b="64" alpha="0"/>
<layer val="0"/>
<labelMode val="0"/>
<isShape val="false"/>
<auxiliary val="true"/>
<coords x="1.5" y="0" z="1"/>
<pointSize val="3"/>
<pointStyle val="0"/>
</element>
<command name="Midpoint">
<input a0="t2"/>
<output a0="H"/>
</command>
<element type="point" label="H">
<show object="false" label="true"/>
<objColor r="64" g="64" b="64" alpha="0"/>
<layer val="0"/>
<labelOffset x="14" y="15"/>
<labelMode val="0"/>
<isShape val="false"/>
<auxiliary val="true"/>
<coords x="4.440892098500626e-16" y="2.5" z="1"/>
<pointSize val="3"/>
<pointStyle val="0"/>
</element>
<command name="Midpoint">
<input a0="t4"/>
<output a0="I"/>
</command>
<element type="point" label="I">
<show object="false" label="true"/>
<objColor r="64" g="64" b="64" alpha="0"/>
<layer val="0"/>
<labelMode val="0"/>
<isShape val="false"/>
<auxiliary val="true"/>
<coords x="3" y="1" z="1"/>
<pointSize val="3"/>
<pointStyle val="0"/>
</element>
<command name="Midpoint">
<input a0="q2"/>
<output a0="J"/>
</command>
<element type="point" label="J">
<show object="false" label="true"/>
<objColor r="64" g="64" b="64" alpha="0"/>
<layer val="0"/>
<labelMode val="0"/>
<isShape val="false"/>
<auxiliary val="true"/>
<coords x="2.5000000000000004" y="4.999999999999999" z="1"/>
<pointSize val="3"/>
<pointStyle val="0"/>
</element>
<command name="Midpoint">
<input a0="q3"/>
<output a0="K"/>
</command>
<element type="point" label="K">
<show object="false" label="true"/>
<objColor r="64" g="64" b="64" alpha="0"/>
<layer val="0"/>
<labelMode val="0"/>
<isShape val="false"/>
<auxiliary val="true"/>
<coords x="4" y="1.9999999999999998" z="1"/>
<pointSize val="3"/>
<pointStyle val="0"/>
</element>
<expression label="text4" exp=""a""/>
<element type="text" label="text4">
<show object="true" label="false"/>
<condition showObject="box ∧ (k ≠ 3)"/>
<objColor r="0" g="0" b="0" alpha="0"/>
<layer val="0"/>
<labelMode val="0"/>
<selectionAllowed val="false"/>
<startPoint exp="H"/>
<labelOffset x="-21" y="3"/>
</element>
<expression label="text5" exp=""b""/>
<element type="text" label="text5">
<show object="true" label="false"/>
<condition showObject="box ∧ (k ≠ 3) ∧ (b ≠ 0)"/>
<objColor r="0" g="0" b="0" alpha="0"/>
<layer val="0"/>
<labelMode val="0"/>
<selectionAllowed val="false"/>
<startPoint exp="I"/>
<labelOffset x="5" y="14"/>
</element>
<expression label="text6" exp=""a - b""/>
<element type="text" label="text6">
<show object="true" label="false"/>
<condition showObject="box ∧ (b ≠ 0)"/>
<objColor r="0" g="0" b="0" alpha="0"/>
<layer val="0"/>
<labelMode val="0"/>
<selectionAllowed val="false"/>
<startPoint exp="G"/>
<labelOffset x="-21" y="17"/>
</element>
<expression label="text7" exp=""a""/>
<element type="text" label="text7">
<show object="true" label="false"/>
<condition showObject="box ∧ (k ≠ 3)"/>
<objColor r="0" g="0" b="0" alpha="0"/>
<layer val="0"/>
<labelMode val="0"/>
<selectionAllowed val="false"/>
<startPoint exp="J"/>
<labelOffset x="9" y="-7"/>
</element>
<expression label="text8" exp=""b""/>
<element type="text" label="text8">
<show object="true" label="false"/>
<condition showObject="box ∧ (k ≠ 3) ∧ (b ≠ 0)"/>
<objColor r="0" g="0" b="0" alpha="0"/>
<layer val="0"/>
<labelMode val="0"/>
<selectionAllowed val="false"/>
<startPoint exp="K"/>
<labelOffset x="-19" y="-8"/>
</element>
<element type="boolean" label="box">
<value val="false"/>
<show object="true" label="true" ev="3"/>
<objColor r="0" g="0" b="0" alpha="0"/>
<layer val="0"/>
<labelOffset x="770" y="92"/>
<labelMode val="3"/>
<checkbox fixed="true"/>
<ggbscript onUpdate="ShowGrid[1,!box]"/>
<caption val="Algebraic form"/>
</element>
<element type="boolean" label="area1">
<value val="false"/>
<show object="true" label="true" ev="3"/>
<objColor r="0" g="0" b="0" alpha="0"/>
<layer val="0"/>
<labelOffset x="189" y="20"/>
<labelMode val="3"/>
<checkbox fixed="true"/>
<caption val="Area before"/>
</element>
<element type="boolean" label="area2">
<value val="false"/>
<show object="true" label="true" ev="3"/>
<objColor r="0" g="0" b="0" alpha="0"/>
<layer val="0"/>
<labelOffset x="189" y="92"/>
<labelMode val="3"/>
<checkbox fixed="true"/>
<caption val="Area after"/>
</element>
<expression label="text1" exp=""a^2-b^2""/>
<element type="text" label="text1">
<show object="true" label="false" ev="3"/>
<condition showObject="box ∧ area1"/>
<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.8888888888888888" size="18" style="0"/>
<absoluteScreenLocation x="343" y="17"/>
</element>
<expression label="text9" exp=""(a+b)(a-b)""/>
<element type="text" label="text9">
<show object="true" label="false" ev="3"/>
<condition showObject="box ∧ area2"/>
<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.8888888888888888" size="18" style="0"/>
<absoluteScreenLocation x="342" y="86"/>
</element>
<expression label="text10" exp=""a + b""/>
<element type="text" label="text10">
<show object="true" label="false"/>
<condition showObject="box ∧ k ≟ 3 ∧ (b ≠ 0)"/>
<objColor r="0" g="0" b="0" alpha="0"/>
<layer val="0"/>
<labelMode val="0"/>
<selectionAllowed val="false"/>
<startPoint exp="L"/>
<labelOffset x="-48" y="3"/>
</element>
<expression label="L" exp="(0, (a + b) / 2)" type="point" />
<element type="point" label="L">
<show object="false" label="true"/>
<objColor r="64" g="64" b="64" alpha="0"/>
<layer val="0"/>
<labelMode val="0"/>
<isShape val="false"/>
<auxiliary val="true"/>
<coords x="0" y="3.5" z="1"/>
<pointSize val="3"/>
<pointStyle val="0"/>
</element>
<expression label="text2" exp=""" + (LaTeX[a]) + "^2-" + (LaTeX[b]) + "^2=" + (LaTeX[a^(2) - b^(2)]) + """ />
<element type="text" label="text2">
<show object="true" label="false" ev="11"/>
<condition showObject="(¬box) ∧ area1"/>
<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.8888888888888888" size="18" style="0"/>
<absoluteScreenLocation x="343" y="16"/>
</element>
<expression label="text3" exp=""(" + (LaTeX[a]) + "+" + (LaTeX[b]) + ")(" + (LaTeX[a]) + "-" + (LaTeX[b]) + ")=" + (LaTeX[a^(2) - b^(2)]) + """ />
<element type="text" label="text3">
<show object="true" label="false" ev="11"/>
<condition showObject="(¬box) ∧ area2"/>
<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.8888888888888888" size="18" style="0"/>
<absoluteScreenLocation x="343" y="87"/>
</element>
<element type="button" label="button0">
<show object="true" label="true" ev="3"/>
<objColor r="0" g="0" b="0" alpha="0"/>
<layer val="0"/>
<labelOffset x="62" y="106"/>
<labelMode val="3"/>
<animation step="1" speed="1" type="0" playing="false"/>
<isShape val="false"/>
<auxiliary val="true"/>
<ggbscript val="SetValue[lang,If[lang==1,2,1]] RunClickScript[buttonLang] "/>
<font serif="false" sizeM="1.4" size="8" style="0"/>
<caption val="中文"/>
</element>
<command name="Segment">
<input a0="C" a1="F"/>
<output a0="dottedLine"/>
</command>
<element type="segment" label="dottedLine">
<show object="true" label="false"/>
<condition showObject="k ≟ 3"/>
<objColor r="0" g="0" b="255" alpha="0"/>
<layer val="0"/>
<labelMode val="0"/>
<selectionAllowed val="false"/>
<isShape val="false"/>
<coords x="3" y="2.9999999999999996" z="-15"/>
<lineStyle thickness="5" type="10" typeHidden="1"/>
<outlyingIntersections val="false"/>
<keepTypeOnTransform val="true"/>
</element>
<element type="button" label="buttonLang">
<show object="false" label="true" ev="3"/>
<objColor r="0" g="0" b="0" alpha="0"/>
<layer val="3"/>
<labelOffset x="450" y="92"/>
<labelMode val="0"/>
<fixed val="true"/>
<isShape val="false"/>
<auxiliary val="true"/>
<ggbscript val="SetCaption[button0,If[lang==1,"ENG","中文"]] SetCaption[area1,If[lang==1,"原面積","Area before"]] SetCaption[k,If[lang==1,"分割並重合","Cut and move"]] SetCaption[area2,If[lang==1,"新面積","Area after"]] SetCaption[box,If[lang==1,"代數形式","Algebraic form"]]"/>
<font serif="false" sizeM="2" size="20" style="0"/>
</element>
<element type="numeric" label="lang">
<value val="2"/>
<symbolic val="true" />
<show object="false" label="true"/>
<objColor r="0" g="0" b="0" alpha="0.1"/>
<layer val="3"/>
<labelMode val="1"/>
<animation step="1" speed="1" type="0" playing="false"/>
</element>
</construction>
</geogebra>