Zhao Shuang's Xuan Tu: A Classic Geometric Proof of the Pythagorean Theorem
2019-05-23 07:51
This applet demonstrates 'Xuan Tu' (the Chord Diagram), created by the ancient Chinese mathematician Zhao Shuang, to visually prove the Pythagorean theorem. By constructing four congruent right-angled triangles and a central small square, they are assembled into a larger square. Using area relationships, the area of the large square equals the sum of the areas of the four triangles and the central
In collections
My First GeoGebra Picture Book
<?xml version="1.0" encoding="utf-8"?>
<geogebra format="5.0" version="5.0.536.0" app="classic" platform="offline" id="456CE5B2-2513-4E8A-8096-18C43917C209" xsi:noNamespaceSchemaLocation="http://www.geogebra.org/ggb.xsd" xmlns="" xmlns:xsi="http://www.w3.org/2001/XMLSchema-instance" >
<gui>
<window width="1300" height="822" />
<perspectives>
<perspective id="tmp">
<panes>
<pane location="" divider="0.2923076923076923" orientation="1" />
</panes>
<views>
<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,1,1" size="500" window="100,100,600,400" />
<view id="4" toolbar="0 || 2020 , 2021 , 2022 || 2001 , 2003 , 2002 , 2004 , 2005 || 2040 , 2041 , 2042 , 2044 , 2043" visible="false" inframe="false" stylebar="false" location="1,1" size="300" window="100,100,600,400" />
<view id="8" toolbar="1001 | 1002 | 1003 || 1005 | 1004 || 1006 | 1007 | 1010 || 1008 | 1009 || 6" visible="false" inframe="false" stylebar="false" location="1,3" size="308" window="100,100,600,400" />
<view id="4097" visible="false" inframe="false" stylebar="true" location="1,1" size="376" window="100,100,700,550" />
<view id="1" visible="true" inframe="false" stylebar="true" location="1" size="912" window="100,100,600,400" />
<view id="2" visible="true" inframe="false" stylebar="false" location="3" size="380" window="100,100,250,400" />
<view id="16" visible="false" inframe="false" stylebar="false" location="1" size="300" window="50,50,500,500" />
<view id="32" visible="false" inframe="false" stylebar="true" location="1" size="300" window="50,50,500,500" />
<view id="64" toolbar="0" visible="false" inframe="false" stylebar="false" location="1" size="480" window="50,50,500,500" />
<view id="128" visible="false" inframe="false" stylebar="false" location="1" size="480" window="50,50,500,500" />
<view id="70" toolbar="0 || 2020 || 2021 || 2022" visible="false" inframe="false" stylebar="true" location="1" size="900" window="50,50,500,500" />
<view id="43" visible="false" inframe="false" stylebar="false" location="1" size="450" window="50,50,500,500" />
</views>
<toolbar show="true" items="0 73 62 | 1 501 67 , 5 19 , 72 75 76 | 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 14 68 | 30 29 54 32 31 33 | 25 17 26 60 52 61 | 40 41 42 , 27 28 35 , 6" position="1" help="false" />
<input show="true" cmd="true" top="false" />
<dockBar show="false" east="false" />
</perspective>
</perspectives>
<labelingStyle val="3"/>
<font size="16"/>
</gui>
<euclidianView>
<viewNumber viewNo="1"/>
<size width="912" height="726"/>
<coordSystem xZero="223.95045454545433" yZero="579.6993181818177" scale="48.863636363636374" yscale="48.863636363636374"/>
<evSettings axes="false" grid="false" gridIsBold="false" pointCapturing="3" rightAngleStyle="1" checkboxSize="26" gridType="3"/>
<bgColor r="255" g="255" b="255"/>
<axesColor r="0" g="0" b="0"/>
<gridColor r="192" g="192" b="192"/>
<lineStyle axes="1" grid="0"/>
<axis id="0" show="false" label="" unitLabel="" tickStyle="1" showNumbers="true"/>
<axis id="1" show="false" label="" unitLabel="" tickStyle="1" showNumbers="true"/>
</euclidianView>
<euclidianView>
<viewNumber viewNo="2"/>
<size width="1300" height="726"/>
<coordSystem xZero="215.00000000000128" yZero="315" scale="50.0000000000003" yscale="50"/>
<evSettings axes="false" grid="false" gridIsBold="false" pointCapturing="3" rightAngleStyle="1" checkboxSize="26" gridType="3"/>
<bgColor r="255" g="255" b="255"/>
<axesColor r="0" g="0" b="0"/>
<gridColor r="192" g="192" b="192"/>
<lineStyle axes="1" grid="0"/>
<axis id="0" show="false" label="" unitLabel="" tickStyle="1" showNumbers="true"/>
<axis id="1" show="false" label="" unitLabel="" tickStyle="1" showNumbers="true"/>
</euclidianView>
<algebraView>
<mode val="1"/>
</algebraView>
<kernel>
<continuous val="false"/>
<usePathAndRegionParameters val="true"/>
<decimals val="2"/>
<angleUnit val="degree"/>
<algebraStyle val="3" spreadsheet="0"/>
<coordStyle val="0"/>
</kernel>
<tableview min="-2" max="2" step="1"/>
<scripting blocked="false" disabled="false"/>
<construction title="赵爽弦图" author="" date="">
<element type="point" label="A">
<show object="true" label="true"/>
<objColor r="77" g="77" b="255" alpha="0"/>
<layer val="0"/>
<labelMode val="0"/>
<animation step="1" speed="1" type="1" playing="false"/>
<coords x="-0.18" y="1.13" z="1"/>
<pointSize val="5"/>
<pointStyle val="0"/>
</element>
<element type="point" label="B">
<show object="true" label="true"/>
<objColor r="77" g="77" b="255" alpha="0"/>
<layer val="0"/>
<labelMode val="0"/>
<animation step="1" speed="1" type="1" playing="false"/>
<coords x="3.48" y="3.09" z="1"/>
<pointSize val="5"/>
<pointStyle val="0"/>
</element>
<command name="Polygon">
<input a0="A" a1="B" a2="4"/>
<output a0="poly1" a1="f" a2="g" a3="h" a4="i" a5="C" a6="D"/>
</command>
<element type="polygon" label="poly1">
<lineStyle thickness="5" type="0" typeHidden="1" opacity="178"/>
<show object="true" label="false"/>
<objColor r="153" g="51" b="0" alpha="0.10000000149011612"/>
<layer val="0"/>
<labelMode val="0"/>
</element>
<element type="segment" label="f">
<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="-1.96" y="3.66" z="-4.488599999999999"/>
<lineStyle thickness="5" type="0" typeHidden="1" opacity="178"/>
<outlyingIntersections val="false"/>
<keepTypeOnTransform val="true"/>
</element>
<element type="segment" label="g">
<show object="true" label="false"/>
<objColor r="153" g="51" b="0" alpha="0"/>
<layer val="0"/>
<labelMode val="0"/>
<auxiliary val="true"/>
<coords x="-3.6599999999999993" y="-1.9599999999999995" z="18.7932"/>
<lineStyle thickness="5" type="0" typeHidden="1" opacity="178"/>
<outlyingIntersections val="false"/>
<keepTypeOnTransform val="true"/>
</element>
<element type="segment" label="h">
<show object="true" label="false"/>
<objColor r="153" g="51" b="0" alpha="0"/>
<layer val="0"/>
<labelMode val="0"/>
<auxiliary val="true"/>
<coords x="1.959999999999999" y="-3.66" z="21.7258"/>
<lineStyle thickness="5" type="0" typeHidden="1" opacity="178"/>
<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="true"/>
<coords x="3.66" y="1.9599999999999997" z="-1.5559999999999992"/>
<lineStyle thickness="5" type="0" typeHidden="1" opacity="178"/>
<outlyingIntersections val="false"/>
<keepTypeOnTransform val="true"/>
</element>
<element type="point" label="C">
<show object="true" label="true"/>
<objColor r="68" g="68" b="68" alpha="0"/>
<layer val="0"/>
<labelMode val="0"/>
<auxiliary val="true"/>
<coords x="1.5200000000000005" y="6.749999999999999" z="1"/>
<pointSize val="5"/>
<pointStyle val="0"/>
</element>
<element type="point" label="D">
<show object="true" label="true"/>
<objColor r="68" g="68" b="68" alpha="0"/>
<layer val="0"/>
<labelMode val="0"/>
<auxiliary val="true"/>
<coords x="-2.1399999999999997" y="4.79" z="1"/>
<pointSize val="5"/>
<pointStyle val="0"/>
</element>
<element type="numeric" label="t">
<value val="0"/>
<show object="true" label="false"/>
<objColor r="0" g="0" b="0" alpha="0.10000000149011612"/>
<layer val="0"/>
<labelMode val="1"/>
<slider min="0" max="1" absoluteScreenLocation="true" width="200" x="36" y="112" fixed="false" horizontal="true" showAlgebra="true"/>
<lineStyle thickness="10" type="0" typeHidden="1"/>
<animation step="0.01" speed="1" type="0" playing="false"/>
</element>
<command name="Rotate">
<input a0="A + (1, 0)" a1="(t * π / 2)" a2="A"/>
<output a0="R"/>
</command>
<element type="point" label="R">
<show object="true" label="true"/>
<objColor r="77" g="77" b="255" alpha="0"/>
<layer val="0"/>
<labelMode val="0"/>
<coords x="0.8200000000000001" y="1.13" z="1"/>
<pointSize val="5"/>
<pointStyle val="0"/>
</element>
<command name="Line">
<input a0="A" a1="R"/>
<output a0="l"/>
</command>
<element type="line" label="l">
<show object="true" label="false"/>
<objColor r="127" g="0" b="255" alpha="0"/>
<layer val="0"/>
<labelMode val="0"/>
<coords x="0" y="1" z="-1.13"/>
<lineStyle thickness="5" type="10" typeHidden="1" opacity="178"/>
<eqnStyle style="implicit"/>
</element>
<command name="OrthogonalLine">
<input a0="B" a1="l"/>
<output a0="lB"/>
</command>
<element type="line" label="lB">
<show object="true" label="false"/>
<objColor r="255" g="215" b="0" alpha="0"/>
<layer val="0"/>
<labelMode val="0"/>
<coords x="-1" y="0" z="3.48"/>
<lineStyle thickness="5" type="20" typeHidden="1" opacity="178"/>
<eqnStyle style="implicit"/>
</element>
<command name="Intersect">
<input a0="l" a1="lB"/>
<output a0="E"/>
</command>
<element type="point" label="E">
<show object="true" label="true"/>
<objColor r="68" g="68" b="68" alpha="0"/>
<layer val="0"/>
<labelMode val="0"/>
<coords x="3.48" y="1.13" z="1"/>
<pointSize val="4"/>
<pointStyle val="0"/>
</element>
<command name="OrthogonalLine">
<input a0="D" a1="l"/>
<output a0="lD"/>
</command>
<element type="line" label="lD">
<show object="true" label="false"/>
<objColor r="255" g="215" b="0" alpha="0"/>
<layer val="0"/>
<labelMode val="0"/>
<coords x="-1" y="0" z="-2.1399999999999997"/>
<lineStyle thickness="5" type="20" typeHidden="1" opacity="178"/>
<eqnStyle style="implicit"/>
</element>
<command name="Intersect">
<input a0="l" a1="lD"/>
<output a0="F"/>
</command>
<element type="point" label="F">
<show object="true" label="true"/>
<objColor r="68" g="68" b="68" alpha="0"/>
<layer val="0"/>
<labelMode val="0"/>
<coords x="-2.1399999999999997" y="1.13" z="1"/>
<pointSize val="4"/>
<pointStyle val="0"/>
</element>
<command name="Polygon">
<input a0="A" a1="B" a2="E"/>
<output a0="t1" a1="e" a2="a" a3="b"/>
</command>
<element type="polygon" label="t1">
<lineStyle thickness="5" type="0" typeHidden="1" opacity="178"/>
<show object="true" label="false"/>
<condition showObject="k ≠ 0"/>
<objColor r="127" g="0" b="255" alpha="0.29"/>
<layer val="0"/>
<labelMode val="0"/>
</element>
<element type="segment" label="e">
<show object="true" label="false"/>
<objColor r="127" g="0" b="255" alpha="0"/>
<layer val="0"/>
<labelMode val="0"/>
<auxiliary val="false"/>
<coords x="-1.96" y="3.66" z="-4.488599999999999"/>
<lineStyle thickness="5" type="0" typeHidden="1" opacity="178"/>
<outlyingIntersections val="false"/>
<keepTypeOnTransform val="true"/>
</element>
<element type="segment" label="a">
<show object="true" label="false"/>
<objColor r="127" g="0" b="255" alpha="0"/>
<layer val="0"/>
<labelMode val="0"/>
<auxiliary val="false"/>
<coords x="1.96" y="0" z="-6.8208"/>
<lineStyle thickness="5" type="0" typeHidden="1" opacity="178"/>
<outlyingIntersections val="false"/>
<keepTypeOnTransform val="true"/>
</element>
<element type="segment" label="b">
<show object="true" label="false"/>
<objColor r="127" g="0" b="255" alpha="0"/>
<layer val="0"/>
<labelMode val="0"/>
<auxiliary val="false"/>
<coords x="0" y="-3.66" z="4.1358"/>
<lineStyle thickness="5" type="0" typeHidden="1" opacity="178"/>
<outlyingIntersections val="false"/>
<keepTypeOnTransform val="true"/>
</element>
<command name="Polygon">
<input a0="A" a1="D" a2="F"/>
<output a0="t2" a1="f_1" a2="a_1" a3="d"/>
</command>
<element type="polygon" label="t2">
<lineStyle thickness="5" type="0" typeHidden="1" opacity="178"/>
<show object="true" label="false" ev="4"/>
<condition showObject="k ≠ 0"/>
<objColor r="127" g="0" b="255" alpha="0.28"/>
<layer val="0"/>
<labelMode val="0"/>
</element>
<element type="segment" label="f_1">
<show object="true" label="false"/>
<objColor r="127" g="0" b="255" alpha="0"/>
<layer val="0"/>
<labelMode val="0"/>
<auxiliary val="false"/>
<coords x="-3.66" y="-1.9599999999999997" z="1.5559999999999992"/>
<lineStyle thickness="5" type="0" typeHidden="1" opacity="178"/>
<outlyingIntersections val="false"/>
<keepTypeOnTransform val="true"/>
</element>
<element type="segment" label="a_1">
<show object="true" label="false"/>
<objColor r="127" g="0" b="255" alpha="0"/>
<layer val="0"/>
<labelMode val="0"/>
<auxiliary val="false"/>
<coords x="3.66" y="0" z="7.8324"/>
<lineStyle thickness="5" type="0" typeHidden="1" opacity="178"/>
<outlyingIntersections val="false"/>
<keepTypeOnTransform val="true"/>
</element>
<element type="segment" label="d">
<show object="true" label="false"/>
<objColor r="127" g="0" b="255" alpha="0"/>
<layer val="0"/>
<labelMode val="0"/>
<auxiliary val="false"/>
<coords x="0" y="1.9599999999999997" z="-2.2147999999999994"/>
<lineStyle thickness="5" type="0" typeHidden="1" opacity="178"/>
<outlyingIntersections val="false"/>
<keepTypeOnTransform val="true"/>
</element>
<command name="Line">
<input a0="C" a1="l"/>
<output a0="m"/>
</command>
<element type="line" label="m">
<show object="true" label="false"/>
<objColor r="51" g="255" b="0" alpha="0"/>
<layer val="0"/>
<labelMode val="0"/>
<coords x="0" y="1" z="-6.749999999999999"/>
<lineStyle thickness="5" type="10" typeHidden="1" opacity="178"/>
<eqnStyle style="implicit"/>
</element>
<command name="Intersect">
<input a0="lD" a1="m"/>
<output a0="G"/>
</command>
<element type="point" label="G">
<show object="true" label="true"/>
<objColor r="68" g="68" b="68" alpha="0"/>
<layer val="0"/>
<labelMode val="0"/>
<coords x="-2.1399999999999997" y="6.749999999999999" z="1"/>
<pointSize val="4"/>
<pointStyle val="0"/>
</element>
<command name="Intersect">
<input a0="lB" a1="m"/>
<output a0="H"/>
</command>
<element type="point" label="H">
<show object="true" label="true"/>
<objColor r="68" g="68" b="68" alpha="0"/>
<layer val="0"/>
<labelMode val="0"/>
<coords x="3.48" y="6.749999999999999" z="1"/>
<pointSize val="4"/>
<pointStyle val="0"/>
</element>
<command name="Polygon">
<input a0="C" a1="D" a2="G"/>
<output a0="t3" a1="g_1" a2="c" a3="d_1"/>
</command>
<element type="polygon" label="t3">
<lineStyle thickness="5" type="0" typeHidden="1" opacity="178"/>
<show object="true" label="false"/>
<condition showObject="j ≠ 0"/>
<objColor r="51" g="255" b="0" alpha="0.23"/>
<layer val="0"/>
<labelMode val="0"/>
</element>
<element type="segment" label="g_1">
<show object="true" label="false"/>
<objColor r="51" g="255" b="0" alpha="0"/>
<layer val="0"/>
<labelMode val="0"/>
<auxiliary val="false"/>
<coords x="1.959999999999999" y="-3.66" z="21.7258"/>
<lineStyle thickness="5" type="0" typeHidden="1" opacity="178"/>
<outlyingIntersections val="false"/>
<keepTypeOnTransform val="true"/>
</element>
<element type="segment" label="c">
<show object="true" label="false"/>
<objColor r="51" g="255" b="0" alpha="0"/>
<layer val="0"/>
<labelMode val="0"/>
<auxiliary val="false"/>
<coords x="-1.959999999999999" y="0" z="-4.194399999999998"/>
<lineStyle thickness="5" type="0" typeHidden="1" opacity="178"/>
<outlyingIntersections val="false"/>
<keepTypeOnTransform val="true"/>
</element>
<element type="segment" label="d_1">
<show object="true" label="false"/>
<objColor r="51" g="255" b="0" alpha="0"/>
<layer val="0"/>
<labelMode val="0"/>
<auxiliary val="false"/>
<coords x="0" y="3.66" z="-24.705"/>
<lineStyle thickness="5" type="0" typeHidden="1" opacity="178"/>
<outlyingIntersections val="false"/>
<keepTypeOnTransform val="true"/>
</element>
<command name="Polygon">
<input a0="C" a1="B" a2="H"/>
<output a0="t4" a1="h_1" a2="c_1" a3="b_1"/>
</command>
<element type="polygon" label="t4">
<lineStyle thickness="5" type="0" typeHidden="1" opacity="178"/>
<show object="true" label="false"/>
<condition showObject="j ≠ 0"/>
<objColor r="51" g="255" b="0" alpha="0.24"/>
<layer val="0"/>
<labelMode val="0"/>
</element>
<element type="segment" label="h_1">
<show object="true" label="false"/>
<objColor r="51" g="255" b="0" alpha="0"/>
<layer val="0"/>
<labelMode val="0"/>
<auxiliary val="false"/>
<coords x="3.6599999999999993" y="1.9599999999999995" z="-18.7932"/>
<lineStyle thickness="5" type="0" typeHidden="1" opacity="178"/>
<outlyingIntersections val="false"/>
<keepTypeOnTransform val="true"/>
</element>
<element type="segment" label="c_1">
<show object="true" label="false"/>
<objColor r="51" g="255" b="0" alpha="0"/>
<layer val="0"/>
<labelMode val="0"/>
<auxiliary val="false"/>
<coords x="-3.6599999999999993" y="0" z="12.736799999999999"/>
<lineStyle thickness="5" type="0" typeHidden="1" opacity="178"/>
<outlyingIntersections val="false"/>
<keepTypeOnTransform val="true"/>
</element>
<element type="segment" label="b_1">
<show object="true" label="false"/>
<objColor r="51" g="255" b="0" alpha="0"/>
<layer val="0"/>
<labelMode val="0"/>
<auxiliary val="false"/>
<coords x="0" y="-1.9599999999999995" z="13.229999999999997"/>
<lineStyle thickness="5" type="0" typeHidden="1" opacity="178"/>
<outlyingIntersections val="false"/>
<keepTypeOnTransform val="true"/>
</element>
<element type="boolean" label="j">
<value val="true"/>
<show object="true" label="true"/>
<objColor r="0" g="0" b="0" alpha="0"/>
<layer val="0"/>
<labelOffset x="258" y="93"/>
<labelMode val="0"/>
<checkbox fixed="true"/>
<caption val="上三角形"/>
</element>
<element type="boolean" label="k">
<value val="true"/>
<show object="true" label="true"/>
<objColor r="0" g="0" b="0" alpha="0"/>
<layer val="0"/>
<labelOffset x="439" y="95"/>
<labelMode val="0"/>
<checkbox fixed="true"/>
<caption val="下三角形"/>
</element>
</construction>
</geogebra>