Construction and Properties of the Reuleaux Triangle
2020-12-08 08:42
This applet demonstrates the construction and properties of the Reuleaux triangle, a curve of constant width formed by three circular arcs. Using GeoGebra, it illustrates building the shape with circles and rotations, and calculates extreme coordinates to verify its constant width. Ideal for exploring geometric constructions and curve properties.
<?xml version="1.0" encoding="utf-8"?>
<geogebra format="5.0" version="5.0.619.0" app="classic" platform="d" id="8e67e514-b5e8-4060-a131-059d351d5128" xsi:noNamespaceSchemaLocation="http://www.geogebra.org/apps/xsd/ggb.xsd" xmlns="" xmlns:xsi="http://www.w3.org/2001/XMLSchema-instance" >
<gui>
<window width="1221" height="1060" />
<perspectives>
<perspective id="tmp">
<panes>
<pane location="" divider="0.5225225225225225" orientation="1" />
</panes>
<views>
<view id="4" toolbar="0 || 2020 , 2021 , 2022 , 66 || 2001 , 2003 , 2002 , 2004 , 2005 || 2040 , 2041 , 2042 , 2044 , 2043" visible="false" inframe="false" stylebar="true" location="1,1" size="300" window="100,100,600,400" />
<view id="2" visible="false" inframe="false" stylebar="true" location="3,3" size="320" tab="ALGEBRA" 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="true" location="1,3" size="300" window="100,100,600,400" />
<view id="4097" visible="false" inframe="true" stylebar="true" location="1,1" size="395" window="930,232,700,916" />
<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 , 538 | 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="true" location="1,1" size="558" window="100,100,600,400" />
<view id="1" visible="true" inframe="false" stylebar="true" location="3" size="638" window="100,100,600,400" />
<view id="16" visible="true" inframe="false" stylebar="false" location="1" size="545" 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="70" toolbar="0 || 2020 || 2021 || 2022" visible="false" inframe="false" stylebar="true" location="1" size="150" window="50,50,500,500" />
</views>
<toolbar show="true" 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="true" />
<input show="true" cmd="true" top="true" />
<dockBar show="true" east="true" />
</perspective>
</perspectives>
<labelingStyle val="3"/>
<font size="18"/>
</gui>
<euclidianView>
<viewNumber viewNo="1"/>
<size width="638" height="808"/>
<coordSystem xZero="261.1768108409036" yZero="566.9475150005205" scale="194.83755666231067" yscale="194.83755666231067"/>
<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="11" grid="0"/>
<labelStyle axes="1" serif="true"/>
<axis id="0" show="false" label="" unitLabel="" tickStyle="1" showNumbers="true"/>
<axis id="1" show="false" label="" unitLabel="" tickStyle="1" showNumbers="true"/>
</euclidianView>
<euclidianView>
<viewNumber viewNo="2"/>
<size width="545" height="841"/>
<coordSystem xZero="86.01054912044698" yZero="780.0413756649185" scale="196.15177354506278" yscale="196.15177354506307"/>
<evSettings axes="false" grid="false" gridIsBold="false" pointCapturing="3" rightAngleStyle="1" checkboxSize="26" gridType="3"/>
<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"/>
<axis id="0" show="false" label="" unitLabel="" tickStyle="1" showNumbers="true"/>
<axis id="1" show="false" label="" unitLabel="" tickStyle="1" showNumbers="true"/>
</euclidianView>
<spreadsheetView>
<prefCellSize width="105" height="32"/>
<spreadsheetColumn id="0" width="70"/>
<spreadsheetColumn id="1" width="70"/>
<spreadsheetColumn id="2" width="101"/>
<spreadsheetColumn id="3" width="115"/>
<spreadsheetColumn id="4" width="70"/>
<spreadsheetColumn id="5" width="70"/>
<spreadsheetColumn id="6" width="70"/>
<spreadsheetColumn id="7" width="70"/>
<spreadsheetColumn id="8" width="70"/>
<spreadsheetColumn id="9" width="70"/>
</spreadsheetView>
<algebraView>
<mode val="1"/>
<auxiliary show="true"/>
<collapsed val="3"/>
</algebraView>
<kernel>
<continuous val="false"/>
<usePathAndRegionParameters val="true"/>
<decimals val="2"/>
<angleUnit val="degree"/>
<algebraStyle val="0" spreadsheet="0"/>
<coordStyle val="0"/>
</kernel>
<tableview min="-2.0" max="2.0" step="1.0"/>
<scripting blocked="false" disabled="false"/>
<construction title="" author="" date="">
<element type="point" label="O">
<show object="true" label="true" ev="4"/>
<objColor r="255" g="0" b="0" alpha="0.0"/>
<layer val="0"/>
<labelMode val="0"/>
<animation step="1" speed="1" type="1" playing="false"/>
<ggbscript val=""/>
<ggbscript onUpdate=""/>
<coords x="0.0" y="0.0" z="1.0"/>
<pointSize val="6"/>
<pointStyle val="10"/>
</element>
<expression label="text1" exp=""Reuleaux triangle
莱诺三角形，鲁洛克斯三角形，勒洛三角形、莱洛三角形、圆弧三角形
特点是：
1. 在任何方向上都有相同的宽度，（但不是圆）
 即能在距离等于其圆弧半径的两条平行线间自由转动，
 并且始终保持与两直线都接触。
 机械加工业上利用这个性质，把钻头的横截面做成鲁洛克斯三角形的形状， 
 就能在零件上钻出正方形的孔来，
 这一性质是鲁洛克斯（F.Reuleaux）在研究机械分类时发现的。""/>
