Properties of Circle Secants and Tangents
2016-07-31 00:36
This applet demonstrates the secant-tangent and intersecting secants theorems for circles. By constructing circles, points, and segments, it visually shows that the square of the tangent from an external point equals the product of the secant and its external part. Using GeoGebra commands like intersect and rotate, it helps users understand the power of a point theorem in plane geometry.
<?xml version="1.0" encoding="utf-8"?>
<geogebra format="4.2" version="4.2.60.0" id="e46487ea-c08f-405b-b152-b4d65f13b9f9" xsi:noNamespaceSchemaLocation="http://www.geogebra.org/ggb.xsd" xmlns="" xmlns:xsi="http://www.w3.org/2001/XMLSchema-instance" >
<gui>
<window width="1366" height="728" />
<perspectives>
<perspective id="tmp">
<panes>
<pane location="" divider="0.14641288433382138" orientation="1" />
</panes>
<views>
<view id="4097" visible="false" inframe="true" stylebar="true" location="1,1,1" size="400" window="510,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 || 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="1339" window="100,100,600,400" />
<view id="2" visible="false" inframe="false" stylebar="false" location="3" size="200" 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" toolbar="0 || 2020 || 2021 || 2022" 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="3"/>
<font size="12"/>
<graphicsSettings javaLatexFonts="false"/>
</gui>
<euclidianView>
<size width="1339" height="562"/>
<coordSystem xZero="50.99999999999996" yZero="447.9999999999998" scale="50.00000000000002" yscale="49.99999999999995"/>
<evSettings axes="false" grid="false" gridIsBold="false" pointCapturing="3" 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"/>
</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="">
<command name="Intersect">
<input a0="xAxis" a1="yAxis"/>
<output a0="A"/>
</command>
<element type="point" label="A">
<show object="true" label="true"/>
<objColor r="68" g="68" b="68" alpha="0.0"/>
<layer val="0"/>
<labelMode val="0"/>
<coords x="0.0" y="-0.0" z="1.0"/>
<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="true"/>
<objColor r="125" g="125" b="255" alpha="0.0"/>
<layer val="0"/>
<labelMode val="0"/>
<animation step="1" speed="1" type="1" playing="false"/>
<coords x="5.0" y="0.0" z="1.0"/>
<pointSize val="3"/>
<pointStyle val="0"/>
</element>
<element type="point" label="C">
<show object="true" label="true"/>
<objColor r="0" g="0" b="255" alpha="0.0"/>
<layer val="0"/>
<labelMode val="0"/>
<animation step="0.1" speed="1" type="1" playing="false"/>
<coords x="6.46" y="5.54" z="1.0"/>
<pointSize val="3"/>
<pointStyle val="0"/>
</element>
<command name="Polygon">
<input a0="C" a1="A" a2="B"/>
<output a0="poly1" a1="b" a2="c" a3="a"/>
</command>
<element type="polygon" label="poly1">
<lineStyle thickness="2" type="0" typeHidden="1"/>
<show object="true" label="false"/>
<objColor r="255" g="255" b="0" alpha="0.9"/>
<layer val="0"/>
<labelMode val="0"/>
</element>
<element type="segment" label="b">
<show object="true" label="false"/>
<objColor r="255" g="255" b="0" alpha="0.0"/>
<layer val="0"/>
<labelMode val="0"/>
<coords x="5.54" y="-6.46" z="-0.0"/>
<lineStyle thickness="2" type="0" typeHidden="1"/>
<outlyingIntersections val="false"/>
<keepTypeOnTransform val="true"/>
</element>
<element type="segment" label="c">
<show object="true" label="false"/>
<objColor r="255" g="255" b="0" alpha="0.0"/>
<layer val="0"/>
<labelMode val="0"/>
<coords x="-0.0" y="5.0" z="0.0"/>
<lineStyle thickness="2" type="0" typeHidden="1"/>
<outlyingIntersections val="false"/>
<keepTypeOnTransform val="true"/>
</element>
<element type="segment" label="a">
<show object="true" label="false"/>
<objColor r="255" g="255" b="0" alpha="0.0"/>
<layer val="0"/>
<labelMode val="0"/>
<coords x="-5.54" y="1.46" z="27.7"/>
<lineStyle thickness="2" type="0" typeHidden="1"/>
<outlyingIntersections val="false"/>
<keepTypeOnTransform val="true"/>
</element>
<command name="Circle">
<input a0="A" a1="B"/>
<output a0="d"/>
</command>
<element type="conic" label="d">
<show object="false" label="false"/>
<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="-25.0" A3="0.0" A4="-0.0" A5="0.0"/>
<eqnStyle style="specific"/>
</element>
<command name="Intersect">
<input a0="d" a1="b"/>
<output a0="D" a1=""/>
</command>
<element type="point" label="D">
<show object="true" label="true"/>
<objColor r="68" g="68" b="68" alpha="0.0"/>
<layer val="0"/>
<labelMode val="0"/>
<coords x="3.795453432267213" y="3.2549244604892196" z="1.0"/>
<pointSize val="3"/>
<pointStyle val="0"/>
</element>
<command name="Line">
<input a0="D" a1="a"/>
<output a0="e"/>
</command>
<element type="line" label="e">
<show object="false" label="false"/>
<objColor r="0" g="0" b="0" alpha="0.0"/>
<layer val="0"/>
<labelMode val="0"/>
<coords x="-5.54" y="1.46" z="16.274622302446097"/>
<lineStyle thickness="2" type="0" typeHidden="1"/>
<eqnStyle style="implicit"/>
</element>
<command name="Intersect">
<input a0="e" a1="c"/>
<output a0="E"/>
</command>
<element type="point" label="E">
<show object="true" label="true"/>
<objColor r="68" g="68" b="68" alpha="0.0"/>
<layer val="0"/>
<labelMode val="0"/>
<coords x="81.37311151223048" y="-0.0" z="27.7"/>
<pointSize val="3"/>
<pointStyle val="0"/>
</element>
<command name="Circle">
<input a0="A" a1="E"/>
<output a0="f"/>
</command>
<element type="conic" label="f">
<show object="false" label="false"/>
<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="-8.629831324768858" A3="0.0" A4="-0.0" A5="0.0"/>
<eqnStyle style="specific"/>
</element>
<command name="Intersect">
<input a0="f" a1="b"/>
<output a0="F" a1=""/>
</command>
<element type="point" label="F">
<show object="true" label="true"/>
<objColor r="68" g="68" b="68" alpha="0.0"/>
<layer val="0"/>
<labelMode val="0"/>
<coords x="2.229948414320273" y="1.912370621568779" z="1.0"/>
<pointSize val="3"/>
<pointStyle val="0"/>
</element>
<command name="Segment">
<input a0="B" a1="F"/>
<output a0="g"/>
</command>
<element type="segment" label="g">
<show object="true" label="false"/>
<objColor r="0" g="0" b="0" alpha="0.0"/>
<layer val="0"/>
<labelMode val="0"/>
<coords x="-1.912370621568779" y="-2.770051585679727" z="9.561853107843895"/>
<lineStyle thickness="2" type="0" typeHidden="1"/>
<outlyingIntersections val="false"/>
<keepTypeOnTransform val="true"/>
</element>
<command name="Polygon">
<input a0="A" a1="F" a2="B"/>
<output a0="poly2" a1="b_1" a2="a_1" a3="f_1"/>
</command>
<element type="polygon" label="poly2">
<lineStyle thickness="2" type="0" typeHidden="1"/>
<show object="false" label="false"/>
<objColor r="153" g="51" b="0" alpha="0.1"/>
<layer val="0"/>
<labelMode val="0"/>
</element>
<element type="segment" label="b_1">
<show object="false" label="false"/>
<objColor r="153" g="51" b="0" alpha="0.0"/>
<layer val="0"/>
<labelMode val="0"/>
<coords x="-1.912370621568779" y="2.229948414320273" z="0.0"/>
<lineStyle thickness="2" type="0" typeHidden="1"/>
<outlyingIntersections val="false"/>
<keepTypeOnTransform val="true"/>
</element>
<element type="segment" label="a_1">
<show object="false" label="false"/>
<objColor r="153" g="51" b="0" alpha="0.0"/>
<layer val="0"/>
<labelMode val="0"/>
<coords x="1.912370621568779" y="2.770051585679727" z="-9.561853107843895"/>
<lineStyle thickness="2" type="0" typeHidden="1"/>
<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="0"/>
<labelMode val="0"/>
<coords x="0.0" y="-5.0" z="-0.0"/>
<lineStyle thickness="2" type="0" typeHidden="1"/>
<outlyingIntersections val="false"/>
<keepTypeOnTransform val="true"/>
</element>
<command name="Angle">
<input a0="A" a1="C" a2="B"/>
<output a0="α"/>
</command>
<element type="angle" label="α">
<value val="0.6042360667306502"/>
<show object="true" label="true"/>
<objColor r="0" g="100" b="0" alpha="0.1"/>
<layer val="0"/>
<labelMode val="1"/>
<lineStyle thickness="2" type="0" typeHidden="2"/>
<arcSize val="30"/>
<allowReflexAngle val="true"/>
</element>
<command name="Angle">
<input a0="F" a1="B" a2="A"/>
<output a0="β"/>
</command>
<element type="angle" label="β">
<value val="0.6042360667306501"/>
<show object="true" label="true"/>
<objColor r="0" g="100" b="0" alpha="0.1"/>
<layer val="0"/>
<labelMode val="1"/>
<lineStyle thickness="2" type="0" typeHidden="2"/>
<arcSize val="30"/>
<allowReflexAngle val="true"/>
</element>
<command name="Angle">
<input a0="E" a1="A" a2="F"/>
<output a0="γ"/>
</command>
<element type="angle" label="γ">
<value val="0.7088811790811091"/>
<show object="false" label="true"/>
<objColor r="0" g="100" b="0" alpha="0.1"/>
<layer val="0"/>
<labelMode val="1"/>
<lineStyle thickness="2" type="0" typeHidden="2"/>
<arcSize val="30"/>
<allowReflexAngle val="true"/>
</element>
<element type="numeric" label="n">
<value val="0.0"/>
<show object="true" label="true"/>
<objColor r="0" g="0" b="0" alpha="0.1"/>
<layer val="0"/>
<labelMode val="1"/>
<slider min="0" max="1" absoluteScreenLocation="true" width="100.0" x="171.0" y="28.0" fixed="true" horizontal="true"/>
<lineStyle thickness="2" type="0" typeHidden="1"/>
<animation step="0.1" speed="1" type="0" playing="false"/>
</element>
<command name="Rotate">
<input a0="B" a1="γ * n" a2="A"/>
<output a0="B'"/>
</command>
<element type="point" label="B'">
<show object="false" label="true"/>
<objColor r="125" g="125" b="255" alpha="0.0"/>
<layer val="0"/>
<labelMode val="0"/>
<coords x="5.0" y="0.0" z="1.0"/>
<pointSize val="3"/>
<pointStyle val="0"/>
</element>
<command name="Rotate">
<input a0="F" a1="-(n * γ)" a2="A"/>
<output a0="F'"/>
</command>
<element type="point" label="F'">
<show object="false" label="true"/>
<objColor r="68" g="68" b="68" alpha="0.0"/>
<layer val="0"/>
<labelMode val="0"/>
<coords x="2.229948414320273" y="1.912370621568779" z="1.0"/>
<pointSize val="3"/>
<pointStyle val="0"/>
</element>
<command name="Rotate">
<input a0="F" a1="-γ * n" a2="A"/>
<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"/>
<coords x="2.229948414320273" y="1.912370621568779" z="1.0"/>
<pointSize val="3"/>
<pointStyle val="0"/>
</element>
<command name="Polygon">
<input a0="A" a1="G" a2="B'"/>
<output a0="poly3" a1="b'" a2="a_2" a3="g_1"/>
</command>
<element type="polygon" label="poly3">
<lineStyle thickness="2" type="0" typeHidden="1"/>
<show object="true" label="false"/>
<objColor r="255" g="0" b="0" alpha="0.55"/>
<layer val="0"/>
<labelMode val="0"/>
</element>
<element type="segment" label="b'">
<show object="true" label="false"/>
<objColor r="255" g="0" b="0" alpha="0.0"/>
<layer val="0"/>
<labelMode val="0"/>
<coords x="-1.912370621568779" y="2.229948414320273" z="0.0"/>
<lineStyle thickness="2" type="0" typeHidden="1"/>
<outlyingIntersections val="false"/>
<keepTypeOnTransform val="true"/>
</element>
<element type="segment" label="a_2">
<show object="true" label="false"/>
<objColor r="255" g="0" b="0" alpha="0.0"/>
<layer val="0"/>
<labelMode val="0"/>
<coords x="1.912370621568779" y="2.770051585679727" z="-9.561853107843895"/>
<lineStyle thickness="2" type="0" typeHidden="1"/>
<outlyingIntersections val="false"/>
<keepTypeOnTransform val="true"/>
</element>
<element type="segment" label="g_1">
<show object="true" label="false"/>
<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="2" type="0" typeHidden="1"/>
<outlyingIntersections val="false"/>
<keepTypeOnTransform val="true"/>
</element>
<command name="Angle">
<input a0="A" a1="D" a2="E"/>
<output a0="δ"/>
</command>
<element type="angle" label="δ">
<value val="0.6042360667306501"/>
<show object="true" label="true"/>
<objColor r="0" g="100" b="0" alpha="0.1"/>
<layer val="0"/>
<labelMode val="1"/>
<lineStyle thickness="2" type="0" typeHidden="2"/>
<arcSize val="30"/>
<allowReflexAngle val="true"/>
</element>
<expression label="text1" exp=""\overline{AF}:\overline{AB}=\overline{AE}:\overline{AD}=\overline{AB}:\overline{AC}""/>
<element type="text" label="text1">
<show object="true" label="false"/>
<objColor r="0" g="0" b="255" alpha="0.0"/>
<layer val="0"/>
<labelMode val="0"/>
<isLaTeX val="true"/>
<font serif="true" sizeM="4.0" size="36" style="1"/>
<startPoint x="7.859999999999999" y="6.180000000000003" z="1.0"/>
</element>
<expression label="text2" exp=""\overline{AB}^2=\overline{AC}×\overline{AF}""/>
<element type="text" label="text2">
<show object="true" label="false"/>
<objColor r="255" g="0" b="0" alpha="0.0"/>
<layer val="0"/>
<labelMode val="0"/>
<isLaTeX val="true"/>
<font serif="true" sizeM="4.0" size="36" style="1"/>
<startPoint x="9.5" y="3.880000000000001" z="1.0"/>
</element>
<command name="OrthogonalLine">
<input a0="B" a1="c"/>
<output a0="h"/>
</command>
<element type="line" label="h">
<show object="false" label="false"/>
<objColor r="0" g="0" b="0" alpha="0.0"/>
<layer val="0"/>
<labelMode val="0"/>
<coords x="-5.0" y="-0.0" z="25.0"/>
<lineStyle thickness="2" type="0" typeHidden="1"/>
<eqnStyle style="implicit"/>
</element>
<command name="LineBisector">
<input a0="g"/>
<output a0="i"/>
</command>
<element type="line" label="i">
<show object="false" label="false"/>
<objColor r="0" g="0" b="0" alpha="0.0"/>
<layer val="0"/>
<labelMode val="0"/>
<coords x="2.770051585679727" y="-1.912370621568779" z="-8.185084337615569"/>
<lineStyle thickness="2" type="0" typeHidden="1"/>
<eqnStyle style="implicit"/>
</element>
<command name="Intersect">
<input a0="i" a1="h"/>
<output a0="H"/>
</command>
<element type="point" label="H">
<show object="true" label="true"/>
<condition showObject="m"/>
<objColor r="68" g="68" b="68" alpha="0.0"/>
<layer val="0"/>
<labelMode val="0"/>
<coords x="47.809265539219474" y="28.32586795391532" z="9.561853107843895"/>
<pointSize val="3"/>
<pointStyle val="0"/>
</element>
<command name="Circle">
<input a0="H" a1="B"/>
<output a0="k"/>
</command>
<element type="conic" label="k">
<show object="true" label="false"/>
<condition showObject="m"/>
<objColor r="0" g="255" 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="25.0" A3="0.0" A4="-5.0" A5="-2.9623826714801447"/>
<eqnStyle style="specific"/>
</element>
<command name="Segment">
<input a0="H" a1="B"/>
<output a0="j"/>
</command>
<element type="segment" label="j">
<show object="true" label="false"/>
<condition showObject="m"/>
<objColor r="0" g="0" b="0" alpha="0.0"/>
<layer val="0"/>
<labelMode val="0"/>
<coords x="2.9623826714801447" y="0.0" z="-14.811913357400723"/>
<lineStyle thickness="2" type="0" typeHidden="1"/>
<outlyingIntersections val="false"/>
<keepTypeOnTransform val="true"/>
</element>
<element type="boolean" label="m">
<value val="true"/>
<show object="true" label="true"/>
<objColor r="0" g="255" b="0" alpha="0.0"/>
<layer val="0"/>
<labelOffset x="168" y="75"/>
<labelMode val="0"/>
<caption val="顯示圓"/>
</element>
</construction>
</geogebra>