Side Lengths and Triangles (Part 1): Construction and Side Length Relationships
2014-03-14 07:48
This GeoGebra example demonstrates triangle construction and the relationships between side lengths. Using geometric objects such as points, segments, polygons, unit orthogonal vectors, and unit vectors, it dynamically illustrates properties of isosceles and right triangles. Users can interactively observe how changes in side lengths affect angles, explore the triangle inequality, and examine side
<?xml version="1.0" encoding="utf-8"?>
<geogebra format="4.2" version="4.2.56.0" id="c4d8f3ce-e192-4503-bf08-f7e3c2255068" xsi:noNamespaceSchemaLocation="http://www.geogebra.org/ggb.xsd" xmlns="" xmlns:xsi="http://www.w3.org/2001/XMLSchema-instance" >
<gui>
<window width="900" height="677" />
<perspectives>
<perspective id="tmp">
<panes>
<pane location="" divider="0.0" orientation="1" />
</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="1,1" size="300" window="100,100,600,400" />
<view id="1" visible="true" inframe="false" stylebar="true" location="1" size="892" window="100,100,600,400" />
<view id="2" visible="false" inframe="false" stylebar="true" location="3" size="187" window="353,13,317,707" />
<view id="8" toolbar="1001 | 1002 | 1003 || 1005 | 1004 || 1006 | 1007 | 1010 | 1011 || 1008 1009 || 6" visible="false" inframe="false" stylebar="false" location="1" size="150" window="50,50,500,500" />
<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" visible="false" inframe="true" stylebar="true" location="1" size="150" window="50,50,500,500" />
<view id="4097" visible="false" inframe="true" stylebar="true" location="1" size="150" window="265,138,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="0" help="false" />
<input show="false" cmd="true" top="false" />
<dockBar show="false" east="false" />
</perspective>
</perspectives>
<labelingStyle val="3"/>
<font size="18"/>
<graphicsSettings javaLatexFonts="false"/>
</gui>
<euclidianView>
<size width="892" height="582"/>
<coordSystem xZero="56.58762026207765" yZero="393.9791826945769" scale="48.85366859506431" yscale="48.853668595064455"/>
<evSettings axes="false" grid="false" gridIsBold="false" pointCapturing="1" rightAngleStyle="1" checkboxSize="13" gridType="0"/>
<bgColor r="255" g="255" b="255"/>
<axesColor r="0" g="0" b="0"/>
<gridColor r="192" g="192" b="192"/>
<lineStyle axes="1" grid="10"/>
<axis id="0" show="false" label="" unitLabel="" tickStyle="1" showNumbers="true"/>
<axis id="1" show="false" label="" unitLabel="" tickStyle="1" showNumbers="true"/>
<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="21 January 2014">
<element type="point" label="C_0">
<show object="false" label="false"/>
<objColor r="128" g="128" b="128" alpha="0.0"/>
<layer val="0"/>
<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>
<command name="Point">
<input a0="Sequence[C_0 + (1 + 0.1 * i, 0), i, 0, 140]"/>
<output a0="C'_0"/>
</command>
<element type="point" label="C'_0">
<show object="true" label="false"/>
<condition showObject="adjustlength"/>
<objColor r="255" g="255" b="0" alpha="0.0"/>
<layer val="1"/>
<labelMode val="0"/>
<animation step="1" speed="1" type="1" playing="false"/>
<coords x="5.0" y="0.0" z="1.0"/>
<pointSize val="5"/>
<pointStyle val="0"/>
</element>
<command name="Segment">
<input a0="C_0" a1="C'_0"/>
<output a0="a"/>
</command>
<element type="segment" label="a">
<show object="true" label="false"/>
<condition showObject="adjustlength"/>
<objColor r="255" g="0" b="0" alpha="0.0"/>
<layer val="0"/>
<labelMode val="0"/>
<coords x="0.0" y="5.0" z="0.0"/>
<lineStyle thickness="7" type="0" typeHidden="1"/>
<eqnStyle style="implicit"/>
<outlyingIntersections val="false"/>
<keepTypeOnTransform val="true"/>
</element>
<element type="point" label="D_0">
<show object="false" label="false"/>
<objColor r="128" g="128" b="128" alpha="0.0"/>
<layer val="0"/>
<labelMode val="0"/>
<animation step="1" speed="1" type="1" playing="false"/>
<coords x="0.0" y="1.0" z="1.0"/>
<pointSize val="5"/>
<pointStyle val="0"/>
</element>
<command name="Point">
<input a0="Sequence[D_0 + (1 + 0.1 * i, 0), i, 0, 140]"/>
<output a0="D'_0"/>
</command>
<element type="point" label="D'_0">
<show object="true" label="false"/>
<condition showObject="adjustlength"/>
<objColor r="255" g="255" b="0" alpha="0.0"/>
<layer val="1"/>
<labelOffset x="37" y="9"/>
<labelMode val="0"/>
<animation step="1" speed="1" type="1" playing="false"/>
<coords x="4.0" y="1.0" z="1.0"/>
<pointSize val="5"/>
<pointStyle val="0"/>
</element>
<command name="Segment">
<input a0="D_0" a1="D'_0"/>
<output a0="b"/>
</command>
<element type="segment" label="b">
<show object="true" label="false"/>
<condition showObject="adjustlength"/>
<objColor r="0" g="0" b="255" alpha="0.0" dynamicr="If[b ≟ a, 1, 0]" dynamicg="0" dynamicb="If[b ≟ a, 0, 1]" colorSpace="0"/>
<layer val="0"/>
<labelMode val="0"/>
<coords x="0.0" y="4.0" z="-4.0"/>
<lineStyle thickness="7" type="0" typeHidden="1"/>
<eqnStyle style="implicit"/>
<outlyingIntersections val="false"/>
<keepTypeOnTransform val="true"/>
</element>
<element type="point" label="E_0">
<show object="false" label="false"/>
<objColor r="128" g="128" b="128" alpha="0.0"/>
<layer val="0"/>
<labelMode val="0"/>
<animation step="1" speed="1" type="1" playing="false"/>
<coords x="0.0" y="2.0" z="1.0"/>
<pointSize val="5"/>
<pointStyle val="0"/>
</element>
<command name="Point">
<input a0="Sequence[E_0 + (1 + 0.1 * i, 0), i, 0, 140]"/>
<output a0="E'_0"/>
</command>
<element type="point" label="E'_0">
<show object="true" label="false"/>
<condition showObject="adjustlength"/>
<objColor r="255" g="255" 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="Segment">
<input a0="E_0" a1="E'_0"/>
<output a0="c"/>
</command>
<element type="segment" label="c">
<show object="true" label="false"/>
<condition showObject="adjustlength"/>
<objColor r="255" g="0" b="255" alpha="0.0" dynamicr="If[c ≟ b ∧ (b ≠ a), 0, If[c ≟ a, 1, 0]]" dynamicg="If[c ≟ b ∧ (b ≠ a), 0, If[c ≟ a, 0, 0.8]]" dynamicb="If[c ≟ b ∧ (b ≠ a), 1, If[c ≟ a, 0, 0.8]]" colorSpace="0"/>
<layer val="0"/>
<labelMode val="0"/>
<coords x="0.0" y="3.0" z="-6.0"/>
<lineStyle thickness="7" type="0" typeHidden="1"/>
<eqnStyle style="implicit"/>
<outlyingIntersections val="false"/>
<keepTypeOnTransform val="true"/>
</element>
<command name="If">
<input a0="Max[{a, b, c}] ≟ b" a1="-1" a2="1"/>
<output a0="sign2"/>
</command>
<element type="numeric" label="sign2">
<value val="1.0"/>
<objColor r="0" g="0" b="0" alpha="0.1"/>
</element>
<element type="point" label="C">
<show object="true" label="false"/>
<condition showObject="construct ∧ (¬connected1) ∨ moverotate"/>
<objColor r="255" g="192" b="203" alpha="0.0"/>
<layer val="1"/>
<labelMode val="0"/>
<animation step="0.1" speed="1" type="1" playing="false"/>
<coords x="1.5" y="3.0" z="1.0"/>
<pointSize val="5"/>
<pointStyle val="0"/>
</element>
<command name="Point">
<input a0="CircleArc[C, C + (a, 0), Rotate[C + (a, 0), 358*°, C]]"/>
<output a0="C'"/>
</command>
<element type="point" label="C'">
<show object="true" label="false"/>
<condition showObject="construct ∧ (¬connected2) ∨ moverotate"/>
<objColor r="0" g="255" b="0" alpha="0.0"/>
<layer val="1"/>
<labelMode val="0"/>
<animation step="0.1" speed="1" type="1" playing="false"/>
<coords x="6.5" y="3.0" z="1.0"/>
<pointSize val="5"/>
<pointStyle val="0"/>
</element>
<command name="If">
<input a0="Max[{a, b, c}] ≟ c" a1="-1" a2="1"/>
<output a0="sign1"/>
</command>
<element type="numeric" label="sign1">
<value val="1.0"/>
<objColor r="0" g="0" b="0" alpha="0.1"/>
</element>
<element type="boolean" label="construct">
<value val="false"/>
<show object="false" label="true"/>
<objColor r="0" g="0" b="0" alpha="0.0"/>
<layer val="2"/>
<labelMode val="0"/>
</element>
<element type="point" label="A">
<show object="false" label="true"/>
<objColor r="0" g="0" b="0" alpha="0.0"/>
<layer val="0"/>
<labelMode val="0"/>
<animation step="0.1" speed="1" type="1" playing="false"/>
<ggbscript onUpdate="SetValue[A', A-1.5v] "/>
<coords x="0.0" y="-1.0" z="1.0"/>
<pointSize val="3"/>
<pointStyle val="1"/>
</element>
<element type="point" label="A'">
<show object="false" label="true"/>
<objColor r="0" g="0" b="0" alpha="0.0"/>
<layer val="0"/>
<labelMode val="0"/>
<animation step="0.1" speed="1" type="1" playing="false"/>
<ggbscript onUpdate="SetValue[A, A'+1.5v]"/>
<coords x="0.0" y="-2.5" z="1.0"/>
<pointSize val="3"/>
<pointStyle val="1"/>
</element>
<command name="Point">
<input a0="Circle[A, 1]"/>
<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="0.1" speed="1" type="1" playing="false"/>
<ggbscript onUpdate="SetValue[A', A-1.5v] SetValue[B', B-1.5v]"/>
<coords x="1.0" y="-1.0" z="1.0"/>
<pointSize val="3"/>
<pointStyle val="0"/>
</element>
<command name="Point">
<input a0="Circle[A', 1]"/>
<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="0.1" speed="1" type="1" playing="false"/>
<ggbscript onUpdate="SetValue[B, B'+1.5v] SetValue[A, A'+1.5v]"/>
<coords x="1.0" y="-2.5" z="1.0"/>
<pointSize val="3"/>
<pointStyle val="0"/>
</element>
<command name="UnitOrthogonalVector">
<input a0="Segment[A, B]"/>
<output a0="v"/>
</command>
<element type="vector" label="v">
<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="0.0"/>
<lineStyle thickness="2" type="0" typeHidden="1"/>
<coordStyle style="cartesian"/>
<startPoint exp="A"/>
</element>
<command name="UnitVector">
<input a0="Segment[A, B]"/>
<output a0="u"/>
</command>
<element type="vector" label="u">
<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.0" z="0.0"/>
<lineStyle thickness="2" type="0" typeHidden="1"/>
<coordStyle style="cartesian"/>
<startPoint exp="A"/>
</element>
<command name="Polygon">
<input a0="A" a1="A - 0.5 * u" a2="A - 0.5 * u - 1.5 * v" a3="A - 1.5 * v + 15.5 * u" a4="A + 15.5 * u" a5="B"/>
<output a0="poly1" a1="a_1" a2="b_1" a3="c_1" a4="d" a5="e" a6="f"/>
</command>
<element type="polygon" label="poly1">
<lineStyle thickness="3" type="0" typeHidden="1"/>
<show object="true" label="false"/>
<objColor r="0" g="0" b="0" alpha="0.1"/>
<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="0.0" y="-0.5" z="-0.5"/>
<lineStyle thickness="1" 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="1.5" y="0.0" z="0.75"/>
<lineStyle thickness="1" 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="0.0" y="16.0" z="40.0"/>
<lineStyle thickness="1" 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="0" b="0" alpha="0.0"/>
<layer val="1"/>
<labelMode val="0"/>
<coords x="-1.5" y="0.0" z="23.25"/>
<lineStyle thickness="1" 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="0" b="0" alpha="0.0"/>
<layer val="1"/>
<labelMode val="0"/>
<coords x="0.0" y="-14.5" z="-14.5"/>
<lineStyle thickness="1" 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="0" alpha="0.0"/>
<layer val="1"/>
<labelMode val="0"/>
<coords x="0.0" y="-1.0" z="-1.0"/>
<lineStyle thickness="1" type="0" typeHidden="1"/>
<eqnStyle style="implicit"/>
<outlyingIntersections val="false"/>
<keepTypeOnTransform val="true"/>
</element>
<element type="image" label="pic1">
<file name="d53bf482f06044e815447c89460c627a\Ruler15_Double_Marks.png"/>
<inBackground val="false"/>
<startPoint number="0" exp="A - 1.5 * v - 0.5 * u"/>
<startPoint number="1" exp="A - 1.5 * v + 15.5 * u"/>
<startPoint number="2" exp="A - 0.5 * u"/>
<show object="true" label="false"/>
<objColor r="0" g="0" b="0" alpha="1.0"/>
<layer val="1"/>
<labelMode val="0"/>
<animation step="1" speed="1" type="0" playing="false"/>
</element>
<command name="Segment">
<input a0="C" a1="C'"/>
<output a0="g"/>
</command>
<element type="segment" label="g">
<show object="true" label="false"/>
<condition showObject="construct"/>
<objColor r="255" g="0" b="0" alpha="0.0"/>
<layer val="0"/>
<labelMode val="0"/>
<coords x="0.0" y="5.0" z="-15.0"/>
<lineStyle thickness="7" type="0" typeHidden="1"/>
<eqnStyle style="implicit"/>
<outlyingIntersections val="false"/>
<keepTypeOnTransform val="true"/>
</element>
<command name="Polygon">
<input a0="C" a1="C - 0.01 * UnitOrthogonalVector[g]" a2="C - 0.01 * UnitOrthogonalVector[g] + a * UnitVector[g]" a3="C + 0.01 * UnitOrthogonalVector[g] + a * UnitVector[g]" a4="C + 0.01 * UnitOrthogonalVector[g]"/>
<output a0="poly2" a1="h" a2="i" a3="j" a4="k" a5="l"/>
</command>
<element type="polygon" label="poly2">
<lineStyle thickness="2" type="0" typeHidden="1"/>
<show object="true" label="false"/>
<condition showObject="construct ∧ ((¬connected1) ∧ (¬connected2) ∨ moverotate)"/>
<objColor r="255" g="0" b="0" alpha="0.0"/>
<layer val="1"/>
<labelMode val="0"/>
</element>
<element type="segment" label="h">
<show object="false" label="false"/>
<objColor r="255" g="0" b="0" alpha="0.0"/>
<layer val="1"/>
<labelMode val="0"/>
<coords x="0.009999999999999787" y="0.0" z="-0.01499999999999968"/>
<lineStyle thickness="2" type="0" typeHidden="1"/>
<eqnStyle style="implicit"/>
<outlyingIntersections val="false"/>
<keepTypeOnTransform val="true"/>
</element>
<element type="segment" label="i">
<show object="false" label="false"/>
<objColor r="255" g="0" b="0" alpha="0.0"/>
<layer val="1"/>
<labelMode val="0"/>
<coords x="0.0" y="5.0" z="-14.950000000000003"/>
<lineStyle thickness="2" type="0" typeHidden="1"/>
<eqnStyle style="implicit"/>
<outlyingIntersections val="false"/>
<keepTypeOnTransform val="true"/>
</element>
<element type="segment" label="j">
<show object="false" label="false"/>
<objColor r="255" g="0" b="0" alpha="0.0"/>
<layer val="1"/>
<labelMode val="0"/>
<coords x="-0.019999999999999574" y="0.0" z="0.12999999999999545"/>
<lineStyle thickness="2" type="0" typeHidden="1"/>
<eqnStyle style="implicit"/>
<outlyingIntersections val="false"/>
<keepTypeOnTransform val="true"/>
</element>
<element type="segment" label="k">
<show object="false" label="false"/>
<objColor r="255" g="0" b="0" alpha="0.0"/>
<layer val="1"/>
<labelMode val="0"/>
<coords x="0.0" y="-5.0" z="15.049999999999997"/>
<lineStyle thickness="2" type="0" typeHidden="1"/>
<eqnStyle style="implicit"/>
<outlyingIntersections val="false"/>
<keepTypeOnTransform val="true"/>
</element>
<element type="segment" label="l">
<show object="false" label="false"/>
<objColor r="255" g="0" b="0" alpha="0.0"/>
<layer val="1"/>
<labelMode val="0"/>
<coords x="0.009999999999999787" y="0.0" z="-0.01499999999999968"/>
<lineStyle thickness="2" type="0" typeHidden="1"/>
<eqnStyle style="implicit"/>
<outlyingIntersections val="false"/>
<keepTypeOnTransform val="true"/>
</element>
<element type="point" label="D">
<show object="true" label="false"/>
<condition showObject="construct ∧ (¬connected1)"/>
<objColor r="255" g="192" b="203" alpha="0.0"/>
<layer val="1"/>
<labelMode val="0"/>
<animation step="0.1" speed="1" type="1" playing="false"/>
<coords x="1.5" y="4.0" z="1.0"/>
<pointSize val="5"/>
<pointStyle val="0"/>
</element>
<command name="Point">
<input a0="CircleArc[D, D + (b, 0), Rotate[D + (b, 0), 358*°, D]]"/>
<output a0="D'"/>
</command>
<element type="point" label="D'">
<show object="false" label="false"/>
<objColor r="255" g="127" b="0" alpha="0.0"/>
<layer val="1"/>
<labelMode val="0"/>
<animation step="0.1" speed="1" type="1" playing="false"/>
<coords x="5.5" y="4.0" z="1.0"/>
<pointSize val="5"/>
<pointStyle val="0"/>
</element>
<command name="Segment">
<input a0="D" a1="D'"/>
<output a0="m"/>
</command>
<element type="segment" label="m">
<show object="true" label="false"/>
<condition showObject="construct ∧ (¬connected1)"/>
<objColor r="0" g="0" b="255" alpha="0.0" dynamicr="If[b ≟ a, 1, 0]" dynamicg="0" dynamicb="If[b ≟ a, 0, 1]" colorSpace="0"/>
<layer val="0"/>
<labelMode val="0"/>
<coords x="0.0" y="4.0" z="-16.0"/>
<lineStyle thickness="7" type="0" typeHidden="1"/>
<eqnStyle style="implicit"/>
<outlyingIntersections val="false"/>
<keepTypeOnTransform val="true"/>
</element>
<command name="Polygon">
<input a0="D" a1="D - 0.01 * UnitOrthogonalVector[m]" a2="D - 0.01 * UnitOrthogonalVector[m] + b * UnitVector[m]" a3="D + 0.01 * UnitOrthogonalVector[m] + b * UnitVector[m]" a4="D + 0.01 * UnitOrthogonalVector[m]"/>
<output a0="poly3" a1="n" a2="p" a3="q" a4="r" a5="s"/>
</command>
<element type="polygon" label="poly3">
<lineStyle thickness="2" type="0" typeHidden="1"/>
<show object="true" label="false"/>
<condition showObject="construct ∧ (¬connected1)"/>
<objColor r="0" g="0" b="255" alpha="0.0" dynamicr="If[b ≟ a, 1, 0]" dynamicg="0" dynamicb="If[b ≟ a, 0, 1]" dynamica="0" colorSpace="0"/>
<layer val="1"/>
<labelMode val="0"/>
</element>
<element type="segment" label="n">
<show object="false" label="false"/>
<objColor r="0" g="0" b="255" alpha="0.0"/>
<layer val="2"/>
<labelMode val="0"/>
<coords x="0.009999999999999787" y="0.0" z="-0.01499999999999968"/>
<lineStyle thickness="2" type="0" typeHidden="1"/>
<eqnStyle style="implicit"/>
<outlyingIntersections val="false"/>
<keepTypeOnTransform val="true"/>
</element>
<element type="segment" label="p">
<show object="false" label="false"/>
<objColor r="0" g="0" b="255" alpha="0.0"/>
<layer val="2"/>
<labelMode val="0"/>
<coords x="0.0" y="4.0" z="-15.96"/>
<lineStyle thickness="2" type="0" typeHidden="1"/>
<eqnStyle style="implicit"/>
<outlyingIntersections val="false"/>
<keepTypeOnTransform val="true"/>
</element>
<element type="segment" label="q">
<show object="false" label="false"/>
<objColor r="0" g="0" b="255" alpha="0.0"/>
<layer val="2"/>
<labelMode val="0"/>
<coords x="-0.019999999999999574" y="0.0" z="0.10999999999999943"/>
<lineStyle thickness="2" type="0" typeHidden="1"/>
<eqnStyle style="implicit"/>
<outlyingIntersections val="false"/>
<keepTypeOnTransform val="true"/>
</element>
<element type="segment" label="r">
<show object="false" label="false"/>
<objColor r="0" g="0" b="255" alpha="0.0"/>
<layer val="2"/>
<labelMode val="0"/>
<coords x="0.0" y="-4.0" z="16.04"/>
<lineStyle thickness="2" type="0" typeHidden="1"/>
<eqnStyle style="implicit"/>
<outlyingIntersections val="false"/>
<keepTypeOnTransform val="true"/>
</element>
<element type="segment" label="s">
<show object="false" label="false"/>
<objColor r="255" g="127" b="0" alpha="0.0"/>
<layer val="2"/>
<labelMode val="0"/>
<coords x="0.009999999999999787" y="0.0" z="-0.01499999999999968"/>
<lineStyle thickness="2" type="0" typeHidden="1"/>
<eqnStyle style="implicit"/>
<outlyingIntersections val="false"/>
<keepTypeOnTransform val="true"/>
</element>
<element type="point" label="E">
<show object="false" label="false"/>
<condition showObject="construct ∧ (¬connected2)"/>
<objColor r="0" g="255" b="0" alpha="0.0"/>
<layer val="1"/>
<labelMode val="0"/>
<animation step="0.1" speed="1" type="1" playing="false"/>
<coords x="4.5" y="5.0" z="1.0"/>
<pointSize val="5"/>
<pointStyle val="0"/>
</element>
<command name="Point">
<input a0="CircleArc[E, E + (-c, 0), Rotate[E + (-c, 0), 358*°, E]]"/>
<output a0="E'"/>
</command>
<element type="point" label="E'">
<show object="false" label="false"/>
<objColor r="255" g="127" b="0" alpha="0.0"/>
<layer val="2"/>
<labelMode val="0"/>
<animation step="1" speed="1" type="1" playing="false"/>
<coords x="1.5" y="5.0" z="1.0"/>
<pointSize val="5"/>
<pointStyle val="0"/>
</element>
<command name="Segment">
<input a0="E" a1="E'"/>
<output a0="t"/>
</command>
<element type="segment" label="t">
<show object="true" label="false"/>
<condition showObject="construct ∧ (¬connected2)"/>
<objColor r="255" g="0" b="255" alpha="0.0" dynamicr="If[c ≟ b ∧ (b ≠ a), 0, If[c ≟ a, 1, 0]]" dynamicg="If[c ≟ b ∧ (b ≠ a), 0, If[c ≟ a, 0, 0.8]]" dynamicb="If[c ≟ b ∧ (b ≠ a), 1, If[c ≟ a, 0, 0.8]]" colorSpace="0"/>
<layer val="0"/>
<labelMode val="0"/>
<coords x="0.0" y="-3.0" z="15.0"/>
<lineStyle thickness="7" type="0" typeHidden="1"/>
<eqnStyle style="implicit"/>
<outlyingIntersections val="false"/>
<keepTypeOnTransform val="true"/>
</element>
<command name="Polygon">
<input a0="E" a1="E - 0.01 * UnitOrthogonalVector[t]" a2="E - 0.01 * UnitOrthogonalVector[t] + c * UnitVector[t]" a3="E + 0.01 * UnitOrthogonalVector[t] + c * UnitVector[t]" a4="E + 0.01 * UnitOrthogonalVector[t]"/>
<output a0="poly4" a1="d_1" a2="e_1" a3="f_1" a4="g_1" a5="h_1"/>
</command>
<element type="polygon" label="poly4">
<lineStyle thickness="2" type="0" typeHidden="1"/>
<show object="true" label="false"/>
<condition showObject="construct ∧ (¬connected2)"/>
<objColor r="0" g="0" b="0" alpha="0.0" dynamicr="If[c ≟ b ∧ (b ≠ a), 0, If[c ≟ a, 1, 0]]" dynamicg="If[c ≟ b ∧ (b ≠ a), 0, If[c ≟ a, 0, 0.8]]" dynamicb="If[c ≟ b ∧ (b ≠ a), 1, If[c ≟ a, 0, 0.8]]" dynamica="0" colorSpace="0"/>
<layer val="1"/>
<labelMode val="0"/>
</element>
<element type="segment" label="d_1">
<show object="false" label="false"/>
<objColor r="153" g="51" b="0" alpha="0.0"/>
<layer val="2"/>
<labelMode val="0"/>
<coords x="-0.009999999999999787" y="0.0" z="0.04499999999999815"/>
<lineStyle thickness="2" type="0" typeHidden="1"/>
<eqnStyle style="implicit"/>
<outlyingIntersections val="false"/>
<keepTypeOnTransform val="true"/>
</element>
<element type="segment" label="e_1">
<show object="false" label="false"/>
<objColor r="153" g="51" b="0" alpha="0.0"/>
<layer val="2"/>
<labelMode val="0"/>
<coords x="0.0" y="-3.0" z="15.029999999999998"/>
<lineStyle thickness="2" type="0" 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="153" g="51" b="0" alpha="0.0"/>
<layer val="2"/>
<labelMode val="0"/>
<coords x="0.019999999999999574" y="0.0" z="-0.02999999999999936"/>
<lineStyle thickness="2" type="0" 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="153" g="51" b="0" alpha="0.0"/>
<layer val="2"/>
<labelMode val="0"/>
<coords x="0.0" y="3.0" z="-14.970000000000002"/>
<lineStyle thickness="2" type="0" 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="153" g="51" b="0" alpha="0.0"/>
<layer val="2"/>
<labelMode val="0"/>
<coords x="-0.009999999999999787" y="0.0" z="0.04499999999999815"/>
<lineStyle thickness="2" type="0" typeHidden="1"/>
<eqnStyle style="implicit"/>
<outlyingIntersections val="false"/>
<keepTypeOnTransform val="true"/>
</element>
<command name="If">
<input a0="Distance[C, D] < 0.1" a1="true" a2="false"/>
<output a0="connected1"/>
</command>
<element type="boolean" label="connected1">
<value val="false"/>
<show object="false" label="true"/>
<objColor r="0" g="0" b="0" alpha="0.0"/>
<layer val="2"/>
<labelMode val="0"/>
</element>
<command name="If">
<input a0="Distance[C', E] < 0.1" a1="true" a2="false"/>
<output a0="connected2"/>
</command>
<element type="boolean" label="connected2">
<value val="false"/>
<show object="false" label="true"/>
<objColor r="0" g="0" b="0" alpha="0.0"/>
<layer val="2"/>
<labelMode val="0"/>
</element>
<command name="Point">
<input a0="CircleArc[C, C + (b, 0), Rotate[C + (b, 0), 358*°, C]]"/>
<output a0="F"/>
</command>
<element type="point" label="F">
<show object="true" label="false"/>
<condition showObject="connected1 ∧ (¬closed)"/>
<objColor r="255" g="127" b="0" alpha="0.0"/>
<layer val="1"/>
<labelOffset x="-9" y="25"/>
<labelMode val="0"/>
<animation step="0.1" speed="1" type="1" playing="false"/>
<coords x="5.5" y="3.0" z="1.0"/>
<pointSize val="5"/>
<pointStyle val="0"/>
</element>
<command name="Segment">
<input a0="C" a1="F"/>
<output a0="b'"/>
</command>
<element type="segment" label="b'">
<show object="true" label="false"/>
<condition showObject="connected1 ∧ (¬closed)"/>
<objColor r="0" g="0" b="255" alpha="0.0" dynamicr="If[b ≟ a, 1, 0]" dynamicg="0" dynamicb="If[b ≟ a, 0, 1]" colorSpace="0"/>
<layer val="0"/>
<labelMode val="0"/>
<coords x="0.0" y="4.0" z="-12.0"/>
<lineStyle thickness="7" type="0" typeHidden="1"/>
<eqnStyle style="implicit"/>
<outlyingIntersections val="false"/>
<keepTypeOnTransform val="true"/>
</element>
<command name="Point">
<input a0="CircleArc[C', C' - (c, 0), Rotate[C' - (c, 0), 358*°, C']]"/>
<output a0="G"/>
</command>
<element type="point" label="G">
<show object="true" label="false"/>
<condition showObject="connected2 ∧ (¬closed)"/>
<objColor r="255" g="127" b="0" alpha="0.0"/>
<layer val="1"/>
<labelMode val="0"/>
<animation step="1" speed="1" type="1" playing="false"/>
<coords x="3.5" y="3.0000000000000004" z="1.0"/>
<pointSize val="5"/>
<pointStyle val="0"/>
</element>
<command name="Segment">
<input a0="C'" a1="G"/>
<output a0="c'"/>
</command>
<element type="segment" label="c'">
<show object="true" label="false"/>
<condition showObject="connected2 ∧ (¬closed)"/>
<objColor r="255" g="0" b="255" alpha="0.0" dynamicr="If[c ≟ b ∧ (b ≠ a), 0, If[c ≟ a, 1, 0]]" dynamicg="If[c ≟ b ∧ (b ≠ a), 0, If[c ≟ a, 0, 0.8]]" dynamicb="If[c ≟ b ∧ (b ≠ a), 1, If[c ≟ a, 0, 0.8]]" colorSpace="0"/>
<layer val="0"/>
<labelMode val="0"/>
<coords x="-4.440892098500626E-16" y="-3.0" z="9.000000000000004"/>
<lineStyle thickness="7" type="0" typeHidden="1"/>
<eqnStyle style="implicit"/>
<outlyingIntersections val="false"/>
<keepTypeOnTransform val="true"/>
</element>
<command name="Intersect">
<input a0="Circle[C, b]" a1="Circle[C', c]"/>
<output a0="H" a1="I" a2="" a3=""/>
</command>
<element type="point" label="H">
<show object="false" label="true"/>
<objColor r="68" g="68" b="68" alpha="0.0"/>
<layer val="2"/>
<labelMode val="0"/>
<coords x="4.7" y="5.4" z="1.0"/>
<pointSize val="5"/>
<pointStyle val="0"/>
</element>
<element type="point" label="I">
<show object="false" label="true"/>
<objColor r="68" g="68" b="68" alpha="0.0"/>
<layer val="2"/>
<labelMode val="0"/>
<coords x="4.7" y="0.6000000000000001" z="1.0"/>
<pointSize val="5"/>
<pointStyle val="0"/>
</element>
<command name="Segment">
<input a0="C" a1="H"/>
<output a0="i_1"/>
</command>
<element type="segment" label="i_1">
<show object="true" label="false"/>
<condition showObject="closedup"/>
<objColor r="0" g="0" b="255" alpha="0.0" dynamicr="If[b ≟ a, 1, 0]" dynamicg="0" dynamicb="If[b ≟ a, 0, 1]" colorSpace="0"/>
<layer val="0"/>
<labelMode val="0"/>
<coords x="-2.4000000000000004" y="3.2" z="-6.0"/>
<lineStyle thickness="7" type="0" typeHidden="1"/>
<eqnStyle style="implicit"/>
<outlyingIntersections val="false"/>
<keepTypeOnTransform val="true"/>
</element>
<command name="Segment">
<input a0="C" a1="I"/>
<output a0="j_1"/>
</command>
<element type="segment" label="j_1">
<show object="true" label="false"/>
<condition showObject="closeddown"/>
<objColor r="0" g="0" b="255" alpha="0.0" dynamicr="If[b ≟ a, 1, 0]" dynamicg="0" dynamicb="If[b ≟ a, 0, 1]" colorSpace="0"/>
<layer val="0"/>
<labelMode val="0"/>
<coords x="2.4" y="3.2" z="-13.200000000000001"/>
<lineStyle thickness="7" type="0" typeHidden="1"/>
<eqnStyle style="implicit"/>
<outlyingIntersections val="false"/>
<keepTypeOnTransform val="true"/>
</element>
<command name="Segment">
<input a0="C'" a1="H"/>
<output a0="k_1"/>
</command>
<element type="segment" label="k_1">
<show object="true" label="false"/>
<condition showObject="closedup"/>
<objColor r="255" g="0" b="255" alpha="0.0" dynamicr="If[c ≟ b ∧ (b ≠ a), 0, If[c ≟ a, 1, 0]]" dynamicg="If[c ≟ b ∧ (b ≠ a), 0, If[c ≟ a, 0, 0.8]]" dynamicb="If[c ≟ b ∧ (b ≠ a), 1, If[c ≟ a, 0, 0.8]]" colorSpace="0"/>
<layer val="0"/>
<labelMode val="0"/>
<coords x="-2.4000000000000004" y="-1.7999999999999998" z="21.0"/>
<lineStyle thickness="7" type="0" typeHidden="1"/>
<eqnStyle style="implicit"/>
<outlyingIntersections val="false"/>
<keepTypeOnTransform val="true"/>
</element>
<command name="Segment">
<input a0="C'" a1="I"/>
<output a0="l_1"/>
</command>
<element type="segment" label="l_1">
<show object="true" label="false"/>
<condition showObject="closeddown"/>
<objColor r="255" g="0" b="255" alpha="0.0" dynamicr="If[c ≟ b ∧ (b ≠ a), 0, If[c ≟ a, 1, 0]]" dynamicg="If[c ≟ b ∧ (b ≠ a), 0, If[c ≟ a, 0, 0.8]]" dynamicb="If[c ≟ b ∧ (b ≠ a), 1, If[c ≟ a, 0, 0.8]]" colorSpace="0"/>
<layer val="0"/>
<labelMode val="0"/>
<coords x="2.4" y="-1.7999999999999998" z="-10.200000000000001"/>
<lineStyle thickness="7" type="0" typeHidden="1"/>
<eqnStyle style="implicit"/>
<outlyingIntersections val="false"/>
<keepTypeOnTransform val="true"/>
</element>
<expression label="closed" exp="(Distance[F, G] < 0.1) ∧ connected1 ∧ connected2" />
<element type="boolean" label="closed">
<value val="false"/>
<show object="false" label="true"/>
<objColor r="0" g="0" b="0" alpha="0.0"/>
<layer val="2"/>
<labelMode val="0"/>
</element>
<element type="button" label="button1">
<show object="true" label="true"/>
<condition showObject="¬construct"/>
<objColor r="0" g="0" b="0" alpha="0.0"/>
<layer val="2"/>
<labelOffset x="46" y="28"/>
<labelMode val="0"/>
<animation step="1" speed="1" type="0" playing="false"/>
<auxiliary val="true"/>
<ggbscript val="SetValue[construct, 1] SetValue[adjustlength, false] SetValue[E, (1.5+c, 5)]"/>
<caption val="構作成三角形"/>
</element>
<element type="boolean" label="moverotate">
<value val="false"/>
<show object="false" label="true"/>
<objColor r="0" g="0" b="0" alpha="0.0"/>
<layer val="2"/>
<labelMode val="0"/>
</element>
<element type="button" label="button3">
<show object="true" label="true"/>
<condition showObject="closed ∧ (¬moverotate)"/>
<objColor r="0" g="0" b="0" alpha="0.0"/>
<layer val="2"/>
<labelOffset x="46" y="28"/>
<labelMode val="0"/>
<animation step="1" speed="1" type="0" playing="false"/>
<auxiliary val="true"/>
<ggbscript val="SetValue[moverotate, true] connected1=true connected2=true closed = true closedup=closedupcopy closeddown=!closedupcopy "/>
<caption val="固定、移動及旋轉三角形"/>
</element>
<element type="boolean" label="adjustlength">
<value val="true"/>
<show object="false" label="true"/>
<condition showObject="connected1 ∧ connected2"/>
<objColor r="0" g="0" b="0" alpha="0.0"/>
<layer val="2"/>
<labelOffset x="43" y="81"/>
<labelMode val="0"/>
<caption val="改變邊長"/>
</element>
<element type="boolean" label="closedupcopy">
<value val="false"/>
<show object="false" label="true"/>
<objColor r="0" g="0" b="0" alpha="0.0"/>
<layer val="2"/>
<labelMode val="0"/>
</element>
<expression label="closedup" exp="closed ∧ (Distance[F, H] ≤ Distance[F, I])" />
<element type="boolean" label="closedup">
<value val="false"/>
<show object="false" label="true"/>
<objColor r="0" g="0" b="0" alpha="0.0"/>
<layer val="2"/>
<labelMode val="0"/>
<ggbscript onUpdate="SetValue[closedupcopy, closedup]"/>
</element>
<expression label="closeddown" exp="closed ∧ (Distance[F, H] > Distance[F, I])" />
<element type="boolean" label="closeddown">
<value val="false"/>
<show object="false" label="true"/>
<objColor r="0" g="0" b="0" alpha="0.0"/>
<layer val="2"/>
<labelMode val="0"/>
</element>
<expression label="H_1" exp="C + sign1 * b * UnitVector[Vector[C, C']]" type="point" />
<element type="point" label="H_1">
<show object="false" label="true"/>
<objColor r="68" g="68" b="68" alpha="0.0"/>
<layer val="2"/>
<labelMode val="0"/>
<coords x="5.5" y="3.0" z="1.0"/>
<pointSize val="3"/>
<pointStyle val="0"/>
</element>
<command name="Segment">
<input a0="C" a1="H_1"/>
<output a0="m_1"/>
</command>
<element type="segment" label="m_1">
<show object="true" label="false"/>
<condition showObject="closed ∧ (¬Defined[H])"/>
<objColor r="0" g="0" b="0" alpha="0.0" dynamicr="If[b ≟ a, 1, 0]" dynamicg="0" dynamicb="If[b ≟ a, 0, 1]" colorSpace="0"/>
<layer val="1"/>
<labelMode val="0"/>
<coords x="0.0" y="4.0" z="-12.0"/>
<lineStyle thickness="7" type="0" typeHidden="1"/>
<eqnStyle style="implicit"/>
<outlyingIntersections val="false"/>
<keepTypeOnTransform val="true"/>
</element>
<expression label="H_2" exp="C' + sign2 * c * UnitVector[Vector[C', C]]" type="point" />
<element type="point" label="H_2">
<show object="false" label="true"/>
<objColor r="68" g="68" b="68" alpha="0.0"/>
<layer val="2"/>
<labelMode val="0"/>
<coords x="3.5" y="3.0" z="1.0"/>
<pointSize val="3"/>
<pointStyle val="0"/>
</element>
<command name="Segment">
<input a0="C'" a1="H_2"/>
<output a0="n_1"/>
</command>
<element type="segment" label="n_1">
<show object="true" label="false"/>
<condition showObject="closed ∧ (¬Defined[H])"/>
<objColor r="0" g="0" b="0" alpha="0.0" dynamicr="If[c ≟ b ∧ (b ≠ a), 0, If[c ≟ a, 1, 0]]" dynamicg="If[c ≟ b ∧ (b ≠ a), 0, If[c ≟ a, 0, 0.8]]" dynamicb="If[c ≟ b ∧ (b ≠ a), 1, If[c ≟ a, 0, 0.8]]" colorSpace="0"/>
<layer val="1"/>
<labelMode val="0"/>
<coords x="0.0" y="-3.0" z="9.0"/>
<lineStyle thickness="7" type="0" typeHidden="1"/>
<eqnStyle style="implicit"/>
<outlyingIntersections val="false"/>
<keepTypeOnTransform val="true"/>
</element>
</construction>
</geogebra>