<element type="text" label="text1">
<show object="true" label="false" ev="40"/>
<objColor r="0" g="0" b="0" alpha="0.0"/>
<layer val="0"/>
<labelMode val="0"/>
<absoluteScreenLocation x="23" y="37"/>
<ggbscript val=""/>
<ggbscript onUpdate=""/>
</element>
<expression label="text2" exp=""边长为$a$的鲁洛克斯三角形的周长为 $3\times\dfrac{2\pi a}{6}=\pi a$，
直径为$a$的圆的周长为 $2\pi\times\dfrac{a}{2}=\pi a$""/>
<element type="text" label="text2">
<show object="true" label="true" ev="40"/>
<objColor r="0" g="0" b="0" alpha="0.0"/>
<layer val="0"/>
<labelMode val="0"/>
<isLaTeX val="true"/>
<font serif="true" sizeM="1.0" size="0" style="0"/>
<absoluteScreenLocation x="40" y="268"/>
</element>
<command name="Circle">
<input a0="O" a1="1"/>
<output a0="c"/>
</command>
<element type="conic" label="c">
<show object="true" label="false" ev="4"/>
<objColor r="0" g="255" b="0" alpha="0.0"/>
<layer val="0"/>
<labelMode val="0"/>
<ggbscript val=""/>
<ggbscript onUpdate=""/>
<lineStyle thickness="1" type="15" 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="-1.0" A3="0.0" A4="-0.0" A5="-0.0"/>
<eqnStyle style="specific"/>
</element>
<command name="Point">
<input a0="c"/>
<output a0="A"/>
</command>
<element type="point" label="A">
<show object="true" label="true" ev="4"/>
<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"/>
<ggbscript val=""/>
<ggbscript onUpdate=""/>
<coords x="-0.9869212108002685" y="-0.16120336123211557" z="1.0"/>
<pointSize val="6"/>
<pointStyle val="0"/>
</element>
<command name="Rotate">
<input a0="A" a1="120°" a2="O"/>
<output a0="B"/>
</command>
<element type="point" label="B">
<show object="true" label="true" ev="4"/>
<objColor r="0" g="0" b="0" alpha="0.0"/>
<layer val="0"/>
<labelOffset x="-20" y="-8"/>
<labelMode val="0"/>
<coords x="0.6330668114025857" y="-0.7740971594706719" z="1.0"/>
<pointSize val="3"/>
<pointStyle val="2"/>
</element>
<command name="Polygon">
<input a0="A" a1="B" a2="3"/>
<output a0="poly1" a1="f" a2="g" a3="h" a4="C"/>
</command>
<element type="polygon" label="poly1">
<lineStyle thickness="5" type="0" typeHidden="1" opacity="178"/>
<show object="true" label="false" ev="4"/>
<objColor r="255" g="153" b="0" alpha="0.25"/>
<layer val="0"/>
<labelMode val="0"/>
</element>
<element type="segment" label="f">
<show object="true" label="false" ev="4"/>
<objColor r="255" g="153" b="0" alpha="0.0"/>
<layer val="0"/>
<labelMode val="0"/>
<auxiliary val="false"/>
<coords x="0.6128937982385564" y="1.6199880222028542" z="0.8660254037844387"/>
<lineStyle thickness="5" type="0" typeHidden="1" opacity="178"/>
<outlyingIntersections val="false"/>
<keepTypeOnTransform val="true"/>
</element>
<element type="segment" label="g">
<show object="true" label="false" ev="4"/>
<objColor r="255" g="153" b="0" alpha="0.0"/>
<layer val="0"/>
<labelMode val="0"/>
<auxiliary val="true"/>
<coords x="-1.7093976801734594" y="-0.27921241200490254" z="0.8660254037844388"/>
<lineStyle thickness="5" type="0" typeHidden="1" opacity="178"/>
<outlyingIntersections val="false"/>
<keepTypeOnTransform val="true"/>
</element>
<element type="segment" label="h">
<show object="true" label="false" ev="4"/>
<objColor r="255" g="153" b="0" alpha="0.0"/>
<layer val="0"/>
<labelMode val="0"/>
<auxiliary val="true"/>
<coords x="1.096503881934903" y="-1.3407756101979516" z="0.8660254037844385"/>
<lineStyle thickness="5" type="0" typeHidden="1" opacity="178"/>
<outlyingIntersections val="false"/>
<keepTypeOnTransform val="true"/>
</element>
<element type="point" label="C">
<show object="true" label="true" ev="4"/>
<objColor r="0" g="153" b="255" alpha="0.0"/>
<layer val="0"/>
<labelOffset x="-28" y="8"/>
<labelMode val="0"/>
<auxiliary val="true"/>
<coords x="0.35385439939768315" y="0.9353005207027874" z="1.0"/>
<pointSize val="3"/>
<pointStyle val="10"/>
</element>
<command name="CircleArc">
<input a0="A" a1="B" a2="C"/>
<output a0="arc_1"/>
</command>
<element type="conicpart" label="arc_1">
<show object="true" label="false" ev="4"/>
<objColor r="0" g="0" b="0" alpha="0.0"/>
<layer val="0"/>
<labelMode val="0"/>
<lineStyle thickness="5" 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="-1.999999999999999" A3="0.0" A4="0.9869212108002685" A5="0.16120336123211557"/>
<eqnStyle style="implicit"/>
<outlyingIntersections val="false"/>
<keepTypeOnTransform val="true"/>
</element>
<command name="CircleArc">
<input a0="B" a1="C" a2="A"/>
<output a0="arc_2"/>
</command>
<element type="conicpart" label="arc_2">
<show object="true" label="false"/>
<objColor r="0" g="0" b="0" alpha="0.0"/>
<layer val="0"/>
<labelMode val="0"/>
<lineStyle thickness="5" 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="-2.0000000000000004" A3="0.0" A4="-0.6330668114025857" A5="0.7740971594706719"/>
<eqnStyle style="implicit"/>
<outlyingIntersections val="false"/>
<keepTypeOnTransform val="true"/>
</element>
<command name="CircleArc">
<input a0="C" a1="A" a2="B"/>
<output a0="arc_3"/>
</command>
<element type="conicpart" label="arc_3">
<show object="true" label="false" ev="4"/>
<objColor r="0" g="0" b="0" alpha="0.0"/>
<layer val="0"/>
<labelMode val="0"/>
<lineStyle thickness="5" 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="-2.0000000000000004" A3="0.0" A4="-0.35385439939768315" A5="-0.9353005207027874"/>
<eqnStyle style="implicit"/>
<outlyingIntersections val="false"/>
<keepTypeOnTransform val="true"/>
</element>
<expression label="xlist" exp="{x(A), x(B), x(C)}" />
<element type="list" label="xlist">
<objColor r="0" g="100" b="0" alpha="0.10000000149011612"/>
<lineStyle thickness="5" type="0" typeHidden="1"/>
<pointSize val="5"/>
<pointStyle val="0"/>
<angleStyle val="0"/>
<symbolic val="true" />
</element>
<expression label="ylist" exp="{y(A), y(B), y(C)}" />
<element type="list" label="ylist">
<objColor r="0" g="100" b="0" alpha="0.10000000149011612"/>
<lineStyle thickness="5" type="0" typeHidden="1"/>
<pointSize val="5"/>
<pointStyle val="0"/>
<angleStyle val="0"/>
<symbolic val="true" />
</element>
<command name="Min">
<input a0="xlist"/>
<output a0="minX"/>
</command>
<element type="numeric" label="minX">
<value val="-0.9869212108002685"/>
<objColor r="0" g="0" b="0" alpha="0.10000000149011612"/>
</element>
<command name="Max">
<input a0="xlist"/>
<output a0="maxX"/>
</command>
<element type="numeric" label="maxX">
<value val="0.6330668114025857"/>
<symbolic val="true" />
<objColor r="0" g="0" b="0" alpha="0.10000000149011612"/>
</element>
<command name="Min">
<input a0="ylist"/>
<output a0="minY"/>
</command>
<element type="numeric" label="minY">
<value val="-0.7740971594706719"/>
<objColor r="0" g="0" b="0" alpha="0.10000000149011612"/>
</element>
<command name="Max">
<input a0="ylist"/>
<output a0="maxY"/>
</command>
<element type="numeric" label="maxY">
<value val="0.9353005207027874"/>
<symbolic val="true" />
<objColor r="0" g="0" b="0" alpha="0.10000000149011612"/>
</element>
<command name="Segment">
<input a0="O" a1="A"/>
<output a0="i"/>
</command>
<element type="segment" label="i">
<show object="true" label="false" ev="4"/>
<objColor r="0" g="0" b="0" alpha="0.0"/>
<layer val="0"/>
<labelMode val="0"/>
<ggbscript val=""/>
<ggbscript onUpdate=""/>
<coords x="0.16120336123211557" y="-0.9869212108002685" z="0.0"/>
<lineStyle thickness="1" type="0" typeHidden="1" opacity="178"/>
<outlyingIntersections val="false"/>
<keepTypeOnTransform val="true"/>
</element>
<expression label="Cor_1" exp="(If[minX^(2) < 0.75, maxX - sqrt(3), minX], If[minY^(2) < 0.75, maxY - sqrt(3), minY])" type="point" />
<element type="point" label="Cor_1">
<show object="true" label="true"/>
<objColor r="0" g="153" b="255" alpha="0.0"/>
<layer val="0"/>
<labelOffset x="-49" y="26"/>
<labelMode val="0"/>
<coords x="-0.9869212108002685" y="-0.7967502868660898" z="1.0"/>
<pointSize val="3"/>
<pointStyle val="10"/>
</element>
<expression label="J_x" exp="x = x(Cor_1)" type="line" />
<element type="line" label="J_x">
<show object="true" label="true" ev="4"/>
<objColor r="153" g="51" b="0" alpha="0.0"/>
<layer val="0"/>
<labelMode val="0"/>
<fixed val="true"/>
<coords x="1.0" y="0.0" z="0.9869212108002685"/>
<lineStyle thickness="1" type="0" typeHidden="1"/>
<eqnStyle style="implicit"/>
</element>
<expression label="J_y" exp="y = y(Cor_1)" type="line" />
<element type="line" label="J_y">
<show object="true" label="true" ev="4"/>
<objColor r="153" g="51" b="0" alpha="0.0"/>
<layer val="0"/>
<labelMode val="0"/>
<fixed val="true"/>
<ggbscript val=""/>
<ggbscript onUpdate=""/>
<coords x="0.0" y="1.0" z="0.7967502868660898"/>
<lineStyle thickness="1" type="0" typeHidden="1"/>
<eqnStyle style="explicit"/>
</element>
<expression label="Cor_2" exp="(If[maxX^(2) < 0.75, minX + sqrt(3), maxX], If[maxY^(2) < 0.75, minY + sqrt(3), maxY])" type="point" />
<element type="point" label="Cor_2">
<show object="true" label="true" ev="4"/>
<objColor r="0" g="100" b="0" alpha="0.10000000149011612"/>
<layer val="0"/>
<labelOffset x="4" y="-3"/>
<labelMode val="0"/>
<coords x="0.7451295967686087" y="0.9353005207027874" z="1.0"/>
<pointSize val="5"/>
<pointStyle val="0"/>
</element>
<expression label="K_x" exp="x = x(Cor_2)" type="line" />
<element type="line" label="K_x">
<show object="true" label="true" ev="4"/>
<objColor r="153" g="51" b="0" alpha="0.0"/>
<layer val="0"/>
<labelMode val="0"/>
<fixed val="true"/>
<coords x="1.0" y="0.0" z="-0.7451295967686087"/>
<lineStyle thickness="1" type="0" typeHidden="1"/>
<eqnStyle style="implicit"/>
</element>
<expression label="K_y" exp="y = y(Cor_2)" type="line" />
<element type="line" label="K_y">
<show object="true" label="true" ev="4"/>
<objColor r="153" g="51" b="0" alpha="0.0"/>
<layer val="0"/>
<labelMode val="0"/>
<fixed val="true"/>
<coords x="0.0" y="1.0" z="-0.9353005207027874"/>
<lineStyle thickness="1" type="0" typeHidden="1"/>
<eqnStyle style="explicit"/>
</element>
<command name="Midpoint">
<input a0="Cor_1" a1="Cor_2"/>
<output a0="M"/>
</command>
<element type="point" label="M">
<show object="true" label="true"/>
<objColor r="0" g="153" b="255" alpha="0.0"/>
<layer val="0"/>
<labelMode val="0"/>
<trace val="true"/>
<coords x="-0.12089580701582991" y="0.06927511691834876" z="1.0"/>
<pointSize val="3"/>
<pointStyle val="10"/>
</element>
<expression label="AA" exp="A - Cor_1" type="point" />
<element type="point" label="AA">
<show object="true" label="true" ev="7"/>
<objColor r="0" g="153" b="255" alpha="0.0"/>
<layer val="0"/>
<labelOffset x="17" y="21"/>
<labelMode val="0"/>
<trace val="true"/>
<ggbscript val=""/>
<ggbscript onUpdate=""/>
<coords x="0.0" y="0.6355469256339743" z="1.0"/>
<pointSize val="3"/>
<pointStyle val="10"/>
</element>
<expression label="BB" exp="B - Cor_1" type="point" />
<element type="point" label="BB">
<show object="true" label="true" ev="7"/>
<objColor r="0" g="153" b="255" alpha="0.0"/>
<layer val="0"/>
<labelMode val="0"/>
<coords x="1.6199880222028542" y="0.022653127395417916" z="1.0"/>
<pointSize val="3"/>
<pointStyle val="10"/>
</element>
<expression label="CC" exp="C - Cor_1" type="point" />
<element type="point" label="CC">
<show object="true" label="true" ev="7"/>
<objColor r="0" g="153" b="255" alpha="0.0"/>
<layer val="0"/>
<labelOffset x="-31" y="-7"/>
<labelMode val="0"/>
<coords x="1.3407756101979516" y="1.7320508075688772" z="1.0"/>
<pointSize val="3"/>
<pointStyle val="10"/>
</element>
<expression label="arcList" exp="{CircleArc[AA, BB, CC], CircleArc[BB, CC, AA], CircleArc[CC, AA, BB]}" />
<element type="list" label="arcList">
<show object="true" label="false" ev="11"/>
<objColor r="0" g="100" b="0" alpha="0.0"/>
<layer val="0"/>
<labelMode val="0"/>
<ggbscript val=""/>
<ggbscript onUpdate=""/>
<lineStyle thickness="5" type="0" typeHidden="1"/>
<pointSize val="5"/>
<pointStyle val="0"/>
<angleStyle val="0"/>
</element>
<expression label="MM" exp="M - Cor_1" type="point" />
<element type="point" label="MM">
<show object="false" label="true" ev="7"/>
<objColor r="0" g="153" b="255" alpha="0.0"/>
<layer val="0"/>
<labelMode val="0"/>
<trace val="true"/>
<ggbscript val=""/>
<ggbscript onUpdate=""/>
<coords x="0.8660254037844386" y="0.8660254037844386" z="1.0"/>
<pointSize val="3"/>
<pointStyle val="10"/>
</element>
<expression label="OO" exp="O - Cor_1" type="point" />
<element type="point" label="OO">
<show object="true" label="true" ev="7"/>
<objColor r="0" g="153" b="0" alpha="0.0"/>
<layer val="0"/>
<labelMode val="0"/>
<trace val="true"/>
<ggbscript val=""/>
<ggbscript onUpdate=""/>
<coords x="0.9869212108002685" y="0.7967502868660898" z="1.0"/>
<pointSize val="3"/>
<pointStyle val="10"/>
</element>
</construction>
</geogebra>