Compass-and-Straightedge Construction: Bisecting Segments and Angles
2020-04-22 12:27
This GeoGebra applet demonstrates step-by-step classical compass-and-straightedge constructions for bisecting a line segment and an angle. It uses circles to simulate compass arcs, finds intersections, and draws rays to produce the angle bisector or segment midpoint. An interactive slider lets users adjust the arc radius and observe each construction step along with its theoretical justification.
In collections
Compass and Straightedge Constructions
<?xml version="1.0" encoding="utf-8"?>
<geogebra format="5.0" version="5.0.578.0" app="classic" platform="w" id="895bf913-372d-4fd0-8048-2215e7d1acd4" xsi:noNamespaceSchemaLocation="http://www.geogebra.org/apps/xsd/ggb.xsd" xmlns="" xmlns:xsi="http://www.w3.org/2001/XMLSchema-instance" >
<gui>
<window width="1091" height="614" />
<perspectives>
<perspective id="tmp">
<panes>
<pane location="" divider="1" 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 , 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="2" visible="false" inframe="false" stylebar="true" location="3,3" size="250" window="100,100,600,400" />
<view id="8" toolbar="1001 | 1002 | 1003 || 1005 | 1004 || 1006 | 1007 | 1010 || 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="3" size="1091" window="100,100,600,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" toolbar="0" visible="false" inframe="false" stylebar="false" 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="4097" visible="false" inframe="false" stylebar="true" location="1" size="291" window="100,100,700,550" />
<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="43" visible="false" inframe="false" stylebar="false" location="1" size="450" window="50,50,500,500" />
</views>
<toolbar show="false" items="0 39 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="false" cmd="true" top="algebra" />
<dockBar show="false" east="false" />
</perspective>
</perspectives>
<labelingStyle val="0"/>
<font size="18"/>
</gui>
<euclidianView>
<viewNumber viewNo="1"/>
<size width="1090" height="613"/>
<coordSystem xZero="43.46396959686559" yZero="-23.746212673601505" scale="24.99882913647364" yscale="24.99882913647364"/>
<evSettings axes="false" grid="false" gridIsBold="false" pointCapturing="0" rightAngleStyle="1" checkboxSize="26" gridType="3" lockedAxesRatio="1"/>
<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"/>
<labelStyle axes="0" serif="true"/>
<axis id="0" show="false" label="" unitLabel="" tickStyle="1" showNumbers="false" selectionAllowed="false"/>
<axis id="1" show="false" label="" unitLabel="" tickStyle="1" showNumbers="false" selectionAllowed="false"/>
</euclidianView>
<kernel>
<continuous val="false"/>
<usePathAndRegionParameters val="true"/>
<decimals val="2"/>
<angleUnit val="degree"/>
<algebraStyle val="2" spreadsheet="0"/>
<coordStyle val="0"/>
</kernel>
<tableview min="-2" max="2" step="1"/>
<scripting blocked="false" disabled="false"/>
<construction title="作1个角等于已知角" author="" date="">
<element type="numeric" label="step">
<value val="3"/>
<show object="true" label="true"/>
<objColor r="0" g="0" b="0" alpha="0.10000000149011612" fillType="7" hatchAngle="45" hatchDistance="10"/>
<bgColor r="96" g="96" b="96" alpha="255"/>
<layer val="8"/>
<labelOffset x="8" y="-4"/>
<labelMode val="2"/>
<slider min="0" max="3" absoluteScreenLocation="true" width="200" x="223" y="591" fixed="true" horizontal="true" showAlgebra="false"/>
<lineStyle thickness="10" type="0" typeHidden="1"/>
<animation step="1" speed="1" type="0" playing="false"/>
</element>
<element type="button" label="bnext">
<show object="true" label="true"/>
<condition showObject="step < 3"/>
<objColor r="0" g="0" b="0" alpha="0"/>
<layer val="8"/>
<labelOffset x="115" y="570"/>
<labelMode val="3"/>
<fixed val="true"/>
<auxiliary val="true"/>
<ggbscript val="SetValue(step,step+1)"/>
<font serif="false" sizeM="2" size="18" style="0"/>
<caption val="下一步"/>
</element>
<element type="button" label="bprev">
<show object="true" label="true"/>
<condition showObject="step > 0"/>
<objColor r="0" g="0" b="0" alpha="1"/>
<layer val="8"/>
<labelOffset x="12" y="570"/>
<labelMode val="0"/>
<fixed val="true"/>
<auxiliary val="true"/>
<ggbscript val="SetValue(step,step-1)"/>
<font serif="false" sizeM="2" size="18" style="0"/>
<caption val="上一步"/>
</element>
<expression label="步骤1" exp=""① \; 以A为圆心作圆，分别交角的两边于P、Q两点；""/>
<element type="text" label="步骤1">
<show object="true" label="false" ev="40"/>
<condition showObject="step > 0"/>
<objColor r="153" g="51" b="0" alpha="0"/>
<layer val="8"/>
<labelMode val="0"/>
<fixed val="true"/>
<isLaTeX val="true"/>
<font serif="true" sizeM="1.4" size="8" style="0"/>
<absoluteScreenLocation x="11" y="408"/>
</element>
<element type="numeric" label="zx">
<value val="3"/>
<show object="false" label="false"/>
<objColor r="0" g="0" b="0" alpha="0.10000000149011612"/>
<layer val="9"/>
<labelMode val="1"/>
<slider min="1" max="9" absoluteScreenLocation="true" width="200" x="893" y="655" fixed="false" horizontal="true" showAlgebra="true"/>
<lineStyle thickness="10" type="0" typeHidden="1"/>
<animation step="1" speed="1" type="0" playing="false"/>
</element>
<command name="Polygon">
<input a0="(0, 0)" a1="((16 * zx), 0)" a2="((16 * zx), (-9 * zx))" a3="(0, (-9 * zx))"/>
<output a0="q1" a1="f" a2="g" a3="h" a4="i"/>
</command>
<element type="polygon" label="q1">
<lineStyle thickness="5" type="0" typeHidden="1" opacity="178"/>
<show object="false" label="false" ev="4"/>
<objColor r="153" g="51" b="0" alpha="0.10000000149011612"/>
<layer val="9"/>
<labelMode val="0"/>
<fixed val="true"/>
<selectionAllowed val="false"/>
<auxiliary val="true"/>
</element>
<element type="segment" label="f">
<show object="false" label="false" ev="4"/>
<objColor r="153" g="51" b="0" alpha="0"/>
<layer val="9"/>
<labelMode val="0"/>
<fixed val="true"/>
<auxiliary val="false"/>
<coords x="0" y="48" z="0"/>
<lineStyle thickness="5" type="0" typeHidden="1" opacity="178"/>
<eqnStyle style="explicit"/>
<outlyingIntersections val="false"/>
<keepTypeOnTransform val="true"/>
</element>
<element type="segment" label="g">
<show object="false" label="false" ev="4"/>
<objColor r="153" g="51" b="0" alpha="0"/>
<layer val="9"/>
<labelMode val="0"/>
<fixed val="true"/>
<auxiliary val="false"/>
<coords x="27" y="0" z="-1296"/>
<lineStyle thickness="5" type="0" typeHidden="1" opacity="178"/>
<eqnStyle style="explicit"/>
<outlyingIntersections val="false"/>
<keepTypeOnTransform val="true"/>
</element>
<element type="segment" label="h">
<show object="false" label="false" ev="4"/>
<objColor r="153" g="51" b="0" alpha="0"/>
<layer val="9"/>
<labelMode val="0"/>
<fixed val="true"/>
<auxiliary val="false"/>
<coords x="0" y="-48" z="-1296"/>
<lineStyle thickness="5" type="0" typeHidden="1" opacity="178"/>
<eqnStyle style="explicit"/>
<outlyingIntersections val="false"/>
<keepTypeOnTransform val="true"/>
</element>
<element type="segment" label="i">
<show object="false" label="false" ev="4"/>
<objColor r="153" g="51" b="0" alpha="0"/>
<layer val="9"/>
<labelMode val="0"/>
<fixed val="true"/>
<auxiliary val="false"/>
<coords x="-27" y="0" z="0"/>
<lineStyle thickness="5" type="0" typeHidden="1" opacity="178"/>
<eqnStyle style="explicit"/>
<outlyingIntersections val="false"/>
<keepTypeOnTransform val="true"/>
</element>
<element type="point" label="A">
<show object="true" label="true" ev="4"/>
<objColor r="0" g="0" b="0" alpha="0"/>
<layer val="0"/>
<labelOffset x="-28" y="16"/>
<labelMode val="0"/>
<animation step="0.1" speed="1" type="1" playing="false"/>
<coords x="8.849855695055432" y="-10.978362673521485" z="1"/>
<pointSize val="1"/>
<pointStyle val="0"/>
</element>
<element type="point" label="B">
<show object="true" label="true" ev="4"/>
<objColor r="0" g="0" b="0" alpha="0"/>
<layer val="0"/>
<labelOffset x="-15" y="-15"/>
<labelMode val="0"/>
<animation step="0.1" speed="1" type="1" playing="false"/>
<coords x="12.942047350973363" y="-3.6300185171953383" z="1"/>
<pointSize val="1"/>
<pointStyle val="0"/>
</element>
<expression label="步骤2" exp=""② \; 分别以P、Q为圆心，以大于\frac{1}{2}PQ长为半径，作圆交于M点；""/>
<element type="text" label="步骤2">
<show object="true" label="false" ev="40"/>
<condition showObject="step > 1"/>
<objColor r="153" g="51" b="0" alpha="0"/>
<layer val="8"/>
<labelMode val="0"/>
<fixed val="true"/>
<isLaTeX val="true"/>
<font serif="true" sizeM="1.4" size="8" style="0"/>
<absoluteScreenLocation x="11" y="442"/>
</element>
<element type="point" label="C">
<show object="true" label="true" ev="4"/>
<objColor r="0" g="0" b="0" alpha="0"/>
<layer val="0"/>
<labelOffset x="-3" y="29"/>
<labelMode val="0"/>
<animation step="0.1" speed="1" type="1" playing="false"/>
<coords x="17.25424931097309" y="-10.934360612705083" z="1"/>
<pointSize val="1"/>
<pointStyle val="0"/>
</element>
<command name="PolyLine">
<input a0="B" a1="A" a2="C"/>
<output a0="j"/>
</command>
<element type="polyline" label="j">
<lineStyle thickness="5" type="0" typeHidden="1" opacity="178"/>
<show object="true" label="false" ev="4"/>
<objColor r="0" g="0" b="0" alpha="0"/>
<layer val="0"/>
<labelMode val="0"/>
</element>
<command name="Point">
<input a0="j"/>
<output a0="P"/>
</command>
<element type="point" label="P">
<show object="true" label="true" ev="4"/>
<condition showObject="step > 0"/>
<objColor r="0" g="0" b="255" alpha="0"/>
<layer val="8"/>
<labelOffset x="-35" y="37"/>
<labelMode val="0"/>
<animation step="1" speed="1" type="1" playing="false"/>
<coords x="14.820941203361095" y="-10.947100445729252" z="1"/>
<pointSize val="5"/>
<pointStyle val="1"/>
</element>
<command name="Circle">
<input a0="A" a1="Distance[A, P]"/>
<output a0="c"/>
</command>
<element type="conic" label="c">
<show object="true" label="false" ev="4"/>
<condition showObject="step > 0"/>
<objColor r="0" g="0" b="255" alpha="0"/>
<layer val="8"/>
<labelMode val="0"/>
<lineStyle thickness="5" type="30" typeHidden="1" opacity="178"/>
<eigenvectors x0="1" y0="0" z0="1.0" x1="0" y1="1" z1="1.0"/>
<matrix A0="1" A1="1" A2="163.18955334029044" A3="0" A4="-8.849855695055432" A5="10.978362673521485"/>
<eqnStyle style="specific"/>
</element>
<command name="Intersect">
<input a0="j" a1="c"/>
<output a0="Q" a1="Q_2"/>
</command>
<element type="point" label="Q">
<show object="true" label="true" ev="4"/>
<condition showObject="step > 0"/>
<objColor r="0" g="0" b="255" alpha="0"/>
<layer val="8"/>
<labelOffset x="-38" y="27"/>
<labelMode val="0"/>
<coords x="11.755014020535494" y="-5.761572992282813" z="1"/>
<pointSize val="5"/>
<pointStyle val="1"/>
</element>
<element type="point" label="Q_2">
<show object="false" label="true" ev="4"/>
<objColor r="68" g="68" b="68" alpha="0"/>
<layer val="8"/>
<labelOffset x="64" y="-32"/>
<labelMode val="0"/>
<coords x="14.820941203361093" y="-10.947100445729252" z="1"/>
<pointSize val="4"/>
<pointStyle val="0"/>
</element>
<element type="point" label="拖动控制圆弧半径">
<show object="true" label="true" ev="4"/>
<condition showObject="step > 1"/>
<objColor r="0" g="0" b="0" alpha="0"/>
<layer val="8"/>
<labelOffset x="13" y="16"/>
<labelMode val="0"/>
<animation step="0.1" speed="1" type="1" playing="false"/>
<coords x="19.102335865258688" y="-11.110368855970378" z="1"/>
<pointSize val="5"/>
<pointStyle val="5"/>
</element>
<command name="Circle">
<input a0="P" a1="Distance[P, 拖动控制圆弧半径]"/>
<output a0="d"/>
</command>
<element type="conic" label="d">
<show object="true" label="false" ev="4"/>
<condition showObject="step > 1"/>
<objColor r="127" g="0" b="255" alpha="0"/>
<layer val="8"/>
<labelMode val="0"/>
<lineStyle thickness="5" type="30" typeHidden="1" opacity="178"/>
<eigenvectors x0="1" y0="0" z0="1.0" x1="0" y1="1" z1="1.0"/>
<matrix A0="1" A1="1" A2="321.1423094976643" A3="0" A4="-14.820941203361095" A5="10.947100445729252"/>
<eqnStyle style="specific"/>
</element>
<command name="Circle">
<input a0="Q" a1="Distance[P, 拖动控制圆弧半径]"/>
<output a0="e"/>
</command>
<element type="conic" label="e">
<show object="true" label="false" ev="4"/>
<condition showObject="step > 1"/>
<objColor r="127" g="0" b="255" alpha="0"/>
<layer val="8"/>
<labelMode val="0"/>
<lineStyle thickness="5" type="30" typeHidden="1" opacity="178"/>
<eigenvectors x0="1" y0="0" z0="1.0" x1="0" y1="1" z1="1.0"/>
<matrix A0="1" A1="1" A2="153.01908114368092" A3="0" A4="-11.755014020535494" A5="5.761572992282813"/>
<eqnStyle style="specific"/>
</element>
<command name="Intersect">
<input a0="d" a1="e" a2="2"/>
<output a0="M"/>
</command>
<element type="point" label="M">
<show object="true" label="true" ev="4"/>
<condition showObject="step > 1"/>
<objColor r="255" g="0" b="0" alpha="0"/>
<layer val="8"/>
<labelOffset x="15" y="20"/>
<labelMode val="0"/>
<coords x="15.910887191620429" y="-6.803549484610855" z="1"/>
<pointSize val="4"/>
<pointStyle val="1"/>
</element>
<command name="Ray">
<input a0="A" a1="M"/>
<output a0="角平分线"/>
</command>
<element type="ray" label="角平分线">
<show object="true" label="true" ev="4"/>
<condition showObject="step > 2"/>
<objColor r="255" g="0" b="0" alpha="0"/>
<layer val="8"/>
<labelOffset x="-48" y="2"/>
<labelMode val="0"/>
<coords x="-4.17481318891063" y="7.061031496564997" z="114.46505889412197"/>
<lineStyle thickness="4" type="0" typeHidden="1" opacity="178"/>
<eqnStyle style="explicit"/>
<outlyingIntersections val="false"/>
<keepTypeOnTransform val="true"/>
</element>
<expression label="步骤3" exp=""③ \; 连接AM，射线AM即为∠BAC的角平分线。""/>
<element type="text" label="步骤3">
<show object="true" label="false" ev="40"/>
<condition showObject="step > 2"/>
<objColor r="153" g="51" b="0" alpha="0"/>
<layer val="8"/>
<labelMode val="0"/>
<fixed val="true"/>
<isLaTeX val="true"/>
<font serif="true" sizeM="1.4" size="8" style="0"/>
<absoluteScreenLocation x="11" y="508"/>
</element>
<expression label="理论依据" exp=""∵AQ=AP，QM=PM，AM=AM
∴△AQM≌△APM（SSS）
∴∠MAQ=∠MAP（全等性质）""/>
<element type="text" label="理论依据">
<show object="true" label="false" ev="40"/>
<condition showObject="a ≠ false"/>
<objColor r="0" g="0" b="0" alpha="0"/>
<bgColor r="224" g="224" b="224" alpha="255"/>
<layer val="8"/>
<labelMode val="0"/>
<font serif="true" sizeM="1.4" size="8" style="0"/>
<absoluteScreenLocation x="706" y="120"/>
</element>
<element type="boolean" label="a">
<value val="false"/>
<show object="true" label="true"/>
<condition showObject="step > 2"/>
<objColor r="0" g="0" b="0" alpha="0"/>
<layer val="0"/>
<labelOffset x="720" y="35"/>
<labelMode val="3"/>
<checkbox fixed="true"/>
<caption val="显示理论依据"/>
</element>
<command name="Polygon">
<input a0="A" a1="M" a2="Q"/>
<output a0="t1" a1="q" a2="a_1" a3="m"/>
</command>
<element type="polygon" label="t1">
<lineStyle thickness="5" type="0" typeHidden="1" opacity="178"/>
<show object="true" label="false" ev="4"/>
<condition showObject="a ≟ true"/>
<objColor r="255" g="255" b="0" alpha="0.47999998927116394"/>
<layer val="8"/>
<labelMode val="0"/>
</element>
<element type="segment" label="q">
<show object="true" label="false" ev="4"/>
<condition showObject="a ≟ true"/>
<objColor r="255" g="255" b="0" alpha="0"/>
<layer val="8"/>
<labelMode val="0"/>
<auxiliary val="false"/>
<coords x="-4.17481318891063" y="7.061031496564997" z="114.46505889412197"/>
<lineStyle thickness="5" type="0" typeHidden="1" opacity="178"/>
<eqnStyle style="explicit"/>
<outlyingIntersections val="false"/>
<keepTypeOnTransform val="true"/>
</element>
<element type="segment" label="a_1">
<show object="true" label="false" ev="4"/>
<condition showObject="a ≟ true"/>
<objColor r="255" g="255" b="0" alpha="0"/>
<layer val="8"/>
<labelMode val="0"/>
<auxiliary val="false"/>
<coords x="-1.0419764923280415" y="-4.155873171084934" z="-11.695918345491165"/>
<lineStyle thickness="5" type="0" typeHidden="1" opacity="178"/>
<eqnStyle style="explicit"/>
<outlyingIntersections val="false"/>
<keepTypeOnTransform val="true"/>
</element>
<element type="segment" label="m">
<show object="true" label="false" ev="4"/>
<condition showObject="a ≟ true"/>
<objColor r="255" g="255" b="0" alpha="0"/>
<layer val="8"/>
<labelMode val="0"/>
<auxiliary val="false"/>
<coords x="5.216789681238671" y="-2.9051583254800626" z="-78.06171759153696"/>
<lineStyle thickness="5" type="0" typeHidden="1" opacity="178"/>
<eqnStyle style="explicit"/>
<outlyingIntersections val="false"/>
<keepTypeOnTransform val="true"/>
</element>
<command name="Polygon">
<input a0="A" a1="M" a2="P"/>
<output a0="t2" a1="p" a2="a_2" a3="m_1"/>
</command>
<element type="polygon" label="t2">
<lineStyle thickness="5" type="0" typeHidden="1" opacity="178"/>
<show object="true" label="false" ev="4"/>
<condition showObject="a ≟ true"/>
<objColor r="0" g="255" b="0" alpha="0.3499999940395355"/>
<layer val="8"/>
<labelMode val="0"/>
</element>
<element type="segment" label="p">
<show object="true" label="false" ev="4"/>
<condition showObject="a ≟ true"/>
<objColor r="0" g="255" b="0" alpha="0"/>
<layer val="8"/>
<labelMode val="0"/>
<auxiliary val="false"/>
<coords x="-4.17481318891063" y="7.061031496564997" z="114.46505889412197"/>
<lineStyle thickness="5" type="0" typeHidden="1" opacity="178"/>
<eqnStyle style="explicit"/>
<outlyingIntersections val="false"/>
<keepTypeOnTransform val="true"/>
</element>
<element type="segment" label="a_2">
<show object="true" label="false" ev="4"/>
<condition showObject="a ≟ true"/>
<objColor r="0" g="255" b="0" alpha="0"/>
<layer val="8"/>
<labelMode val="0"/>
<auxiliary val="false"/>
<coords x="4.143550961118397" y="-1.089945988259334" z="-73.34307338176069"/>
<lineStyle thickness="5" type="0" typeHidden="1" opacity="178"/>
<eqnStyle style="explicit"/>
<outlyingIntersections val="false"/>
<keepTypeOnTransform val="true"/>
</element>
<element type="segment" label="m_1">
<show object="true" label="false" ev="4"/>
<condition showObject="a ≟ true"/>
<objColor r="0" g="255" b="0" alpha="0"/>
<layer val="8"/>
<labelMode val="0"/>
<auxiliary val="false"/>
<coords x="0.03126222779223298" y="-5.971085508305663" z="-65.82940846945517"/>
<lineStyle thickness="5" type="0" typeHidden="1" opacity="178"/>
<eqnStyle style="explicit"/>
<outlyingIntersections val="false"/>
<keepTypeOnTransform val="true"/>
</element>
</construction>
</geogebra>