Converse of Angles in the Same Segment Theorem
2024-12-27 02:31
This GeoGebra applet demonstrates the converse of the angles in the same segment theorem. It shows that if two points on the same side of a line segment subtend equal angles at the segment, then the four points are concyclic. Users can interact with the dynamic construction to observe angle relationships and verify the conditions for concyclic points, enhancing the understanding of circle geometry
In collections
Basic Properties of Circles
<?xml version="1.0" encoding="utf-8"?>
<geogebra format="5.0" version="5.2.883.0" app="classic" platform="w" id="2ff29513-44e0-42a3-aabe-ab21de8d4307" xsi:noNamespaceSchemaLocation="http://www.geogebra.org/apps/xsd/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.25" orientation="1" />
</panes>
<views>
<view id="4097" visible="false" inframe="false" stylebar="true" location="1,1,1" size="400" window="164,101,952,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="798" window="100,100,600,400" />
<view id="2" visible="false" inframe="false" stylebar="true" location="3" size="200" tab="ALGEBRA" window="82,27,307,633" />
<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="70" toolbar="0 || 2020 || 2021 || 2022" visible="false" inframe="false" stylebar="true" location="1" size="150" 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 | 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="300" window="50,50,500,500" />
</views>
<toolbar show="false" 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="false" cmd="true" top="false" />
<dockBar show="false" east="false" />
</perspective>
</perspectives>
<labelingStyle val="3"/>
<font size="20"/>
</gui>
<euclidianView>
<viewNumber viewNo="1"/>
<size width="797" height="597"/>
<coordSystem xZero="377.22628252359846" yZero="235.00997066554874" scale="50.53519054974261" yscale="50.58897443111347"/>
<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>
<spreadsheetView>
<dimensions rows="100" columns="26"/></spreadsheetView>
<kernel>
<continuous val="false"/>
<usePathAndRegionParameters val="true"/>
<decimals val="2"/>
<angleUnit val="degree"/>
<algebraStyle val="0" spreadsheet="0"/>
<coordStyle val="0"/>
</kernel>
<tableview min="0" max="0" step="0"/>
<scripting blocked="false" disabled="false"/>
<construction title="" author="" date="">
<element type="point" label="B">
<show object="true" label="true" ev="4"/>
<objColor r="0" g="0" b="255" alpha="0"/>
<layer val="0"/>
<labelOffset x="-20" y="22"/>
<labelMode val="3"/>
<animation step="1" speed="1" type="1" playing="false"/>
<ggbscript onUpdate="ZoomIn(1)"/>
<caption val="A"/>
<pointSize val="3"/>
<pointStyle val="0"/>
<coords x="-2.9924945543589865" y="-1.759079529386947" z="1"/>
</element>
<element type="point" label="A">
<show object="true" label="true" ev="4"/>
<objColor r="0" g="0" b="255" alpha="0"/>
<layer val="0"/>
<labelOffset x="-20" y="-5"/>
<labelMode val="3"/>
<animation step="1" speed="1" type="1" playing="false"/>
<ggbscript onUpdate="ZoomIn(1)"/>
<caption val="D"/>
<pointSize val="3"/>
<pointStyle val="0"/>
<coords x="-1.4688038516553399" y="2.7082970589197037" z="1"/>
</element>
<element type="point" label="C">
<show object="true" label="true" ev="4"/>
<objColor r="0" g="0" b="255" alpha="0"/>
<layer val="0"/>
<labelOffset x="3" y="22"/>
<labelMode val="3"/>
<animation step="1" speed="1" type="1" playing="false"/>
<ggbscript onUpdate="ZoomIn(1)"/>
<caption val="B"/>
<pointSize val="3"/>
<pointStyle val="0"/>
<coords x="1.2182756050542733" y="-1.7343709671462575" z="1"/>
</element>
<element type="point" label="D_1">
<show object="false" label="true" ev="4"/>
<objColor r="0" g="0" b="255" alpha="0"/>
<layer val="0"/>
<labelMode val="0"/>
<animation step="1" speed="1" type="1" playing="false"/>
<pointSize val="3"/>
<pointStyle val="0"/>
<coords x="1.3806956443099216" y="2.708297058919704" z="1"/>
</element>
<command name="Circle">
<input a0="A" a1="B" a2="C"/>
<output a0="c"/>
</command>
<element type="conic" label="c">
<show object="true" label="false" ev="4"/>
<condition showObject="located ∧ f"/>
<objColor r="255" g="0" b="0" alpha="0"/>
<layer val="0"/>
<labelMode val="0"/>
<ggbscript onUpdate="
"/>
<lineStyle thickness="6" type="15" typeHidden="1"/>
<eqnStyle style="specific"/>
<eigenvectors x0="1" y0="0" z0="1.0" x1="0" y1="1" z1="1.0"/>
<matrix A0="1" A1="1" A2="-6.748021175155523" A3="0" A4="0.8974759473838982" A5="-0.01990259560137927"/>
</element>
<command name="Intersect">
<input a0="c" a1="Line[B, D_1]" a2="2"/>
<output a0="D'"/>
</command>
<element type="point" label="D'">
<show object="false" label="false" ev="4"/>
<condition showObject="near ∧ β ≟ α ∧ (¬f)"/>
<objColor r="255" g="0" b="0" alpha="0"/>
<layer val="0"/>
<labelMode val="0"/>
<trace val="true"/>
<pointSize val="3"/>
<pointStyle val="0"/>
<coords x="0.8364672637170607" y="2.1523475082021046" z="1"/>
</element>
<command name="If">
<input a0="Distance[D_1, D'] < 0.15" a1="true" a2="false"/>
<output a0="near"/>
</command>
<element type="boolean" label="near">
<value val="false"/>
<show object="false" label="true"/>
<objColor r="0" g="0" b="0" alpha="0"/>
<layer val="0"/>
<labelMode val="0"/>
<checkbox fixed="true"/>
</element>
<command name="DynamicCoordinates">
<input a0="D_1" a1="If[near, x(D'), x(D_1)]" a2="If[near, y(D'), y(D_1)]"/>
<output a0="D"/>
</command>
<element type="point" label="D">
<show object="true" label="true" ev="4"/>
<objColor r="255" g="0" b="0" alpha="0"/>
<layer val="1"/>
<labelMode val="3"/>
<animation step="1" speed="1" type="1" playing="false"/>
<ggbscript onUpdate="SetVisibleInView(f, 1, If(located, true, false))"/>
<caption val="C"/>
<pointSize val="4"/>
<pointStyle val="0"/>
<coords x="1.3806956443099216" y="2.708297058919704" z="1"/>
</element>
<command name="Angle">
<input a0="B" a1="A" a2="C"/>
<output a0="α"/>
</command>
<element type="angle" label="α">
<angleStyle val="1"/>
<value val="0.8726646259971648"/>
<lineStyle thickness="2" type="0" typeHidden="2"/>
<arcSize val="40"/>
<show object="true" label="true" ev="4"/>
<objColor r="0" g="0" b="255" alpha="0.10000000149011612"/>
<layer val="0"/>
<labelOffset x="-7" y="38"/>
<labelMode val="2"/>
</element>
<command name="Segment">
<input a0="B" a1="A"/>
<output a0="a"/>
</command>
<element type="segment" label="a">
<show object="true" label="false" ev="4"/>
<objColor r="0" g="0" b="0" alpha="0"/>
<layer val="0"/>
<labelMode val="0"/>
<lineStyle thickness="4" type="0" typeHidden="1"/>
<eqnStyle style="implicit"/>
<outlyingIntersections val="false"/>
<keepTypeOnTransform val="true"/>
<startStyle val="default"/>
<endStyle val="default"/>
<coords x="-4.467376588306651" y="1.5236907027036466" z="-10.688306988535283"/>
</element>
<command name="Segment">
<input a0="A" a1="C"/>
<output a0="b"/>
</command>
<element type="segment" label="b">
<show object="true" label="false" ev="4"/>
<objColor r="0" g="0" b="0" alpha="0"/>
<layer val="0"/>
<labelMode val="0"/>
<lineStyle thickness="4" type="0" typeHidden="1"/>
<eqnStyle style="implicit"/>
<outlyingIntersections val="false"/>
<keepTypeOnTransform val="true"/>
<startStyle val="default"/>
<endStyle val="default"/>
<coords x="4.442668026065961" y="2.687079456709613" z="-0.7520014813784912"/>
</element>
<command name="Segment">
<input a0="B" a1="D"/>
<output a0="d"/>
</command>
<element type="segment" label="d">
<show object="true" label="false"/>
<objColor r="0" g="0" b="0" alpha="0"/>
<layer val="0"/>
<labelMode val="0"/>
<lineStyle thickness="4" type="0" typeHidden="1"/>
<eqnStyle style="implicit"/>
<outlyingIntersections val="false"/>
<keepTypeOnTransform val="true"/>
<startStyle val="default"/>
<endStyle val="default"/>
<coords x="-4.467376588306651" y="4.373190198668908" z="-5.67581075618437"/>
</element>
<command name="Segment">
<input a0="D" a1="C"/>
<output a0="e"/>
</command>
<element type="segment" label="e">
<show object="true" label="false"/>
<objColor r="0" g="0" b="0" alpha="0"/>
<layer val="0"/>
<labelMode val="0"/>
<lineStyle thickness="4" type="0" typeHidden="1"/>
<eqnStyle style="implicit"/>
<outlyingIntersections val="false"/>
<keepTypeOnTransform val="true"/>
<startStyle val="default"/>
<endStyle val="default"/>
<coords x="4.442668026065961" y="-0.1624200392556483" z="-5.694090678078535"/>
</element>
<command name="Angle">
<input a0="B" a1="D" a2="C"/>
<output a0="β"/>
</command>
<element type="angle" label="β">
<angleStyle val="1"/>
<value val="0.7382018341688927"/>
<lineStyle thickness="2" type="0" typeHidden="2"/>
<arcSize val="40"/>
<show object="true" label="true" ev="4"/>
<objColor r="255" g="0" b="0" alpha="0.10000000149011612"/>
<layer val="0"/>
<labelOffset x="-37" y="38"/>
<labelMode val="2"/>
</element>
<expression label="text1" exp=""拖拉 C 點。當 ∠C = ∠D，你有甚麼發現？ ""/>
<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"/>
<fixed val="true"/>
<absoluteScreenLocation x="11" y="27"/>
</element>
<expression label="text2" exp=""\boxed\text{若 ∠C = ∠D，則 A、 B、 C 與 D 共圓。\\
【 簡寫：同弓形內的圓周角的逆定理 】}""/>
<element type="text" label="text2">
<show object="true" label="false" ev="40"/>
<condition showObject="f ∧ located"/>
<objColor r="0" g="0" b="0" alpha="0"/>
<layer val="0"/>
<labelMode val="0"/>
<fixed val="true"/>
<isLaTeX val="true"/>
<font serif="true" sizeM="1" size="0" style="0"/>
<absoluteScreenLocation x="38" y="441"/>
</element>
<element type="boolean" label="f">
<value val="false"/>
<show object="true" label="true" ev="1"/>
<objColor r="0" g="0" b="0" alpha="0"/>
<layer val="0"/>
<labelOffset x="39" y="409"/>
<labelMode val="3"/>
<checkbox fixed="true"/>
<ggbscript onUpdate="ZoomIn(1)
"/>
<caption val="定理："/>
</element>
<expression label="located" exp="If[D ≟ D', true, false] ∧ β ≟ α" />
<element type="boolean" label="located">
<value val="false"/>
<show object="false" label="true"/>
<condition showObject="near ∧ β ≟ α"/>
<objColor r="0" g="0" b="0" alpha="0"/>
<layer val="0"/>
<labelMode val="0"/>
<checkbox fixed="true"/>
</element>
</construction>
</geogebra>