Rolling of a Reuleaux Rotor on an Equilateral Triangle with Variable Side Length
2017-12-30 04:24
This GeoGebra example demonstrates the rolling motion of a Reuleaux triangle (a curve of constant width) on an equilateral triangle with adjustable side length. Using a slider to control the triangle's dimensions, users can observe the Reuleaux rotor's rolling trajectory and orientation inside the triangle. The construction employs CircumcircleArc, Rotate, Translate, and Sequence commands to dynam
Loading the GeoGebra board and drawing, please wait…
<?xml version="1.0" encoding="utf-8"?>
<geogebra format="5.0" version="5.0.414.0" app="classic" platform="d" id="0504bfda-6013-44f5-b6c6-55e058990479" xsi:noNamespaceSchemaLocation="http://www.geogebra.org/ggb.xsd" xmlns="" xmlns:xsi="http://www.w3.org/2001/XMLSchema-instance" >
<gui>
<window width="1366" height="768" />
<perspectives>
<perspective id="tmp">
<panes>
<pane location="" divider="0.3096632503660322" orientation="1" />
</panes>
<views>
<view id="4097" visible="false" inframe="true" stylebar="true" location="1,1,1,1" size="400" window="333,109,700,550" />
<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,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="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="1" size="911" window="100,100,600,400" />
<view id="2" visible="true" inframe="false" stylebar="true" location="3" size="423" 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="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 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 | 100001" position="1" help="false" />
<input show="true" cmd="true" top="algebra" />
<dockBar show="true" east="true" />
</perspective>
</perspectives>
<labelingStyle val="3"/>
<font size="12"/>
</gui>
<euclidianView>
<viewNumber viewNo="1"/>
<size width="911" height="575"/>
<coordSystem xZero="541.7853752120336" yZero="373.32584151765917" scale="94.6371338154148" yscale="94.63713381541476"/>
<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="9" 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>
<kernel>
<continuous val="false"/>
<usePathAndRegionParameters val="true"/>
<decimals val="2"/>
<angleUnit val="degree"/>
<algebraStyle val="2" spreadsheet="0"/>
<coordStyle val="0"/>
<startAnimation val="true"/>
</kernel>
<scripting blocked="false" disabled="false"/>
<construction title="" author="" date="">
<element type="numeric" label="t">
<value val="17.95"/>
<show object="true" label="true"/>
<objColor r="0" g="0" b="0" alpha="0.10000000149011612"/>
<layer val="0"/>
<labelMode val="1"/>
<slider min="0" max="50" absoluteScreenLocation="true" width="400.0" x="59.0" y="33.0" fixed="true" horizontal="true" showAlgebra="true"/>
<lineStyle thickness="10" type="0" typeHidden="1"/>
<animation step="0.01" speed="0.2" type="0" playing="true"/>
</element>
<element type="numeric" label="a">
<value val="2.7671975511965976"/>
<show object="true" label="true"/>
<objColor r="0" g="0" b="0" alpha="0.10000000149011612"/>
<layer val="0"/>
<labelMode val="1"/>
<slider min="π / 3" max="5" absoluteScreenLocation="true" width="200.0" x="60.0" y="64.0" fixed="true" horizontal="true" showAlgebra="true"/>
<lineStyle thickness="10" type="0" typeHidden="1"/>
<animation speed="1" type="0" playing="false"/>
</element>
<expression label="c" exp="ceil((ceil(t / ((2 * a) + (2 * π / 3))) * a / (π / 3)))" />
<element type="numeric" label="c">
<value val="8.0"/>
<symbolic val="true" />
<objColor r="0" g="0" b="0" alpha="0.10000000149011612"/>
</element>
<command name="Sequence">
<input a0="ceil(((i * 3) * a / π))" a1="i" a2="1" a3="floor((π / ((3 * a)) * c))"/>
<output a0="L_2"/>
</command>
<element type="list" label="L_2">
<objColor r="0" g="100" b="0" alpha="0.10000000149011612"/>
<isShape val="false"/>
<lineStyle thickness="5" type="0" typeHidden="1"/>
<pointSize val="5"/>
<pointStyle val="-1"/>
</element>
<command name="Sequence">
<input a0="π / 3" a1="i" a2="1" a3="c + ceil((a / π * 3))"/>
<output a0="L_1"/>
</command>
<element type="list" label="L_1">
<objColor r="0" g="100" b="0" alpha="0.10000000149011612"/>
<isShape val="false"/>
<lineStyle thickness="5" type="0" typeHidden="1"/>
<pointSize val="5"/>
<pointStyle val="-1"/>
</element>
<command name="Flatten">
<input a0="Sequence[If[i ∈ L_2, {π / 3, (a * IndexOf[i, L_2]) - (π / 3 * (i - 1)), (2 * π / 3), (π / 3 * i) - (a * IndexOf[i, L_2])}, {π / 3, π / 3}], i, 1, Length[L_1]]"/>
<output a0="L_4"/>
</command>
<element type="list" label="L_4">
<objColor r="0" g="100" b="0" alpha="0.10000000149011612"/>
<isShape val="false"/>
<lineStyle thickness="5" type="0" typeHidden="1"/>
<pointSize val="5"/>
<pointStyle val="-1"/>
</element>
<command name="Sequence">
<input a0="L_4((2 * i))" a1="i" a2="1" a3="Length[L_4] / 2"/>
<output a0="L_42"/>
</command>
<element type="list" label="L_42">
<objColor r="0" g="100" b="0" alpha="0.10000000149011612"/>
<isShape val="false"/>
<lineStyle thickness="5" type="0" typeHidden="1"/>
<pointSize val="5"/>
<pointStyle val="-1"/>
<symbolic val="true" />
</element>
<command name="Sequence">
<input a0="Sum[L_4, i]" a1="i" a2="1" a3="Length[L_4]"/>
<output a0="L_5"/>
</command>
<element type="list" label="L_5">
<objColor r="0" g="100" b="0" alpha="0.10000000149011612"/>
<isShape val="false"/>
<lineStyle thickness="5" type="0" typeHidden="1"/>
<pointSize val="5"/>
<pointStyle val="-1"/>
<symbolic val="true" />
</element>
<command name="CountIf">
<input a0="P < t" a1="P" a2="L_5"/>
<output a0="b"/>
</command>
<element type="numeric" label="b">
<value val="17.0"/>
<symbolic val="true" />
<objColor r="0" g="0" b="0" alpha="0.10000000149011612"/>
</element>
<expression label ="A" exp="(0, 0)" type="point"/>
<element type="point" label="A">
<show object="true" label="true" ev="4"/>
<objColor r="77" g="77" b="255" alpha="0.0"/>
<layer val="0"/>
<labelMode val="0"/>
<fixed val="true"/>
<isShape val="false"/>
<coords x="0.0" y="0.0" z="1.0"/>
<pointSize val="5"/>
<pointStyle val="0"/>
</element>
<expression label="B" exp="A + (a, 0)" type="point" />
<element type="point" label="B">
<show object="true" label="true" ev="4"/>
<condition showObject="l"/>
<objColor r="125" g="125" b="255" alpha="0.0"/>
<layer val="0"/>
<labelMode val="0"/>
<isShape val="false"/>
<coords x="2.7671975511965976" y="0.0" z="1.0"/>
<pointSize val="5"/>
<pointStyle val="0"/>
</element>
<command name="Segment">
<input a0="A" a1="B"/>
<output a0="f"/>
</command>
<element type="segment" label="f">
<show object="true" label="false" ev="4"/>
<condition showObject="l"/>
<objColor r="0" g="0" b="0" alpha="0.0"/>
<layer val="0"/>
<labelMode val="0"/>
<isShape val="false"/>
<coords x="0.0" y="2.7671975511965976" z="0.0"/>
<lineStyle thickness="5" type="0" typeHidden="1" opacity="178"/>
<outlyingIntersections val="false"/>
<keepTypeOnTransform val="true"/>
</element>
<command name="Polygon">
<input a0="A" a1="B" a2="3"/>
<output a0="poly1" a1="g" a2="h" a3="i" a4="C"/>
</command>
<element type="polygon" label="poly1">
<lineStyle thickness="5" type="0" typeHidden="1" opacity="178"/>
<show object="true" label="false" ev="4"/>
<condition showObject="l"/>
<objColor r="153" g="51" b="0" alpha="0.10000000149011612"/>
<layer val="0"/>
<labelMode val="0"/>
<isShape val="false"/>
</element>
<element type="segment" label="g">
<show object="true" label="false" ev="4"/>
<condition showObject="l"/>
<objColor r="153" g="51" b="0" alpha="0.0"/>
<layer val="0"/>
<labelMode val="0"/>
<isShape val="false"/>
<auxiliary val="false"/>
<coords x="0.0" y="2.7671975511965976" z="0.0"/>
<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"/>
<condition showObject="l"/>
<objColor r="153" g="51" b="0" alpha="0.0"/>
<layer val="0"/>
<labelMode val="0"/>
<isShape val="false"/>
<auxiliary val="true"/>
<coords x="-2.3964633766263432" y="-1.3835987755982981" z="6.631487587332747"/>
<lineStyle thickness="5" type="0" typeHidden="1" opacity="178"/>
<outlyingIntersections val="false"/>
<keepTypeOnTransform val="true"/>
</element>
<element type="segment" label="i">
<show object="true" label="false" ev="4"/>
<condition showObject="l"/>
<objColor r="153" g="51" b="0" alpha="0.0"/>
<layer val="0"/>
<labelMode val="0"/>
<isShape val="false"/>
<auxiliary val="true"/>
<coords x="2.3964633766263432" y="-1.3835987755982995" z="0.0"/>
<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"/>
<condition showObject="l"/>
<objColor r="68" g="68" b="68" alpha="0.0"/>
<layer val="0"/>
<labelMode val="0"/>
<isShape val="false"/>
<auxiliary val="true"/>
<coords x="1.3835987755982995" y="2.3964633766263432" z="1.0"/>
<pointSize val="5"/>
<pointStyle val="0"/>
</element>
<command name="Sequence">
<input a0="(i * a)" a1="i" a2="1" a3="Length[L_2]"/>
<output a0="L_3"/>
</command>
<element type="list" label="L_3">
<objColor r="0" g="100" b="0" alpha="0.10000000149011612"/>
<isShape val="false"/>
<lineStyle thickness="5" type="0" typeHidden="1"/>
<pointSize val="5"/>
<pointStyle val="-1"/>
<symbolic val="true" />
</element>
<element type="numeric" label="L2">
<value val="NaN"/>
<show object="false" label="true"/>
<objColor r="0" g="0" b="0" alpha="0.10000000149011612"/>
<layer val="0"/>
<labelMode val="1"/>
<animation speed="1" type="0" playing="false"/>
<auxiliary val="true"/>
</element>
<command name="If">
<input a0="Mod[b, 2] ≟ 0" a1="Sum[L_42, b / 2]" a2="Sum[L_42, (b - 1) / 2] + t - L_5(b)"/>
<output a0="d"/>
</command>
<element type="numeric" label="d">
<value val="6.43082693683742"/>
<symbolic val="true" />
<objColor r="255" g="0" b="0" alpha="0.10000000149011612"/>
</element>
<expression label="e" exp="fractionalPart(d / ((3 * a)))" />
<element type="numeric" label="e">
<value val="0.7746497816965986"/>
<symbolic val="true" />
<objColor r="0" g="0" b="0" alpha="0.10000000149011612"/>
</element>
<expression label="j" exp="fractionalPart(d / π)" />
<element type="numeric" label="j">
<value val="0.046995790332374554"/>
<symbolic val="true" />
<objColor r="0" g="0" b="0" alpha="0.10000000149011612"/>
</element>
<expression label="D" exp="A + (0, -1)" type="point" />
<element type="point" label="D">
<show object="true" label="true" ev="4"/>
<condition showObject="¬l"/>
<objColor r="68" g="68" b="68" alpha="0.0"/>
<layer val="0"/>
<labelMode val="0"/>
<isShape val="false"/>
<coords x="0.0" y="-1.0" z="1.0"/>
<pointSize val="4"/>
<pointStyle val="0"/>
</element>
<command name="Rotate">
<input a0="A" a1="π / 3" a2="D"/>
<output a0="A'"/>
</command>
<element type="point" label="A'">
<show object="true" label="true" ev="4"/>
<condition showObject="¬l"/>
<objColor r="77" g="77" b="255" alpha="0.0"/>
<layer val="0"/>
<labelMode val="0"/>
<isShape val="false"/>
<coords x="-0.8660254037844386" y="-0.4999999999999999" z="1.0"/>
<pointSize val="5"/>
<pointStyle val="0"/>
</element>
<command name="Rotate">
<input a0="D" a1="π / 6" a2="A'"/>
<output a0="D'"/>
</command>
<element type="point" label="D'">
<show object="false" label="true" ev="4"/>
<objColor r="68" g="68" b="68" alpha="0.0"/>
<layer val="0"/>
<labelMode val="0"/>
<isShape val="false"/>
<coords x="0.1339745962155614" y="-0.5000000000000001" z="1.0"/>
<pointSize val="4"/>
<pointStyle val="0"/>
</element>
<command name="Rotate">
<input a0="A" a1="π / 6" a2="D"/>
<output a0="A'_1"/>
</command>
<element type="point" label="A'_1">
<show object="false" label="true" ev="4"/>
<objColor r="77" g="77" b="255" alpha="0.0"/>
<layer val="0"/>
<labelMode val="0"/>
<isShape val="false"/>
<coords x="-0.49999999999999994" y="-0.1339745962155613" z="1.0"/>
<pointSize val="5"/>
<pointStyle val="0"/>
</element>
<command name="Rotate">
<input a0="A'" a1="π / 6" a2="A"/>
<output a0="A''"/>
</command>
<element type="point" label="A''">
<show object="false" label="true" ev="4"/>
<objColor r="77" g="77" b="255" alpha="0.0"/>
<layer val="0"/>
<labelMode val="0"/>
<isShape val="false"/>
<coords x="-0.5000000000000001" y="-0.8660254037844385" z="1.0"/>
<pointSize val="5"/>
<pointStyle val="0"/>
</element>
<command name="CircumcircleArc">
<input a0="A" a1="D'" a2="D"/>
<output a0="k"/>
</command>
<element type="conicpart" label="k">
<show object="true" label="false" ev="4"/>
<condition showObject="¬l"/>
<objColor r="0" g="0" b="0" alpha="0.0"/>
<layer val="0"/>
<labelMode val="0"/>
<isShape val="false"/>
<lineStyle thickness="5" type="0" typeHidden="1" opacity="178"/>
<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="0.0" A3="0.0" A4="0.866025403784438" A5="0.4999999999999999"/>
<eqnStyle style="implicit"/>
<outlyingIntersections val="false"/>
<keepTypeOnTransform val="true"/>
</element>
<command name="CircumcircleArc">
<input a0="D" a1="A''" a2="A'"/>
<output a0="p"/>
</command>
<element type="conicpart" label="p">
<show object="true" label="false" ev="4"/>
<condition showObject="¬l"/>
<objColor r="0" g="0" b="0" alpha="0.0"/>
<layer val="0"/>
<labelMode val="0"/>
<isShape val="false"/>
<lineStyle thickness="5" type="0" typeHidden="1" opacity="178"/>
<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.0000000000000004" A3="0.0" A4="-2.2748892832565404E-16" A5="-2.27488928325654E-16"/>
<eqnStyle style="implicit"/>
<outlyingIntersections val="false"/>
<keepTypeOnTransform val="true"/>
</element>
<command name="CircumcircleArc">
<input a0="A'" a1="A'_1" a2="A"/>
<output a0="q"/>
</command>
<element type="conicpart" label="q">
<show object="true" label="false" ev="4"/>
<condition showObject="¬l"/>
<objColor r="0" g="0" b="0" alpha="0.0"/>
<layer val="0"/>
<labelMode val="0"/>
<isShape val="false"/>
<lineStyle thickness="5" type="0" typeHidden="1" opacity="178"/>
<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="0.0" A3="0.0" A4="5.1792609195423474E-17" A5="1.0"/>
<eqnStyle style="implicit"/>
<outlyingIntersections val="false"/>
<keepTypeOnTransform val="true"/>
</element>
<expression label="L_6" exp="{k, p, q}" />
<element type="list" label="L_6">
<show object="true" label="false" ev="4"/>
<condition showObject="¬l"/>
<objColor r="0" g="100" b="0" alpha="0.0"/>
<layer val="0"/>
<labelMode val="0"/>
<isShape val="false"/>
<lineStyle thickness="5" type="0" typeHidden="1"/>
<pointSize val="5"/>
<pointStyle val="-1"/>
</element>
<command name="Point">
<input a0="L_6" a1="j"/>
<output a0="E"/>
</command>
<element type="point" label="E">
<show object="false" label="true" ev="4"/>
<objColor r="255" g="0" b="0" alpha="0.0"/>
<layer val="0"/>
<labelMode val="0"/>
<isShape val="false"/>
<coords x="0.06413121568491187" y="-0.13283700723336805" z="1.0"/>
<pointSize val="6"/>
<pointStyle val="0"/>
</element>
<command name="Point">
<input a0="poly1" a1="e"/>
<output a0="F"/>
</command>
<element type="point" label="F">
<show object="false" label="true" ev="4"/>
<objColor r="255" g="0" b="0" alpha="0.0"/>
<layer val="0"/>
<labelMode val="0"/>
<isShape val="false"/>
<coords x="0.9353828583761872" y="1.620130635236559" z="1.0"/>
<pointSize val="6"/>
<pointStyle val="0"/>
</element>
<command name="Translate">
<input a0="Rotate[L_6, t, E]" a1="Vector[E, F]"/>
<output a0="L_7"/>
</command>
<element type="list" label="L_7">
<show object="true" label="false" ev="4"/>
<condition showObject="l"/>
<objColor r="0" g="100" b="0" alpha="0.0"/>
<layer val="0"/>
<labelMode val="0"/>
<isShape val="false"/>
<lineStyle thickness="5" type="0" typeHidden="1"/>
<pointSize val="5"/>
<pointStyle val="-1"/>
</element>
<command name="Point">
<input a0="L_7"/>
<output a0="G"/>
</command>
<element type="point" label="G">
<show object="true" label="true" ev="4"/>
<condition showObject="l"/>
<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"/>
<isShape val="false"/>
<coords x="0.8921916418984539" y="1.551849102720048" z="1.0"/>
<pointSize val="5"/>
<pointStyle val="0"/>
</element>
<command name="Translate">
<input a0="Rotate[poly1, (-t), F]" a1="Vector[F, E]"/>
<output a0="t1"/>
</command>
<element type="polygon" label="t1">
<lineStyle thickness="5" type="0" typeHidden="1" opacity="178"/>
<show object="true" label="false" ev="4"/>
<condition showObject="¬l"/>
<objColor r="153" g="51" b="0" alpha="0.10000000149011612"/>
<layer val="0"/>
<labelMode val="0"/>
<isShape val="false"/>
</element>
<element type="boolean" label="l">
<value val="true"/>
<show object="true" label="true"/>
<objColor r="0" g="0" b="0" alpha="0.0"/>
<layer val="0"/>
<labelOffset x="5" y="5"/>
<labelMode val="0"/>
<checkbox fixed="true"/>
</element>
<command name="Point">
<input a0="t1"/>
<output a0="H"/>
</command>
<element type="point" label="H">
<show object="true" label="true" ev="4"/>
<condition showObject="¬l"/>
<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"/>
<isShape val="false"/>
<coords x="1.381884176795046" y="-1.0786619042846586" z="1.0"/>
<pointSize val="5"/>
<pointStyle val="0"/>
</element>
</construction>
</geogebra>