Interactive Geometric Proof of the Pythagorean Theorem
2020-03-30 23:54
This GeoGebra applet dynamically demonstrates the geometric proof of the Pythagorean Theorem. By constructing right triangles, polygons, and semicircles, and utilizing transformations such as rotation and congruence, it visually illustrates that the sum of the squares of the two legs equals the square of the hypotenuse. Users can interact with sliders and points to observe the theorem holding true
In collections
Lumei Junior High Math Geometry Models
<?xml version="1.0" encoding="utf-8"?>
<geogebra format="5.0" version="5.0.574.0" app="classic" platform="w" id="23a69041-cc23-4082-a06a-9e5924e80e39" xsi:noNamespaceSchemaLocation="http://www.geogebra.org/apps/xsd/ggb.xsd" xmlns="" xmlns:xsi="http://www.w3.org/2001/XMLSchema-instance" >
<gui>
<window width="1536" height="601" />
<perspectives>
<perspective id="tmp">
<panes>
<pane location="" divider="0.33277870216306154" orientation="0" />
</panes>
<views>
<view id="4" toolbar="0 59 || 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="8" toolbar="1001 | 1002 | 1003 || 1005 | 1004 || 1006 | 1007 | 1010 | 1011 || 1008 1009 || 6" visible="false" inframe="false" stylebar="false" location="1,3" size="300" window="100,100,600,400" />
<view id="1" visible="true" inframe="false" stylebar="false" location="2" size="548" window="0,0,400,400" />
<view id="2" visible="false" inframe="false" stylebar="false" location="0" size="200" window="0,0,200,400" />
<view id="16" visible="false" inframe="false" stylebar="false" location="1" size="150" window="50,50,500,500" />
<view id="32" visible="false" inframe="false" stylebar="true" location="1" size="150" window="50,50,500,500" />
<view id="64" toolbar="0" visible="false" inframe="false" stylebar="true" location="1" size="150" window="50,50,500,500" />
<view id="128" visible="false" inframe="false" stylebar="false" location="1" size="480" window="50,50,500,500" />
<view id="4097" visible="false" inframe="false" stylebar="true" location="1" size="344" window="1161,150,700,550" />
<view id="70" toolbar="0 || 2020 || 2021 || 2022" visible="false" inframe="false" stylebar="true" location="1" size="150" window="50,50,500,500" />
<view id="43" visible="false" inframe="false" stylebar="false" location="1" size="450" window="50,50,500,500" />
<view id="512" toolbar="0 | 1 501 5 19 , 67 | 2 15 45 18 , 7 37 | 514 3 9 , 13 44 , 47 | 16 51 | 551 550 11 , 20 22 21 23 , 55 56 57 , 12 | 69 | 510 511 , 512 513 | 533 531 , 534 532 , 522 523 , 537 536 , 535 | 521 520 | 36 , 38 49 560 | 571 30 29 570 31 33 | 17 | 540 40 41 42 , 27 28 35 , 6 , 502" visible="false" inframe="false" stylebar="false" location="1" size="480" window="50,50,500,500" />
</views>
<toolbar show="true" items="0 39 59 | 1 501 67 , 5 19 , 72 | 2 15 45 , 18 65 , 7 37 | 4 3 8 9 , 13 44 , 58 , 47 | 16 51 64 , 70 | 10 34 53 11 , 24 20 22 , 21 23 | 55 56 57 , 12 | 36 46 , 38 49 50 , 71 | 30 29 54 32 31 33 | 17 26 62 73 , 14 66 68 | 25 52 60 61 | 40 41 42 , 27 28 35 , 6" position="1" help="false" />
<input show="true" cmd="true" top="algebra" />
<dockBar show="false" east="false" />
</perspective>
</perspectives>
<labelingStyle val="3"/>
<font size="20"/>
</gui>
<euclidianView>
<viewNumber viewNo="1"/>
<size width="1536" height="548"/>
<coordSystem xZero="685.7894773540731" yZero="313.1191919322685" scale="28.081755963561253" yscale="28.081755963561253"/>
<evSettings axes="false" grid="false" gridIsBold="false" pointCapturing="1" rightAngleStyle="1" checkboxSize="26" gridType="0"/>
<bgColor r="204" g="255" b="102"/>
<axesColor r="64" g="64" b="64"/>
<gridColor r="192" g="192" b="192"/>
<lineStyle axes="1" grid="10"/>
<axis id="0" show="false" label="" unitLabel="" tickStyle="0" showNumbers="true"/>
<axis id="1" show="false" label="" unitLabel="" tickStyle="0" showNumbers="true"/>
<grid distX="1" distY="1" distTheta="0.5235987755982988"/>
</euclidianView>
<kernel>
<continuous val="true"/>
<usePathAndRegionParameters val="true"/>
<decimals val="2"/>
<angleUnit val="degree"/>
<algebraStyle val="0" spreadsheet="0"/>
<coordStyle val="0"/>
</kernel>
<tableview min="-2" max="2" step="1"/>
<scripting blocked="false" disabled="false"/>
<construction title="勾股定理的证明" author="" date="">
<element type="numeric" label="a">
<value val="0"/>
<show object="true" label="true"/>
<objColor r="0" g="0" b="255" alpha="0.1"/>
<layer val="0"/>
<labelOffset x="-70" y="38"/>
<labelMode val="1"/>
<slider min="0" max="1" absoluteScreenLocation="true" width="120" x="163" y="199" fixed="false" horizontal="true" showAlgebra="false"/>
<lineStyle thickness="8" type="0" typeHidden="1"/>
<animation step="0.01" speed="1" type="0" playing="false"/>
</element>
<command name="Intersect">
<input a0="xAxis" a1="yAxis"/>
<output a0="A"/>
</command>
<element type="point" label="A">
<show object="false" label="true"/>
<objColor r="64" g="64" b="64" alpha="0"/>
<layer val="0"/>
<labelMode val="0"/>
<coords x="0" y="0" z="1"/>
<pointSize val="3"/>
<pointStyle val="0"/>
</element>
<command name="Point">
<input a0="xAxis"/>
<output a0="B"/>
</command>
<element type="point" label="B">
<show object="true" label="false"/>
<objColor r="255" g="0" b="0" alpha="0"/>
<layer val="0"/>
<labelMode val="0"/>
<animation step="0.1" speed="1" type="0" playing="false"/>
<coords x="5" y="0" z="1"/>
<pointSize val="6"/>
<pointStyle val="0"/>
</element>
<command name="Semicircle">
<input a0="A" a1="B"/>
<output a0="h"/>
</command>
<element type="conicpart" label="h">
<show object="false" label="false"/>
<objColor r="0" g="0" b="0" alpha="0"/>
<layer val="0"/>
<labelMode val="0"/>
<lineStyle thickness="2" type="0" typeHidden="1"/>
<eigenvectors x0="1" y0="0" z0="1.0" x1="0" y1="1" z1="1.0"/>
<matrix A0="1" A1="1" A2="0" A3="0" A4="-2.5" A5="0"/>
<eqnStyle style="implicit"/>
<outlyingIntersections val="false"/>
<keepTypeOnTransform val="true"/>
</element>
<command name="Midpoint">
<input a0="A" a1="B"/>
<output a0="O"/>
</command>
<element type="point" label="O">
<show object="false" label="true"/>
<objColor r="64" g="64" b="64" alpha="0"/>
<layer val="0"/>
<labelMode val="0"/>
<coords x="2.5" y="0" z="1"/>
<pointSize val="3"/>
<pointStyle val="0"/>
</element>
<command name="Circle">
<input a0="O" a1="B"/>
<output a0="o"/>
</command>
<element type="conic" label="o">
<show object="false" label="true"/>
<objColor r="0" g="0" b="0" alpha="0"/>
<layer val="0"/>
<labelMode val="0"/>
<lineStyle thickness="2" type="0" typeHidden="1"/>
<eigenvectors x0="1" y0="0" z0="1.0" x1="0" y1="1" z1="1.0"/>
<matrix A0="1" A1="1" A2="0" A3="0" A4="-2.5" A5="0"/>
<eqnStyle style="specific"/>
</element>
<command name="Point">
<input a0="h"/>
<output a0="C"/>
</command>
<element type="point" label="C">
<show object="true" label="false"/>
<objColor r="255" g="0" b="0" alpha="0"/>
<layer val="0"/>
<labelMode val="0"/>
<animation step="1" speed="1" type="1" playing="false"/>
<coords x="1.7993071552165147" y="2.399797811747737" z="1"/>
<pointSize val="6"/>
<pointStyle val="0"/>
</element>
<command name="Rotate">
<input a0="C" a1="90°" a2="A"/>
<output a0="D"/>
</command>
<element type="point" label="D">
<show object="false" label="true"/>
<objColor r="64" g="64" b="64" alpha="0"/>
<layer val="0"/>
<labelOffset x="-10" y="-6"/>
<labelMode val="0"/>
<coords x="-2.399797811747737" y="1.7993071552165147" z="1"/>
<pointSize val="3"/>
<pointStyle val="0"/>
</element>
<command name="Rotate">
<input a0="A" a1="270°" a2="C"/>
<output a0="E"/>
</command>
<element type="point" label="E">
<show object="false" label="true"/>
<objColor r="64" g="64" b="64" alpha="0"/>
<layer val="0"/>
<labelOffset x="-20" y="-4"/>
<labelMode val="0"/>
<coords x="-0.6004906565312218" y="4.199104966964252" z="1"/>
<pointSize val="3"/>
<pointStyle val="0"/>
</element>
<command name="Line">
<input a0="D" a1="E"/>
<output a0="m"/>
</command>
<element type="line" label="m">
<show object="false" label="true"/>
<objColor r="0" g="0" b="0" alpha="0"/>
<layer val="0"/>
<labelMode val="0"/>
<coords x="-2.399797811747737" y="1.7993071552165151" z="-8.996535776082575"/>
<lineStyle thickness="2" type="0" typeHidden="1"/>
<eqnStyle style="implicit"/>
</element>
<command name="Vector">
<input a0="D" a1="E"/>
<output a0="v_b"/>
</command>
<element type="vector" label="v_b">
<show object="false" label="true"/>
<objColor r="0" g="0" b="0" alpha="0"/>
<layer val="0"/>
<labelOffset x="-14" y="-6"/>
<labelMode val="0"/>
<coords x="1.7993071552165151" y="2.399797811747737" z="0"/>
<lineStyle thickness="2" type="0" typeHidden="1"/>
<coordStyle style="cartesian"/>
<startPoint exp="D"/>
</element>
<command name="Length">
<input a0="v_b"/>
<output a0="k_b"/>
</command>
<element type="numeric" label="k_b">
<value val="2.999422573776922"/>
<objColor r="0" g="0" b="0" alpha="0.1"/>
</element>
<command name="Rotate">
<input a0="C" a1="270°" a2="B"/>
<output a0="F"/>
</command>
<element type="point" label="F">
<show object="false" label="true"/>
<objColor r="64" g="64" b="64" alpha="0"/>
<layer val="0"/>
<labelMode val="0"/>
<coords x="7.399797811747737" y="3.2006928447834846" z="1"/>
<pointSize val="3"/>
<pointStyle val="0"/>
</element>
<command name="Rotate">
<input a0="B" a1="90°" a2="C"/>
<output a0="G"/>
</command>
<element type="point" label="G">
<show object="false" label="true"/>
<objColor r="64" g="64" b="64" alpha="0"/>
<layer val="0"/>
<labelOffset x="6" y="-1"/>
<labelMode val="0"/>
<coords x="4.199104966964252" y="5.600490656531222" z="1"/>
<pointSize val="3"/>
<pointStyle val="0"/>
</element>
<command name="Line">
<input a0="F" a1="G"/>
<output a0="n"/>
</command>
<element type="line" label="n">
<show object="false" label="true"/>
<objColor r="0" g="0" b="0" alpha="0"/>
<layer val="0"/>
<labelMode val="0"/>
<coords x="-2.3997978117477374" y="-3.200692844783485" z="28.00245328265611"/>
<lineStyle thickness="2" type="0" typeHidden="1"/>
<eqnStyle style="implicit"/>
</element>
<command name="Intersect">
<input a0="m" a1="n"/>
<output a0="H"/>
</command>
<element type="point" label="H">
<show object="false" label="true"/>
<objColor r="64" g="64" b="64" alpha="0"/>
<layer val="0"/>
<labelMode val="0"/>
<coords x="21.589866868753194" y="88.79009298003956" z="11.998989058738686"/>
<pointSize val="3"/>
<pointStyle val="0"/>
</element>
<command name="Line">
<input a0="H" a1="yAxis"/>
<output a0="hc"/>
</command>
<element type="line" label="hc">
<show object="false" label="true"/>
<objColor r="0" g="0" b="0" alpha="0"/>
<layer val="0"/>
<labelMode val="0"/>
<coords x="-11.998989058738686" y="0" z="21.589866868753194"/>
<lineStyle thickness="2" type="0" typeHidden="1"/>
<eqnStyle style="implicit"/>
</element>
<command name="Vector">
<input a0="E" a1="H"/>
<output a0="u_a"/>
</command>
<element type="vector" label="u_a">
<show object="false" label="true"/>
<objColor r="0" g="0" b="0" alpha="0"/>
<layer val="0"/>
<labelOffset x="-6" y="-6"/>
<labelMode val="0"/>
<coords x="2.399797811747737" y="3.200692844783484" z="0"/>
<lineStyle thickness="2" type="0" typeHidden="1"/>
<coordStyle style="cartesian"/>
<startPoint exp="E"/>
</element>
<command name="Length">
<input a0="u_a"/>
<output a0="ku_b"/>
</command>
<element type="numeric" label="ku_b">
<value val="4.000433004553059"/>
<objColor r="0" g="0" b="0" alpha="0.1"/>
</element>
<command name="Vector">
<input a0="G" a1="H"/>
<output a0="u_b"/>
</command>
<element type="vector" label="u_b">
<show object="false" label="true"/>
<objColor r="0" g="0" b="0" alpha="0"/>
<layer val="0"/>
<labelOffset x="22" y="-6"/>
<labelMode val="0"/>
<coords x="-2.399797811747737" y="1.799307155216514" z="0"/>
<lineStyle thickness="2" type="0" typeHidden="1"/>
<coordStyle style="cartesian"/>
<startPoint exp="G"/>
</element>
<command name="Length">
<input a0="u_b"/>
<output a0="ku_a"/>
</command>
<element type="numeric" label="ku_a">
<value val="2.9994225737769215"/>
<objColor r="0" g="0" b="0" alpha="0.1"/>
</element>
<command name="Vector">
<input a0="F" a1="G"/>
<output a0="v_a"/>
</command>
<element type="vector" label="v_a">
<show object="false" label="true"/>
<objColor r="0" g="0" b="0" alpha="0"/>
<layer val="0"/>
<labelOffset x="18" y="-7"/>
<labelMode val="0"/>
<coords x="-3.200692844783485" y="2.3997978117477374" z="0"/>
<lineStyle thickness="2" type="0" typeHidden="1"/>
<coordStyle style="cartesian"/>
<startPoint exp="F"/>
</element>
<command name="Length">
<input a0="v_a"/>
<output a0="k_a"/>
</command>
<element type="numeric" label="k_a">
<value val="4.00043300455306"/>
<objColor r="0" g="0" b="0" alpha="0.1"/>
</element>
<command name="Rotate">
<input a0="B" a1="270°" a2="A"/>
<output a0="I"/>
</command>
<element type="point" label="I">
<show object="false" label="true"/>
<objColor r="64" g="64" b="64" alpha="0"/>
<layer val="0"/>
<labelMode val="0"/>
<coords x="-9.184850993605147e-16" y="-5" z="1"/>
<pointSize val="3"/>
<pointStyle val="0"/>
</element>
<command name="Vector">
<input a0="A" a1="I"/>
<output a0="v_c"/>
</command>
<element type="vector" label="v_c">
<show object="false" label="true"/>
<objColor r="0" g="0" b="0" alpha="0"/>
<layer val="0"/>
<labelOffset x="0" y="23"/>
<labelMode val="0"/>
<coords x="-9.184850993605147e-16" y="-5" z="0"/>
<lineStyle thickness="2" type="0" typeHidden="1"/>
<coordStyle style="cartesian"/>
<startPoint exp="A"/>
</element>
<command name="Length">
<input a0="v_c"/>
<output a0="k_c"/>
</command>
<element type="numeric" label="k_c">
<value val="5"/>
<objColor r="0" g="0" b="0" alpha="0.1"/>
</element>
<command name="Circle">
<input a0="H" a1="(ku_a * ku_b / k_c)"/>
<output a0="d"/>
</command>
<element type="conic" label="d">
<show object="false" label="true"/>
<objColor r="0" g="0" b="0" alpha="0"/>
<layer val="0"/>
<labelMode val="0"/>
<lineStyle thickness="2" type="0" typeHidden="1"/>
<eigenvectors x0="1" y0="0" z0="1.0" x1="0" y1="1" z1="1.0"/>
<matrix A0="1" A1="1" A2="52.235484356290705" A3="0" A4="-1.799307155216515" A5="-7.399797811747736"/>
<eqnStyle style="specific"/>
</element>
<command name="Intersect">
<input a0="d" a1="hc"/>
<output a0="K" a1="L"/>
</command>
<element type="point" label="K">
<show object="false" label="true"/>
<objColor r="64" g="64" b="64" alpha="0"/>
<layer val="0"/>
<labelMode val="0"/>
<coords x="1.799307155216515" y="9.799595623495472" z="1"/>
<pointSize val="3"/>
<pointStyle val="0"/>
</element>
<element type="point" label="L">
<show object="false" label="true"/>
<objColor r="64" g="64" b="64" alpha="0"/>
<layer val="0"/>
<labelMode val="0"/>
<coords x="1.799307155216515" y="5" z="1"/>
<pointSize val="3"/>
<pointStyle val="0"/>
</element>
<command name="Vector">
<input a0="H" a1="L"/>
<output a0="v_h"/>
</command>
<element type="vector" label="v_h">
<show object="false" label="true"/>
<objColor r="0" g="0" b="0" alpha="0"/>
<layer val="0"/>
<labelMode val="0"/>
<coords x="0" y="-2.399797811747736" z="0"/>
<lineStyle thickness="2" type="0" typeHidden="1"/>
<coordStyle style="cartesian"/>
<startPoint exp="H"/>
</element>
<expression label="k_H" exp="(k_a * k_b / k_c)" />
<element type="numeric" label="k_H">
<value val="2.399797811747737"/>
<objColor r="0" g="0" b="0" alpha="0.1"/>
</element>
<expression label="sliderA_m" exp="ku_b + k_H + k_c" />
<element type="numeric" label="sliderA_m">
<value val="11.400230816300796"/>
<objColor r="0" g="0" b="0" alpha="0.1"/>
</element>
<expression label="a_3" exp="1 - a" />
<element type="numeric" label="a_3">
<value val="1"/>
<objColor r="0" g="0" b="0" alpha="0.1"/>
</element>
<expression label="ka_1" exp="ku_b / sliderA_m" />
<element type="numeric" label="ka_1">
<value val="0.35090807098685916"/>
<objColor r="0" g="0" b="0" alpha="0.1"/>
</element>
<expression label="ka_2" exp="(ku_b + k_H) / sliderA_m" />
<element type="numeric" label="ka_2">
<value val="0.5614123888745592"/>
<objColor r="0" g="0" b="0" alpha="0.1"/>
</element>
<command name="Rotate">
<input a0="A" a1="90°" a2="B"/>
<output a0="J"/>
</command>
<element type="point" label="J">
<show object="false" label="true"/>
<objColor r="64" g="64" b="64" alpha="0"/>
<layer val="0"/>
<labelMode val="0"/>
<coords x="5" y="-5" z="1"/>
<pointSize val="3"/>
<pointStyle val="0"/>
</element>
<expression label="sliderB_m" exp="ku_b + k_H + k_c" />
<element type="numeric" label="sliderB_m">
<value val="11.400230816300796"/>
<objColor r="0" g="0" b="0" alpha="0.1"/>
</element>
<element type="numeric" label="b">
<value val="1"/>
<show object="true" label="true"/>
<objColor r="0" g="102" b="51" alpha="0.1"/>
<layer val="0"/>
<labelMode val="1"/>
<slider min="0" max="1" absoluteScreenLocation="true" width="120" x="168" y="121" fixed="false" horizontal="true" showAlgebra="false"/>
<lineStyle thickness="8" type="0" typeHidden="1"/>
<animation step="0.01" speed="1" type="0" playing="false"/>
</element>
<command name="If">
<input a0="a_3 < ka_1" a1="Point[F, Vector[(a_3 / ka_1 * u_b)]]" a2="If[a_3 < ka_2, Point[F, u_b], Point[F, Vector[u_b + ((a_3 - ka_2) / (1 - ka_2) * v_c)]]]"/>
<output a0="F'"/>
</command>
<element type="point" label="F'">
<show object="false" label="true"/>
<objColor r="64" g="64" b="64" alpha="0"/>
<layer val="0"/>
<labelMode val="0"/>
<coords x="4.999999999999999" y="-1.3322676295501878e-15" z="1"/>
<pointSize val="3"/>
<pointStyle val="0"/>
</element>
<command name="Polygon">
<input a0="B" a1="C" a2="G" a3="F"/>
<output a0="P" a1="b_1" a2="c" a3="g" a4="f"/>
</command>
<element type="polygon" label="P">
<lineStyle thickness="2" type="0" typeHidden="1"/>
<show object="true" label="false"/>
<objColor r="0" g="0" b="204" alpha="0.1"/>
<layer val="0"/>
<labelMode val="0"/>
</element>
<element type="segment" label="b_1">
<show object="true" label="true"/>
<objColor r="0" g="0" b="204" alpha="0"/>
<layer val="0"/>
<labelOffset x="-6" y="12"/>
<labelMode val="2"/>
<auxiliary val="false"/>
<coords x="-2.399797811747737" y="-3.200692844783485" z="11.998989058738685"/>
<lineStyle thickness="2" type="0" typeHidden="1"/>
<eqnStyle style="implicit"/>
<outlyingIntersections val="false"/>
<keepTypeOnTransform val="true"/>
</element>
<element type="segment" label="c">
<show object="true" label="false"/>
<objColor r="0" g="0" b="204" alpha="0"/>
<layer val="0"/>
<labelMode val="0"/>
<auxiliary val="false"/>
<coords x="-3.200692844783485" y="2.399797811747737" z="-1.7763568394002505e-15"/>
<lineStyle thickness="2" type="0" typeHidden="1"/>
<eqnStyle style="implicit"/>
<outlyingIntersections val="false"/>
<keepTypeOnTransform val="true"/>
</element>
<element type="segment" label="g">
<show object="true" label="false"/>
<objColor r="0" g="0" b="204" alpha="0"/>
<layer val="0"/>
<labelMode val="0"/>
<auxiliary val="false"/>
<coords x="2.3997978117477374" y="3.200692844783485" z="-28.00245328265611"/>
<lineStyle thickness="2" type="0" typeHidden="1"/>
<eqnStyle style="implicit"/>
<outlyingIntersections val="false"/>
<keepTypeOnTransform val="true"/>
</element>
<element type="segment" label="f">
<show object="true" label="false"/>
<objColor r="0" g="0" b="204" alpha="0"/>
<layer val="0"/>
<labelMode val="0"/>
<auxiliary val="false"/>
<coords x="3.2006928447834846" y="-2.399797811747737" z="-16.003464223917422"/>
<lineStyle thickness="2" type="0" typeHidden="1"/>
<eqnStyle style="implicit"/>
<outlyingIntersections val="false"/>
<keepTypeOnTransform val="true"/>
</element>
<expression label="k_3" exp="(ku_b + k_H + k_c) / sliderA_m" />
<element type="numeric" label="k_3">
<value val="1"/>
<objColor r="0" g="0" b="0" alpha="0.1"/>
</element>
<command name="If">
<input a0="a_3 < ka_1" a1="Point[G, Vector[(a_3 / ka_1 * u_b)]]" a2="If[a_3 < ka_2, Point[H, Vector[((a_3 - ka_1) / (ka_2 - ka_1) * v_h)]], Point[L, Vector[((a_3 - ka_2) / (1 - ka_2) * v_c)]]]"/>
<output a0="G'"/>
</command>
<element type="point" label="G'">
<show object="false" label="true"/>
<objColor r="64" g="64" b="64" alpha="0"/>
<layer val="0"/>
<labelOffset x="1" y="-2"/>
<labelMode val="0"/>
<coords x="1.799307155216514" y="0" z="1"/>
<pointSize val="3"/>
<pointStyle val="0"/>
</element>
<command name="If">
<input a0="a_3 < ka_1" a1="C" a2="If[a_3 < ka_2, Point[C, Vector[((a_3 - ka_1) / (ka_2 - ka_1) * v_h)]], Point[C, Vector[v_h + ((a_3 - ka_2) / (1 - ka_2) * v_c)]]]"/>
<output a0="Ca'"/>
</command>
<element type="point" label="Ca'">
<show object="false" label="true"/>
<objColor r="64" g="64" b="64" alpha="0"/>
<layer val="0"/>
<labelMode val="0"/>
<coords x="1.7993071552165138" y="-4.999999999999999" z="1"/>
<pointSize val="3"/>
<pointStyle val="0"/>
</element>
<command name="Vector">
<input a0="G'" a1="Ca'"/>
<output a0="u"/>
</command>
<element type="vector" label="u">
<show object="false" label="true"/>
<objColor r="0" g="0" b="0" alpha="0"/>
<layer val="0"/>
<labelMode val="0"/>
<coords x="-2.220446049250313e-16" y="-4.999999999999999" z="0"/>
<lineStyle thickness="2" type="0" typeHidden="1"/>
<coordStyle style="cartesian"/>
<startPoint exp="G'"/>
</element>
<command name="If">
<input a0="a_3 < ka_1" a1="B" a2="If[a_3 < ka_2, B, Point[B, Vector[((a_3 - ka_2) / (1 - ka_2) * v_c)]]]"/>
<output a0="B'"/>
</command>
<element type="point" label="B'">
<show object="false" label="true"/>
<objColor r="64" g="64" b="64" alpha="0"/>
<layer val="0"/>
<labelMode val="0"/>
<coords x="4.999999999999999" y="-5" z="1"/>
<pointSize val="3"/>
<pointStyle val="0"/>
</element>
<command name="Vector">
<input a0="F'" a1="B'"/>
<output a0="v"/>
</command>
<element type="vector" label="v">
<show object="false" label="true"/>
<objColor r="0" g="0" b="0" alpha="0"/>
<layer val="0"/>
<labelMode val="0"/>
<coords x="0" y="-4.999999999999998" z="0"/>
<lineStyle thickness="2" type="0" typeHidden="1"/>
<coordStyle style="cartesian"/>
<startPoint exp="F'"/>
</element>
<command name="Polygon">
<input a0="B'" a1="Ca'" a2="G'" a3="F'"/>
<output a0="Q" a1="b'" a2="c'" a3="g'" a4="f'"/>
</command>
<element type="polygon" label="Q">
<lineStyle thickness="2" type="0" typeHidden="1"/>
<show object="true" label="false"/>
<objColor r="0" g="0" b="153" alpha="0.4"/>
<layer val="0"/>
<labelMode val="0"/>
</element>
<element type="segment" label="b'">
<show object="true" label="false"/>
<objColor r="0" g="0" b="153" alpha="0"/>
<layer val="0"/>
<labelMode val="0"/>
<auxiliary val="false"/>
<coords x="-8.881784197001252e-16" y="-3.200692844783485" z="-16.003464223917426"/>
<lineStyle thickness="2" type="0" typeHidden="1"/>
<eqnStyle style="implicit"/>
<outlyingIntersections val="false"/>
<keepTypeOnTransform val="true"/>
</element>
<element type="segment" label="c'">
<show object="true" label="false"/>
<objColor r="0" g="0" b="153" alpha="0"/>
<layer val="0"/>
<labelMode val="0"/>
<auxiliary val="false"/>
<coords x="-4.999999999999999" y="2.220446049250313e-16" z="8.996535776082568"/>
<lineStyle thickness="2" type="0" typeHidden="1"/>
<eqnStyle style="implicit"/>
<outlyingIntersections val="false"/>
<keepTypeOnTransform val="true"/>
</element>
<element type="segment" label="g'">
<show object="true" label="false"/>
<objColor r="0" g="0" b="153" alpha="0"/>
<layer val="0"/>
<labelMode val="0"/>
<auxiliary val="false"/>
<coords x="1.3322676295501878e-15" y="3.200692844783485" z="-2.397158678512997e-15"/>
<lineStyle thickness="2" type="0" typeHidden="1"/>
<eqnStyle style="implicit"/>
<outlyingIntersections val="false"/>
<keepTypeOnTransform val="true"/>
</element>
<element type="segment" label="f'">
<show object="true" label="false"/>
<objColor r="0" g="0" b="153" alpha="0"/>
<layer val="0"/>
<labelMode val="0"/>
<auxiliary val="false"/>
<coords x="4.999999999999998" y="0" z="-24.99999999999999"/>
<lineStyle thickness="2" type="0" typeHidden="1"/>
<eqnStyle style="implicit"/>
<outlyingIntersections val="false"/>
<keepTypeOnTransform val="true"/>
</element>
<expression label="kb_1" exp="ku_a / sliderB_m" />
<element type="numeric" label="kb_1">
<value val="0.26310191627770823"/>
<objColor r="0" g="0" b="0" alpha="0.1"/>
</element>
<expression label="kb_2" exp="(ku_a + k_H) / sliderB_m" />
<element type="numeric" label="kb_2">
<value val="0.4736062341654083"/>
<objColor r="0" g="0" b="0" alpha="0.1"/>
</element>
<command name="If">
<input a0="b < kb_1" a1="Point[E, Vector[(b / kb_1 * u_a)]]" a2="If[b < kb_2, Point[H, Vector[((b - kb_1) / (kb_2 - kb_1) * v_h)]], Point[L, Vector[((b - kb_2) / (1 - kb_2) * v_c)]]]"/>
<output a0="E'"/>
</command>
<element type="point" label="E'">
<show object="false" label="true"/>
<objColor r="64" g="64" b="64" alpha="0"/>
<layer val="0"/>
<labelOffset x="-12" y="-5"/>
<labelMode val="0"/>
<coords x="1.799307155216514" y="0" z="1"/>
<pointSize val="3"/>
<pointStyle val="0"/>
</element>
<command name="If">
<input a0="b < kb_1" a1="Point[D, Vector[(b / kb_1 * u_a)]]" a2="If[b < kb_2, Point[D, u_a], Point[D, Vector[u_a + ((b - kb_2) / (1 - kb_2) * v_c)]]]"/>
<output a0="D'"/>
</command>
<element type="point" label="D'">
<show object="false" label="true"/>
<objColor r="64" g="64" b="64" alpha="0"/>
<layer val="0"/>
<labelMode val="0"/>
<coords x="-8.881784197001252e-16" y="-1.1102230246251565e-15" z="1"/>
<pointSize val="3"/>
<pointStyle val="0"/>
</element>
<command name="If">
<input a0="b < kb_1" a1="C" a2="If[b < kb_2, Point[C, Vector[((b - kb_1) / (kb_2 - kb_1) * v_h)]], Point[C, Vector[v_h + ((b - kb_2) / (1 - kb_2) * v_c)]]]"/>
<output a0="Cb'"/>
</command>
<element type="point" label="Cb'">
<show object="false" label="true"/>
<objColor r="64" g="64" b="64" alpha="0"/>
<layer val="0"/>
<labelMode val="0"/>
<coords x="1.7993071552165138" y="-4.999999999999999" z="1"/>
<pointSize val="3"/>
<pointStyle val="0"/>
</element>
<command name="If">
<input a0="b < kb_1" a1="A" a2="If[b < kb_2, A, Point[A, Vector[((b - kb_2) / (1 - kb_2) * v_c)]]]"/>
<output a0="A'"/>
</command>
<element type="point" label="A'">
<show object="false" label="true"/>
<objColor r="64" g="64" b="64" alpha="0"/>
<layer val="0"/>
<labelMode val="0"/>
<coords x="-9.184850993605147e-16" y="-5" z="1"/>
<pointSize val="3"/>
<pointStyle val="0"/>
</element>
<command name="Polygon">
<input a0="A" a1="C" a2="E" a3="D"/>
<output a0="R" a1="a_1" a2="c_1" a3="e" a4="d_1"/>
</command>
<element type="polygon" label="R">
<lineStyle thickness="2" type="0" typeHidden="1"/>
<show object="true" label="false"/>
<objColor r="0" g="102" b="0" alpha="0.1"/>
<layer val="0"/>
<labelMode val="0"/>
</element>
<element type="segment" label="a_1">
<show object="true" label="true"/>
<objColor r="0" g="102" b="0" alpha="0"/>
<layer val="0"/>
<labelOffset x="-32" y="-11"/>
<labelMode val="2"/>
<auxiliary val="false"/>
<coords x="-2.399797811747737" y="1.7993071552165147" z="0"/>
<lineStyle thickness="2" 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="102" b="0" alpha="0"/>
<layer val="0"/>
<labelMode val="0"/>
<auxiliary val="false"/>
<coords x="-1.799307155216515" y="-2.3997978117477365" z="8.996535776082574"/>
<lineStyle thickness="2" type="0" typeHidden="1"/>
<eqnStyle style="implicit"/>
<outlyingIntersections val="false"/>
<keepTypeOnTransform val="true"/>
</element>
<element type="segment" label="e">
<show object="true" label="false"/>
<objColor r="0" g="102" b="0" alpha="0"/>
<layer val="0"/>
<labelMode val="0"/>
<auxiliary val="false"/>
<coords x="2.399797811747737" y="-1.7993071552165151" z="8.996535776082575"/>
<lineStyle thickness="2" 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="102" b="0" alpha="0"/>
<layer val="0"/>
<labelMode val="0"/>
<auxiliary val="false"/>
<coords x="1.7993071552165147" y="2.399797811747737" z="0"/>
<lineStyle thickness="2" type="0" typeHidden="1"/>
<eqnStyle style="implicit"/>
<outlyingIntersections val="false"/>
<keepTypeOnTransform val="true"/>
</element>
<command name="Polygon">
<input a0="A'" a1="Cb'" a2="E'" a3="D'"/>
<output a0="S" a1="a'" a2="cb'" a3="e'" a4="d'"/>
</command>
<element type="polygon" label="S">
<lineStyle thickness="2" type="0" typeHidden="1"/>
<show object="true" label="false"/>
<objColor r="0" g="102" b="0" alpha="0.4"/>
<layer val="0"/>
<labelMode val="0"/>
</element>
<element type="segment" label="a'">
<show object="true" label="false"/>
<objColor r="0" g="102" b="0" alpha="0"/>
<layer val="0"/>
<labelMode val="0"/>
<auxiliary val="false"/>
<coords x="-8.881784197001252e-16" y="1.7993071552165147" z="8.996535776082574"/>
<lineStyle thickness="2" type="0" typeHidden="1"/>
<eqnStyle style="implicit"/>
<outlyingIntersections val="false"/>
<keepTypeOnTransform val="true"/>
</element>
<element type="segment" label="cb'">
<show object="true" label="false"/>
<objColor r="0" g="102" b="0" alpha="0"/>
<layer val="0"/>
<labelMode val="0"/>
<auxiliary val="false"/>
<coords x="-4.999999999999999" y="2.220446049250313e-16" z="8.996535776082568"/>
<lineStyle thickness="2" type="0" typeHidden="1"/>
<eqnStyle style="implicit"/>
<outlyingIntersections val="false"/>
<keepTypeOnTransform val="true"/>
</element>
<element type="segment" label="e'">
<show object="true" label="false"/>
<objColor r="0" g="102" b="0" alpha="0"/>
<layer val="0"/>
<labelMode val="0"/>
<auxiliary val="false"/>
<coords x="1.1102230246251565e-15" y="-1.799307155216515" z="-1.9976322320941642e-15"/>
<lineStyle thickness="2" type="0" typeHidden="1"/>
<eqnStyle style="implicit"/>
<outlyingIntersections val="false"/>
<keepTypeOnTransform val="true"/>
</element>
<element type="segment" label="d'">
<show object="true" label="false"/>
<objColor r="0" g="102" b="0" alpha="0"/>
<layer val="0"/>
<labelMode val="0"/>
<auxiliary val="false"/>
<coords x="4.999999999999999" y="-3.030667966038956e-17" z="4.440892098500625e-15"/>
<lineStyle thickness="2" type="0" typeHidden="1"/>
<eqnStyle style="implicit"/>
<outlyingIntersections val="false"/>
<keepTypeOnTransform val="true"/>
</element>
<command name="Polygon">
<input a0="A" a1="B" a2="J" a3="I"/>
<output a0="T" a1="a_2" a2="b_2" a3="j" a4="i"/>
</command>
<element type="polygon" label="T">
<lineStyle thickness="2" type="0" typeHidden="1"/>
<show object="true" label="false"/>
<objColor r="153" g="51" b="0" alpha="0.1"/>
<layer val="0"/>
<labelMode val="2"/>
</element>
<element type="segment" label="a_2">
<show object="true" label="true"/>
<objColor r="153" g="51" b="0" alpha="0"/>
<layer val="0"/>
<labelOffset x="-13" y="7"/>
<labelMode val="2"/>
<auxiliary val="false"/>
<coords x="0" y="5" z="0"/>
<lineStyle thickness="2" type="0" typeHidden="1"/>
<eqnStyle style="implicit"/>
<outlyingIntersections val="false"/>
<keepTypeOnTransform val="true"/>
</element>
<element type="segment" label="b_2">
<show object="true" label="false"/>
<objColor r="153" g="51" b="0" alpha="0"/>
<layer val="0"/>
<labelMode val="0"/>
<auxiliary val="false"/>
<coords x="5" y="0" z="-25"/>
<lineStyle thickness="2" type="0" typeHidden="1"/>
<eqnStyle style="implicit"/>
<outlyingIntersections val="false"/>
<keepTypeOnTransform val="true"/>
</element>
<element type="segment" label="j">
<show object="true" label="false"/>
<objColor r="153" g="51" b="0" alpha="0"/>
<layer val="0"/>
<labelMode val="0"/>
<auxiliary val="false"/>
<coords x="0" y="-5.000000000000001" z="-25.000000000000003"/>
<lineStyle thickness="2" type="0" typeHidden="1"/>
<eqnStyle style="implicit"/>
<outlyingIntersections val="false"/>
<keepTypeOnTransform val="true"/>
</element>
<element type="segment" label="i">
<show object="true" label="false"/>
<objColor r="153" g="51" b="0" alpha="0"/>
<layer val="0"/>
<labelMode val="0"/>
<auxiliary val="false"/>
<coords x="-5" y="9.184850993605147e-16" z="0"/>
<lineStyle thickness="2" type="0" typeHidden="1"/>
<eqnStyle style="implicit"/>
<outlyingIntersections val="false"/>
<keepTypeOnTransform val="true"/>
</element>
<command name="Angle">
<input a0="A" a1="C" a2="B"/>
<output a0="α"/>
</command>
<element type="angle" label="α">
<angleStyle val="0"/>
<value val="1.5707963267948965"/>
<show object="true" label="false"/>
<objColor r="204" g="153" b="0" alpha="0.1"/>
<layer val="0"/>
<labelOffset x="-3" y="10"/>
<labelMode val="2"/>
<lineStyle thickness="2" type="0" typeHidden="2"/>
<arcSize val="20"/>
</element>
<command name="Midpoint">
<input a0="C" a1="B"/>
<output a0="M"/>
</command>
<element type="point" label="M">
<show object="false" label="true"/>
<objColor r="64" g="64" b="64" alpha="0"/>
<layer val="0"/>
<labelMode val="0"/>
<coords x="3.3996535776082575" y="1.1998989058738685" z="1"/>
<pointSize val="3"/>
<pointStyle val="0"/>
</element>
<command name="Midpoint">
<input a0="A" a1="C"/>
<output a0="N"/>
</command>
<element type="point" label="N">
<show object="false" label="true"/>
<objColor r="64" g="64" b="64" alpha="0"/>
<layer val="0"/>
<labelMode val="0"/>
<coords x="0.8996535776082574" y="1.1998989058738685" z="1"/>
<pointSize val="3"/>
<pointStyle val="0"/>
</element>
<command name="Midpoint">
<input a0="a_2"/>
<output a0="U"/>
</command>
<element type="point" label="U">
<show object="false" label="true"/>
<objColor r="68" g="68" b="68" alpha="0"/>
<layer val="0"/>
<labelOffset x="17" y="-2"/>
<labelMode val="0"/>
<coords x="2.5" y="0" z="1"/>
<pointSize val="3"/>
<pointStyle val="0"/>
</element>
<expression label="T2" exp=""" + k_b + """ />
<element type="text" label="T2">
<show object="false" label="true"/>
<objColor r="0" g="0" b="0" alpha="0"/>
<layer val="0"/>
<labelMode val="0"/>
<font serif="false" sizeM="1.4" size="8" style="0"/>
<decimals val="2"/>
<startPoint exp="N"/>
<labelOffset x="-29" y="-3"/>
</element>
<expression label="T3" exp=""" + k_c + """ />
<element type="text" label="T3">
<show object="false" label="true"/>
<objColor r="0" g="0" b="0" alpha="0"/>
<layer val="0"/>
<labelMode val="0"/>
<fixed val="true"/>
<font serif="false" sizeM="1.4" size="8" style="0"/>
<decimals val="2"/>
<startPoint exp="U"/>
<labelOffset x="-5" y="17"/>
</element>
<expression label="text1" exp=""勾股定理的证明""/>
<element type="text" label="text1">
<show object="true" label="false" ev="40"/>
<objColor r="0" g="0" b="0" alpha="0"/>
<layer val="0"/>
<labelMode val="0"/>
<font serif="true" sizeM="2" size="20" style="0"/>
<absoluteScreenLocation x="576" y="106"/>
</element>
</construction>
</geogebra>