Coinciding Arcs — Geometric Construction of the Jastrow Illusion
2019-07-25 05:32
This GeoGebra applet demonstrates the Jastrow Illusion through geometric construction. Two identical circular arcs are created using Circle and CircleArc commands, then translated and rotated to overlap perfectly, proving their geometric congruence. When stacked vertically, the upper arc appears shorter due to the optical illusion; however, animating them into coincidence clearly reveals identical
In collections
The Beauty of Mathematics | GeoGebra Book
<?xml version="1.0" encoding="utf-8"?>
<geogebra format="5.0" version="5.0.550.0" app="classic" platform="w" id="3E00C811-4FE7-40C4-8323-2E8BCE9516E5" xsi:noNamespaceSchemaLocation="http://www.geogebra.org/ggb.xsd" xmlns="" xmlns:xsi="http://www.w3.org/2001/XMLSchema-instance" >
<gui>
<window width="1340" height="626" />
<perspectives>
<perspective id="tmp">
<panes>
<pane location="" divider="0.26417910447761195" 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 || 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 || 6" visible="false" inframe="false" stylebar="false" location="1,3" size="300" window="100,100,600,400" />
<view id="4097" visible="false" inframe="false" stylebar="true" location="1,1" size="268" window="100,100,700,550" />
<view id="1" visible="true" inframe="false" stylebar="false" location="1" size="978" window="100,100,600,400" />
<view id="2" visible="true" inframe="false" stylebar="true" location="3" size="354" window="100,100,600,400" />
<view id="16" visible="false" inframe="false" stylebar="false" location="1" size="300" window="50,50,500,500" />
<view id="32" visible="false" inframe="false" stylebar="true" location="1" size="300" window="50,50,500,500" />
<view id="64" toolbar="0" visible="false" inframe="false" stylebar="false" location="1" size="480" 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="900" 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="true" items="0 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="true" cmd="true" top="false" />
<dockBar show="false" east="false" />
</perspective>
</perspectives>
<labelingStyle val="0"/>
<font size="16"/>
</gui>
<euclidianView>
<viewNumber viewNo="1"/>
<size width="978" height="530"/>
<coordSystem xZero="350.19407667056527" yZero="606.3681004664027" scale="99.97289120656966" yscale="99.97289120656988"/>
<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="0"/>
<axis id="0" show="false" label="" unitLabel="" tickStyle="1" showNumbers="true"/>
<axis id="1" show="false" label="" unitLabel="" tickStyle="1" showNumbers="true"/>
</euclidianView>
<algebraView>
<mode val="3"/>
</algebraView>
<kernel>
<continuous val="false"/>
<usePathAndRegionParameters val="true"/>
<decimals val="2"/>
<angleUnit val="degree"/>
<algebraStyle val="3" spreadsheet="0"/>
<coordStyle val="0"/>
</kernel>
<tableview min="-2" max="2" step="1"/>
<scripting blocked="false" disabled="false"/>
<construction title="重合的弧线" author="" date="">
<element type="numeric" label="r">
<value val="3"/>
<symbolic val="true" />
<show object="false" label="true"/>
<objColor r="0" g="0" b="0" alpha="0.10000000149011612"/>
<layer val="0"/>
<labelMode val="1"/>
<slider min="0" max="5" absoluteScreenLocation="true" width="200" fixed="false" horizontal="true" showAlgebra="true"/>
<lineStyle thickness="2" type="0" typeHidden="1"/>
<animation step="0.5" speed="1" type="0" playing="false"/>
</element>
<element type="numeric" label="d">
<value val="0.5"/>
<symbolic val="true" />
<show object="false" label="true"/>
<objColor r="0" g="0" b="0" alpha="0.10000000149011612"/>
<layer val="0"/>
<labelMode val="1"/>
<slider min="0" max="1" absoluteScreenLocation="true" width="200" x="30" y="90" fixed="false" horizontal="true" showAlgebra="true"/>
<lineStyle thickness="2" type="0" typeHidden="1"/>
<animation step="0.01" speed="1" type="0" playing="false"/>
</element>
<element type="numeric" label="a">
<value val="0.1"/>
<symbolic val="true" />
<show object="false" label="true"/>
<objColor r="0" g="0" b="0" alpha="0.10000000149011612"/>
<layer val="0"/>
<labelMode val="1"/>
<slider min="0" max="0.2" absoluteScreenLocation="true" width="200" x="30" y="50" fixed="false" horizontal="true" showAlgebra="true"/>
<lineStyle thickness="2" type="0" typeHidden="1"/>
<animation step="0.01" speed="1" type="0" playing="false"/>
</element>
<expression label="O" exp="(0, 0)" type="point"/>
<element type="point" label="O">
<show object="false" label="true"/>
<objColor r="77" g="77" b="255" alpha="0"/>
<layer val="0"/>
<labelMode val="0"/>
<animation step="1" speed="1" type="1" playing="false"/>
<coords x="0" y="0" z="1"/>
<pointSize val="5"/>
<pointStyle val="0"/>
</element>
<expression label="Q" exp="(0, d)" type="point" />
<element type="point" label="Q">
<show object="false" label="true"/>
<objColor r="68" g="68" b="68" alpha="0"/>
<layer val="0"/>
<labelMode val="0"/>
<coords x="0" y="0.5" z="1"/>
<pointSize val="4"/>
<pointStyle val="0"/>
</element>
<expression label="DL" exp="(r; ((0.5 + a) * π))" type="point" />
<element type="point" label="DL">
<show object="true" label="false"/>
<objColor r="68" g="68" b="68" alpha="0"/>
<layer val="0"/>
<labelMode val="0"/>
<coords x="-0.927050983124842" y="2.853169548885461" z="1"/>
<pointSize val="4"/>
<pointStyle val="0"/>
</element>
<expression label="DR" exp="(r; ((0.5 - a) * π))" type="point" />
<element type="point" label="DR">
<show object="true" label="false"/>
<objColor r="68" g="68" b="68" alpha="0"/>
<layer val="0"/>
<labelMode val="0"/>
<coords x="0.9270509831248424" y="2.8531695488854605" z="1"/>
<pointSize val="4"/>
<pointStyle val="0"/>
</element>
<command name="Circle">
<input a0="Q" a1="r"/>
<output a0="cU"/>
</command>
<element type="conic" label="cU">
<show object="false" label="true"/>
<objColor r="0" g="0" b="0" alpha="0"/>
<layer val="0"/>
<labelMode val="0"/>
<lineStyle thickness="5" type="0" 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="-8.75" A3="0" A4="0" A5="-0.5"/>
<eqnStyle style="specific"/>
</element>
<command name="Intersect">
<input a0="cU" a1="Line[O, DR]" a2="1"/>
<output a0="UR"/>
</command>
<element type="point" label="UR">
<show object="true" label="false"/>
<objColor r="68" g="68" b="68" alpha="0"/>
<layer val="0"/>
<labelMode val="0"/>
<coords x="1.0727669590599034" y="3.301637209124223" z="1"/>
<pointSize val="4"/>
<pointStyle val="0"/>
</element>
<command name="Intersect">
<input a0="cU" a1="Line[O, DL]" a2="2"/>
<output a0="UL"/>
</command>
<element type="point" label="UL">
<show object="true" label="false"/>
<objColor r="68" g="68" b="68" alpha="0"/>
<layer val="0"/>
<labelMode val="0"/>
<coords x="-1.072766959059903" y="3.3016372091242236" z="1"/>
<pointSize val="4"/>
<pointStyle val="0"/>
</element>
<command name="CircleArc">
<input a0="Q" a1="UR" a2="UL"/>
<output a0="cu"/>
</command>
<element type="conicpart" label="cu">
<show object="true" label="false"/>
<objColor r="0" g="0" b="0" alpha="0"/>
<layer val="0"/>
<labelMode val="0"/>
<lineStyle thickness="5" type="0" 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="-8.75" A3="0" A4="0" A5="-0.5"/>
<eqnStyle style="implicit"/>
<outlyingIntersections val="false"/>
<keepTypeOnTransform val="true"/>
</element>
<command name="Segment">
<input a0="DL" a1="UL"/>
<output a0="sl"/>
</command>
<element type="segment" label="sl">
<show object="true" label="false"/>
<objColor r="0" g="0" b="0" alpha="0"/>
<layer val="0"/>
<labelMode val="0"/>
<coords x="-0.4484676602387627" y="-0.14571597593506092" z="0"/>
<lineStyle thickness="5" type="0" typeHidden="1" opacity="178"/>
<outlyingIntersections val="false"/>
<keepTypeOnTransform val="true"/>
</element>
<command name="CircleArc">
<input a0="O" a1="DR" a2="DL"/>
<output a0="cd"/>
</command>
<element type="conicpart" label="cd">
<show object="true" label="false"/>
<objColor r="0" g="0" b="0" alpha="0"/>
<layer val="0"/>
<labelMode val="0"/>
<lineStyle thickness="5" type="0" 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="-8.999999999999998" A3="0" A4="0" A5="0"/>
<eqnStyle style="implicit"/>
<outlyingIntersections val="false"/>
<keepTypeOnTransform val="true"/>
</element>
<command name="Segment">
<input a0="DR" a1="UR"/>
<output a0="sr"/>
</command>
<element type="segment" label="sr">
<show object="true" label="false"/>
<objColor r="0" g="0" b="0" alpha="0"/>
<layer val="0"/>
<labelMode val="0"/>
<coords x="-0.4484676602387627" y="0.14571597593506103" z="4.440892098500626e-16"/>
<lineStyle thickness="5" type="0" typeHidden="1" opacity="178"/>
<outlyingIntersections val="false"/>
<keepTypeOnTransform val="true"/>
</element>
<expression label="jastrow" exp="{cd, sr, cu, sl}" />
<element type="list" label="jastrow">
<show object="false" label="true"/>
<objColor r="0" g="100" b="0" alpha="0"/>
<layer val="0"/>
<labelMode val="0"/>
<lineStyle thickness="5" type="0" typeHidden="1"/>
<pointSize val="5"/>
<angleStyle val="0"/>
</element>
<element type="numeric" label="ts">
<value val="1.31"/>
<symbolic val="true" />
<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="2" absoluteScreenLocation="true" width="200" x="30" y="50" fixed="false" horizontal="true" showAlgebra="true"/>
<lineStyle thickness="2" type="0" typeHidden="1"/>
<animation step="0.01" speed="1" type="0" playing="false"/>
</element>
<command name="Translate">
<input a0="jastrow" a1="Vector[(ts * Vector[O, Q])]"/>
<output a0="jt"/>
</command>
<element type="list" label="jt">
<show object="false" label="true"/>
<objColor r="0" g="100" b="0" alpha="0"/>
<layer val="0"/>
<labelMode val="0"/>
<lineStyle thickness="5" type="0" typeHidden="1"/>
<pointSize val="5"/>
<angleStyle val="0"/>
</element>
<element type="numeric" label="tr">
<value val="-0.01"/>
<symbolic val="true" />
<show object="true" label="true"/>
<objColor r="0" g="0" b="0" alpha="0.10000000149011612"/>
<layer val="0"/>
<labelMode val="1"/>
<slider min="-0.3" max="0.3" absoluteScreenLocation="true" width="200" x="30" y="90" fixed="false" horizontal="true" showAlgebra="true"/>
<lineStyle thickness="2" type="0" typeHidden="1"/>
<animation step="0.01" speed="1" type="0" playing="false"/>
</element>
<command name="Rotate">
<input a0="jt" a1="tr" a2="(0, (ts * d))"/>
<output a0="jtr"/>
</command>
<element type="list" label="jtr">
<show object="true" label="true"/>
<objColor r="0" g="100" b="0" alpha="0"/>
<layer val="0"/>
<labelMode val="0"/>
<lineStyle thickness="5" type="0" typeHidden="1"/>
<pointSize val="5"/>
<angleStyle val="0"/>
</element>
</construction>
</geogebra>