Isosceles Triangle — Verifying Equal Angles Opposite Equal Sides
2014-03-21 16:46
This GeoGebra applet dynamically demonstrates a fundamental theorem of isosceles triangles: if two angles in a triangle are equal, then the sides opposite those angles are also equal (equal angles subtend equal sides). The construction integrates geometric tools including Segment, LineBisector, Ray, Circle, and Mirror (reflection) commands, while real-time measurements of angles (α, β, γ, δ) and d
<?xml version="1.0" encoding="utf-8"?>
<geogebra format="4.4" version="4.4.2.0" id="fcd51fba-b276-4cd0-b854-c52aa6f415c9" xsi:noNamespaceSchemaLocation="http://www.geogebra.org/ggb.xsd" xmlns="" xmlns:xsi="http://www.w3.org/2001/XMLSchema-instance" >
<gui>
<window width="800" height="600" />
<perspectives>
<perspective id="tmp">
<panes>
<pane location="" divider="0.125" orientation="1" />
</panes>
<views>
<view id="4097" visible="false" inframe="true" stylebar="true" location="1,1,1" size="400" window="290,97,700,550" />
<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="8" toolbar="1001 | 1002 | 1003 || 1005 | 1004 || 1006 | 1007 | 1010 | 1011 || 1008 1009 || 66 68 || 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="true" location="1" size="680" window="0,22,1280,701" />
<view id="2" visible="true" inframe="false" stylebar="true" location="3" size="100" window="100,100,250,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" visible="false" inframe="true" stylebar="true" location="1" size="150" window="50,50,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 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="false" />
<dockBar show="true" east="true" />
</perspective>
</perspectives>
<labelingStyle val="0"/>
<font size="12"/>
<graphicsSettings javaLatexFonts="false"/>
</gui>
<euclidianView>
<size width="680" height="444"/>
<coordSystem xZero="-384.56234945813895" yZero="388.82847691278556" scale="40.00075919341997" yscale="40.000759193420095"/>
<evSettings axes="false" grid="false" gridIsBold="false" pointCapturing="3" rightAngleStyle="1" checkboxSize="26" 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"/>
</euclidianView>
<algebraView>
<collapsed val="1,2,4,5"/>
</algebraView>
<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="point" label="A">
<show object="true" label="true"/>
<objColor r="0" g="0" b="255" alpha="0.0"/>
<layer val="0"/>
<labelOffset x="-29" y="14"/>
<labelMode val="0"/>
<fixed val="true"/>
<coords x="-1.06" y="-0.7" z="1.0"/>
<pointSize val="3"/>
<pointStyle val="0"/>
</element>
<element type="point" label="B">
<show object="true" label="true"/>
<objColor r="0" g="0" b="255" alpha="0.0"/>
<layer val="0"/>
<labelOffset x="8" y="20"/>
<labelMode val="0"/>
<fixed val="true"/>
<coords x="3.5800431032480726" y="-0.7" z="1.0"/>
<pointSize val="3"/>
<pointStyle val="0"/>
</element>
<command name="Segment">
<input a0="A" a1="B"/>
<output a0="a"/>
</command>
<element type="segment" label="a">
<show object="true" label="false"/>
<objColor r="0" g="0" b="0" alpha="0.0"/>
<layer val="0"/>
<labelMode val="0"/>
<coords x="0.0" y="4.640043103248073" z="3.248030172273651"/>
<lineStyle thickness="2" type="0" typeHidden="1"/>
<outlyingIntersections val="false"/>
<keepTypeOnTransform val="true"/>
</element>
<command name="LineBisector">
<input a0="A" a1="B"/>
<output a0="b"/>
</command>
<element type="line" label="b">
<show object="false" label="true"/>
<objColor r="0" g="0" b="0" alpha="0.0"/>
<layer val="0"/>
<labelMode val="0"/>
<coords x="-4.640043103248073" y="0.0" z="5.846554310557045"/>
<lineStyle thickness="2" type="0" typeHidden="1"/>
<eqnStyle style="implicit"/>
</element>
<command name="Point">
<input a0="b"/>
<output a0="C"/>
</command>
<element type="point" label="C">
<show object="true" label="true"/>
<objColor r="125" g="125" b="255" alpha="0.0"/>
<layer val="0"/>
<labelOffset x="8" y="5"/>
<labelMode val="0"/>
<animation step="0.1" speed="1" type="1" playing="false"/>
<coords x="1.2600215516240363" y="4.395628494513886" z="1.0"/>
<pointSize val="3"/>
<pointStyle val="0"/>
</element>
<command name="Segment">
<input a0="C" a1="A"/>
<output a0="c"/>
</command>
<element type="segment" label="c">
<show object="true" label="false"/>
<objColor r="0" g="0" b="0" alpha="0.0"/>
<layer val="0"/>
<labelMode val="0"/>
<coords x="5.095628494513886" y="-2.3200215516240363" z="3.777351118047894"/>
<lineStyle thickness="2" type="0" typeHidden="1"/>
<outlyingIntersections val="false"/>
<keepTypeOnTransform val="true"/>
</element>
<command name="Segment">
<input a0="C" a1="B"/>
<output a0="d"/>
</command>
<element type="segment" label="d">
<show object="true" label="false"/>
<objColor r="0" g="0" b="0" alpha="0.0"/>
<layer val="0"/>
<labelMode val="0"/>
<coords x="5.095628494513886" y="2.3200215516240363" z="-16.61855456236197"/>
<lineStyle thickness="2" type="0" typeHidden="1"/>
<outlyingIntersections val="false"/>
<keepTypeOnTransform val="true"/>
</element>
<element type="point" label="D">
<show object="true" label="true"/>
<objColor r="0" g="0" b="255" alpha="0.0"/>
<layer val="0"/>
<labelOffset x="2" y="-3"/>
<labelMode val="0"/>
<animation step="0.1" speed="1" type="1" playing="false"/>
<coords x="19.78868315050253" y="5.545606668117317" z="1.0"/>
<pointSize val="3"/>
<pointStyle val="0"/>
</element>
<element type="point" label="E">
<show object="false" label="true"/>
<objColor r="0" g="0" b="255" alpha="0.0"/>
<layer val="0"/>
<labelMode val="0"/>
<animation step="1" speed="1" type="1" playing="false"/>
<coords x="15.202478814733968" y="-0.8027332004694129" z="1.0"/>
<pointSize val="3"/>
<pointStyle val="0"/>
</element>
<command name="Ray">
<input a0="D" a1="E"/>
<output a0="e"/>
</command>
<element type="ray" label="e">
<show object="false" label="true"/>
<objColor r="0" g="0" b="0" alpha="0.0"/>
<layer val="0"/>
<labelMode val="0"/>
<coords x="6.34833986858673" y="-4.58620433576856" z="-100.19200084537898"/>
<lineStyle thickness="2" type="0" typeHidden="1"/>
<outlyingIntersections val="false"/>
<keepTypeOnTransform val="true"/>
</element>
<command name="Angle">
<input a0="B" a1="A" a2="C"/>
<output a0="α"/>
</command>
<element type="angle" label="α">
<angleStyle val="0"/>
<value val="1.1435466114621318"/>
<show object="false" label="true"/>
<objColor r="0" g="0" b="255" alpha="0.0"/>
<layer val="0"/>
<labelOffset x="-51" y="-13"/>
<labelMode val="2"/>
<lineStyle thickness="2" type="0" typeHidden="2"/>
<arcSize val="20"/>
</element>
<command name="Angle">
<input a0="C" a1="B" a2="A"/>
<output a0="β"/>
</command>
<element type="angle" label="β">
<angleStyle val="0"/>
<value val="1.1435466114621318"/>
<show object="false" label="true"/>
<objColor r="0" g="0" b="255" alpha="0.0"/>
<layer val="0"/>
<labelOffset x="24" y="-15"/>
<labelMode val="2"/>
<lineStyle thickness="2" type="0" typeHidden="2"/>
<arcSize val="20"/>
</element>
<expression label="text1" exp=""等腰三角形 － 等腰Δ底角""/>
<element type="text" label="text1">
<show object="true" label="true"/>
<objColor r="0" g="0" b="0" alpha="0.0"/>
<layer val="0"/>
<labelMode val="0"/>
<font serif="false" sizeM="2.0" size="12" style="0"/>
<startPoint x="-6.2179966943433715" y="7.635089352254272" z="1.0"/>
</element>
<expression label="text2" exp=""指引：若把 A 和 B 點兩點固定在白板上， 只有 C 點能上下移動，試拉拉看會 發生什麼事。""/>
<element type="text" label="text2">
<show object="true" label="true"/>
<objColor r="0" g="0" b="0" alpha="0.0"/>
<layer val="0"/>
<labelMode val="0"/>
<font serif="false" sizeM="1.4" size="5" style="0"/>
<startPoint x="-5.979975700028629" y="6.592371919676181" z="1.0"/>
</element>
<command name="Distance">
<input a0="C" a1="A"/>
<output a0="distanceCA"/>
</command>
<element type="numeric" label="distanceCA">
<value val="5.598922195753559"/>
<objColor r="0" g="0" b="0" alpha="0.1"/>
</element>
<expression label="文字CA" exp=""\overline{" + (Name[C]) + (Name[A]) + "} \, = \, " + distanceCA" />
<element type="text" label="文字CA">
<show object="true" label="true"/>
<objColor r="0" g="0" b="0" alpha="0.0"/>
<bgColor r="255" g="255" b="255" alpha="255"/>
<layer val="0"/>
<labelMode val="0"/>
<isLaTeX val="true"/>
<font serif="false" sizeM="4.0" size="36" style="0"/>
<startPoint x="2.7536688127641753" y="7.432315564831133" z="1.0"/>
</element>
<command name="Distance">
<input a0="C" a1="B"/>
<output a0="distanceCB"/>
</command>
<element type="numeric" label="distanceCB">
<value val="5.598922195753559"/>
<objColor r="0" g="0" b="0" alpha="0.1"/>
</element>
<expression label="文字CB" exp=""\overline{" + (Name[C]) + (Name[B]) + "} \, = \, " + distanceCB" />
<element type="text" label="文字CB">
<show object="true" label="true"/>
<objColor r="0" g="0" b="0" alpha="0.0"/>
<bgColor r="255" g="255" b="255" alpha="255"/>
<layer val="0"/>
<labelMode val="0"/>
<isLaTeX val="true"/>
<font serif="false" sizeM="4.0" size="36" style="0"/>
<startPoint x="2.801311464039708" y="5.487993443685721" z="1.0"/>
</element>
<expression label="text1_1" exp=""等腰三角形 － 等角對等邊""/>
<element type="text" label="text1_1">
<show object="true" label="true"/>
<objColor r="0" g="0" b="0" alpha="0.0"/>
<layer val="0"/>
<labelMode val="0"/>
<font serif="false" sizeM="2.0" size="12" style="0"/>
<startPoint x="10.335753099914772" y="8.675175479392" z="1.0"/>
</element>
<expression label="text2_1" exp=""指引：D 點固定在白板上，而 ∠F 永遠等於 ∠F'， 只有 F 點能自由移動，試拉拉看會發生什麼事。""/>
<element type="text" label="text2_1">
<show object="true" label="true"/>
<objColor r="0" g="0" b="0" alpha="0.0"/>
<layer val="0"/>
<labelMode val="0"/>
<font serif="false" sizeM="1.4" size="5" style="0"/>
<startPoint x="10.442930019655515" y="7.396429441823479" z="1.0"/>
</element>
<command name="Circle">
<input a0="D" a1="6"/>
<output a0="f"/>
</command>
<element type="conic" label="f">
<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="386.34573414844994" A3="0.0" A4="-19.78868315050253" A5="-5.545606668117317"/>
<eqnStyle style="specific"/>
</element>
<command name="Point">
<input a0="f"/>
<output a0="F"/>
</command>
<element type="point" label="F">
<show object="true" label="true"/>
<objColor r="125" g="125" b="255" alpha="0.0"/>
<layer val="0"/>
<labelOffset x="-25" y="7"/>
<labelMode val="0"/>
<animation step="0.1" speed="1" type="1" playing="false"/>
<coords x="16.258142890661112" y="0.6942887571122167" z="1.0"/>
<pointSize val="3"/>
<pointStyle val="0"/>
</element>
<command name="Point">
<input a0="f"/>
<output a0="G"/>
</command>
<element type="point" label="G">
<show object="false" label="true"/>
<objColor r="125" g="125" b="255" alpha="0.0"/>
<layer val="0"/>
<labelMode val="0"/>
<animation step="0.1" speed="1" type="1" playing="false"/>
<coords x="19.732610832880606" y="-0.4541313174280939" z="1.0"/>
<pointSize val="3"/>
<pointStyle val="0"/>
</element>
<command name="Segment">
<input a0="D" a1="G"/>
<output a0="g"/>
</command>
<element type="segment" label="g">
<show object="false" label="true"/>
<objColor r="0" g="0" b="0" alpha="0.0"/>
<layer val="0"/>
<labelMode val="0"/>
<coords x="5.999737985545411" y="-0.056072317621922" z="-118.41595896349153"/>
<lineStyle thickness="2" type="0" typeHidden="1"/>
<outlyingIntersections val="false"/>
<keepTypeOnTransform val="true"/>
</element>
<command name="Mirror">
<input a0="F" a1="g"/>
<output a0="F'"/>
</command>
<element type="point" label="F'">
<show object="true" label="true"/>
<objColor r="125" g="125" b="255" alpha="0.0"/>
<layer val="0"/>
<labelOffset x="6" y="10"/>
<labelMode val="0"/>
<coords x="23.2279358021802" y="0.6291505056026899" z="1.0"/>
<pointSize val="3"/>
<pointStyle val="0"/>
</element>
<command name="Segment">
<input a0="D" a1="F"/>
<output a0="h"/>
</command>
<element type="segment" label="h">
<show object="true" label="false"/>
<objColor r="0" g="0" b="0" alpha="0.0"/>
<layer val="0"/>
<labelMode val="0"/>
<coords x="4.851317911005101" y="-3.530540259841416" z="-76.42220539620456"/>
<lineStyle thickness="2" type="0" typeHidden="1"/>
<outlyingIntersections val="false"/>
<keepTypeOnTransform val="true"/>
</element>
<command name="Segment">
<input a0="D" a1="F'"/>
<output a0="i"/>
</command>
<element type="segment" label="i">
<show object="true" label="false"/>
<objColor r="0" g="0" b="0" alpha="0.0"/>
<layer val="0"/>
<labelMode val="0"/>
<coords x="4.916456162514628" y="3.43925265167767" z="-116.36293566182138"/>
<lineStyle thickness="2" type="0" typeHidden="1"/>
<outlyingIntersections val="false"/>
<keepTypeOnTransform val="true"/>
</element>
<command name="Segment">
<input a0="F'" a1="F"/>
<output a0="j"/>
</command>
<element type="segment" label="j">
<show object="true" label="false"/>
<objColor r="0" g="0" b="0" alpha="0.0"/>
<layer val="0"/>
<labelOffset x="1" y="-25"/>
<labelMode val="0"/>
<coords x="-0.06513825150952679" y="-6.969792911519086" z="5.898075858557833"/>
<lineStyle thickness="2" type="0" typeHidden="1"/>
<outlyingIntersections val="false"/>
<keepTypeOnTransform val="true"/>
</element>
<command name="Angle">
<input a0="F'" a1="F" a2="D"/>
<output a0="γ"/>
</command>
<element type="angle" label="γ">
<angleStyle val="0"/>
<value val="0.9510343270916493"/>
<show object="true" label="true"/>
<objColor r="0" g="0" b="255" alpha="0.0"/>
<layer val="0"/>
<labelOffset x="-67" y="-15"/>
<labelMode val="2"/>
<lineStyle thickness="2" type="0" typeHidden="2"/>
<arcSize val="20"/>
</element>
<command name="Angle">
<input a0="D" a1="F'" a2="F"/>
<output a0="δ"/>
</command>
<element type="angle" label="δ">
<angleStyle val="0"/>
<value val="0.9510343270916501"/>
<show object="true" label="true"/>
<objColor r="0" g="0" b="255" alpha="0.0"/>
<layer val="0"/>
<labelOffset x="26" y="-14"/>
<labelMode val="2"/>
<lineStyle thickness="2" type="0" typeHidden="2"/>
<arcSize val="20"/>
</element>
<command name="Distance">
<input a0="D" a1="F"/>
<output a0="distanceDF"/>
</command>
<element type="numeric" label="distanceDF">
<value val="5.999999999999999"/>
<objColor r="0" g="0" b="0" alpha="0.1"/>
</element>
<expression label="文字DF" exp=""\overline{" + (Name[D]) + (Name[F]) + "} \, = \, " + distanceDF" />
<element type="text" label="文字DF">
<show object="true" label="true"/>
<objColor r="0" g="0" b="0" alpha="0.0"/>
<bgColor r="255" g="255" b="255" alpha="255"/>
<layer val="0"/>
<labelMode val="0"/>
<isLaTeX val="true"/>
<font serif="false" sizeM="2.0" size="12" style="0"/>
<startPoint x="22.16841790458968" y="8.32849341845197" z="1.0"/>
</element>
<command name="Distance">
<input a0="D" a1="F'"/>
<output a0="distanceDF'"/>
</command>
<element type="numeric" label="distanceDF'">
<value val="5.999999999999996"/>
<objColor r="0" g="0" b="0" alpha="0.1"/>
</element>
<expression label="文字DF'" exp=""\overline{" + (Name[D]) + (Name[F']) + "} \, = \, " + distanceDF'" />
<element type="text" label="文字DF'">
<show object="true" label="true"/>
<objColor r="0" g="0" b="0" alpha="0.0"/>
<bgColor r="255" g="255" b="255" alpha="255"/>
<layer val="0"/>
<labelMode val="0"/>
<isLaTeX val="true"/>
<font serif="false" sizeM="2.0" size="12" style="0"/>
<startPoint x="22.185812472060835" y="7.085758679240554" z="1.0"/>
</element>
<expression label="text3" exp=""結論：如果三角形兩邊相等，則 _________________________ 相等。""/>
<element type="text" label="text3">
<show object="true" label="true"/>
<objColor r="0" g="0" b="0" alpha="0.0"/>
<layer val="0"/>
<labelMode val="0"/>
<font serif="false" sizeM="1.4" size="5" style="0"/>
<startPoint x="-5.379987087713825" y="-2.043198878180071" z="1.0"/>
</element>
<expression label="text4" exp=""結論：若三角形兩個底角相等，則 __________________ 相等""/>
<element type="text" label="text4">
<show object="true" label="true"/>
<objColor r="0" g="0" b="0" alpha="0.0"/>
<layer val="0"/>
<labelMode val="0"/>
<font serif="false" sizeM="1.4" size="5" style="0"/>
<startPoint x="11.391439263967294" y="-0.7044253415160855" z="1.0"/>
</element>
<expression label="text5" exp=""∠A = " + (LaTeX[α]) + """ />
<element type="text" label="text5">
<show object="false" label="true"/>
<objColor r="0" g="0" b="0" alpha="0.0"/>
<layer val="0"/>
<labelMode val="0"/>
<isLaTeX val="true"/>
<font serif="false" sizeM="2.0" size="12" style="0"/>
<auxiliary val="false"/>
<startPoint x="-6.885810571994566" y="3.845638933225289" z="1.0"/>
</element>
<expression label="text6" exp=""∠B = " + (LaTeX[β]) + """ />
<element type="text" label="text6">
<show object="false" label="true"/>
<objColor r="0" g="0" b="0" alpha="0.0"/>
<layer val="0"/>
<labelMode val="0"/>
<isLaTeX val="true"/>
<font serif="false" sizeM="2.0" size="12" style="0"/>
<auxiliary val="false"/>
<startPoint x="-6.910810097507684" y="2.745659810648092" z="1.0"/>
</element>
<expression label="text7" exp=""∠F = " + γ + """ />
<element type="text" label="text7">
<show object="true" label="true"/>
<objColor r="0" g="0" b="0" alpha="0.0"/>
<layer val="0"/>
<labelMode val="0"/>
<font serif="false" sizeM="4.0" size="36" style="0"/>
<startPoint x="10.013868674873315" y="5.120614734394309" z="1.0"/>
</element>
<expression label="text8" exp=""∠F' = " + δ + """ />
<element type="text" label="text8">
<show object="true" label="true"/>
<objColor r="0" g="0" b="0" alpha="0.0"/>
<layer val="0"/>
<labelMode val="0"/>
<font serif="false" sizeM="4.0" size="36" style="0"/>
<startPoint x="9.96386962384708" y="3.620643203607222" z="1.0"/>
</element>
</construction>
</geogebra>