发现毕达哥拉斯定理（勾股定理）
2011-09-28 01:22
本GeoGebra范例通过计算方格纸上倾斜正方形的面积，直观地演示和发现毕达哥拉斯定理（勾股定理）。作者利用多边形、向量和几何变换等工具，构建了直角三角形及其边上的正方形，帮助学习者通过面积关系深入理解直角三角形三边之间的平方和关系，适合几何教学与探索。
<?xml version="1.0" encoding="utf-8"?>
<geogebra format="4.2" version="4.2.47.0" id="feed5552-84d5-4988-993d-3711bb6ae659" xsi:noNamespaceSchemaLocation="http://www.geogebra.org/ggb.xsd" xmlns="" xmlns:xsi="http://www.w3.org/2001/XMLSchema-instance" >
<gui>
<window width="605" height="592" />
<perspectives>
<perspective id="tmp">
<panes>
<pane location="" divider="0.39834710743801655" orientation="1" />
</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="2,2" size="200" window="0,0,400,400" />
<view id="1" visible="true" inframe="false" stylebar="true" location="1" size="597" window="0,0,400,400" />
<view id="2" visible="false" inframe="false" stylebar="false" location="3" size="241" window="0,0,200,400" />
<view id="8" visible="false" inframe="false" stylebar="false" location="1" size="150" window="50,50,500,500" />
<view id="16" visible="false" inframe="true" stylebar="false" location="1" size="150" window="50,50,500,500" />
<view id="32" visible="false" inframe="true" stylebar="true" location="1" size="150" window="50,50,500,500" />
<view id="64" visible="false" inframe="true" stylebar="false" location="1" size="150" window="50,50,500,500" />
<view id="4097" visible="false" inframe="true" stylebar="true" location="1" size="150" window="390,277,500,500" />
<view id="70" visible="false" inframe="true" stylebar="true" location="1" size="150" window="50,50,500,500" />
</views>
<toolbar show="true" items="0 || 40 | 41 | 42" position="1" help="true" />
<input show="true" cmd="true" top="false" />
<dockBar show="false" east="false" />
</perspective>
</perspectives>
<labelingStyle val="3"/>
<font size="18"/>
<graphicsSettings javaLatexFonts="false"/>
</gui>
<euclidianView>
<size width="597" height="409"/>
<coordSystem xZero="150.4093854370444" yZero="216.58995414939716" scale="37.62977255651944" yscale="37.62977255651943"/>
<evSettings axes="false" grid="false" gridIsBold="false" pointCapturing="1" rightAngleStyle="1" checkboxSize="13" gridType="0"/>
<bgColor r="255" g="255" b="255"/>
<axesColor r="64" g="64" b="64"/>
<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"/>
<grid distX="1.0" distY="1.0" distTheta="0.5235987755982988"/>
</euclidianView>
<kernel>
<continuous val="false"/>
<usePathAndRegionParameters val="true"/>
<decimals val="2"/>
<angleUnit val="degree"/>
<algebraStyle val="0"/>
<coordStyle val="0"/>
<angleFromInvTrig val="false"/>
</kernel>
<scripting blocked="false" disabled="false"/>
<construction title="" author="" date="">
<element type="vector" label="z'">
<show object="false" label="false"/>
<objColor r="0" g="0" b="0" alpha="0.0"/>
<layer val="0"/>
<labelMode val="0"/>
<animation step="1" speed="1" type="0" playing="false"/>
<coords x="0.0" y="-100.0" z="0.0"/>
<lineStyle thickness="2" type="0" typeHidden="1"/>
<coordStyle style="cartesian"/>
</element>
<element type="numeric" label="space">
<value val="2.0"/>
<show object="false" label="false"/>
<objColor r="0" g="0" b="0" alpha="0.1"/>
<layer val="0"/>
<labelMode val="1"/>
<animation step="1" speed="1" type="0" playing="false"/>
</element>
<command name="Sequence">
<input a0="(i, 0)" a1="i" a2="0" a3="20"/>
<output a0="L0"/>
</command>
<element type="list" label="L0">
<show object="false" label="false"/>
<objColor r="0" g="100" b="0" alpha="0.0"/>
<layer val="0"/>
<labelMode val="0"/>
<lineStyle thickness="2" type="0" typeHidden="1"/>
<pointSize val="3"/>
<pointStyle val="-1"/>
</element>
<command name="Sequence">
<input a0="(i, 1)" a1="i" a2="0" a3="20"/>
<output a0="L1"/>
</command>
<element type="list" label="L1">
<show object="false" label="false"/>
<objColor r="0" g="100" b="0" alpha="0.0"/>
<layer val="0"/>
<labelMode val="0"/>
<lineStyle thickness="2" type="0" typeHidden="1"/>
<pointSize val="3"/>
<pointStyle val="-1"/>
</element>
<command name="Sequence">
<input a0="(i, 2)" a1="i" a2="0" a3="20"/>
<output a0="L2"/>
</command>
<element type="list" label="L2">
<show object="false" label="false"/>
<objColor r="0" g="100" b="0" alpha="0.0"/>
<layer val="0"/>
<labelMode val="0"/>
<lineStyle thickness="2" type="0" typeHidden="1"/>
<pointSize val="3"/>
<pointStyle val="-1"/>
</element>
<command name="Sequence">
<input a0="(i, 3)" a1="i" a2="0" a3="20"/>
<output a0="L3"/>
</command>
<element type="list" label="L3">
<show object="false" label="false"/>
<objColor r="0" g="100" b="0" alpha="0.0"/>
<layer val="0"/>
<labelMode val="0"/>
<lineStyle thickness="2" type="0" typeHidden="1"/>
<pointSize val="3"/>
<pointStyle val="-1"/>
</element>
<command name="Sequence">
<input a0="(i, 4)" a1="i" a2="0" a3="20"/>
<output a0="L4"/>
</command>
<element type="list" label="L4">
<show object="false" label="false"/>
<objColor r="0" g="100" b="0" alpha="0.0"/>
<layer val="0"/>
<labelMode val="0"/>
<lineStyle thickness="2" type="0" typeHidden="1"/>
<pointSize val="3"/>
<pointStyle val="-1"/>
</element>
<command name="Sequence">
<input a0="(i, 5)" a1="i" a2="0" a3="20"/>
<output a0="L5"/>
</command>
<element type="list" label="L5">
<show object="false" label="false"/>
<objColor r="0" g="100" b="0" alpha="0.0"/>
<layer val="0"/>
<labelMode val="0"/>
<lineStyle thickness="2" type="0" typeHidden="1"/>
<pointSize val="3"/>
<pointStyle val="-1"/>
</element>
<command name="Sequence">
<input a0="(i, 6)" a1="i" a2="0" a3="20"/>
<output a0="L6"/>
</command>
<element type="list" label="L6">
<show object="false" label="false"/>
<objColor r="0" g="100" b="0" alpha="0.0"/>
<layer val="0"/>
<labelMode val="0"/>
<lineStyle thickness="2" type="0" typeHidden="1"/>
<pointSize val="3"/>
<pointStyle val="-1"/>
</element>
<command name="Sequence">
<input a0="(i, 7)" a1="i" a2="0" a3="20"/>
<output a0="L7"/>
</command>
<element type="list" label="L7">
<show object="false" label="false"/>
<objColor r="0" g="100" b="0" alpha="0.0"/>
<layer val="0"/>
<labelMode val="0"/>
<lineStyle thickness="2" type="0" typeHidden="1"/>
<pointSize val="3"/>
<pointStyle val="-1"/>
</element>
<command name="Sequence">
<input a0="(i, 8)" a1="i" a2="0" a3="20"/>
<output a0="L8"/>
</command>
<element type="list" label="L8">
<show object="false" label="false"/>
<objColor r="0" g="100" b="0" alpha="0.0"/>
<layer val="0"/>
<labelMode val="0"/>
<lineStyle thickness="2" type="0" typeHidden="1"/>
<pointSize val="3"/>
<pointStyle val="-1"/>
</element>
<command name="Sequence">
<input a0="(i, 9)" a1="i" a2="0" a3="20"/>
<output a0="L9"/>
</command>
<element type="list" label="L9">
<show object="false" label="false"/>
<objColor r="0" g="100" b="0" alpha="0.0"/>
<layer val="0"/>
<labelMode val="0"/>
<lineStyle thickness="2" type="0" typeHidden="1"/>
<pointSize val="3"/>
<pointStyle val="-1"/>
</element>
<command name="Sequence">
<input a0="(i, 10)" a1="i" a2="0" a3="20"/>
<output a0="L10"/>
</command>
<element type="list" label="L10">
<show object="false" label="false"/>
<objColor r="0" g="100" b="0" alpha="0.0"/>
<layer val="0"/>
<labelMode val="0"/>
<lineStyle thickness="2" type="0" typeHidden="1"/>
<pointSize val="3"/>
<pointStyle val="-1"/>
</element>
<command name="Sequence">
<input a0="(i, 11)" a1="i" a2="0" a3="20"/>
<output a0="L11"/>
</command>
<element type="list" label="L11">
<show object="false" label="false"/>
<objColor r="0" g="100" b="0" alpha="0.0"/>
<layer val="0"/>
<labelMode val="0"/>
<lineStyle thickness="2" type="0" typeHidden="1"/>
<pointSize val="3"/>
<pointStyle val="-1"/>
</element>
<command name="Sequence">
<input a0="(i, 12)" a1="i" a2="0" a3="20"/>
<output a0="L12"/>
</command>
<element type="list" label="L12">
<show object="false" label="false"/>
<objColor r="0" g="100" b="0" alpha="0.0"/>
<layer val="0"/>
<labelMode val="0"/>
<lineStyle thickness="2" type="0" typeHidden="1"/>
<pointSize val="3"/>
<pointStyle val="-1"/>
</element>
<command name="Sequence">
<input a0="(i, 13)" a1="i" a2="0" a3="20"/>
<output a0="L13"/>
</command>
<element type="list" label="L13">
<show object="false" label="false"/>
<objColor r="0" g="100" b="0" alpha="0.0"/>
<layer val="0"/>
<labelMode val="0"/>
<lineStyle thickness="2" type="0" typeHidden="1"/>
<pointSize val="3"/>
<pointStyle val="-1"/>
</element>
<command name="Sequence">
<input a0="(i, 14)" a1="i" a2="0" a3="20"/>
<output a0="L14"/>
</command>
<element type="list" label="L14">
<show object="false" label="false"/>
<objColor r="0" g="100" b="0" alpha="0.0"/>
<layer val="0"/>
<labelMode val="0"/>
<lineStyle thickness="2" type="0" typeHidden="1"/>
<pointSize val="3"/>
<pointStyle val="-1"/>
</element>
<command name="Sequence">
<input a0="(i, 15)" a1="i" a2="0" a3="20"/>
<output a0="L15"/>
</command>
<element type="list" label="L15">
<show object="false" label="false"/>
<objColor r="0" g="100" b="0" alpha="0.0"/>
<layer val="0"/>
<labelMode val="0"/>
<lineStyle thickness="2" type="0" typeHidden="1"/>
<pointSize val="3"/>
<pointStyle val="-1"/>
</element>
<command name="Sequence">
<input a0="(i, 16)" a1="i" a2="0" a3="20"/>
<output a0="L16"/>
</command>
<element type="list" label="L16">
<show object="false" label="false"/>
<objColor r="0" g="100" b="0" alpha="0.0"/>
<layer val="0"/>
<labelMode val="0"/>
<lineStyle thickness="2" type="0" typeHidden="1"/>
<pointSize val="3"/>
<pointStyle val="-1"/>
</element>
<command name="Sequence">
<input a0="(i, 17)" a1="i" a2="0" a3="20"/>
<output a0="L17"/>
</command>
<element type="list" label="L17">
<show object="false" label="false"/>
<objColor r="0" g="100" b="0" alpha="0.0"/>
<layer val="0"/>
<labelMode val="0"/>
<lineStyle thickness="2" type="0" typeHidden="1"/>
<pointSize val="3"/>
<pointStyle val="-1"/>
</element>
<command name="Sequence">
<input a0="(i, 18)" a1="i" a2="0" a3="20"/>
<output a0="L18"/>
</command>
<element type="list" label="L18">
<show object="false" label="false"/>
<objColor r="0" g="100" b="0" alpha="0.0"/>
<layer val="0"/>
<labelMode val="0"/>
<lineStyle thickness="2" type="0" typeHidden="1"/>
<pointSize val="3"/>
<pointStyle val="-1"/>
</element>
<command name="Sequence">
<input a0="(i, 19)" a1="i" a2="0" a3="20"/>
<output a0="L19"/>
</command>
<element type="list" label="L19">
<show object="false" label="false"/>
<objColor r="0" g="100" b="0" alpha="0.0"/>
<layer val="0"/>
<labelMode val="0"/>
<lineStyle thickness="2" type="0" typeHidden="1"/>
<pointSize val="3"/>
<pointStyle val="-1"/>
</element>
<command name="Sequence">
<input a0="(i, 20)" a1="i" a2="0" a3="20"/>
<output a0="L20"/>
</command>
<element type="list" label="L20">
<show object="false" label="false"/>
<objColor r="0" g="100" b="0" alpha="0.0"/>
<layer val="0"/>
<labelMode val="0"/>
<lineStyle thickness="2" type="0" typeHidden="1"/>
<pointSize val="3"/>
<pointStyle val="-1"/>
</element>
<command name="Union">
<input a0="L1" a1="Union[L2, Union[L3, Union[L4, Union[L5, Union[L6, Union[L7, Union[L8, Union[L9, Union[L10, Union[L11, Union[L12, Union[L13, Union[L14, Union[L15, Union[L16, Union[L17, Union[L18, Union[L19, Union[L20, L0]]]]]]]]]]]]]]]]]]]"/>
<output a0="L'"/>
</command>
<element type="list" label="L'">
<show object="false" label="false"/>
<objColor r="0" g="100" b="0" alpha="0.0"/>
<layer val="0"/>
<labelMode val="0"/>
<lineStyle thickness="2" type="0" typeHidden="1"/>
<pointSize val="3"/>
<pointStyle val="-1"/>
</element>
<command name="Point">
<input a0="L'"/>
<output a0="B'"/>
</command>
<element type="point" label="B'">
<show object="true" label="false"/>
<objColor r="255" g="0" b="0" alpha="0.0"/>
<layer val="1"/>
<labelMode val="0"/>
<animation step="1" speed="1" type="1" playing="false"/>
<coords x="3.0" y="2.0" z="1.0"/>
<pointSize val="5"/>
<pointStyle val="0"/>
</element>
<command name="Point">
<input a0="L'"/>
<output a0="A'"/>
</command>
<element type="point" label="A'">
<show object="true" label="false"/>
<objColor r="255" g="0" b="0" alpha="0.0"/>
<layer val="1"/>
<labelMode val="0"/>
<animation step="1" speed="1" type="1" playing="false"/>
<coords x="0.0" y="0.0" z="1.0"/>
<pointSize val="5"/>
<pointStyle val="0"/>
</element>
<expression label="a'" exp="x(B') - x(A')" />
<element type="numeric" label="a'">
<value val="3.0"/>
<objColor r="0" g="0" b="0" alpha="0.1"/>
</element>
<expression label="a" exp="abs(a')" />
<element type="numeric" label="a">
<value val="3.0"/>
<objColor r="0" g="0" b="0" alpha="0.1"/>
</element>
<expression label="b'" exp="y(B') - y(A')" />
<element type="numeric" label="b'">
<value val="2.0"/>
<objColor r="0" g="0" b="0" alpha="0.1"/>
</element>
<expression label="b" exp="abs(b')" />
<element type="numeric" label="b">
<value val="2.0"/>
<objColor r="0" g="0" b="0" alpha="0.1"/>
</element>
<command name="If">
<input a0="a' * b' ≥ 0" a1="a" a2="b"/>
<output a0="x1"/>
</command>
<element type="numeric" label="x1">
<value val="3.0"/>
<objColor r="0" g="0" b="0" alpha="0.1"/>
</element>
<command name="If">
<input a0="a' * b' ≥ 0" a1="b" a2="a"/>
<output a0="y1"/>
</command>
<element type="numeric" label="y1">
<value val="2.0"/>
<objColor r="0" g="0" b="0" alpha="0.1"/>
</element>
<expression label="A_1" exp="(x(A') + a + b + space, y(A'))" type="point" />
<element type="point" label="A_1">
<show object="false" label="true"/>
<objColor r="64" g="64" b="64" alpha="0.0"/>
<layer val="0"/>
<labelMode val="0"/>
<coords x="7.0" y="0.0" z="1.0"/>
<pointSize val="3"/>
<pointStyle val="0"/>
</element>
<expression label="A" exp="A_1" type="point" />
<element type="point" label="A">
<show object="false" label="false"/>
<objColor r="255" g="0" b="0" alpha="0.0"/>
<layer val="0"/>
<labelMode val="0"/>
<coords x="7.0" y="0.0" z="1.0"/>
<pointSize val="5"/>
<pointStyle val="0"/>
</element>
<expression label="B_1" exp="(x(B') + a + b + space, y(B'))" type="point" />
<element type="point" label="B_1">
<show object="false" label="true"/>
<objColor r="64" g="64" b="64" alpha="0.0"/>
<layer val="0"/>
<labelMode val="0"/>
<coords x="10.0" y="2.0" z="1.0"/>
<pointSize val="3"/>
<pointStyle val="0"/>
</element>
<expression label="B" exp="B_1" type="point" />
<element type="point" label="B">
<show object="false" label="false"/>
<objColor r="255" g="0" b="0" alpha="0.0"/>
<layer val="0"/>
<labelMode val="0"/>
<coords x="10.0" y="2.0" z="1.0"/>
<pointSize val="5"/>
<pointStyle val="0"/>
</element>
<command name="Translate">
<input a0="Midpoint[A, B]" a1="Vector[(0, 0), (0, 1)]"/>
<output a0="J"/>
</command>
<element type="point" label="J">
<show object="false" label="true"/>
<objColor r="64" g="64" b="64" alpha="0.0"/>
<layer val="0"/>
<labelMode val="0"/>
<coords x="8.5" y="2.0" z="1.0"/>
<pointSize val="3"/>
<pointStyle val="0"/>
</element>
<command name="OrthogonalLine">
<input a0="J" a1="yAxis"/>
<output a0="c"/>
</command>
<element type="line" label="c">
<show object="false" label="false"/>
<objColor r="0" g="0" b="0" alpha="0.0"/>
<layer val="0"/>
<labelMode val="0"/>
<coords x="0.0" y="-1.0" z="2.0"/>
<lineStyle thickness="2" type="0" typeHidden="1"/>
<eqnStyle style="implicit"/>
</element>
<command name="Segment">
<input a0="B" a1="A"/>
<output a0="d"/>
</command>
<element type="segment" label="d">
<show object="false" label="false"/>
<objColor r="0" g="0" b="0" alpha="0.0"/>
<layer val="0"/>
<labelMode val="0"/>
<coords x="2.0" y="-3.0" z="-14.0"/>
<lineStyle thickness="2" type="0" typeHidden="1"/>
<eqnStyle style="implicit"/>
<outlyingIntersections val="false"/>
<keepTypeOnTransform val="true"/>
</element>
<command name="Midpoint">
<input a0="A" a1="B"/>
<output a0="I"/>
</command>
<element type="point" label="I">
<show object="false" label="true"/>
<objColor r="64" g="64" b="64" alpha="0.0"/>
<layer val="0"/>
<labelMode val="0"/>
<coords x="8.5" y="1.0" z="1.0"/>
<pointSize val="3"/>
<pointStyle val="0"/>
</element>
<command name="OrthogonalLine">
<input a0="I" a1="d"/>
<output a0="e"/>
</command>
<element type="line" label="e">
<show object="false" label="false"/>
<objColor r="0" g="0" b="0" alpha="0.0"/>
<layer val="0"/>
<labelMode val="0"/>
<coords x="3.0" y="2.0" z="-27.5"/>
<lineStyle thickness="2" type="0" typeHidden="1"/>
<eqnStyle style="implicit"/>
</element>
<command name="Intersect">
<input a0="c" a1="e"/>
<output a0="K"/>
</command>
<element type="point" label="K">
<show object="false" label="true"/>
<objColor r="64" g="64" b="64" alpha="0.0"/>
<layer val="0"/>
<labelMode val="0"/>
<coords x="23.5" y="6.0" z="3.0"/>
<pointSize val="3"/>
<pointStyle val="0"/>
</element>
<command name="Ray">
<input a0="I" a1="K"/>
<output a0="f"/>
</command>
<element type="ray" label="f">
<show object="false" label="false"/>
<objColor r="0" g="0" b="0" alpha="0.0"/>
<layer val="0"/>
<labelMode val="0"/>
<coords x="-1.0" y="-0.666666666666667" z="9.166666666666668"/>
<lineStyle thickness="2" type="0" typeHidden="1"/>
<eqnStyle style="implicit"/>
<outlyingIntersections val="false"/>
<keepTypeOnTransform val="true"/>
</element>
<command name="Circle">
<input a0="I" a1="A"/>
<output a0="g"/>
</command>
<element type="conic" label="g">
<show object="false" label="false"/>
<objColor r="0" g="0" b="0" alpha="0.0"/>
<layer val="0"/>
<labelMode val="0"/>
<lineStyle thickness="2" type="0" typeHidden="1"/>
<eigenvectors x0="1.0" y0="0.0" z0="1.0" x1="-0.0" y1="1.0" z1="1.0"/>
<matrix A0="1.0" A1="1.0" A2="70.0" A3="0.0" A4="-8.5" A5="-1.0"/>
<eqnStyle style="specific"/>
</element>
<command name="Intersect">
<input a0="g" a1="f" a2="1"/>
<output a0="O"/>
</command>
<element type="point" label="O">
<show object="false" label="true"/>
<objColor r="64" g="64" b="64" alpha="0.0"/>
<layer val="0"/>
<labelOffset x="-12" y="-4"/>
<labelMode val="0"/>
<coords x="7.500000000000002" y="2.499999999999998" z="1.0"/>
<pointSize val="3"/>
<pointStyle val="0"/>
</element>
<expression label="E" exp="(x(O) + (a + b) / 2, y(O) - (a + b) / 2)" type="point" />
<element type="point" label="E">
<show object="false" label="true"/>
<objColor r="64" g="64" b="64" alpha="0.0"/>
<layer val="0"/>
<labelMode val="0"/>
<coords x="10.000000000000002" y="-2.220446049250313E-15" z="1.0"/>
<pointSize val="3"/>
<pointStyle val="0"/>
</element>
<command name="PointIn">
<input a0="Polygon[E, (x(E), y(E) + x1), (x(E) - y1, y(E) + x1), (x(E) - y1, y(E))]"/>
<output a0="P"/>
</command>
<element type="point" label="P">
<show object="true" label="false"/>
<condition showObject="提示 ∨ o"/>
<objColor r="0" g="255" b="0" alpha="0.0"/>
<layer val="2"/>
<labelMode val="0"/>
<animation step="1" speed="1" type="0" playing="false"/>
<coords x="10.000000000000002" y="-2.220446049250313E-15" z="1.0"/>
<pointSize val="5"/>
<pointStyle val="0"/>
</element>
<command name="Polygon">
<input a0="P" a1="(x(P), y(P) + y1)" a2="(x(P) - x1, y(P))"/>
<output a0="poly2" a1="j" a2="p" a3="k"/>
</command>
<element type="polygon" label="poly2">
<lineStyle thickness="2" type="0" typeHidden="1"/>
<show object="true" label="false"/>
<condition showObject="提示 ∨ o"/>
<objColor r="204" g="204" b="204" alpha="1.0"/>
<layer val="2"/>
<labelMode val="0"/>
</element>
<element type="segment" label="j">
<show object="true" label="false"/>
<condition showObject="提示 ∨ o"/>
<objColor r="0" g="0" b="0" alpha="0.0"/>
<layer val="2"/>
<labelMode val="0"/>
<coords x="-2.0" y="0.0" z="20.000000000000004"/>
<lineStyle thickness="5" type="0" typeHidden="1"/>
<eqnStyle style="implicit"/>
<outlyingIntersections val="false"/>
<keepTypeOnTransform val="true"/>
</element>
<element type="segment" label="p">
<show object="true" label="false"/>
<condition showObject="提示 ∨ o"/>
<objColor r="0" g="0" b="0" alpha="0.0"/>
<layer val="2"/>
<labelMode val="0"/>
<coords x="2.0" y="-3.0" z="-14.00000000000001"/>
<lineStyle thickness="5" type="0" typeHidden="1"/>
<eqnStyle style="implicit"/>
<outlyingIntersections val="false"/>
<keepTypeOnTransform val="true"/>
</element>
<element type="segment" label="k">
<show object="true" label="false"/>
<condition showObject="提示 ∨ o"/>
<objColor r="0" g="0" b="0" alpha="0.0"/>
<layer val="2"/>
<labelMode val="0"/>
<coords x="0.0" y="3.0" z="6.661338147750939E-15"/>
<lineStyle thickness="5" type="0" typeHidden="1"/>
<eqnStyle style="implicit"/>
<outlyingIntersections val="false"/>
<keepTypeOnTransform val="true"/>
</element>
<command name="Translate">
<input a0="poly2" a1="z'"/>
<output a0="poly2_1"/>
</command>
<element type="polygon" label="poly2_1">
<lineStyle thickness="2" type="0" typeHidden="1"/>
<show object="true" label="true"/>
<objColor r="204" g="204" b="204" alpha="1.0"/>
<layer val="0"/>
<labelOffset x="41" y="1"/>
<labelMode val="0"/>
</element>
<expression label="F" exp="(x(E), y(E) + a + b)" type="point" />
<element type="point" label="F">
<show object="false" label="true"/>
<objColor r="64" g="64" b="64" alpha="0.0"/>
<layer val="0"/>
<labelMode val="0"/>
<coords x="10.000000000000002" y="4.999999999999998" z="1.0"/>
<pointSize val="3"/>
<pointStyle val="0"/>
</element>
<command name="PointIn">
<input a0="Polygon[F, (x(F) - x1, y(F)), (x(F) - x1, y(F) - y1), (x(F), y(F) - y1)]"/>
<output a0="Q"/>
</command>
<element type="point" label="Q">
<show object="true" label="false"/>
<condition showObject="提示 ∨ o"/>
<objColor r="0" g="255" b="0" alpha="0.0"/>
<layer val="2"/>
<labelMode val="0"/>
<animation step="1" speed="1" type="0" playing="false"/>
<coords x="10.000000000000002" y="4.999999999999998" z="1.0"/>
<pointSize val="5"/>
<pointStyle val="0"/>
</element>
<command name="Polygon">
<input a0="Q" a1="(x(Q) - y1, y(Q))" a2="(x(Q), y(Q) - x1)"/>
<output a0="poly1" a1="h" a2="q" a3="i"/>
</command>
<element type="polygon" label="poly1">
<lineStyle thickness="2" type="0" typeHidden="1"/>
<show object="true" label="false"/>
<condition showObject="提示 ∨ o"/>
<objColor r="204" g="204" b="204" alpha="1.0"/>
<layer val="2"/>
<labelMode val="0"/>
</element>
<element type="segment" label="h">
<show object="true" label="false"/>
<condition showObject="提示 ∨ o"/>
<objColor r="0" g="0" b="0" alpha="0.0"/>
<layer val="2"/>
<labelMode val="0"/>
<coords x="0.0" y="-2.0" z="10.0"/>
<lineStyle thickness="5" type="0" typeHidden="1"/>
<eqnStyle style="implicit"/>
<outlyingIntersections val="false"/>
<keepTypeOnTransform val="true"/>
</element>
<element type="segment" label="q">
<show object="true" label="false"/>
<condition showObject="提示 ∨ o"/>
<objColor r="0" g="0" b="0" alpha="0.0"/>
<layer val="2"/>
<labelMode val="0"/>
<coords x="3.0" y="2.0" z="-34.0"/>
<lineStyle thickness="5" type="0" typeHidden="1"/>
<eqnStyle style="implicit"/>
<outlyingIntersections val="false"/>
<keepTypeOnTransform val="true"/>
</element>
<element type="segment" label="i">
<show object="true" label="false"/>
<condition showObject="提示 ∨ o"/>
<objColor r="0" g="0" b="0" alpha="0.0"/>
<layer val="2"/>
<labelMode val="0"/>
<coords x="-3.0" y="0.0" z="30.000000000000007"/>
<lineStyle thickness="5" type="0" typeHidden="1"/>
<eqnStyle style="implicit"/>
<outlyingIntersections val="false"/>
<keepTypeOnTransform val="true"/>
</element>
<command name="Translate">
<input a0="poly1" a1="z'"/>
<output a0="poly1_1"/>
</command>
<element type="polygon" label="poly1_1">
<lineStyle thickness="2" type="0" typeHidden="1"/>
<show object="true" label="true"/>
<objColor r="204" g="204" b="204" alpha="1.0"/>
<layer val="0"/>
<labelOffset x="30" y="20"/>
<labelMode val="0"/>
</element>
<command name="Defined">
<input a0="IntersectRegion[poly1_1, poly2_1]"/>
<output a0="overlapPQ"/>
</command>
<element type="boolean" label="overlapPQ">
<value val="false"/>
<show object="false" label="false"/>
<objColor r="0" g="0" b="0" alpha="0.0"/>
<layer val="0"/>
<labelMode val="0"/>
</element>
<expression label="G" exp="(x(F) - a - b, y(F))" type="point" />
<element type="point" label="G">
<show object="false" label="true"/>
<objColor r="64" g="64" b="64" alpha="0.0"/>
<layer val="0"/>
<labelMode val="0"/>
<coords x="5.000000000000002" y="4.999999999999998" z="1.0"/>
<pointSize val="3"/>
<pointStyle val="0"/>
</element>
<command name="PointIn">
<input a0="Polygon[G, (x(G), y(G) - x1), (x(G) + y1, y(G) - x1), (x(G) + y1, y(G))]"/>
<output a0="R"/>
</command>
<element type="point" label="R">
<show object="true" label="false"/>
<condition showObject="提示 ∨ o"/>
<objColor r="0" g="255" b="0" alpha="0.0"/>
<layer val="2"/>
<labelMode val="0"/>
<animation step="1" speed="1" type="0" playing="false"/>
<coords x="5.000000000000002" y="4.999999999999998" z="1.0"/>
<pointSize val="5"/>
<pointStyle val="0"/>
</element>
<command name="Polygon">
<input a0="R" a1="(x(R), y(R) - y1)" a2="(x(R) + x1, y(R))"/>
<output a0="poly3" a1="l" a2="r_1" a3="m"/>
</command>
<element type="polygon" label="poly3">
<lineStyle thickness="2" type="0" typeHidden="1"/>
<show object="true" label="false"/>
<condition showObject="提示 ∨ o"/>
<objColor r="204" g="204" b="204" alpha="1.0"/>
<layer val="2"/>
<labelMode val="0"/>
</element>
<element type="segment" label="l">
<show object="true" label="false"/>
<condition showObject="提示 ∨ o"/>
<objColor r="0" g="0" b="0" alpha="0.0"/>
<layer val="2"/>
<labelMode val="0"/>
<coords x="2.0" y="0.0" z="-10.000000000000004"/>
<lineStyle thickness="5" type="0" typeHidden="1"/>
<eqnStyle style="implicit"/>
<outlyingIntersections val="false"/>
<keepTypeOnTransform val="true"/>
</element>
<element type="segment" label="r_1">
<show object="true" label="false"/>
<condition showObject="提示 ∨ o"/>
<objColor r="0" g="0" b="0" alpha="0.0"/>
<layer val="2"/>
<labelMode val="0"/>
<coords x="-2.0" y="3.0" z="1.0000000000000107"/>
<lineStyle thickness="5" type="0" typeHidden="1"/>
<eqnStyle style="implicit"/>
<outlyingIntersections val="false"/>
<keepTypeOnTransform val="true"/>
</element>
<element type="segment" label="m">
<show object="true" label="false"/>
<condition showObject="提示 ∨ o"/>
<objColor r="0" g="0" b="0" alpha="0.0"/>
<layer val="2"/>
<labelMode val="0"/>
<coords x="0.0" y="-3.0" z="14.999999999999993"/>
<lineStyle thickness="5" type="0" typeHidden="1"/>
<eqnStyle style="implicit"/>
<outlyingIntersections val="false"/>
<keepTypeOnTransform val="true"/>
</element>
<command name="Translate">
<input a0="poly3" a1="z'"/>
<output a0="poly3_1"/>
</command>
<element type="polygon" label="poly3_1">
<lineStyle thickness="2" type="0" typeHidden="1"/>
<show object="true" label="true"/>
<objColor r="204" g="204" b="204" alpha="1.0"/>
<layer val="0"/>
<labelOffset x="-6" y="-39"/>
<labelMode val="0"/>
</element>
<command name="Defined">
<input a0="IntersectRegion[poly3_1, poly1_1]"/>
<output a0="overlapQR"/>
</command>
<element type="boolean" label="overlapQR">
<value val="false"/>
<show object="false" label="false"/>
<objColor r="0" g="0" b="0" alpha="0.0"/>
<layer val="0"/>
<labelMode val="0"/>
</element>
<command name="Defined">
<input a0="IntersectRegion[poly3_1, poly2_1]"/>
<output a0="overlapPR"/>
</command>
<element type="boolean" label="overlapPR">
<value val="false"/>
<show object="false" label="true"/>
<objColor r="0" g="0" b="0" alpha="0.0"/>
<layer val="0"/>
<labelMode val="0"/>
</element>
<expression label="H" exp="(x(G), y(G) - a - b)" type="point" />
<element type="point" label="H">
<show object="false" label="true"/>
<objColor r="64" g="64" b="64" alpha="0.0"/>
<layer val="0"/>
<labelMode val="0"/>
<coords x="5.000000000000002" y="-1.7763568394002505E-15" z="1.0"/>
<pointSize val="3"/>
<pointStyle val="0"/>
</element>
<command name="PointIn">
<input a0="Polygon[H, (x(H) + x1, y(H)), (x(H) + x1, y(H) + y1), (x(H), y(H) + y1)]"/>
<output a0="S"/>
</command>
<element type="point" label="S">
<show object="true" label="false"/>
<condition showObject="提示 ∨ o"/>
<objColor r="0" g="255" b="0" alpha="0.0"/>
<layer val="2"/>
<labelOffset x="-21" y="30"/>
<labelMode val="0"/>
<animation step="1" speed="1" type="0" playing="false"/>
<coords x="5.000000000000002" y="-1.7763568394002505E-15" z="1.0"/>
<pointSize val="5"/>
<pointStyle val="0"/>
</element>
<command name="Polygon">
<input a0="S" a1="(x(S) + y1, y(S))" a2="(x(S), y(S) + x1)"/>
<output a0="poly4" a1="n" a2="s" a3="r"/>
</command>
<element type="polygon" label="poly4">
<lineStyle thickness="2" type="0" typeHidden="1"/>
<show object="true" label="false"/>
<condition showObject="提示 ∨ o"/>
<objColor r="204" g="204" b="204" alpha="1.0"/>
<layer val="2"/>
<labelMode val="0"/>
</element>
<element type="segment" label="n">
<show object="true" label="false"/>
<condition showObject="提示 ∨ o"/>
<objColor r="0" g="0" b="0" alpha="0.0"/>
<layer val="2"/>
<labelMode val="0"/>
<coords x="0.0" y="2.0" z="3.552713678800501E-15"/>
<lineStyle thickness="5" type="0" typeHidden="1"/>
<eqnStyle style="implicit"/>
<outlyingIntersections val="false"/>
<keepTypeOnTransform val="true"/>
</element>
<element type="segment" label="s">
<show object="true" label="false"/>
<condition showObject="提示 ∨ o"/>
<objColor r="0" g="0" b="0" alpha="0.0"/>
<layer val="2"/>
<labelMode val="0"/>
<coords x="-3.0" y="-2.0" z="21.000000000000004"/>
<lineStyle thickness="5" type="0" typeHidden="1"/>
<eqnStyle style="implicit"/>
<outlyingIntersections val="false"/>
<keepTypeOnTransform val="true"/>
</element>
<element type="segment" label="r">
<show object="true" label="false"/>
<condition showObject="提示 ∨ o"/>
<objColor r="0" g="0" b="0" alpha="0.0"/>
<layer val="2"/>
<labelMode val="0"/>
<coords x="3.0" y="0.0" z="-15.000000000000005"/>
<lineStyle thickness="5" type="0" typeHidden="1"/>
<eqnStyle style="implicit"/>
<outlyingIntersections val="false"/>
<keepTypeOnTransform val="true"/>
</element>
<command name="Translate">
<input a0="poly4" a1="z'"/>
<output a0="poly4_1"/>
</command>
<element type="polygon" label="poly4_1">
<lineStyle thickness="2" type="0" typeHidden="1"/>
<show object="true" label="true"/>
<objColor r="204" g="204" b="204" alpha="1.0"/>
<layer val="0"/>
<labelOffset x="-77" y="23"/>
<labelMode val="0"/>
</element>
<command name="Defined">
<input a0="IntersectRegion[poly4_1, poly3_1]"/>
<output a0="overlapRS"/>
</command>
<element type="boolean" label="overlapRS">
<value val="false"/>
<show object="false" label="false"/>
<objColor r="0" g="0" b="0" alpha="0.0"/>
<layer val="0"/>
<labelMode val="0"/>
</element>
<command name="Defined">
<input a0="IntersectRegion[poly4_1, poly1_1]"/>
<output a0="overlapQS"/>
</command>
<element type="boolean" label="overlapQS">
<value val="false"/>
<show object="false" label="false"/>
<objColor r="0" g="0" b="0" alpha="0.0"/>
<layer val="0"/>
<labelMode val="0"/>
</element>
<command name="Defined">
<input a0="IntersectRegion[poly4_1, poly2_1]"/>
<output a0="overlapPS"/>
</command>
<element type="boolean" label="overlapPS">
<value val="false"/>
<show object="false" label="false"/>
<objColor r="0" g="0" b="0" alpha="0.0"/>
<layer val="0"/>
<labelMode val="0"/>
</element>
<command name="Mirror">
<input a0="(x(A), y(A))" a1="O"/>
<output a0="C"/>
</command>
<element type="point" label="C">
<show object="false" label="false"/>
<objColor r="0" g="0" b="255" alpha="0.0"/>
<layer val="0"/>
<labelMode val="0"/>
<coords x="8.000000000000004" y="4.999999999999996" z="1.0"/>
<pointSize val="5"/>
<pointStyle val="0"/>
</element>
<command name="Mirror">
<input a0="(x(B), y(B))" a1="O"/>
<output a0="D"/>
</command>
<element type="point" label="D">
<show object="false" label="false"/>
<objColor r="0" g="0" b="255" alpha="0.0"/>
<layer val="0"/>
<labelMode val="0"/>
<coords x="5.0000000000000036" y="2.9999999999999956" z="1.0"/>
<pointSize val="5"/>
<pointStyle val="0"/>
</element>
<element type="boolean" label="提示">
<value val="false"/>
<show object="true" label="true"/>
<condition showObject="¬o"/>
<objColor r="0" g="0" b="255" alpha="0.0"/>
<layer val="0"/>
<labelOffset x="23" y="238"/>
<labelMode val="0"/>
</element>
<command name="Polygon">
<input a0="E" a1="F" a2="G" a3="H"/>
<output a0="poly5" a1="e_1" a2="f_1" a3="g_1" a4="h_1"/>
</command>
<element type="polygon" label="poly5">
<lineStyle thickness="2" type="0" typeHidden="1"/>
<show object="true" label="false"/>
<condition showObject="(提示 ∨ o) ∧ (¬overlap)"/>
<objColor r="255" g="255" b="0" alpha="0.5"/>
<layer val="1"/>
<labelMode val="0"/>
</element>
<element type="segment" label="e_1">
<show object="false" label="false"/>
<objColor r="0" g="0" b="0" alpha="0.0"/>
<layer val="0"/>
<labelMode val="0"/>
<coords x="-5.0" y="0.0" z="50.000000000000014"/>
<lineStyle thickness="5" type="15" typeHidden="1"/>
<eqnStyle style="implicit"/>
<outlyingIntersections val="false"/>
<keepTypeOnTransform val="true"/>
</element>
<element type="segment" label="f_1">
<show object="false" label="false"/>
<objColor r="0" g="0" b="0" alpha="0.0"/>
<layer val="0"/>
<labelMode val="0"/>
<coords x="0.0" y="-5.0" z="24.999999999999993"/>
<lineStyle thickness="5" type="15" typeHidden="1"/>
<eqnStyle style="implicit"/>
<outlyingIntersections val="false"/>
<keepTypeOnTransform val="true"/>
</element>
<element type="segment" label="g_1">
<show object="false" label="false"/>
<objColor r="0" g="0" b="0" alpha="0.0"/>
<layer val="0"/>
<labelMode val="0"/>
<coords x="5.0" y="0.0" z="-25.00000000000001"/>
<lineStyle thickness="5" type="15" typeHidden="1"/>
<eqnStyle style="implicit"/>
<outlyingIntersections val="false"/>
<keepTypeOnTransform val="true"/>
</element>
<element type="segment" label="h_1">
<show object="false" label="false"/>
<objColor r="0" g="0" b="0" alpha="0.0"/>
<layer val="0"/>
<labelMode val="0"/>
<coords x="4.440892098500626E-16" y="5.0" z="6.661338147750939E-15"/>
<lineStyle thickness="5" type="15" typeHidden="1"/>
<eqnStyle style="implicit"/>
<outlyingIntersections val="false"/>
<keepTypeOnTransform val="true"/>
</element>
<command name="Polygon">
<input a0="A" a1="B" a2="C" a3="D"/>
<output a0="poly6" a1="t" a2="a_1" a3="b_1" a4="c_1"/>
</command>
<element type="polygon" label="poly6">
<lineStyle thickness="5" type="0" typeHidden="1"/>
<show object="false" label="false"/>
<objColor r="255" g="255" b="0" alpha="0.5"/>
<layer val="0"/>
<labelMode val="0"/>
</element>
<element type="segment" label="t">
<show object="false" label="false"/>
<objColor r="0" g="0" b="0" alpha="0.0"/>
<layer val="0"/>
<labelMode val="0"/>
<coords x="-2.0" y="3.0" z="14.0"/>
<lineStyle thickness="5" type="0" typeHidden="1"/>
<eqnStyle style="implicit"/>
<outlyingIntersections val="false"/>
<keepTypeOnTransform val="true"/>
</element>
<element type="segment" label="a_1">
<show object="false" label="false"/>
<objColor r="0" g="0" b="0" alpha="0.0"/>
<layer val="0"/>
<labelMode val="0"/>
<coords x="-2.9999999999999956" y="-1.9999999999999964" z="33.99999999999995"/>
<lineStyle thickness="5" type="0" typeHidden="1"/>
<eqnStyle style="implicit"/>
<outlyingIntersections val="false"/>
<keepTypeOnTransform val="true"/>
</element>
<element type="segment" label="b_1">
<show object="false" label="false"/>
<objColor r="0" g="0" b="0" alpha="0.0"/>
<layer val="0"/>
<labelMode val="0"/>
<coords x="2.0" y="-3.0" z="-1.0000000000000213"/>
<lineStyle thickness="5" type="0" typeHidden="1"/>
<eqnStyle style="implicit"/>
<outlyingIntersections val="false"/>
<keepTypeOnTransform val="true"/>
</element>
<element type="segment" label="c_1">
<show object="false" label="false"/>
<objColor r="0" g="0" b="0" alpha="0.0"/>
<layer val="0"/>
<labelMode val="0"/>
<coords x="2.9999999999999956" y="1.9999999999999964" z="-20.999999999999968"/>
<lineStyle thickness="5" type="0" typeHidden="1"/>
<eqnStyle style="implicit"/>
<outlyingIntersections val="false"/>
<keepTypeOnTransform val="true"/>
</element>
<expression label="U" exp="(x(S) + y1 / 2, y(S))" type="point" />
<element type="point" label="U">
<show object="false" label="true"/>
<objColor r="64" g="64" b="64" alpha="0.0"/>
<layer val="0"/>
<labelMode val="0"/>
<coords x="6.000000000000002" y="-1.7763568394002505E-15" z="1.0"/>
<pointSize val="3"/>
<pointStyle val="0"/>
</element>
<expression label="T8" exp="y1 + """ />
<element type="text" label="T8">
<show object="true" label="false"/>
<condition showObject="提示 ∧ (¬o)"/>
<objColor r="0" g="0" b="0" alpha="0.0"/>
<layer val="2"/>
<labelMode val="0"/>
<startPoint exp="U"/>
<labelOffset x="-6" y="-4"/>
</element>
<expression label="V" exp="(x(S), y(S) + x1 / 2)" type="point" />
<element type="point" label="V">
<show object="false" label="true"/>
<objColor r="64" g="64" b="64" alpha="0.0"/>
<layer val="0"/>
<labelMode val="0"/>
<coords x="5.000000000000002" y="1.4999999999999982" z="1.0"/>
<pointSize val="3"/>
<pointStyle val="0"/>
</element>
<expression label="T9" exp="x1 + """ />
<element type="text" label="T9">
<show object="true" label="false"/>
<condition showObject="提示 ∧ (¬o)"/>
<objColor r="0" g="0" b="0" alpha="0.0"/>
<layer val="2"/>
<labelMode val="0"/>
<startPoint exp="V"/>
<labelOffset x="4" y="6"/>
</element>
<expression label="W" exp="(x(R) + x1 / 2, y(R))" type="point" />
<element type="point" label="W">
<show object="false" label="true"/>
<objColor r="64" g="64" b="64" alpha="0.0"/>
<layer val="0"/>
<labelMode val="0"/>
<coords x="6.500000000000002" y="4.999999999999998" z="1.0"/>
<pointSize val="3"/>
<pointStyle val="0"/>
</element>
<expression label="Z" exp="(x(R), y(R) - y1 / 2)" type="point" />
<element type="point" label="Z">
<show object="false" label="true"/>
<objColor r="64" g="64" b="64" alpha="0.0"/>
<layer val="0"/>
<labelMode val="0"/>
<coords x="5.000000000000002" y="3.9999999999999982" z="1.0"/>
<pointSize val="3"/>
<pointStyle val="0"/>
</element>
<expression label="T10" exp="x1 + """ />
<element type="text" label="T10">
<show object="true" label="false"/>
<condition showObject="提示 ∧ (¬o)"/>
<objColor r="0" g="0" b="0" alpha="0.0"/>
<layer val="2"/>
<labelMode val="0"/>
<startPoint exp="W"/>
<labelOffset x="-7" y="20"/>
</element>
<expression label="T11" exp="y1 + """ />
<element type="text" label="T11">
<show object="true" label="false"/>
<condition showObject="提示 ∧ (¬o)"/>
<objColor r="0" g="0" b="0" alpha="0.0"/>
<layer val="2"/>
<labelMode val="0"/>
<startPoint exp="Z"/>
<labelOffset x="5" y="1"/>
</element>
<expression label="A1" exp="(x(Q) - y1 / 2, y(Q))" type="point" />
<element type="point" label="A1">
<show object="false" label="true"/>
<objColor r="64" g="64" b="64" alpha="0.0"/>
<layer val="0"/>
<labelMode val="0"/>
<coords x="9.000000000000002" y="4.999999999999998" z="1.0"/>
<pointSize val="3"/>
<pointStyle val="0"/>
</element>
<expression label="B1" exp="(x(Q), y(Q) - x1 / 2)" type="point" />
<element type="point" label="B1">
<show object="false" label="true"/>
<objColor r="64" g="64" b="64" alpha="0.0"/>
<layer val="0"/>
<labelMode val="0"/>
<coords x="10.000000000000002" y="3.4999999999999982" z="1.0"/>
<pointSize val="3"/>
<pointStyle val="0"/>
</element>
<expression label="T12" exp="y1 + """ />
<element type="text" label="T12">
<show object="true" label="false"/>
<condition showObject="提示 ∧ (¬o)"/>
<objColor r="0" g="0" b="0" alpha="0.0"/>
<layer val="2"/>
<labelMode val="0"/>
<startPoint exp="A1"/>
<labelOffset x="-1" y="17"/>
</element>
<expression label="T13" exp="x1 + """ />
<element type="text" label="T13">
<show object="true" label="false"/>
<condition showObject="提示 ∧ (¬o)"/>
<objColor r="0" g="0" b="0" alpha="0.0"/>
<layer val="2"/>
<labelMode val="0"/>
<startPoint exp="B1"/>
<labelOffset x="-14" y="6"/>
</element>
<expression label="C1" exp="(x(P) - x1 / 2, y(P))" type="point" />
<element type="point" label="C1">
<show object="false" label="true"/>
<objColor r="64" g="64" b="64" alpha="0.0"/>
<layer val="0"/>
<labelMode val="0"/>
<coords x="8.500000000000002" y="-2.220446049250313E-15" z="1.0"/>
<pointSize val="3"/>
<pointStyle val="0"/>
</element>
<expression label="D1" exp="(x(P), y(P) + y1 / 2)" type="point" />
<element type="point" label="D1">
<show object="false" label="true"/>
<objColor r="64" g="64" b="64" alpha="0.0"/>
<layer val="0"/>
<labelMode val="0"/>
<coords x="10.000000000000002" y="0.9999999999999978" z="1.0"/>
<pointSize val="3"/>
<pointStyle val="0"/>
</element>
<expression label="T15" exp="y1 + """ />
<element type="text" label="T15">
<show object="true" label="false"/>
<condition showObject="提示 ∧ (¬o)"/>
<objColor r="0" g="0" b="0" alpha="0.0"/>
<layer val="2"/>
<labelMode val="0"/>
<startPoint exp="D1"/>
<labelOffset x="-14" y="7"/>
</element>
<command name="Segment">
<input a0="(x(R), y(R))" a1="(x(R), y(R) + x1)"/>
<output a0="d1"/>
</command>
<element type="segment" label="d1">
<show object="true" label="false"/>
<condition showObject="(提示 ∨ o) ∧ x(R) ≟ x(F) - x1 ∧ y(R) ≟ y(F) - x1 ∧ S ≟ H ∧ Distance[P, R] ≟ sqrt(a^(2) + b^(2)) ∧ Distance[Q, S] ≟ sqrt(a^(2) + b^(2))"/>
<objColor r="0" g="0" b="0" alpha="0.0"/>
<layer val="1"/>
<labelMode val="0"/>
<coords x="-3.0" y="0.0" z="15.000000000000007"/>
<lineStyle thickness="5" type="10" typeHidden="1"/>
<eqnStyle style="implicit"/>
<outlyingIntersections val="false"/>
<keepTypeOnTransform val="true"/>
</element>
<command name="Segment">
<input a0="(x(Q), y(Q))" a1="(x(Q) + x1, y(Q))"/>
<output a0="d2"/>
</command>
<element type="segment" label="d2">
<show object="true" label="false"/>
<condition showObject="(提示 ∨ o) ∧ S ≟ H ∧ R ≟ G ∧ Distance[P, R] ≟ sqrt(a^(2) + b^(2)) ∧ Distance[Q, S] ≟ sqrt(a^(2) + b^(2))"/>
<objColor r="0" g="0" b="0" alpha="0.0"/>
<layer val="1"/>
<labelMode val="0"/>
<coords x="0.0" y="3.0" z="-14.999999999999993"/>
<lineStyle thickness="5" type="10" typeHidden="1"/>
<eqnStyle style="implicit"/>
<outlyingIntersections val="false"/>
<keepTypeOnTransform val="true"/>
</element>
<command name="Segment">
<input a0="(x(P), y(P))" a1="(x(P), y(P) - x1)"/>
<output a0="d3"/>
</command>
<element type="segment" label="d3">
<show object="true" label="false"/>
<condition showObject="(提示 ∨ o) ∧ Q ≟ F ∧ R ≟ G ∧ Distance[P, R] ≟ sqrt(a^(2) + b^(2)) ∧ Distance[Q, S] ≟ sqrt(a^(2) + b^(2))"/>
<objColor r="0" g="0" b="0" alpha="0.0"/>
<layer val="1"/>
<labelMode val="0"/>
<coords x="3.0" y="0.0" z="-30.000000000000007"/>
<lineStyle thickness="5" type="10" typeHidden="1"/>
<eqnStyle style="implicit"/>
<outlyingIntersections val="false"/>
<keepTypeOnTransform val="true"/>
</element>
<command name="Segment">
<input a0="(x(S), y(S))" a1="(x(S) - x1, y(S))"/>
<output a0="d4"/>
</command>
<element type="segment" label="d4">
<show object="true" label="false"/>
<condition showObject="(提示 ∨ o) ∧ P ≟ E ∧ Q ≟ F ∧ Distance[P, R] ≟ sqrt(a^(2) + b^(2)) ∧ Distance[Q, S] ≟ sqrt(a^(2) + b^(2))"/>
<objColor r="0" g="0" b="0" alpha="0.0"/>
<layer val="1"/>
<labelMode val="0"/>
<coords x="0.0" y="-3.0" z="-5.329070518200751E-15"/>
<lineStyle thickness="5" type="10" typeHidden="1"/>
<eqnStyle style="implicit"/>
<outlyingIntersections val="false"/>
<keepTypeOnTransform val="true"/>
</element>
<command name="Segment">
<input a0="(x(Q), y(Q))" a1="(x(Q) - a - b, y(Q))"/>
<output a0="d5"/>
</command>
<element type="segment" label="d5">
<show object="true" label="false"/>
<condition showObject="(提示 ∨ o) ∧ x(P) ≟ x(E) ∧ y(P) ≟ y(E) + x1 ∧ x(Q) ≟ x(E) ∧ y(Q) ≟ y(E) + x1 ∧ Distance[P, R] ≟ sqrt(a^(2) + b^(2)) ∧ Distance[Q, S] ≟ sqrt(a^(2) + b^(2))"/>
<objColor r="0" g="0" b="0" alpha="0.0"/>
<layer val="1"/>
<labelMode val="0"/>
<coords x="0.0" y="-5.0" z="24.999999999999993"/>
<lineStyle thickness="5" type="10" typeHidden="1"/>
<eqnStyle style="implicit"/>
<outlyingIntersections val="false"/>
<keepTypeOnTransform val="true"/>
</element>
<command name="Segment">
<input a0="(x(S), y(S))" a1="(x(S) + a + b, y(S))"/>
<output a0="d6"/>
</command>
<element type="segment" label="d6">
<show object="true" label="false"/>
<condition showObject="(提示 ∨ o) ∧ x(P) ≟ x(E) - y1 ∧ y(P) ≟ y(E) ∧ x(S) ≟ x(H) ∧ y(S) ≟ y(H) + y1 ∧ Distance[P, R] ≟ sqrt(a^(2) + b^(2)) ∧ Distance[Q, S] ≟ sqrt(a^(2) + b^(2))"/>
<objColor r="0" g="0" b="0" alpha="0.0"/>
<layer val="1"/>
<labelMode val="0"/>
<coords x="0.0" y="5.0" z="8.881784197001252E-15"/>
<lineStyle thickness="5" type="10" typeHidden="1"/>
<eqnStyle style="implicit"/>
<outlyingIntersections val="false"/>
<keepTypeOnTransform val="true"/>
</element>
<command name="Segment">
<input a0="(x(R), y(R))" a1="(x(R), y(R) - a - b)"/>
<output a0="d7"/>
</command>
<element type="segment" label="d7">
<show object="true" label="false"/>
<condition showObject="(提示 ∨ o) ∧ x(P) ≟ x(E) ∧ y(P) ≟ y(E) + x1 ∧ x(Q) ≟ x(F) - x1 ∧ y(Q) ≟ y(F) ∧ Distance[P, R] ≟ sqrt(a^(2) + b^(2)) ∧ Distance[Q, S] ≟ sqrt(a^(2) + b^(2))"/>
<objColor r="0" g="0" b="0" alpha="0.0"/>
<layer val="1"/>
<labelMode val="0"/>
<coords x="5.0" y="0.0" z="-25.00000000000001"/>
<lineStyle thickness="5" type="10" typeHidden="1"/>
<eqnStyle style="implicit"/>
<outlyingIntersections val="false"/>
<keepTypeOnTransform val="true"/>
</element>
<command name="Segment">
<input a0="(x(P), y(P))" a1="(x(P), y(P) + a + b)"/>
<output a0="d8"/>
</command>
<element type="segment" label="d8">
<show object="true" label="false"/>
<condition showObject="(提示 ∨ o) ∧ x(P) ≟ x(E) - y1 ∧ y(P) ≟ y(E) ∧ x(Q) ≟ x(E) ∧ y(Q) ≟ y(E) + x1 ∧ Distance[P, R] ≟ sqrt(a^(2) + b^(2)) ∧ Distance[Q, S] ≟ sqrt(a^(2) + b^(2))"/>
<objColor r="0" g="0" b="0" alpha="0.0"/>
<layer val="1"/>
<labelMode val="0"/>
<coords x="-5.0" y="0.0" z="50.000000000000014"/>
<lineStyle thickness="5" type="10" typeHidden="1"/>
<eqnStyle style="implicit"/>
<outlyingIntersections val="false"/>
<keepTypeOnTransform val="true"/>
</element>
<expression label="overlap" exp="overlapPQ ∨ overlapPR ∨ overlapPS ∨ overlapQR ∨ overlapQS ∨ overlapRS" />
<element type="boolean" label="overlap">
<value val="false"/>
<show object="false" label="false"/>
<objColor r="0" g="0" b="0" alpha="0.0"/>
<layer val="0"/>
<labelMode val="0"/>
</element>
<command name="Sequence">
<input a0="Segment[(i, y(E)), (i, y(F))]" a1="i" a2="x(H)" a3="x(E)"/>
<output a0="list1"/>
</command>
<element type="list" label="list1">
<show object="true" label="false"/>
<condition showObject="提示 ∧ (¬o)"/>
<objColor r="0" g="0" b="0" alpha="0.0"/>
<layer val="0"/>
<labelMode val="0"/>
<selectionAllowed val="false"/>
<lineStyle thickness="3" type="10" typeHidden="1"/>
<pointSize val="3"/>
<pointStyle val="-1"/>
</element>
<command name="Sequence">
<input a0="Segment[(x(H), j), (x(E), j)]" a1="j" a2="y(E)" a3="y(F)"/>
<output a0="list2"/>
</command>
<element type="list" label="list2">
<show object="true" label="false"/>
<condition showObject="提示 ∧ (¬o)"/>
<objColor r="0" g="0" b="0" alpha="0.0"/>
<layer val="0"/>
<labelMode val="0"/>
<selectionAllowed val="false"/>
<lineStyle thickness="3" type="10" typeHidden="1"/>
<pointSize val="3"/>
<pointStyle val="-1"/>
</element>
<element type="numeric" label="Ar">
<value val="0.0"/>
<show object="false" label="false"/>
<objColor r="0" g="0" b="0" alpha="0.1"/>
<layer val="0"/>
<labelMode val="1"/>
<animation step="1" speed="1" type="0" playing="false"/>
</element>
<command name="Textfield">
<input a0="Ar"/>
<output a0="inputBox1"/>
</command>
<element type="textfield" label="inputBox1">
<show object="true" label="true"/>
<condition showObject="¬o"/>
<objColor r="0" g="0" b="0" alpha="0.0"/>
<layer val="0"/>
<labelOffset x="29" y="304"/>
<labelMode val="0"/>
<animation step="0.1" speed="1" type="0" playing="false"/>
<auxiliary val="true"/>
<ggbscript val=" "/>
<linkedGeo exp="Ar"/>
<length val="6"/>
<caption val="著色正方形的面積 ="/>
</element>
<expression label="text1" exp=""不正確！請再試。""/>
<element type="text" label="text1">
<show object="true" label="false"/>
<condition showObject="(Ar ≠ 0) ∧ (Ar ≠ poly6) ∧ (¬o)"/>
<objColor r="255" g="0" b="0" alpha="0.0"/>
<layer val="0"/>
<labelMode val="0"/>
<fixed val="true"/>
<font serif="false" sizeM="1.0" size="0" style="2"/>
<absoluteScreenLocation x="191" y="357"/>
</element>
<expression label="text2" exp=""正確！這面積和所顯示的兩個數字有甚麼關係？""/>
<element type="text" label="text2">
<show object="true" label="false"/>
<condition showObject="(Ar ≠ 0) ∧ Ar ≟ poly6 ∧ (¬o)"/>
<objColor r="0" g="0" b="255" alpha="0.0"/>
<layer val="0"/>
<labelMode val="0"/>
<fixed val="true"/>
<font serif="false" sizeM="1.0" size="0" style="2"/>
<absoluteScreenLocation x="29" y="372"/>
</element>
<expression label="text3" exp=""拖拉綠點，將三角形合併成長方形""/>
<element type="text" label="text3">
<show object="true" label="false"/>
<condition showObject="提示 ∨ o"/>
<objColor r="0" g="0" b="255" alpha="0.0"/>
<layer val="0"/>
<labelMode val="0"/>
<fixed val="true"/>
<absoluteScreenLocation x="29" y="289"/>
</element>
<command name="Midpoint">
<input a0="A" a1="E"/>
<output a0="L"/>
</command>
<element type="point" label="L">
<show object="false" label="true"/>
<objColor r="64" g="64" b="64" alpha="0.0"/>
<layer val="0"/>
<labelMode val="0"/>
<coords x="8.5" y="-1.1102230246251565E-15" z="1.0"/>
<pointSize val="3"/>
<pointStyle val="0"/>
</element>
<command name="Midpoint">
<input a0="B" a1="E"/>
<output a0="M"/>
</command>
<element type="point" label="M">
<show object="false" label="true"/>
<objColor r="64" g="64" b="64" alpha="0.0"/>
<layer val="0"/>
<labelOffset x="21" y="2"/>
<labelMode val="0"/>
<coords x="10.0" y="0.9999999999999989" z="1.0"/>
<pointSize val="3"/>
<pointStyle val="0"/>
</element>
<command name="Midpoint">
<input a0="A" a1="H"/>
<output a0="N"/>
</command>
<element type="point" label="N">
<show object="false" label="true"/>
<objColor r="64" g="64" b="64" alpha="0.0"/>
<layer val="0"/>
<labelMode val="0"/>
<coords x="6.000000000000001" y="-8.881784197001252E-16" z="1.0"/>
<pointSize val="3"/>
<pointStyle val="0"/>
</element>
<command name="Midpoint">
<input a0="B" a1="H"/>
<output a0="T"/>
</command>
<element type="point" label="T">
<show object="false" label="true"/>
<objColor r="64" g="64" b="64" alpha="0.0"/>
<layer val="0"/>
<labelMode val="0"/>
<coords x="7.500000000000001" y="0.9999999999999991" z="1.0"/>
<pointSize val="3"/>
<pointStyle val="0"/>
</element>
<expression label="T1" exp=""" + (Distance[A, E]) + """ />
<element type="text" label="T1">
<show object="false" label="false"/>
<condition showObject="(a' * b' ≥ 0) ∧ (x(B) ≠ x(A)) ∧ (¬提示) ∧ (¬o)"/>
<objColor r="0" g="0" b="0" alpha="0.0"/>
<layer val="0"/>
<labelMode val="0"/>
<startPoint exp="Midpoint[A', E']"/>
<labelOffset x="6" y="20"/>
</element>
<expression label="T2" exp=""" + (Distance[B, E]) + """ />
<element type="text" label="T2">
<show object="true" label="false"/>
<condition showObject="(a' * b' > 0) ∧ (y(B) ≠ y(A)) ∧ (¬提示) ∧ (¬o)"/>
<objColor r="0" g="0" b="0" alpha="0.0"/>
<layer val="0"/>
<labelMode val="0"/>
<startPoint exp="Midpoint[B', E']"/>
<labelOffset x="7" y="3"/>
</element>
<expression label="T14" exp=""" + x1 + """ />
<element type="text" label="T14">
<show object="true" label="false"/>
<condition showObject="提示 ∧ (¬o)"/>
<objColor r="0" g="0" b="0" alpha="0.0"/>
<layer val="2"/>
<labelMode val="0"/>
<startPoint exp="C1"/>
<labelOffset x="-6" y="-5"/>
</element>
<command name="Midpoint">
<input a0="A'" a1="B'"/>
<output a0="I'"/>
</command>
<element type="point" label="I'">
<show object="false" label="true"/>
<objColor r="64" g="64" b="64" alpha="0.0"/>
<layer val="0"/>
<labelMode val="0"/>
<coords x="1.5" y="1.0" z="1.0"/>
<pointSize val="3"/>
<pointStyle val="0"/>
</element>
<command name="Circle">
<input a0="I'" a1="A'"/>
<output a0="g'"/>
</command>
<element type="conic" label="g'">
<show object="false" label="true"/>
<objColor r="0" g="0" b="0" alpha="0.0"/>
<layer val="0"/>
<labelMode val="0"/>
<lineStyle thickness="2" type="0" typeHidden="1"/>
<eigenvectors x0="1.0" y0="0.0" z0="1.0" x1="-0.0" y1="1.0" z1="1.0"/>
<matrix A0="1.0" A1="1.0" A2="-4.440892098500626E-16" A3="0.0" A4="-1.5" A5="-1.0"/>
<eqnStyle style="specific"/>
</element>
<command name="Segment">
<input a0="B'" a1="A'"/>
<output a0="d'"/>
</command>
<element type="segment" label="d'">
<show object="false" label="true"/>
<objColor r="0" g="0" b="0" alpha="0.0"/>
<layer val="0"/>
<labelMode val="0"/>
<coords x="2.0" y="-3.0" z="0.0"/>
<lineStyle thickness="2" type="0" typeHidden="1"/>
<eqnStyle style="implicit"/>
<outlyingIntersections val="false"/>
<keepTypeOnTransform val="true"/>
</element>
<command name="OrthogonalLine">
<input a0="I'" a1="d'"/>
<output a0="e'"/>
</command>
<element type="line" label="e'">
<show object="false" label="false"/>
<objColor r="0" g="0" b="0" alpha="0.0"/>
<layer val="0"/>
<labelMode val="0"/>
<coords x="3.0" y="2.0" z="-6.5"/>
<lineStyle thickness="2" type="0" typeHidden="1"/>
<eqnStyle style="implicit"/>
</element>
<command name="Translate">
<input a0="Midpoint[A', B']" a1="Vector[(0, 0), (0, 1)]"/>
<output a0="J'"/>
</command>
<element type="point" label="J'">
<show object="false" label="true"/>
<objColor r="64" g="64" b="64" alpha="0.0"/>
<layer val="0"/>
<labelMode val="0"/>
<coords x="1.5" y="2.0" z="1.0"/>
<pointSize val="3"/>
<pointStyle val="0"/>
</element>
<command name="OrthogonalLine">
<input a0="J'" a1="yAxis"/>
<output a0="c'"/>
</command>
<element type="line" label="c'">
<show object="false" label="false"/>
<objColor r="0" g="0" b="0" alpha="0.0"/>
<layer val="0"/>
<labelMode val="0"/>
<coords x="0.0" y="-1.0" z="2.0"/>
<lineStyle thickness="2" type="0" typeHidden="1"/>
<eqnStyle style="implicit"/>
</element>
<command name="Intersect">
<input a0="c'" a1="e'"/>
<output a0="K'"/>
</command>
<element type="point" label="K'">
<show object="false" label="true"/>
<objColor r="64" g="64" b="64" alpha="0.0"/>
<layer val="0"/>
<labelMode val="0"/>
<coords x="2.5" y="6.0" z="3.0"/>
<pointSize val="3"/>
<pointStyle val="0"/>
</element>
<command name="Ray">
<input a0="I'" a1="K'"/>
<output a0="f'"/>
</command>
<element type="ray" label="f'">
<show object="false" label="false"/>
<objColor r="0" g="0" b="0" alpha="0.0"/>
<layer val="0"/>
<labelMode val="0"/>
<coords x="-1.0" y="-0.6666666666666666" z="2.1666666666666665"/>
<lineStyle thickness="2" type="0" typeHidden="1"/>
<eqnStyle style="implicit"/>
<outlyingIntersections val="false"/>
<keepTypeOnTransform val="true"/>
</element>
<command name="Intersect">
<input a0="g'" a1="f'" a2="1"/>
<output a0="O'"/>
</command>
<element type="point" label="O'">
<show object="false" label="true"/>
<objColor r="64" g="64" b="64" alpha="0.0"/>
<layer val="0"/>
<labelMode val="0"/>
<coords x="0.5000000000000002" y="2.4999999999999996" z="1.0"/>
<pointSize val="3"/>
<pointStyle val="0"/>
</element>
<expression label="E'" exp="(x(O') + (a + b) / 2, y(O') - (a + b) / 2)" type="point" />
<element type="point" label="E'">
<show object="false" label="true"/>
<objColor r="64" g="64" b="64" alpha="0.0"/>
<layer val="0"/>
<labelMode val="0"/>
<coords x="3.0" y="-4.440892098500626E-16" z="1.0"/>
<pointSize val="3"/>
<pointStyle val="0"/>
</element>
<expression label="F'" exp="(x(E'), y(E') + a + b)" type="point" />
<element type="point" label="F'">
<show object="false" label="true"/>
<objColor r="64" g="64" b="64" alpha="0.0"/>
<layer val="0"/>
<labelMode val="0"/>
<coords x="3.0" y="5.0" z="1.0"/>
<pointSize val="3"/>
<pointStyle val="0"/>
</element>
<expression label="G'" exp="(x(F') - a - b, y(F'))" type="point" />
<element type="point" label="G'">
<show object="false" label="true"/>
<objColor r="64" g="64" b="64" alpha="0.0"/>
<layer val="0"/>
<labelMode val="0"/>
<coords x="-2.0" y="5.0" z="1.0"/>
<pointSize val="3"/>
<pointStyle val="0"/>
</element>
<expression label="H'" exp="(x(G'), y(G') - a - b)" type="point" />
<element type="point" label="H'">
<show object="false" label="true"/>
<objColor r="64" g="64" b="64" alpha="0.0"/>
<layer val="0"/>
<labelMode val="0"/>
<coords x="-2.0" y="0.0" z="1.0"/>
<pointSize val="3"/>
<pointStyle val="0"/>
</element>
<command name="Sequence">
<input a0="Segment[(i, y(E')), (i, y(F'))]" a1="i" a2="x(H')" a3="x(E')"/>
<output a0="list3"/>
</command>
<element type="list" label="list3">
<show object="true" label="false"/>
<condition showObject="¬o"/>
<objColor r="0" g="0" b="0" alpha="0.0"/>
<layer val="0"/>
<labelMode val="0"/>
<selectionAllowed val="false"/>
<lineStyle thickness="3" type="10" typeHidden="1"/>
<pointSize val="3"/>
<pointStyle val="-1"/>
</element>
<command name="Sequence">
<input a0="Segment[(x(H'), j), (x(E'), j)]" a1="j" a2="y(E')" a3="y(F')"/>
<output a0="list4"/>
</command>
<element type="list" label="list4">
<show object="true" label="false"/>
<condition showObject="¬o"/>
<objColor r="0" g="0" b="0" alpha="0.0"/>
<layer val="0"/>
<labelMode val="0"/>
<selectionAllowed val="false"/>
<lineStyle thickness="3" type="10" typeHidden="1"/>
<pointSize val="3"/>
<pointStyle val="-1"/>
</element>
<command name="Mirror">
<input a0="(x(A'), y(A'))" a1="O'"/>
<output a0="C'"/>
</command>
<element type="point" label="C'">
<show object="false" label="true"/>
<objColor r="64" g="64" b="64" alpha="0.0"/>
<layer val="0"/>
<labelMode val="0"/>
<coords x="1.0000000000000004" y="4.999999999999999" z="1.0"/>
<pointSize val="3"/>
<pointStyle val="0"/>
</element>
<command name="Mirror">
<input a0="(x(B'), y(B'))" a1="O'"/>
<output a0="D'"/>
</command>
<element type="point" label="D'">
<show object="false" label="true"/>
<objColor r="64" g="64" b="64" alpha="0.0"/>
<layer val="0"/>
<labelMode val="0"/>
<coords x="-1.9999999999999996" y="2.999999999999999" z="1.0"/>
<pointSize val="3"/>
<pointStyle val="0"/>
</element>
<command name="Polygon">
<input a0="E'" a1="(x(E'), y(E') + y1)" a2="(x(E') - x1, y(E'))"/>
<output a0="poly1'" a1="d_1" a2="e'_1" a3="i_1"/>
</command>
<element type="polygon" label="poly1'">
<lineStyle thickness="2" type="0" typeHidden="1"/>
<show object="true" label="false"/>
<condition showObject="提示 ∨ o"/>
<objColor r="204" g="204" b="204" alpha="1.0"/>
<layer val="1"/>
<labelMode val="0"/>
</element>
<element type="segment" label="d_1">
<show object="true" label="false"/>
<condition showObject="提示 ∨ o"/>
<objColor r="0" g="0" b="0" alpha="0.0"/>
<layer val="1"/>
<labelMode val="0"/>
<coords x="-2.0" y="0.0" z="6.0"/>
<lineStyle thickness="5" type="0" typeHidden="1"/>
<eqnStyle style="implicit"/>
<outlyingIntersections val="false"/>
<keepTypeOnTransform val="true"/>
</element>
<element type="segment" label="e'_1">
<show object="true" label="false"/>
<condition showObject="提示"/>
<objColor r="0" g="0" b="0" alpha="0.0"/>
<layer val="1"/>
<labelMode val="0"/>
<coords x="2.0" y="-3.0" z="-1.3322676295501878E-15"/>
<lineStyle thickness="5" type="0" typeHidden="1"/>
<eqnStyle style="implicit"/>
<outlyingIntersections val="false"/>
<keepTypeOnTransform val="true"/>
</element>
<element type="segment" label="i_1">
<show object="true" label="false"/>
<condition showObject="提示 ∨ o"/>
<objColor r="0" g="0" b="0" alpha="0.0"/>
<layer val="1"/>
<labelMode val="0"/>
<coords x="0.0" y="3.0" z="1.3322676295501878E-15"/>
<lineStyle thickness="5" type="0" typeHidden="1"/>
<eqnStyle style="implicit"/>
<outlyingIntersections val="false"/>
<keepTypeOnTransform val="true"/>
</element>
<command name="Polygon">
<input a0="F'" a1="(x(F') - y1, y(F'))" a2="(x(F'), y(F') - x1)"/>
<output a0="poly2'" a1="j_1" a2="f'_1" a3="k_1"/>
</command>
<element type="polygon" label="poly2'">
<lineStyle thickness="2" type="0" typeHidden="1"/>
<show object="true" label="false"/>
<condition showObject="提示 ∨ o"/>
<objColor r="204" g="204" b="204" alpha="1.0"/>
<layer val="1"/>
<labelMode val="0"/>
</element>
<element type="segment" label="j_1">
<show object="true" label="false"/>
<condition showObject="提示 ∨ o"/>
<objColor r="0" g="0" b="0" alpha="0.0"/>
<layer val="1"/>
<labelMode val="0"/>
<coords x="0.0" y="-2.0" z="10.0"/>
<lineStyle thickness="5" type="0" typeHidden="1"/>
<eqnStyle style="implicit"/>
<outlyingIntersections val="false"/>
<keepTypeOnTransform val="true"/>
</element>
<element type="segment" label="f'_1">
<show object="true" label="false"/>
<condition showObject="提示"/>
<objColor r="0" g="0" b="0" alpha="0.0"/>
<layer val="1"/>
<labelMode val="0"/>
<coords x="3.0" y="2.0" z="-13.0"/>
<lineStyle thickness="5" type="0" typeHidden="1"/>
<eqnStyle style="implicit"/>
<outlyingIntersections val="false"/>
<keepTypeOnTransform val="true"/>
</element>
<element type="segment" label="k_1">
<show object="true" label="false"/>
<condition showObject="提示 ∨ o"/>
<objColor r="0" g="0" b="0" alpha="0.0"/>
<layer val="1"/>
<labelMode val="0"/>
<coords x="-3.0" y="0.0" z="9.0"/>
<lineStyle thickness="5" type="0" typeHidden="1"/>
<eqnStyle style="implicit"/>
<outlyingIntersections val="false"/>
<keepTypeOnTransform val="true"/>
</element>
<command name="Polygon">
<input a0="G'" a1="(x(G'), y(G') - y1)" a2="(x(G') + x1, y(G'))"/>
<output a0="poly3'" a1="l_1" a2="g'_1" a3="m_1"/>
</command>
<element type="polygon" label="poly3'">
<lineStyle thickness="2" type="0" typeHidden="1"/>
<show object="true" label="false"/>
<condition showObject="提示 ∨ o"/>
<objColor r="204" g="204" b="204" alpha="1.0"/>
<layer val="1"/>
<labelMode val="0"/>
</element>
<element type="segment" label="l_1">
<show object="true" label="false"/>
<condition showObject="提示 ∨ o"/>
<objColor r="0" g="0" b="0" alpha="0.0"/>
<layer val="1"/>
<labelMode val="0"/>
<coords x="2.0" y="0.0" z="4.0"/>
<lineStyle thickness="5" type="0" typeHidden="1"/>
<eqnStyle style="implicit"/>
<outlyingIntersections val="false"/>
<keepTypeOnTransform val="true"/>
</element>
<element type="segment" label="g'_1">
<show object="true" label="false"/>
<condition showObject="提示"/>
<objColor r="0" g="0" b="0" alpha="0.0"/>
<layer val="1"/>
<labelMode val="0"/>
<coords x="-2.0" y="3.0" z="-13.0"/>
<lineStyle thickness="5" type="0" typeHidden="1"/>
<eqnStyle style="implicit"/>
<outlyingIntersections val="false"/>
<keepTypeOnTransform val="true"/>
</element>
<element type="segment" label="m_1">
<show object="true" label="false"/>
<condition showObject="提示 ∨ o"/>
<objColor r="0" g="0" b="0" alpha="0.0"/>
<layer val="1"/>
<labelMode val="0"/>
<coords x="0.0" y="-3.0" z="15.0"/>
<lineStyle thickness="5" type="0" typeHidden="1"/>
<eqnStyle style="implicit"/>
<outlyingIntersections val="false"/>
<keepTypeOnTransform val="true"/>
</element>
<command name="Polygon">
<input a0="H'" a1="(x(H') + y1, y(H'))" a2="(x(H'), y(H') + x1)"/>
<output a0="poly4'" a1="n_1" a2="h'" a3="p_1"/>
</command>
<element type="polygon" label="poly4'">
<lineStyle thickness="5" type="0" typeHidden="1"/>
<show object="true" label="false"/>
<condition showObject="提示 ∨ o"/>
<objColor r="204" g="204" b="204" alpha="1.0"/>
<layer val="1"/>
<labelMode val="0"/>
</element>
<element type="segment" label="n_1">
<show object="true" label="false"/>
<condition showObject="提示 ∨ o"/>
<objColor r="0" g="0" b="0" alpha="0.0"/>
<layer val="1"/>
<labelMode val="0"/>
<coords x="0.0" y="2.0" z="-0.0"/>
<lineStyle thickness="5" type="0" typeHidden="1"/>
<eqnStyle style="implicit"/>
<outlyingIntersections val="false"/>
<keepTypeOnTransform val="true"/>
</element>
<element type="segment" label="h'">
<show object="true" label="false"/>
<condition showObject="提示"/>
<objColor r="0" g="0" b="0" alpha="0.0"/>
<layer val="1"/>
<labelMode val="0"/>
<coords x="-3.0" y="-2.0" z="0.0"/>
<lineStyle thickness="5" type="0" typeHidden="1"/>
<eqnStyle style="implicit"/>
<outlyingIntersections val="false"/>
<keepTypeOnTransform val="true"/>
</element>
<element type="segment" label="p_1">
<show object="true" label="false"/>
<condition showObject="提示 ∨ o"/>
<objColor r="0" g="0" b="0" alpha="0.0"/>
<layer val="1"/>
<labelMode val="0"/>
<coords x="3.0" y="0.0" z="6.0"/>
<lineStyle thickness="5" type="0" typeHidden="1"/>
<eqnStyle style="implicit"/>
<outlyingIntersections val="false"/>
<keepTypeOnTransform val="true"/>
</element>
<command name="Polygon">
<input a0="A'" a1="B'" a2="C'" a3="D'"/>
<output a0="poly6'" a1="a'_1" a2="b'_1" a3="c'_1" a4="d'_1"/>
</command>
<element type="polygon" label="poly6'">
<lineStyle thickness="5" type="0" typeHidden="1"/>
<show object="true" label="false"/>
<objColor r="255" g="255" b="0" alpha="0.5"/>
<layer val="1"/>
<labelMode val="0"/>
</element>
<element type="segment" label="a'_1">
<show object="true" label="false"/>
<objColor r="0" g="0" b="0" alpha="0.0"/>
<layer val="1"/>
<labelMode val="0"/>
<coords x="-2.0" y="3.0" z="0.0"/>
<lineStyle thickness="5" type="0" typeHidden="1"/>
<eqnStyle style="implicit"/>
<outlyingIntersections val="false"/>
<keepTypeOnTransform val="true"/>
</element>
<element type="segment" label="b'_1">
<show object="true" label="false"/>
<objColor r="0" g="0" b="0" alpha="0.0"/>
<layer val="1"/>
<labelMode val="0"/>
<coords x="-2.999999999999999" y="-1.9999999999999996" z="12.999999999999996"/>
<lineStyle thickness="5" type="0" typeHidden="1"/>
<eqnStyle style="implicit"/>
<outlyingIntersections val="false"/>
<keepTypeOnTransform val="true"/>
</element>
<element type="segment" label="c'_1">
<show object="true" label="false"/>
<objColor r="0" g="0" b="0" alpha="0.0"/>
<layer val="1"/>
<labelMode val="0"/>
<coords x="2.0" y="-3.0" z="12.999999999999996"/>
<lineStyle thickness="5" type="0" typeHidden="1"/>
<eqnStyle style="implicit"/>
<outlyingIntersections val="false"/>
<keepTypeOnTransform val="true"/>
</element>
<element type="segment" label="d'_1">
<show object="true" label="false"/>
<objColor r="0" g="0" b="0" alpha="0.0"/>
<layer val="1"/>
<labelMode val="0"/>
<coords x="2.999999999999999" y="1.9999999999999996" z="-0.0"/>
<lineStyle thickness="5" type="0" typeHidden="1"/>
<eqnStyle style="implicit"/>
<outlyingIntersections val="false"/>
<keepTypeOnTransform val="true"/>
</element>
<expression label="U'" exp="(x(H') + y1 / 2, y(H'))" type="point" />
<element type="point" label="U'">
<show object="false" label="true"/>
<objColor r="64" g="64" b="64" alpha="0.0"/>
<layer val="0"/>
<labelMode val="0"/>
<coords x="-1.0" y="0.0" z="1.0"/>
<pointSize val="3"/>
<pointStyle val="0"/>
</element>
<expression label="T8'" exp=""" + y1 + """ />
<element type="text" label="T8'">
<show object="true" label="false"/>
<condition showObject="提示 ∧ (¬o)"/>
<objColor r="0" g="0" b="0" alpha="0.0"/>
<layer val="1"/>
<labelMode val="0"/>
<startPoint exp="U'"/>
<labelOffset x="-6" y="-4"/>
</element>
<expression label="V'" exp="(x(H'), y(H') + x1 / 2)" type="point" />
<element type="point" label="V'">
<show object="false" label="true"/>
<objColor r="64" g="64" b="64" alpha="0.0"/>
<layer val="0"/>
<labelMode val="0"/>
<coords x="-2.0" y="1.5" z="1.0"/>
<pointSize val="3"/>
<pointStyle val="0"/>
</element>
<expression label="T9'" exp=""" + x1 + """ />
<element type="text" label="T9'">
<show object="true" label="false"/>
<condition showObject="提示 ∧ (¬o)"/>
<objColor r="0" g="0" b="0" alpha="0.0"/>
<layer val="1"/>
<labelMode val="0"/>
<startPoint exp="V'"/>
<labelOffset x="4" y="6"/>
</element>
<expression label="W'" exp="(x(G') + x1 / 2, y(G'))" type="point" />
<element type="point" label="W'">
<show object="false" label="true"/>
<objColor r="64" g="64" b="64" alpha="0.0"/>
<layer val="0"/>
<labelMode val="0"/>
<coords x="-0.5" y="5.0" z="1.0"/>
<pointSize val="3"/>
<pointStyle val="0"/>
</element>
<expression label="T10'" exp=""" + x1 + """ />
<element type="text" label="T10'">
<show object="true" label="false"/>
<condition showObject="提示 ∧ (¬o)"/>
<objColor r="0" g="0" b="0" alpha="0.0"/>
<layer val="1"/>
<labelMode val="0"/>
<startPoint exp="W'"/>
<labelOffset x="-7" y="20"/>
</element>
<expression label="Z'" exp="(x(G'), y(G') - y1 / 2)" type="point" />
<element type="point" label="Z'">
<show object="false" label="true"/>
<objColor r="64" g="64" b="64" alpha="0.0"/>
<layer val="0"/>
<labelMode val="0"/>
<coords x="-2.0" y="4.0" z="1.0"/>
<pointSize val="3"/>
<pointStyle val="0"/>
</element>
<expression label="T11'" exp=""" + y1 + """ />
<element type="text" label="T11'">
<show object="true" label="false"/>
<condition showObject="提示 ∧ (¬o)"/>
<objColor r="0" g="0" b="0" alpha="0.0"/>
<layer val="1"/>
<labelMode val="0"/>
<startPoint exp="Z'"/>
<labelOffset x="5" y="8"/>
</element>
<expression label="A1'" exp="(x(F') - y1 / 2, y(F'))" type="point" />
<element type="point" label="A1'">
<show object="false" label="true"/>
<objColor r="64" g="64" b="64" alpha="0.0"/>
<layer val="0"/>
<labelMode val="0"/>
<coords x="2.0" y="5.0" z="1.0"/>
<pointSize val="3"/>
<pointStyle val="0"/>
</element>
<expression label="T12'" exp=""" + y1 + """ />
<element type="text" label="T12'">
<show object="true" label="false"/>
<condition showObject="提示 ∧ (¬o)"/>
<objColor r="0" g="0" b="0" alpha="0.0"/>
<layer val="1"/>
<labelMode val="0"/>
<startPoint exp="A1'"/>
<labelOffset x="-1" y="17"/>
</element>
<expression label="B1'" exp="(x(F'), y(F') - x1 / 2)" type="point" />
<element type="point" label="B1'">
<show object="false" label="true"/>
<objColor r="64" g="64" b="64" alpha="0.0"/>
<layer val="0"/>
<labelMode val="0"/>
<coords x="3.0" y="3.5" z="1.0"/>
<pointSize val="3"/>
<pointStyle val="0"/>
</element>
<expression label="T13'" exp=""" + x1 + """ />
<element type="text" label="T13'">
<show object="true" label="true"/>
<condition showObject="提示 ∧ (¬o)"/>
<objColor r="0" g="0" b="0" alpha="0.0"/>
<layer val="1"/>
<labelMode val="0"/>
<startPoint exp="B1'"/>
<labelOffset x="-14" y="6"/>
</element>
<expression label="C1'" exp="(x(E') - x1 / 2, y(E'))" type="point" />
<element type="point" label="C1'">
<show object="false" label="true"/>
<objColor r="64" g="64" b="64" alpha="0.0"/>
<layer val="0"/>
<labelMode val="0"/>
<coords x="1.5" y="-4.440892098500626E-16" z="1.0"/>
<pointSize val="3"/>
<pointStyle val="0"/>
</element>
<expression label="T14'" exp=""" + x1 + """ />
<element type="text" label="T14'">
<show object="true" label="false"/>
<condition showObject="提示 ∧ (¬o)"/>
<objColor r="0" g="0" b="0" alpha="0.0"/>
<layer val="1"/>
<labelMode val="0"/>
<startPoint exp="C1'"/>
<labelOffset x="-6" y="-5"/>
</element>
<expression label="D1'" exp="(x(E'), y(E') + y1 / 2)" type="point" />
<element type="point" label="D1'">
<show object="false" label="true"/>
<objColor r="64" g="64" b="64" alpha="0.0"/>
<layer val="0"/>
<labelMode val="0"/>
<coords x="3.0" y="0.9999999999999996" z="1.0"/>
<pointSize val="3"/>
<pointStyle val="0"/>
</element>
<expression label="T15'" exp=""" + y1 + """ />
<element type="text" label="T15'">
<show object="true" label="false"/>
<condition showObject="提示 ∧ (¬o)"/>
<objColor r="0" g="0" b="0" alpha="0.0"/>
<layer val="1"/>
<labelMode val="0"/>
<startPoint exp="D1'"/>
<labelOffset x="-14" y="7"/>
</element>
<command name="Vector">
<input a0="A'" a1="E'"/>
<output a0="u"/>
</command>
<element type="vector" label="u">
<show object="true" label="false"/>
<condition showObject="(a' * b' ≥ 0) ∧ (¬提示) ∧ (¬o)"/>
<objColor r="0" g="0" b="0" alpha="0.0"/>
<layer val="0"/>
<labelMode val="0"/>
<coords x="3.0" y="-4.440892098500626E-16" z="0.0"/>
<lineStyle thickness="3" type="0" typeHidden="1"/>
<coordStyle style="cartesian"/>
<startPoint exp="A'"/>
</element>
<command name="Vector">
<input a0="E'" a1="A'"/>
<output a0="v"/>
</command>
<element type="vector" label="v">
<show object="true" label="false"/>
<condition showObject="(a' * b' ≥ 0) ∧ (¬提示) ∧ (¬o)"/>
<objColor r="0" g="0" b="0" alpha="0.0"/>
<layer val="0"/>
<labelMode val="0"/>
<coords x="-3.0" y="4.440892098500626E-16" z="0.0"/>
<lineStyle thickness="3" type="0" typeHidden="1"/>
<coordStyle style="cartesian"/>
<startPoint exp="E'"/>
</element>
<command name="Vector">
<input a0="B'" a1="E'"/>
<output a0="w"/>
</command>
<element type="vector" label="w">
<show object="true" label="false"/>
<condition showObject="(a' * b' > 0) ∧ (¬提示) ∧ (¬o)"/>
<objColor r="0" g="0" b="0" alpha="0.0"/>
<layer val="0"/>
<labelMode val="0"/>
<coords x="0.0" y="-2.0000000000000004" z="0.0"/>
<lineStyle thickness="3" type="0" typeHidden="1"/>
<coordStyle style="cartesian"/>
<startPoint exp="B'"/>
</element>
<command name="Vector">
<input a0="E'" a1="B'"/>
<output a0="z"/>
</command>
<element type="vector" label="z">
<show object="true" label="false"/>
<condition showObject="(a' * b' > 0) ∧ (¬提示) ∧ (¬o)"/>
<objColor r="0" g="0" b="0" alpha="0.0"/>
<layer val="0"/>
<labelMode val="0"/>
<coords x="0.0" y="2.0000000000000004" z="0.0"/>
<lineStyle thickness="3" type="0" typeHidden="1"/>
<coordStyle style="cartesian"/>
<startPoint exp="E'"/>
</element>
<element type="boolean" label="o">
<value val="false"/>
<show object="true" label="true"/>
<condition showObject="(Ar ≠ 0) ∧ Ar ≟ poly6"/>
<objColor r="0" g="0" b="0" alpha="0.0"/>
<layer val="2"/>
<labelOffset x="512" y="354"/>
<labelMode val="0"/>
<caption val="答案"/>
</element>
<command name="Midpoint">
<input a0="e'_1"/>
<output a0="C_1"/>
</command>
<element type="point" label="C_1">
<show object="false" label="true"/>
<objColor r="64" g="64" b="64" alpha="0.0"/>
<layer val="2"/>
<labelMode val="0"/>
<coords x="1.5" y="0.9999999999999996" z="1.0"/>
<pointSize val="3"/>
<pointStyle val="0"/>
</element>
<command name="Midpoint">
<input a0="f'_1"/>
<output a0="D_1"/>
</command>
<element type="point" label="D_1">
<show object="false" label="true"/>
<objColor r="64" g="64" b="64" alpha="0.0"/>
<layer val="2"/>
<labelOffset x="-20" y="19"/>
<labelMode val="0"/>
<coords x="2.0" y="3.5" z="1.0"/>
<pointSize val="3"/>
<pointStyle val="0"/>
</element>
<command name="Midpoint">
<input a0="g'_1"/>
<output a0="E_1"/>
</command>
<element type="point" label="E_1">
<show object="false" label="true"/>
<objColor r="64" g="64" b="64" alpha="0.0"/>
<layer val="2"/>
<labelMode val="0"/>
<coords x="-0.5" y="4.0" z="1.0"/>
<pointSize val="3"/>
<pointStyle val="0"/>
</element>
<command name="Midpoint">
<input a0="h'"/>
<output a0="F_1"/>
</command>
<element type="point" label="F_1">
<show object="false" label="true"/>
<objColor r="64" g="64" b="64" alpha="0.0"/>
<layer val="2"/>
<labelOffset x="-1" y="-2"/>
<labelMode val="0"/>
<coords x="-1.0" y="1.5" z="1.0"/>
<pointSize val="3"/>
<pointStyle val="0"/>
</element>
<expression label="text4" exp=""c""/>
<element type="text" label="text4">
<show object="true" label="false"/>
<condition showObject="o"/>
<objColor r="0" g="0" b="0" alpha="0.0"/>
<layer val="2"/>
<labelMode val="0"/>
<startPoint exp="C_1"/>
<labelOffset x="-13" y="-4"/>
</element>
<expression label="text5" exp=""c""/>
<element type="text" label="text5">
<show object="true" label="false"/>
<condition showObject="o"/>
<objColor r="0" g="0" b="0" alpha="0.0"/>
<layer val="2"/>
<labelMode val="0"/>
<startPoint exp="D_1"/>
<labelOffset x="-13" y="10"/>
</element>
<expression label="text6" exp=""c""/>
<element type="text" label="text6">
<show object="true" label="false"/>
<condition showObject="o"/>
<objColor r="0" g="0" b="0" alpha="0.0"/>
<layer val="2"/>
<labelMode val="0"/>
<startPoint exp="E_1"/>
<labelOffset x="0" y="14"/>
</element>
<expression label="text7" exp=""c""/>
<element type="text" label="text7">
<show object="true" label="false"/>
<condition showObject="o"/>
<objColor r="0" g="0" b="0" alpha="0.0"/>
<layer val="2"/>
<labelMode val="0"/>
<startPoint exp="F_1"/>
<labelOffset x="1" y="-6"/>
</element>
<command name="Midpoint">
<input a0="p"/>
<output a0="G_1"/>
</command>
<element type="point" label="G_1">
<show object="false" label="true"/>
<objColor r="64" g="64" b="64" alpha="0.0"/>
<layer val="2"/>
<labelMode val="0"/>
<coords x="8.500000000000002" y="0.9999999999999978" z="1.0"/>
<pointSize val="3"/>
<pointStyle val="0"/>
</element>
<command name="Midpoint">
<input a0="q"/>
<output a0="H_1"/>
</command>
<element type="point" label="H_1">
<show object="false" label="true"/>
<objColor r="64" g="64" b="64" alpha="0.0"/>
<layer val="2"/>
<labelMode val="0"/>
<coords x="9.000000000000002" y="3.4999999999999982" z="1.0"/>
<pointSize val="3"/>
<pointStyle val="0"/>
</element>
<command name="Midpoint">
<input a0="r_1"/>
<output a0="I_1"/>
</command>
<element type="point" label="I_1">
<show object="false" label="true"/>
<objColor r="64" g="64" b="64" alpha="0.0"/>
<layer val="2"/>
<labelMode val="0"/>
<coords x="6.500000000000002" y="3.9999999999999982" z="1.0"/>
<pointSize val="3"/>
<pointStyle val="0"/>
</element>
<command name="Midpoint">
<input a0="s"/>
<output a0="J_1"/>
</command>
<element type="point" label="J_1">
<show object="false" label="true"/>
<objColor r="64" g="64" b="64" alpha="0.0"/>
<layer val="2"/>
<labelMode val="0"/>
<coords x="6.000000000000002" y="1.4999999999999982" z="1.0"/>
<pointSize val="3"/>
<pointStyle val="0"/>
</element>
<expression label="text8" exp=""c""/>
<element type="text" label="text8">
<show object="true" label="false"/>
<condition showObject="o"/>
<objColor r="0" g="0" b="0" alpha="0.0"/>
<layer val="3"/>
<labelMode val="0"/>
<startPoint exp="G_1"/>
<labelOffset x="-13" y="-4"/>
</element>
<expression label="text9" exp=""c""/>
<element type="text" label="text9">
<show object="true" label="false"/>
<condition showObject="o"/>
<objColor r="0" g="0" b="0" alpha="0.0"/>
<layer val="3"/>
<labelMode val="0"/>
<startPoint exp="H_1"/>
<labelOffset x="-12" y="11"/>
</element>
<expression label="text10" exp=""c""/>
<element type="text" label="text10">
<show object="true" label="false"/>
<condition showObject="o"/>
<objColor r="0" g="0" b="0" alpha="0.0"/>
<layer val="3"/>
<labelMode val="0"/>
<startPoint exp="I_1"/>
<labelOffset x="0" y="14"/>
</element>
<expression label="text11" exp=""c""/>
<element type="text" label="text11">
<show object="true" label="false"/>
<condition showObject="o"/>
<objColor r="0" g="0" b="0" alpha="0.0"/>
<layer val="3"/>
<labelMode val="0"/>
<startPoint exp="J_1"/>
<labelOffset x="1" y="-6"/>
</element>
<expression label="text12" exp=""a""/>
<element type="text" label="text12">
<show object="true" label="false"/>
<condition showObject="o"/>
<objColor r="0" g="0" b="0" alpha="0.0"/>
<layer val="2"/>
<labelMode val="0"/>
<startPoint exp="C1'"/>
<labelOffset x="-6" y="-7"/>
</element>
<expression label="text13" exp=""b""/>
<element type="text" label="text13">
<show object="true" label="false"/>
<condition showObject="o"/>
<objColor r="0" g="0" b="0" alpha="0.0"/>
<layer val="2"/>
<labelMode val="0"/>
<startPoint exp="D1'"/>
<labelOffset x="-13" y="7"/>
</element>
<expression label="text14" exp=""a""/>
<element type="text" label="text14">
<show object="true" label="false"/>
<condition showObject="o"/>
<objColor r="0" g="0" b="0" alpha="0.0"/>
<layer val="2"/>
<labelMode val="0"/>
<startPoint exp="B1'"/>
<labelOffset x="-15" y="4"/>
</element>
<expression label="text15" exp=""b""/>
<element type="text" label="text15">
<show object="true" label="false"/>
<condition showObject="o"/>
<objColor r="0" g="0" b="0" alpha="0.0"/>
<layer val="2"/>
<labelMode val="0"/>
<startPoint exp="A1'"/>
<labelOffset x="0" y="18"/>
</element>
<expression label="text16" exp=""a""/>
<element type="text" label="text16">
<show object="true" label="false"/>
<condition showObject="o"/>
<objColor r="0" g="0" b="0" alpha="0.0"/>
<layer val="2"/>
<labelMode val="0"/>
<startPoint exp="W'"/>
<labelOffset x="-7" y="19"/>
</element>
<expression label="text17" exp=""b""/>
<element type="text" label="text17">
<show object="true" label="false"/>
<condition showObject="o"/>
<objColor r="0" g="0" b="0" alpha="0.0"/>
<layer val="2"/>
<labelMode val="0"/>
<startPoint exp="Z'"/>
<labelOffset x="5" y="9"/>
</element>
<expression label="text18" exp=""a""/>
<element type="text" label="text18">
<show object="true" label="false"/>
<condition showObject="o"/>
<objColor r="0" g="0" b="0" alpha="0.0"/>
<layer val="2"/>
<labelMode val="0"/>
<startPoint exp="V'"/>
<labelOffset x="4" y="4"/>
</element>
<expression label="text19" exp=""b""/>
<element type="text" label="text19">
<show object="true" label="false"/>
<condition showObject="o"/>
<objColor r="0" g="0" b="0" alpha="0.0"/>
<layer val="2"/>
<labelMode val="0"/>
<startPoint exp="U'"/>
<labelOffset x="-5" y="-4"/>
</element>
<expression label="text20" exp=""a""/>
<element type="text" label="text20">
<show object="true" label="false"/>
<condition showObject="o"/>
<objColor r="0" g="0" b="0" alpha="0.0"/>
<layer val="3"/>
<labelMode val="0"/>
<startPoint exp="C1"/>
<labelOffset x="-6" y="-7"/>
</element>
<expression label="text21" exp=""b""/>
<element type="text" label="text21">
<show object="true" label="false"/>
<condition showObject="o"/>
<objColor r="0" g="0" b="0" alpha="0.0"/>
<layer val="3"/>
<labelMode val="0"/>
<startPoint exp="D1"/>
<labelOffset x="-13" y="7"/>
</element>
<expression label="text22" exp=""a""/>
<element type="text" label="text22">
<show object="true" label="false"/>
<condition showObject="o"/>
<objColor r="0" g="0" b="0" alpha="0.0"/>
<layer val="3"/>
<labelMode val="0"/>
<startPoint exp="B1"/>
<labelOffset x="-15" y="4"/>
</element>
<expression label="text23" exp=""b""/>
<element type="text" label="text23">
<show object="true" label="false"/>
<condition showObject="o"/>
<objColor r="0" g="0" b="0" alpha="0.0"/>
<layer val="3"/>
<labelMode val="0"/>
<startPoint exp="A1"/>
<labelOffset x="1" y="17"/>
</element>
<expression label="text24" exp=""a""/>
<element type="text" label="text24">
<show object="true" label="false"/>
<condition showObject="o"/>
<objColor r="0" g="0" b="0" alpha="0.0"/>
<layer val="3"/>
<labelMode val="0"/>
<startPoint exp="W"/>
<labelOffset x="-7" y="19"/>
</element>
<expression label="text25" exp=""b""/>
<element type="text" label="text25">
<show object="true" label="false"/>
<condition showObject="o"/>
<objColor r="0" g="0" b="0" alpha="0.0"/>
<layer val="3"/>
<labelMode val="0"/>
<startPoint exp="Z"/>
<labelOffset x="5" y="9"/>
</element>
<expression label="text26" exp=""a""/>
<element type="text" label="text26">
<show object="true" label="false"/>
<condition showObject="o"/>
<objColor r="0" g="0" b="0" alpha="0.0"/>
<layer val="3"/>
<labelMode val="0"/>
<startPoint exp="V"/>
<labelOffset x="4" y="4"/>
</element>
<expression label="text27" exp=""b""/>
<element type="text" label="text27">
<show object="true" label="false"/>
<condition showObject="o"/>
<objColor r="0" g="0" b="0" alpha="0.0"/>
<layer val="3"/>
<labelMode val="0"/>
<startPoint exp="U"/>
<labelOffset x="-4" y="-4"/>
</element>
<expression label="text28" exp=""在一個邊長分別為 a, b 及 c 的三角形中，""/>
<element type="text" label="text28">
<show object="true" label="false"/>
<condition showObject="o"/>
<objColor r="0" g="0" b="0" alpha="0.0"/>
<layer val="2"/>
<labelMode val="0"/>
<fixed val="true"/>
<absoluteScreenLocation x="29" y="329"/>
</element>
<expression label="text29" exp=""c² = ""/>
<element type="text" label="text29">
<show object="true" label="false"/>
<condition showObject="o"/>
<objColor r="0" g="0" b="0" alpha="0.0"/>
<layer val="2"/>
<labelMode val="0"/>
<fixed val="true"/>
<font serif="false" sizeM="1.0" size="0" style="1"/>
<absoluteScreenLocation x="121" y="371"/>
</element>
<expression label="text30" exp=""a² + b²""/>
<element type="text" label="text30">
<show object="true" label="false"/>
<condition showObject="o ∧ o_1"/>
<objColor r="0" g="0" b="0" alpha="0.0"/>
<layer val="2"/>
<labelMode val="0"/>
<fixed val="true"/>
<font serif="false" sizeM="1.0" size="0" style="1"/>
<absoluteScreenLocation x="174" y="371"/>
</element>
<element type="boolean" label="o_1">
<value val="false"/>
<show object="true" label="false"/>
<condition showObject="o"/>
<objColor r="0" g="0" b="0" alpha="0.0"/>
<layer val="2"/>
<labelOffset x="243" y="355"/>
<labelMode val="0"/>
</element>
<expression label="text31" exp=""畢氏定理（勾股定理）""/>
<element type="text" label="text31">
<show object="true" label="false"/>
<condition showObject="o ∧ o_1"/>
<objColor r="0" g="0" b="0" alpha="0.0"/>
<layer val="2"/>
<labelMode val="0"/>
<fixed val="true"/>
<font serif="false" sizeM="1.0" size="0" style="1"/>
<absoluteScreenLocation x="282" y="371"/>
</element>
<command name="Segment">
<input a0="E" a1="F"/>
<output a0="q_1"/>
</command>
<element type="segment" label="q_1">
<show object="true" label="false"/>
<condition showObject="提示 ∨ o"/>
<objColor r="0" g="0" b="0" alpha="0.0"/>
<layer val="2"/>
<labelMode val="0"/>
<coords x="-5.0" y="0.0" z="50.000000000000014"/>
<lineStyle thickness="5" type="0" typeHidden="1"/>
<eqnStyle style="implicit"/>
<outlyingIntersections val="false"/>
<keepTypeOnTransform val="true"/>
</element>
<command name="Segment">
<input a0="F" a1="G"/>
<output a0="s_1"/>
</command>
<element type="segment" label="s_1">
<show object="true" label="false"/>
<condition showObject="提示 ∨ o"/>
<objColor r="0" g="0" b="0" alpha="0.0"/>
<layer val="2"/>
<labelMode val="0"/>
<coords x="0.0" y="-5.0" z="24.999999999999993"/>
<lineStyle thickness="5" type="0" typeHidden="1"/>
<eqnStyle style="implicit"/>
<outlyingIntersections val="false"/>
<keepTypeOnTransform val="true"/>
</element>
<command name="Segment">
<input a0="G" a1="H"/>
<output a0="t_1"/>
</command>
<element type="segment" label="t_1">
<show object="true" label="false"/>
<condition showObject="提示 ∨ o"/>
<objColor r="0" g="0" b="0" alpha="0.0"/>
<layer val="2"/>
<labelMode val="0"/>
<coords x="5.0" y="0.0" z="-25.00000000000001"/>
<lineStyle thickness="5" type="0" typeHidden="1"/>
<eqnStyle style="implicit"/>
<outlyingIntersections val="false"/>
<keepTypeOnTransform val="true"/>
</element>
<command name="Segment">
<input a0="H" a1="E"/>
<output a0="a_2"/>
</command>
<element type="segment" label="a_2">
<show object="true" label="false"/>
<condition showObject="提示 ∨ o"/>
<objColor r="0" g="0" b="0" alpha="0.0"/>
<layer val="2"/>
<labelMode val="0"/>
<coords x="4.440892098500626E-16" y="5.0" z="6.661338147750939E-15"/>
<lineStyle thickness="5" type="0" typeHidden="1"/>
<eqnStyle style="implicit"/>
<outlyingIntersections val="false"/>
<keepTypeOnTransform val="true"/>
</element>
<command name="Angle">
<input a0="(x(E') - x1, y(E'))" a1="E'" a2="(x(E'), y(E') + y1)"/>
<output a0="α"/>
</command>
<element type="angle" label="α">
<value val="4.71238898038469"/>
<show object="true" label="false"/>
<condition showObject="o"/>
<objColor r="0" g="0" b="0" alpha="0.0"/>
<layer val="2"/>
<labelMode val="0"/>
<lineStyle thickness="3" type="0" typeHidden="1"/>
<arcSize val="15"/>
<allowReflexAngle val="false"/>
</element>
<command name="Angle">
<input a0="(x(P) - x1, y(P))" a1="P" a2="(x(P), y(P) + y1)"/>
<output a0="α'"/>
</command>
<element type="angle" label="α'">
<value val="4.71238898038469"/>
<show object="true" label="false"/>
<condition showObject="o"/>
<objColor r="0" g="0" b="0" alpha="0.0"/>
<layer val="2"/>
<labelMode val="0"/>
<lineStyle thickness="3" type="0" typeHidden="1"/>
<arcSize val="15"/>
<allowReflexAngle val="false"/>
</element>
<command name="Angle">
<input a0="(x(F') - y1, y(F'))" a1="F'" a2="(x(F'), y(F') - x1)"/>
<output a0="β"/>
</command>
<element type="angle" label="β">
<value val="1.5707963267948966"/>
<show object="true" label="false"/>
<condition showObject="o"/>
<objColor r="0" g="0" b="0" alpha="0.0"/>
<layer val="2"/>
<labelMode val="0"/>
<lineStyle thickness="3" type="0" typeHidden="1"/>
<arcSize val="15"/>
<allowReflexAngle val="false"/>
</element>
<command name="Angle">
<input a0="(x(Q) - y1, y(Q))" a1="Q" a2="(x(Q), y(Q) - x1)"/>
<output a0="β'"/>
</command>
<element type="angle" label="β'">
<value val="1.5707963267948966"/>
<show object="true" label="false"/>
<condition showObject="o"/>
<objColor r="0" g="0" b="0" alpha="0.0"/>
<layer val="2"/>
<labelMode val="0"/>
<lineStyle thickness="3" type="0" typeHidden="1"/>
<arcSize val="15"/>
<allowReflexAngle val="false"/>
</element>
<command name="Angle">
<input a0="(x(G'), y(G') - y1)" a1="G'" a2="(x(G') + x1, y(G'))"/>
<output a0="γ"/>
</command>
<element type="angle" label="γ">
<value val="1.5707963267948966"/>
<show object="true" label="false"/>
<condition showObject="o"/>
<objColor r="0" g="0" b="0" alpha="0.0"/>
<layer val="2"/>
<labelMode val="0"/>
<lineStyle thickness="3" type="0" typeHidden="1"/>
<arcSize val="15"/>
<allowReflexAngle val="false"/>
</element>
<command name="Angle">
<input a0="(x(R), y(R) - y1)" a1="R" a2="(x(R) + x1, y(R))"/>
<output a0="γ'"/>
</command>
<element type="angle" label="γ'">
<value val="1.5707963267948966"/>
<show object="true" label="false"/>
<condition showObject="o"/>
<objColor r="0" g="0" b="0" alpha="0.0"/>
<layer val="2"/>
<labelMode val="0"/>
<lineStyle thickness="3" type="0" typeHidden="1"/>
<arcSize val="15"/>
<allowReflexAngle val="false"/>
</element>
<command name="Angle">
<input a0="(x(S), y(S) + x1)" a1="S" a2="(x(S) + y1, y(S))"/>
<output a0="δ'"/>
</command>
<element type="angle" label="δ'">
<value val="4.71238898038469"/>
<show object="true" label="false"/>
<condition showObject="o"/>
<objColor r="0" g="0" b="0" alpha="0.0"/>
<layer val="2"/>
<labelMode val="0"/>
<lineStyle thickness="3" type="0" typeHidden="1"/>
<arcSize val="15"/>
<allowReflexAngle val="false"/>
</element>
<command name="Angle">
<input a0="(x(H'), y(H') + x1)" a1="H'" a2="(x(H') + y1, y(H'))"/>
<output a0="δ"/>
</command>
<element type="angle" label="δ">
<value val="4.71238898038469"/>
<show object="true" label="false"/>
<condition showObject="o"/>
<objColor r="0" g="0" b="0" alpha="0.0"/>
<layer val="2"/>
<labelMode val="0"/>
<lineStyle thickness="3" type="0" typeHidden="1"/>
<arcSize val="15"/>
<allowReflexAngle val="false"/>
</element>
<expression label="show1" exp="x(R) ≟ x(F) - x1 ∧ y(R) ≟ y(F) - x1 ∧ S ≟ H ∧ Distance[P, R] ≟ sqrt(a^(2) + b^(2)) ∧ Distance[Q, S] ≟ sqrt(a^(2) + b^(2))" />
<element type="boolean" label="show1">
<value val="false"/>
<show object="false" label="false"/>
<objColor r="0" g="0" b="0" alpha="0.0"/>
<layer val="3"/>
<labelMode val="0"/>
</element>
<expression label="show2" exp="S ≟ H ∧ R ≟ G ∧ Distance[P, R] ≟ sqrt(a^(2) + b^(2)) ∧ Distance[Q, S] ≟ sqrt(a^(2) + b^(2))" />
<element type="boolean" label="show2">
<value val="false"/>
<show object="false" label="false"/>
<objColor r="0" g="0" b="0" alpha="0.0"/>
<layer val="3"/>
<labelMode val="0"/>
</element>
<expression label="show3" exp="Q ≟ F ∧ R ≟ G ∧ Distance[P, R] ≟ sqrt(a^(2) + b^(2)) ∧ Distance[Q, S] ≟ sqrt(a^(2) + b^(2))" />
<element type="boolean" label="show3">
<value val="false"/>
<show object="false" label="false"/>
<objColor r="0" g="0" b="0" alpha="0.0"/>
<layer val="3"/>
<labelMode val="0"/>
</element>
<expression label="show4" exp="P ≟ E ∧ Q ≟ F ∧ Distance[P, R] ≟ sqrt(a^(2) + b^(2)) ∧ Distance[Q, S] ≟ sqrt(a^(2) + b^(2))" />
<element type="boolean" label="show4">
<value val="false"/>
<show object="false" label="false"/>
<objColor r="0" g="0" b="0" alpha="0.0"/>
<layer val="3"/>
<labelMode val="0"/>
</element>
<expression label="show5" exp="x(P) ≟ x(E) ∧ y(P) ≟ y(E) + x1 ∧ x(Q) ≟ x(E) ∧ y(Q) ≟ y(E) + x1 ∧ Distance[P, R] ≟ sqrt(a^(2) + b^(2)) ∧ Distance[Q, S] ≟ sqrt(a^(2) + b^(2))" />
<element type="boolean" label="show5">
<value val="false"/>
<show object="false" label="false"/>
<objColor r="0" g="0" b="0" alpha="0.0"/>
<layer val="3"/>
<labelMode val="0"/>
</element>
<expression label="show6" exp="x(P) ≟ x(E) - y1 ∧ y(P) ≟ y(E) ∧ x(S) ≟ x(H) ∧ y(S) ≟ y(H) + y1 ∧ Distance[P, R] ≟ sqrt(a^(2) + b^(2)) ∧ Distance[Q, S] ≟ sqrt(a^(2) + b^(2))" />
<element type="boolean" label="show6">
<value val="false"/>
<show object="false" label="false"/>
<objColor r="0" g="0" b="0" alpha="0.0"/>
<layer val="3"/>
<labelMode val="0"/>
</element>
<expression label="show7" exp="x(P) ≟ x(E) ∧ y(P) ≟ y(E) + x1 ∧ x(Q) ≟ x(F) - x1 ∧ y(Q) ≟ y(F) ∧ Distance[P, R] ≟ sqrt(a^(2) + b^(2)) ∧ Distance[Q, S] ≟ sqrt(a^(2) + b^(2))" />
<element type="boolean" label="show7">
<value val="false"/>
<show object="false" label="false"/>
<objColor r="0" g="0" b="0" alpha="0.0"/>
<layer val="3"/>
<labelMode val="0"/>
</element>
<expression label="show8" exp="x(P) ≟ x(E) - y1 ∧ y(P) ≟ y(E) ∧ x(Q) ≟ x(E) ∧ y(Q) ≟ y(E) + x1 ∧ Distance[P, R] ≟ sqrt(a^(2) + b^(2)) ∧ Distance[Q, S] ≟ sqrt(a^(2) + b^(2))" />
<element type="boolean" label="show8">
<value val="false"/>
<show object="false" label="false"/>
<objColor r="0" g="0" b="0" alpha="0.0"/>
<layer val="3"/>
<labelMode val="0"/>
</element>
<expression label="show9" exp="x(P) - x(S) ≟ a + b ∧ y(Q) - y(P) ≟ a + b ∧ Distance[P, R] ≟ sqrt(a^(2) + b^(2)) ∧ Distance[Q, S] ≟ sqrt(a^(2) + b^(2))" />
<element type="boolean" label="show9">
<value val="false"/>
<show object="false" label="false"/>
<objColor r="0" g="0" b="0" alpha="0.0"/>
<layer val="3"/>
<labelMode val="0"/>
</element>
<expression label="show10" exp="x(Q) - x(R) ≟ a + b ∧ y(Q) - y(P) ≟ a + b ∧ Distance[P, R] ≟ sqrt(a^(2) + b^(2)) ∧ Distance[Q, S] ≟ sqrt(a^(2) + b^(2))" />
<element type="boolean" label="show10">
<value val="false"/>
<show object="false" label="false"/>
<objColor r="0" g="0" b="0" alpha="0.0"/>
<layer val="3"/>
<labelMode val="0"/>
</element>
<expression label="show11" exp="x(Q) - x(R) ≟ a + b ∧ y(R) - y(S) ≟ a + b ∧ Distance[P, R] ≟ sqrt(a^(2) + b^(2)) ∧ Distance[Q, S] ≟ sqrt(a^(2) + b^(2))" />
<element type="boolean" label="show11">
<value val="false"/>
<show object="false" label="false"/>
<objColor r="0" g="0" b="0" alpha="0.0"/>
<layer val="3"/>
<labelMode val="0"/>
</element>
<expression label="show12" exp="x(P) - x(S) ≟ a + b ∧ y(R) - y(S) ≟ a + b ∧ Distance[P, R] ≟ sqrt(a^(2) + b^(2)) ∧ Distance[Q, S] ≟ sqrt(a^(2) + b^(2))" />
<element type="boolean" label="show12">
<value val="false"/>
<show object="false" label="false"/>
<objColor r="0" g="0" b="0" alpha="0.0"/>
<layer val="3"/>
<labelMode val="0"/>
</element>
<expression label="text32" exp=""a²""/>
<element type="text" label="text32">
<show object="true" label="false"/>
<condition showObject="o ∧ o_1"/>
<objColor r="255" g="0" b="0" alpha="0.0"/>
<layer val="3"/>
<labelMode val="0"/>
<font serif="false" sizeM="1.8888888888888888" size="16" style="2"/>
<startPoint exp="K_1"/>
<labelOffset x="-15" y="8"/>
</element>
<command name="If">
<input a0="show1 ∨ show9 ∨ show6" a1="Midpoint[F, (x(F) - a, y(F) - a)]" a2="If[show10 ∨ show4 ∨ show8, Midpoint[G, (x(G) + a, y(G) - a)], If[show3 ∨ show5 ∨ show11, Midpoint[H, (x(H) + a, y(H) + a)], If[show2 ∨ show12 ∨ show7, Midpoint[E, (x(E) - a, y(E) + a)]]]]"/>
<output a0="K_1"/>
</command>
<element type="point" label="K_1">
<show object="false" label="true"/>
<objColor r="64" g="64" b="64" alpha="0.0"/>
<layer val="3"/>
<labelMode val="0"/>
<coords x="NaN" y="NaN" z="NaN"/>
<pointSize val="3"/>
<pointStyle val="0"/>
</element>
<expression label="text33" exp=""b²""/>
<element type="text" label="text33">
<show object="true" label="false"/>
<condition showObject="o ∧ o_1"/>
<objColor r="255" g="0" b="0" alpha="0.0"/>
<layer val="3"/>
<labelMode val="0"/>
<font serif="false" sizeM="1.8888888888888888" size="16" style="2"/>
<startPoint exp="K_2"/>
<labelOffset x="-16" y="8"/>
</element>
<command name="If">
<input a0="show5 ∨ show12 ∨ show1" a1="Midpoint[G, (x(G) + b, y(G) - b)]" a2="If[show2 ∨ show11 ∨ show8, Midpoint[F, (x(F) - b, y(F) - b)], If[show3 ∨ show10 ∨ show6, Midpoint[E, (x(E) - b, y(E) + b)], If[show9 ∨ show4 ∨ show7, Midpoint[H, (x(H) + b, y(H) + b)]]]]"/>
<output a0="K_2"/>
</command>
<element type="point" label="K_2">
<show object="false" label="true"/>
<objColor r="64" g="64" b="64" alpha="0.0"/>
<layer val="3"/>
<labelMode val="0"/>
<coords x="NaN" y="NaN" z="NaN"/>
<pointSize val="3"/>
<pointStyle val="0"/>
</element>
<command name="Midpoint">
<input a0="E'" a1="G'"/>
<output a0="L_1"/>
</command>
<element type="point" label="L_1">
<show object="false" label="true"/>
<objColor r="64" g="64" b="64" alpha="0.0"/>
<layer val="3"/>
<labelMode val="0"/>
<coords x="0.5" y="2.5" z="1.0"/>
<pointSize val="3"/>
<pointStyle val="0"/>
</element>
<expression label="text34" exp=""c²""/>
<element type="text" label="text34">
<show object="true" label="false"/>
<condition showObject="o"/>
<objColor r="255" g="0" b="0" alpha="0.0"/>
<layer val="3"/>
<labelMode val="0"/>
<font serif="false" sizeM="1.8888888888888888" size="16" style="2"/>
<startPoint exp="L_1"/>
<labelOffset x="-9" y="7"/>
</element>
<command name="Midpoint">
<input a0="E" a1="G"/>
<output a0="M_1"/>
</command>
<element type="point" label="M_1">
<show object="false" label="true"/>
<objColor r="64" g="64" b="64" alpha="0.0"/>
<layer val="3"/>
<labelMode val="0"/>
<coords x="7.500000000000002" y="2.4999999999999982" z="1.0"/>
<pointSize val="3"/>
<pointStyle val="0"/>
</element>
<expression label="text35" exp=""c²""/>
<element type="text" label="text35">
<show object="true" label="false"/>
<condition showObject="o ∧ P ≟ E ∧ Q ≟ F ∧ R ≟ G ∧ S ≟ H"/>
<objColor r="255" g="0" b="0" alpha="0.0"/>
<layer val="3"/>
<labelMode val="0"/>
<font serif="false" sizeM="1.8888888888888888" size="16" style="2"/>
<startPoint exp="M_1"/>
<labelOffset x="-9" y="7"/>
</element>
</construction>
</geogebra>