Tatami Tilings: How to Make a Mathematical Discovery

Embed Size (px)

Citation preview

  • 7/25/2019 Tatami Tilings: How to Make a Mathematical Discovery

    1/48!"#$ & '

    !" $"%& '()*+ ,**'!

    "#$%& '()* ++++++++++++++++++++++

    ,-. /- 0(1*

    ( 0(/2*)(/%3(& 4%53-6*78

    !"# %&'(" ) ** %+,-.( /01292* :7%&&%(;/

  • 7/25/2019 Tatami Tilings: How to Make a Mathematical Discovery

    2/48!"#$ & (

    9(=&* -> 2 3333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333 1?"#$% &' $ %#(-+(6 $7@ ,+--.2 3333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333 1?89%&:&%&(' 3333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333 1?A-6(B-+C 3333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333 1D

    9#/-7%(& N I 9O4%(P7()5 @@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@ HQ"#$% &' %#( )*+,-'( -. /*%-+&$0 ?2 3333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333 1E89%&:&%&(' 3333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333 1EA-6(B-+C 3333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333 14

    9#/-7%(& A I 5R#(7* P7%F5@ @@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@ HS"#$% &' %#( )*+,-'( -. /*%-+&$0 F2 3333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333 1G89%&:&%&(' 3333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333 1GA-6(B-+C 3333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333 >1

    9#/-7%(& C I T-3(& 7*5/7%3/%-;U P&-=(& 5/7#3/#7* @@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@ MM"#$% &' %#( )*+,-'( -. /*%-+&$0 D2 3333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333 >>H(.&7&%&-7I J%#(+ %$%$6& +('%+&9%&-7' 333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333 >>89%&:&%&(' 3333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333 >>

    V%;(& W55%P;)*;/X 92* /(/()% 7*5/7%3/%-; (/ &(7P* @@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@ MA

    9#/-7%(& G I Y5-)*/7%3 P7%F5 /-P*/2*7 @@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@ MG"#$% &' %#( )*+,-'( -. /*%-+&$0 K2 3333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333 >K89%&:&%&(' 3333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333 >K

    W$$*;F%Z @@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@ MQ/-6-C* 333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333 >E5L*$+( M+&@ ,$,(+ 3333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333 ?1N'-6(%+&9 M+&@ ,$,(+ 33333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333 F1

  • 7/25/2019 Tatami Tilings: How to Make a Mathematical Discovery

    3/48!"#$ & )

    !"#$%& ()*+",)-&

    !"**+,#-., /$"0 +1 20$2"0+,# 3+1 14+-5"1$ 6.0 " 2+5,+5 74,538 ",* $9$, :+-3 +-1 1$50$- 5.;2"0-;$,- 3$ 5",

  • 7/25/2019 Tatami Tilings: How to Make a Mathematical Discovery

    4/48!"#$ & T

    !"#$ &'()*)

    E*8 B1%&&XU227+5"-+.,

    H5/

    !42+7 0$5.#,+1$1 5.;B+,"-.0+"7 1-045-40$1 ",* *$150+B$1 -3$; +, -3$ "B1-0"5-C

    !42+7 0$5.#,+1$1 3.: ",* :3$0$ 5.;B+,"-.0+"7 ;.*$71 "0$ 41$6478 ",* 5", 5.,1-045- -3$+0 .:, $@";27$1 -. 1422.0- -3+1C

    M@M

    !42+7 0$5.#,+1$1 5.;B+,"-.0+"7 1-045-40$18 ",* *$;.,1-0"-$1 7+;+-$* "B+7+-+$1 -. "B1-0"5- 41$647 5.;B+,"-.0+"7 1-045-40$C

    !42+7 0$5.#,+1$1 -3"- 5.;B+,"-.0+"7 ;.*$71 "0$ 41$6478 ",* *$;.,1-0"-$1 4,*$01-",*+,# .6 ;.1- .6 -3$ $@";27$1 #+9$, +, -3$5.401$ 3",*B..AC

    E*8 B1%&&XD.;;4,+5"-+.,

    H5/X

    D.;27$@ +*$"1 ",* "0#4;$,-1 "0$ 57$"07E 20$1$,-$*C

    V$E -$0;1 "0$ 41$* 5.00$5-7EC

    F.23+1-+5"-$* ;"-3$;"-+5"7 "0#4;$,-1 "0$ 20$1$,-$* +, :0+-+,# 1453 -3"- -3$ 5.;B+,"-+., .6 1E;B.7+5 $@20$11+.,18 0$6$0$,5$1

    -. 6+#40$18 ",* W,#7+13 3"1 " ,"-40"78 #0";;"-+5"77E 5.00$5- 67.:C

    M@M

    D.;27$@ +*$"1 ",* "0#4;$,-1 "0$ "--$;2-$*C

    U--$;2-1 "0$ ;"*$ "- 41+,# A$E -$0;18 B4- 1.;$-+;$1 -3$1$ "0$ ;+14,*$01-..* ",* 41$* +,5.00$5-7EC

    F.23+1-+5"-$* ;"-3$;"-+5"7 "0#4;$,-1 "0$ 20$1$,-$* +, :0+-+,#8 :3$0$ 7+--7$ 5.,-$@- +1 #+9$, -. 1E;B.7+5 $@20$11+.,18 .0 -3$:0+--$, "0#4;$,-1 "0$ .9$07E 9$0B.1$C

    E*8 B1%&&XX.#+5"7 Y$"1.,+,#

    H5/

    D.;27$@8 ;47-+Z5"1$ 7.#+5"7 "0#4;$,-1 "0$ 6.77.:$*8 ",* -3$ 242+7 5.,6+*$,-7E ",1:$01 A,.:7$*#$Z-$1-+,# =4$1-+.,1C

    !42+7 20$1$,-1 7.#+5"7 "0#4;$,-1 "B.4- A$E 5.401$ 5.,5$2-1 5.00$5-7E ",* 5.,6+*$,-7EC

    !42+7 12.-1 6"71$ "0#4;$,-1 ",* #"21 +, 20..618 ",* 5", .66$0 5.00$5-$* "0#4;$,-1C

    M@M

    D.;27$@8 ;47-+Z5"1$ 7.#+5"7 "0#4;$,-1 "0$ 6.77.:$* :+-3 7+;+-$* 4,*$01-",*+,# .6 -3$ ;.1- 53"77$,#+,# 5.,5$2-18 .0 3.: -3$

    :3.7$ .6 -3$ 7.#+5"7 "0#4;$,- 1422.0-1 -3$ 5.,5741+.,C

    !42+7 20$1$,-1 7.#+5"7 "0#4;$,-1 :+-3 7+;+-$* 41$ .6 A$E 5.401$ 5.,5$2-18 ",* :3+53 ;"E ,.- 5.;27$-$7E 1422.0- -3$ 5.,5741+.,C

    !42+7 1.;$-+;$1 12.-1 6"71$ "0#4;$,-1 ",* #"21 +, 20..61C

    E*8 B1%&&X Y$1$"053 D0$"-+9+-E

    H5/

    !42+7 13.:1 " 50$"-+9+-E ",* 0$1.405$647,$11 -3"- 6.1-$01 ;"-3$;"-+5"7 *+15.9$0EC

    !42+7 ;"A$1 #4+*$* ;"-3$;"-+5"7 *+15.9$0+$1 BE 50$"-+9$7E "227E+,# A$E 5.,5$2-18 ",* $@2",*+,# ., -3$ 5.401$ ;"-$0+"7C

    M@M

    !42+7 13.:1 7+;+-$* 50$"-+9+-E ",* 0$1.405$647,$11C

    !42+7 ;"A$1 1+;27$8 #4+*$* ;"-3$;"-+5"7 *+15.9$0+$1 BE *+0$5-7E "227E+,# A$E 5.,5$2-1C

  • 7/25/2019 Tatami Tilings: How to Make a Mathematical Discovery

    5/48!"#$ & [

    !"#$$%&' #) *+',#&-$

    \CBC8 1.;$ .6 -3$1$ *$6+,+-+.,1 "0$ 50$*+-$* -. ]..#7$8 K+A+2$*+"8 ",* L+5-+.,"0EC5.;C

    =%F%)*7 U 5$0-"+, 5.,6+#40"-+., .6 -+7$18 -. B$ 0$9$"7$* +, ^4-.0+"71 NZ(C

    =%;(78 5/7%;P U 1-0+,# .6 '1 ",* S18 $C#C8 'SS'SS''''8 ",* S'C

    =-Z ^3$ +1.;$-0+5 #0+*_1 $=4+9"7$,- .6 " 0$5-",#7$C F$$ ^4-.0+"7 T U5-+9+-E (C

    3-)=%;(/-7%35 ^3$ B0",53 .6 ;"-3$;"-+51 -3"- 5.9$01 -3$ ;"-$0+"78 ",* ;4538 ;453 ;.0$8 +, -3+1

    20.#0";;$C F$$ "71.8 *+150$-$ ;"-3$;"-+51C

    3-#;/%;P U B0",53 .6 0$1$"053 ;"-3$;"-+51 :3$0$+, "00",#$;$,-1 .6 +,*+9+*4"7 .BI$5-1 "0$ 5.4,-$*8

    $+-3$0 $@"5-7E .0 "220.@+;"-$7EC ^3+1 1.;$-+;$1 3"1 23E1+5"7 "227+5"-+.,18 :3$0$ -3$ ,4;B$0

    .6 "00",#$;$,-1 2.11+B7$ +, -3$ `*+150$-$a ;"-3$;"-+5"7 ;.*$7 #+9$1 41$647 +,6.0;"-+., "B.4-

    :3"- +1 2.11+B7$ +, -3$ 23E1+5"7 :.07*C

    3-6*7%;P K$ 1"E -3"- -+7$1 !"#$%" 0$#+., :3$, -3$ -+7$1 *. ,.- .9$07"28 -3$ :3.7$ 0$#+., +1 5.9$0$*8 ",*

    ,.-3+,# B4- -3$ 0$#+., +1 5.9$0$*C

    F%(P-;(& >&%$ U, "7-$0,"-$ :"E .6 +,-$020$-+,# 5$0-"+, 2"0-1 .6 -3$ ^Z*+"#0"; -"-";+ 1-045-40$C F$$ ^4-.0+"7 )U5-+9+-E 'C

    F%537*/* ?,*+9+*4"77E 1$2"0"-$ ",* *+1-+,5-J b12$$53 1.4,*1 "0$ 20.*45$* "1 " 5.,-+,4.41 1.4,* 1+#,"7

    0"-3$0 -3", *+150$-$ 4,+-1cC

    F%537*/*

    )(/2*)(/%35

    93$ 1-4*E .6 )(/2*)(/%3(&1-045-40$1 -3"- "0$ 64,*";$,-"77E F%537*/*0"-3$0 -3", 5.,-+,4.41C

    F-)%;- U '@N 0$5-",#47"0 -+7$ `1$$ /%&*aC

    *;#)*7(/%-; F$$ 3-#;/%;PC

    P&-=(& 5/7#3/#7* ^3$ "00",#$;$,- .6 -3$ 2"0-1 .0 $7$;$,-1 .6 1.;$-3+,# 5.;27$@C

    P7%F U 0$5-",#7$ *+9+*$* 42 +,-. 4,+- 1=4"0$18 7+A$ " 53$11B."0*8 .0 " 13$$- .6 #0+* 2"2$0C

    %5-)*/7%3 P7%F U -E2$ .6 #0+* -3"- 5", B$ *0":, BE 0$2$"-+,# $=4+7"-$0"7 -0+",#7$1C K$ 41$ " 53$5A$0$*

    9$01+., 6.0 .40 .:, 5.,9$,+$,5$C

    &-3(& 7#&* ^3$ 0$7"-+.,1 B$-:$$, -3$ 2"0-1 .6 $7$;$,-1 .6 1.;$-3+,# 5.;27$@C

    &-;*7 U 5$0-"+, 5.,6+#40"-+., .6 -+7$18 -. B$ 0$9$"7$* +, ^4-.0+"71 NZ(C

    &-[*;P* U -+7$ -3"- 6+-1 ., -3$ +1.;$-0+5 #0+*8 5.9$0+,# -:. "*I"5$,- -0+",#7$1C

    )-;-)%;- U ' @ ' 1=4"0$ -+7$C `1$$ /%&*aC

    \]YB@-7P ^3$ H,7+,$ W,5E57.2"$*+" .6 ?,-$#$0 F$=4$,5$1 `3--2Odd.$+1C.0#da +1 " :$B1+-$ -3"- 5"-"7.#4$1

    1$=4$,5$1 .6 +,-$#$018 7+A$ -3$ e+B.,"55+ 1$=4$,5$O '8'8N8(8T8Q8'(8N'8 f C

    \1#^ !7"E$01 -"A$ -40,1 24--+,# -+7$1 ., " #0+* 1. -3"- -3$+0 .22.,$,- 5",,.- ;"A$ " ;.9$C W"53 -+7$

    -3"- +1 27"5$* ;41- ,.- 9+.7"-$ -3$ -"-";+ 0$1-0+5-+.,C

  • 7/25/2019 Tatami Tilings: How to Make a Mathematical Discovery

    6/48!"#$ & g

    $7--> W9+*$,5$ .0 "0#4;$,- $1-"B7+13+,# " 6"5- .0 -3$ -04-3 .6 " 1-"-$;$,-C

    _@]@4@ 1-",*1 6.0 -3$ 7"-+, 230"1$ 3456 ",'& 6"75.8&,'.6478 ;$",+,# h:3+53 3"* -. B$ 20.9$,hC

    ^3+1 +1 .6-$, 41$* "- -3$ $,* .6 " ;"-3$;"-+5"7 20..6C

    7(8 F$$ ^4-.0+"7 N U5-+9+-E (C

    72-)=#5 `/%&*a F$$ &-[*;P*C

    5*R#*;3* U 1$=4$,5$ +1 " 6+,+-$ .0 +,6+,+-$ 7+1- .6 ,4;B$018 7+A$ -3$ `+,6+,+-$a e+B.,"55+ 1$=4$,5$O

    '8'8N8(8T8Q8'(8N'8 f8 .0 -3$ 2.1+-+9$ +,-$#$018 '8N8(8)8 fC F$$ \]YB@-7PC

    9OF%(P7() U, $66+5+$,- *+"#0"; 6.0 $@20$11+,# " ;.,.;+,.Z*.;+,. -"-";+ 5.9$0+,# +,1-$"* .6 13.:+,# "77

    -+7$1C ^3$ ^Z*+"#0"; .,7E 13.:1 -3$ B.4,*"0+$1 B$-:$$, 9$0-+5"7 ",* 3.0+G.,-"7 *.;+,.$1C

    /(/()% )(/ U 67..0 ;"- .6 M"2",$1$ .0+#+,8 ;$"140+,# "220.@+;"-$7E ' ;$-$0 BE N ;$-0$1 `' @ N ;aC

    /(/()% 7*5/7%3/%-; ^3$ -"-";+ 0$1-0+5-+., 6.0 ;.,.;+,.Z*.;+,. 5.9$0+,#1 .6 " 0$5-",#47"0 #0+* 1"E1 -3"- ,. 6.40

    -+7$1 ;"E ;$$- "- ",E 2.+,-C

    /2*-7*) U #$,$0"7 20.2.1+-+., ,.- 1$76Z$9+*$,- B4- 20.9$* BE " 53"+, .6 0$"1.,+,#J " -04-3 $1-"B7+13$*BE ;$",1 .6 "55$2-$* -04-31C

    /%&* U, NZ*+;$,1+.,"7 .BI$5- .6 " 6+@$* 13"2$8 :3+53 ;"E 0$20$1$,- " ^"-";+ ;"-8 6.0 $@";27$8 ",*

    ;"E B$ 27"5$* :+-3 .-3$0 -+7$1 -. 5.9$0 ", "0$"C

    9-)-1#^ U 2$,5+7Z",*Z2"2$0 #";$ "B.4- 6+,*+,# -"-";+ 5.9$0+,#1C

    /7%(;P&* `/%&*a U -+7$ -3"- 6+-1 ., -3$ +1.;$-0+5 #0+*8 5.9$0+,# .,$ $=4+7"-$0"7 -0+",#7$C

    /7%(;P&*U P7%FO U #0+*Z-0+",#7$ +1 " b#0+* 1=4"0$c .6 -3$ +1.;$-0+5 #0+*C

    6** U 5$0-"+, 5.,6+#40"-+., .6 -+7$18 -. B$ 0$9$"7$* +, ^4-.0+"71 NZ(C

    6-7/*Z U 5$0-"+, 5.,6+#40"-+., .6 -+7$18 -. B$ 0$9$"7$* +, ^4-.0+"71 NZ(C

  • 7/25/2019 Tatami Tilings: How to Make a Mathematical Discovery

    7/48!"#$ & Q

    !"#$%&'( *I!"#$ &' $#$#(&)

    U 2"#$ 60.; &'()*)'+-3$ 'g-3

    5$,-40E [email protected] ., -3$ 1.0.B",8 " M"2",$1$ 9$01+., .6 -3$ "B"541C

    J2(/ %5 /2* "#7$-5* -> 9#/-7%(& HK

    ^. +,-0.*45$ ;.,.;+,.Z*.;+,. 5.9$0+,#1 .6 0$5-",#47"0 #0+*1C

    ^. 1$$ ", "227+5"-+., .6 ;.,.;+,.Z*.;+,. 5.9$0+,#1 .6 0$5-",#47"0 #0+*1C

    ^. +,-0.*45$ -3$ -"-";+ 0$1-0+5-+.,C

    B#$$&*)*;/JW?'Y'DX 92*5* /#/-7%(&5 3-;/(%; )(/25 &%1* 8-# 2(6* ;*6*7 5**;@ 92*7* %5 *(5%*7 5/#>> )%Z*F .%/2 )-7* 3-)$&%3(/*F 5/#>>U

    >-7 /2-5* .(;/%;P )-7*U =#/ 8-# (7* ;-/ *Z$*3/*F /- #;F*75/(;F %/ (&& %; G 52-7/ /#/-7%(&5^

    U *.;+,. +1 " 0$5-",#47"0 -+7$ -3"- ;$"140$1 '@N 4,+-1C U *.;+,. 5", B$ 27"5$* ., " #0+* 1. -3"- +- 5.9$01 $@"5-7E -:. "*I"5$,-

    #0+* 1=4"0$1C

    K3$, :$ 27"5$ $,.4#3 *.;+,.$1 +, -3$ #0+* -. 5.9$0 +- 5.;27$-$7E `:+-3 ,. .9$07"22+,# *.;+,.$1a8 :$ 5"77 -3+1 " ,"-'(".

    !"#$%'(/.6 -3$ #0+*C P$0$ "0$ -30$$ $@";27$1C

    U ;.,.;+,. +1 " 1=4"0$ -+7$ -3"- 5.9$01 $@"5-7E ' #0+* 1=4"0$C K$ 5", 27"5$ ;.,.;+,.$1 +, -3$ #0+* "1 :$778 -. 6.0; ;.,.;+,.Z

    *.;+,. 5.9$0+,#1 .6 -3$ #0+*C P$0$ "0$ -30$$ $@";27$1C

  • 7/25/2019 Tatami Tilings: How to Make a Mathematical Discovery

    8/48!"#$ & i

    ^3$1$ 5.9$0+,#1 .6 #0+*1 *$150+B$ 5$0-"+, 1+-4"-+.,1 +, 23E1+518 $C#C8 :3$0$ ;.7$547$1 "0$ "B1.0B$* +,-. *+150$-$ 7.5"-+.,1 ., "

    1406"5$C L.;+,.$1 0$20$1$,- -3$ ;.7$547$18 ",* -3$ 1406"5$ 3"1 #0+*Z7+A$ 20.2$0-+$1 B$5"41$ .6 -3$ 6.05$1 -3"- "5- "- -3$ "-.;+5

    ",* ;.7$547"0 7$9$71C ^3+1 +1 ", $@";27$ .6 " F%537*/* 5/7#3/#7*C

    ^"-";+ ;"-1 "0$ " 5.;;., 67..0 640,+13+,#8 .0+#+,"-+,# +, "0+1-.50"-+5 M"2",8 ;"*$ :+-3 " 0+5$ 1-0": 5.0$ ",* " 1.6-8 :.9$, 0413

    1-0": $@-$0+.0J -3$E -E2+5"77E ;$"140$ "B.4- '@N;C ?, -3$ 'g-3

    5$,-40E8 " 1+;27$ 047$ :"1 $1-"B7+13$* 6.0 5$0-"+, "00",#$;$,-1.6 -"-";+ ;"-18 :3+53 :$ 5"77 /2* /(/()% 7*5/7%3/%-;X ;- >-#7 )(/5 )(8 )**/C

    \.-+5$ -3"- b,. 6.40 ;"-1 ;"E ;$$-c +1 "5-4"77E " 0$1-0+5-+., "- #0+* +,-$01$5-+.,18 1+,5$ -3$ .,7E :"E 6.0 6.40 ;"-1 -. ;$$- +1 "-

    -3$+0 5.0,$018 "- #0+* 7+,$ +,-$01$5-+.,1C

    ,%5/-7%3(& (;*3F-/*O U M"2",$1$ ;"-3$;"-+5+", ,";$* j+-14E.13+ k.13+*" ,.-+5$* -3$ ;"-3$;"-+5"7 1+#,+6+5",5$ .6 -"-";+

    5.9$0+,#18 ",* 24B7+13$* " *0":+,# .6 .,$ +, 3+1 '[)' B..A ., ;"-3$;"-+51C ^3$ B..A8 A,.:, "1 &'()*)'+*$150+B$1 3.: -. 41$ "

    M"2",$1$ "B"5418 "1 :$77 "1 ;"A$ ;",E 20"5-+5"7 "#0+547-40"7 5"7547"-+.,1 7+A$ 50.2 E+$7*1C P$0$ +1 " 2"#$ :+-3 " -"-";+ ;"-

    "00",#$;$,- 13.:, ., -3$ 7$6-C

  • 7/25/2019 Tatami Tilings: How to Make a Mathematical Discovery

    9/48!"#$ & 'S

    W3/%6%/%*5

    'C 0-;-)%;-OF-)%;- 3-6*7%;P5 -> /2* P7%FX Y$5-",#47"0 #0+*1 :+77 B$ 7"+* .4- "- 1-"-+.,18 ",* :$ :+77 5.9$0 -3$; :+-3

    ;.,.;+,.$1 ",* *.;+,.$1 BE 27"5+,# -+7$1 +, -3$ #0+* "- $"53 1-"-+.,C

    U5-+9+-E =4$1-+.,1O

    "C K3"- +1 " ;.,.;+,.R K3"- +1 " *.;+,.R

    BC K3"- +1 " *.;+,. 5.9$0+,# .6 -3$ #0+*R K3"- +1 " ;.,.;+,.Z*.;+,. 5.9$0+,# .6 -3$ #0+*R

    5C U0$ -3$0$ *.;+,. 5.9$0+,#1 -3"- *+66$0 60.; -3$ .,$1 :$ 6.4,* +, -3$ "5-+9+-ER

    *C P.: ;",E *.;+,. 5.9$0+,#1 "0$ -3$0$R K3"- +1 E.40 B$1- #4$11R

    $C

    ?1 -3$ ,4;B$0 .6 "00",#$;$,-1 "77.:+,# B.-3 ;.,.;+,.$1 ",* *.;+,.$1 B$ #0$"-$0 .0 6$:$0 -3", -3.1$ :+-3.,7E *.;+,.$1C

    6C ?1 +- 2.11+B7$ -. b#$- 1-45Ac -0E+,# -. 5.9$0 -3$ #0+* :+-3 *.;+,.$1R K+-3 ;.,.;+,.$1 ",* *.;+,.$1R

    NC 92* /(/()% 7*5/7%3/%-;X K$ :+77 0$2$"- "5-+9+-E '8 B4- -3+1 -+;$ :$ :+77 41$ -3$ /(/()% 0$1-0+5-+.,J ;- >-#7 /%&*5 )**/C

    U5-+9+-E =4$1-+.,1O

    "C K"1 +- $"1+$0 .0 ;.0$ *+66+547- -. 5.9$0 -3$ #0+* 41+,# -3$ -"-";+ 0$1-0+5-+.,R

    BC L$150+B$ 3.: .,$ ;+#3- b#$- 1-45Ac -0E+,# -. ;"A$ " -"-";+ 5.9$0+,#C

    5C U0$ -3$0$ ;.0$ .0 6$:$0 -"-";+Z0$1-0+5-$* 5.9$0+,#1 -3", ,.0;"7 5.9$0+,#1 41+,# -3$ 1";$ -E2$1 .6 -+7$1R

    ]4$11 "- 3.: ;",E -"-";+ 5.9$0+,#1 -3$0$ ;+#3- B$ .6 -3$ -E2$ :$ -0+$* -. 6+,* +, -3+1 "5-+9+-EC

  • 7/25/2019 Tatami Tilings: How to Make a Mathematical Discovery

    10/48!"#$ & ''

    9#/-7%(& H I :(5*&%;* 9*5/

    ^3$ 3.;$:.0A "11+#,;$,- 6.0 -3$ 6+01- -4-.0+"7 +1 " B"1$7+,$ -$1- -. 1$$ E.40 +,+-+"7 7$9$7 .6 "--"+,;$,- +, -3+1 14BI$5- "0$"C

    ^3$ "11+#,;$,- :+77 -$1- 6.0 1.;$ .0 "77 .6 -3$ 14BI$5- 12$5+6+5 1A+771 -3"- "0$ 0$=4+0$* 7"-$0 +, -3$ 6+,"7 "11+#,;$,-C

    P.:$9$08 +- +1 13.0-$0 -3", -3$ 6+,"7 "11+#,;$,- ",* +1 :+77 B$ ", +,-0.*45-+., -. -3$ 14BI$5- "1 :$77 "1 " 53"77$,#$>

    L. ,.- :.00E -.. ;453 "B.4- *.+,# l:$77_ .0 lB"*7E_ ., -3$ B"1$7+,$ -$1-8 +- -"A$1 +,-. "55.4,- -3$ 6"5- -3"- E.4 ;"E ,.-

    B$ 6";+7+"0 :+-3 -3$ 14BI$5- "0$"C ?- +1 *$1+#,$* -. 3$72 E.4 ",* E.40 !3L -4-.0 +*$,-+6E :3$0$ E.4 "0$ "- -3$ 1-"0- .6 -3$

    20.#0";;$ ",* -. 3$72 E.4 ;$"140$ E.40 20.#0$11 "7.,# -3$ :"EC

    'C 97#* V(&5* (;F 4%>>%3#&/8 &*6*&@

    D+057$ 04$ .0 e"71$ 6.0 $"53 =4$1-+.,8 ",* 0"-$

    -3$ *+66+547-E .6 -3$ =4$1-+.,C k.4 5", *0": +,

    -3$1$ #0*1 .0 41$ -3$ #0+* 2"2$0 +, -3$ U22$,*+@

    -. *. 1.;$ 0.4#3 :.0A8 +6 ,$5$11"0EC

  • 7/25/2019 Tatami Tilings: How to Make a Mathematical Discovery

    11/48!"#$ & 'N

    7C D+057$ .,$O ^04$ e"71$ D+057$

    .,$O `$"1Ea ' N ( ) T `*+66+547-a

    ;C D+057$ .,$O ^04$ e"71$ D+057$

    .,$O `$"1Ea ' N ( ) T `*+66+547-a

    ,C D+057$ .,$O ^04$ e"71$ D+057$

    .,$O `$"1Ea ' N ( ) T `*+66+547-a

    NC e.0 $"53 .6 -3$1$ 2"0-+"7 -"-";+ 5.9$0+,#18 *0": -3$ -+7$1 :3.1$ 27"5$;$,-1 "0$ 6.05$* BE -3$ -"-";+ 0$1-0+5-+.,C

    (C L+* E.4 *+15.9$0 ",E-3+,# "B.4- -"-";+ 5.9$0+,#1R ?6 E.4 *+*8 *$150+B$ E.40 *+15.9$0E +, " 6$: 1$,-$,5$1 `",*

    6+#40$18 +6 ,$$*$*aC

  • 7/25/2019 Tatami Tilings: How to Make a Mathematical Discovery

    12/48!"#$ & '(

    !"#$%&'( *I!"#$%&'(")%'* ,()-.(-)/

    J2(/ %5 /2* "#7$-5* -> 9#/-7%(& MK

    ^. 7$"0, .,$ .6 -3$ 20.5$11$1 .6 ;"-3$;"-+5"7 *+15.9$0EJ +*$,-+6E+,# 2"--$0,1 ",* *$150+B+,# -3$; 41+,# ;"-3$;"-+51C

    ^. 7$"0, -3$ 1-045-40$ .6 -"-";+ 5.9$0+,#1 ",* B$5.;$ 6";+7+"0 :+-3 +-C

    ^. 5.,1-045- " 5.;27$@ 7.#+5"7 "0#4;$,-J -3$.0$; ",* 20..6C

    J2(/ %5 ( /2*-7*) (;F $7-->K

    j",E ;"-3$;"-+5"7 *+15.9$0+$1 "0$ #+9$, "1 " 13.0- 1-",*"7.,$ 1-"-$;$,-8 5"77$* " 01$"%$-6.77.:$* " 20..68 41+,# *$*45-+9$

    0$"1.,+,#8 .6 :3E -3$ -3$.0$; +1 +00$64-"B7E -04$C ^3$ 20..6 +1 $@2$5-$* -. B4+7* 42 -. -3$ 5.,5741+., BE 5.;B+,+,# 1+;27$0

    57"+;1 -3"- -3$ +,-$,*$* "4*+$,5$ :+77 4,*$01-",* ",* B$ "B7$ -. "55$2- "1 -04$C

    m4$1-+.,O P.: +1 " -3$.0$; *+66$0$,- 60.; " -3$.0ER

    W3/%6%/%*5

    'C 9-)-1#X

    ^3$ .BI$5- .6 -3$ ^.;.A4 24GG7$ +1 -. -"-";+ 5.9$0 -3$ #0+* :+-3 -3$ -+7$1 #+9$, 6.0 $"53 0.: ",* 5.74;,C K$_77 *. -3+1

    -.#$-3$0 +, -3$ -4-.0+"78 B4- 6477 +,1-045-+.,1 ",* $@-0" 24GG7$1 "0$ +,574*$* +, -3$ U22$,*+@C

    NC L+15.9$0+,# ;"-3$;"-+51O j"-3$;"-+5+",1 .6-$, *+15.9$0 ,$: ;"-31 BE $@";+,+,# *"-"C T--1 (/ (5 )(;8 F7(.%;P5 ->

    /(/()% 3-6*7%;P5 (5 $-55%=&*",* -0E -. +*$,-+6E 1+;+7"0+-+$1 B$-:$$, -3$;8 -+7$ 5.,6+#40"-+.,1 -3"- *$-$0;+,$ .-3$0

    2"0-1 .6 -3$ -"-";+ 5.9$0+,#8 $-5C 4%53#55 8-#7 -=5*76(/%-;5 %; P7-#$5 -> NC F.;$ -"-";+ 5.9$0+,#1 "0$ #+9$, B$7.: -.

    #$- E.40 -3.4#3-1 1-"0-$*C

    W9$0E 2.11+B7$ (@( ;.,.;+,.Z*.;+,.a -"-";+ 5.9$0+,#

    W9$0E 2.11+B7$ (@) ;.,.;+,.Z*.;+,.a -"-";+ 5.9$0+,#

  • 7/25/2019 Tatami Tilings: How to Make a Mathematical Discovery

    13/48!"#$ & ')

    B-)*.6 -3$ T@T -"-";+ 5.9$0+,#1C

    B-)*.6 -3$ 'S@') 5.9$0+,#1C

    (C ?(85O ^3+1 5.,6+#40"-+., 20.2"#"-$1 BE 6.05+,# -3$ 27"5$;$,- .6 .-3$0 -+7$1 4,-+7 " B.4,*"0E +1 0$"53$*C K3E 5", 0"E1

    ,.- 50.11 $"53 .-3$0R K3"- 3"22$,1 "- -3$ B$#+,,+,# .6 " b0"EcR

    )C ?*$,-+6E -3$ 1.405$1 bB$#+,,+,#1 .6 0"E1ca +, " -"-";+ 5.9$0+,#C

  • 7/25/2019 Tatami Tilings: How to Make a Mathematical Discovery

    14/48!"#$ & 'T

    TC K$ :+77 1-"-$ -3$ #7.B"7 1-045-40$ .6 -"-";+ 5.9$0+,#1 +, " /2*-7*)",* $7-6*+- -.#$-3$0C

    ,-)*.-71

    'C 9-)-1#X D.;27$-$ -:. ^.;.A4 24GG7$1 .6 E.40 53.+5$8 +,574*+,# .,$ -3"- +1 "- 7$"1- T 0.:1 -"77C e+,* -3$; +, -3$

    U22$,*+@C

    NC n1$ -3$ 1-045-40$ -. "0#4$ -3"- -3+1 5.9$0+,# 5", .,7E B$ 5.;27$-$* +, .,$ :"EaC

    (C

    D.,1-045- " 5.9$0+,# .6 ",E #0+* 1+G$ 41+,# $@"5-7E .,$ .6 $"53 -E2$ .6 b6$"-40$c 1$$ 3",*.4-aC)C F-4*E -3$1$ *+66$0$,- 1+G$* 5.9$0+,#1C ]+9$, :3"- E.4 A,.: .6 -3$ -"-";+ 1-045-40$8 ",* -3"- -3$ 6+01- +;"#$ 13.:1 (&&

    NM.6 -3$ )@) -"-";+ 5.9$0+,#1 :+-3 $@"5-7E N ;.,.;+,.$18 :3"- 5", E.4 1"E "B.4- -3$ 7"0#$0 5.9$0+,#1R U0$ "77 .6

    -3$; 13.:, 3$0$R \.-+5$ .,7E $9$, ,4;B$01 "0$ 13.:,C P.: ;",E i@i -"-";+ 5.9$0+,#1 :+-3 $@"5-7E N ;.,.;+,.$1

    "0$ -3$0$R

    W&& NM.6 -3$ )@) -"-";+ 5.9$0+,#1 :+-3 $@"5-7E ' ;.,.;+,.C

    [@[ -"-";+ 5.9$0+,#1 :+-3 $@"5-7E N ;.,.;+,.$1C ?1 -3+1 "77 .6 -3$;R

  • 7/25/2019 Tatami Tilings: How to Make a Mathematical Discovery

    15/48!"#$ & '[

    Q@Q -"-";+ 5.9$0+,#1 :+-3 $@"5-7E N ;.,.;+,.$1C ?1 -3+1 "77 .6 -3$;R

    'S@'S -"-";+ 5.9$0+,#1 :+-3 $@"5-7E N ;.,.;+,.$1C ?1 -3+1 "77 .6 -3$;R

    'N@'N -"-";+ 5.9$0+,#1 :+-3 $@"5-7E N ;.,.;+,.$1C ?1 -3+1 "77 .6 -3$;R

  • 7/25/2019 Tatami Tilings: How to Make a Mathematical Discovery

    16/48

    Theorem: A ray mustbegin at one of the following four types of tile configu-rations: A bidimer configuration, a vortex configuration, a loner configuration, ora veeconfiguration.

    Proof: Consider the different tiles that can cover the grid square at the begin-

    ning of a ray:

    If it is this blue tile , we are not dealing with the beginning of the ray, so itcannot be the blue tile.

    We itemize the four possible cases below, and afterwards, draw a diagram rep-resenting all of the tiles whose placement is forced by the four configurations.

    Case 1: Bidimer, two dominoes share a long edge: .

    Case 2: If there is a monomino at beginning , then we need to considerhow the square beside it is covered (the pink circle).

    Case 2(a): vortex: .

    Case 2(b): loner: . This must occur on the boundary.

    Case 2(c): vee: . This must occur on the boundary.

    Each of these tile configurations forces the placement of more tiles. This is shownbelow.

    bidimer

    loner

    vortex

    vee

    q.e.d. (from the latin phrase quod erat demonstrandum, meaning which had tobe proven)

    This is a big piece of the puzzle that describes the whole structure of tatamicoverings, which is essentially that every monomino-domino tatami covering is com-pletely determined by its bidimers, vortices, loners, and vees, and additionally, therays emanating from these cannot cross.

    1

  • 7/25/2019 Tatami Tilings: How to Make a Mathematical Discovery

    17/48!"#$ & 'g

    !"#$%&'( *I!O!"#$%#&'

    W;*3F-/*O D.,:"E_1 ]";$ .6 X+6$ +1 B"1$* ., " 7.5"7 047$ `1+-4"-$* .,7E "0.4,* $"53 2+@$7a8 B4- :"1 20.9$, -. B$ "B7$ -.

    5"7547"-$ $9$0E-3+,# -3"- " 5.;24-$0 5", 5"7547"-$8 41+,# -3$ b^40+,# ;"53+,$c 5.,6+#40"-+., 13.:, "B.9$C ^3"- +1 " 7.- .6

    1-045-40$8 5.;+,# 60.; " 1+;27$ 7.5"7 047$> e.0 ;.0$ +,6.0;"-+., ]..#7$O D.,:"E 9#/-7%(& NK

    ^. "B1-0"5- -3$ -"-";+ 1-045-40$ +,-. Z*+"#0";1C

    W3/%6%/%*5

    'C

    9(/()% \1# .(7) #$aO ^3$ .BI$5- .6 -3+1 N 27"E$08 3$"*Z-.Z3$"* -40, B"1$* #";$ +1 -. B$ -3$ 7"1- 27"E$0 :3. 5",27"5$ " -+7$ ., -3$ #0+* :+-3.4- 9+.7"-+,# -3$ -"-";+ 0$1-0+5-+.,C K+-3 ", .22.,$,-8 "7-$0,"-$7E 27"5$ " ;.,.;+,. .0 "

    *.;+,. ., -3$ #0+* 1. -3"- ;- >-#7 /%&*5 )**/C ^3+,A 1-0"-$#+5"77E 1. -3"- E.4 20$9$,- E.40 .22.,$,- 60.; 27"5+,# 7"1-C

    F4##$1-$* #0+* 1+G$O (@( .0 (@)C

  • 7/25/2019 Tatami Tilings: How to Make a Mathematical Discovery

    18/48!"#$ & 'Q

    M@

    47(.%;P 9OF%(P7()5 -6*7 3-6*7%;P5@ L0": -3$ Z*+"#0"; .6 -3+1 5.9$0+,# +, 27"5$aC

    N@ 0(/32%;P 9OF%(P7()5 .%/2 /2*%7 3-6*7%;P5@ k.4 :+77 B$ #+9$, 1$9$0"7 5.9$0+,#1 ",* ^Z*+"#0";18 ",* E.4 ,$$* -. ;"-53

    -3$; 42C

    A@ X ^3$.0$;O k.4 5", 6+- oooo 9.0-+5$1 ",* B+*+;$01 +, " -"-";+ 5.9$0+,# .6 -3$ 1=4"0$C

    !0..6O ooooC k.40 20..6 ;"E +,574*$ *0":+,#1C

    NC

    P.: ;",E -"-";+ *.;+,. `.,7Ea 5.9$0+,#1 "0$ -3$0$ .6 -3$ 53$11B."0*R K3"- "B.4- .-3$0 ,@, 1=4"0$ #0+*1R K3"- +6 ,+1 .**R

  • 7/25/2019 Tatami Tilings: How to Make a Mathematical Discovery

    19/48!"#$ & 'i

    !"#$%&'( *I!"#$% %'%'() *"+,-)$./ "0 /1#'-, .-)2/3

    J2(/ %5 /2* "#7$-5* -> 9#/-7%(& AK

    ^. "11$11 4,*$01-",*+,# .6 ",* 0$9+$: -3$ ^3$.0$; ",* !0..6 -3"- ^Z*+"#0";1 0$20$1$,- -3$ :3.7$ 1-045-40$ .6

    ;.,.;+,.Z*.;+,. -"-";+ 5.9$0+,#1 .6 #0+*1C

    ^. "227E Z*+"#0";1 -. 5.4,- -"-";+ 5.9$0+,#1C

    ^. *. 0$1$"053 41+,# -"B7$1 .6 ,4;$0+5"7 *"-"C

    W3/%6%/%*5

    'C

    U *+"#.,"7 67+2C D.,,$5- -3$ *.-1 p *0": " 7+,$ B$-:$$, 5.9$0+,#1 -3"- *+66$0 BE $@"5-7E .,$ *+"#.,"7 67+2C W@";27$1B$7.:C

    NC P.: ;",E -"-";+ 5.9$0+,#1 "0$ -3$0$ -3"- 5.;27$-$ -3$ .,$ 13.:, B$7.:R

    "C D", :$ 41$ B+,"0E 1-0+,#1 -. 5.4,- -3$1$R

  • 7/25/2019 Tatami Tilings: How to Make a Mathematical Discovery

    20/48!"#$ & NS

    N@ 9(/()% 3-6*7%;P5 -> /2* ;Z; 5R#(7* .%/2 *Z(3/&8 ) )-;-)%;-*5@ F-4*E -3$1$ -"-";+ 5.9$0+,#1 5"0$6477EJ 5.4,- -3$

    ;.,.;+,.$18 -3$ *+;$,1+.,1 .6 -3$ #0+*8 ",* -3$ 2.1+-+.,1 .6 -3$ q 6$"-40$C K3"- *. -3$E 3"9$ +, 5.;;.,R D", E.4

    +,6$0 ",.-3$0 5.9$0+,# :+-3 -3$1$ 2"0";$-$01 `,@, #0+* ",* $@"5-7E ; ;.,.;+,.$1a B"1$* ., :3"- E.4 1$$ 3$0$R

    )C n1+,# \]YB@-7PO ?, ^4-.0+"7 N P.;$:.0A =4$1-+., ) :$ 1": 3.: -"-";+ 5.9$0+,#1 5", B$ 0$7"-$* -. $"53 .-3$08 $9$,

    :3$, -3$ #0+*1 "0$ .6 *+66$0$,- 1+G$1C F2$5+6+5"77E8 +- "22$"0$* -3"- -3$ )@) #0+*18 [@[8 #0+*18 $-5C8 "77 3"9$ $@"5-7E (N

    5.9$0+,#1 -3"- 5.,-"+, $@"5-7E N ;.,.;+,.$1 $"53C K$ 5", "71. #"-3$0 +;2.0-",- +,6.0;"-+., BE 7..A+,# "- -3$

    ,4;B$01 -3"- 5.4,- -"-";+ 5.9$0+,#18 0"-3$0 -3", "- -3$ 5.9$0+,#1 -3$;1$79$1C ^3$ *0":+,#1 .6 , @ , 5.9$0+,#1 13.:,

    $"07+$0 "0$ -3$ -.2 *+"#.,"7 .6 (N1 +, -3$ -"B7$ B$7.:C

    "C m4$1-+.,O L. E.4 ,.-+5$ ",E 2"--$0,1 .0 0$5.#,+1$ ",E 1$=4$,5$1 +, -3+1 -"B7$R K3"- "B.4- -3$ *+"#.,"71

    -3"- 1$$; -. 1-"B+7+1$ -. " 5.,1-",- `(N 0$2$"-$* ., -3$ -.2 *+"#.,"78 TS 0$2$"-$* B$7.: -3"-8 $-5aR K3E

    *.,_- -3$ *+"#.,"7 ,4;B$01 1-"B+7+1$ -. " 5.,1-",- 0+#3- ":"ER

    =@ 92* \;&%;* ];383&-$(*F%( -> Y;/*P*7 B*R#*;3*5 `2//$Xbb-*%5@-7Pba 5.;$1 +, 3",*E :3$, E.4 5.;$ "50.11 "

    ,$: 1$=4$,5$ `.0 1$0+$1a .6 ,4;B$01C W,-$0 " 1$=4$,5$ +, -3$ HW?FC.0# 1$"053 B"0 ",* +- :+77 -0E ",* 6+,* +- +,

    +-1 *"-"B"1$C ^0E +- :+-3 -3$ ,4;B$01 +, 5.74;, 'C !$03"21 E.4_9$ 1$$, -3$1$ .,$1 B$6.0$>

  • 7/25/2019 Tatami Tilings: How to Make a Mathematical Discovery

    21/48!"#$ & N'

    ,-)*.-71

    'C ,-. )(;8 /(/()% 3-6*7%;P5 -> /2* SZS 5R#(7* P7%F (7* /2*7* .%/2 *Z(3/&8 N )-;-)%;-*5K `?7741-0"-$ -3$; 41+,# ^Z

    *+"#0";1aC

    D.,1-045- E.40 ",1:$0 +, ^3$.0$;d20..6 6.0;"-C ?6 E.4 "0$ 4,140$ `:3+53 +1 HV>a .6 -3$ $@"5- ,4;B$08 "*I41- E.40

    -3$.0$; 1-"-$;$,-C e.0 $@";27$8 E.4 *.,_- ,$$* -. #+9$ -3$ $@"5- ,4;B$0 1$$ B$7.:aC

    92*-7*)O ^3$0$ "0$ "- 7$"1- ) -"-";+ 5.9$0+,#1 .6 -3$ i@i 1=4"0$ #0+* "0$ -3$0$ :+-3 $@"5-7E ( ;.,.;+,.$1C

    "7-->O /E 0$2$"-$*7E 0.-"-+,# -3$ -"-";+ 5.9$0+,# 13.:, B$7.: BE " =4"0-$0 -40,8 :$ .B-"+, ) 5.9$0+,#1 -3"- "0$

    *+1-+,5- 60.; $"53 .-3$0C P"9+,# 6.4,* 6.40 .6 -3$ 0$=4+1+-$ 5.9$0+,#18 -3$0$ ;41- B$ "- 7$"1- -3+1 ;",EC mCWCLC

    NC c5* \Y]B@-7PX^3$ -"B7$ B$7.: 13.:1 -3$ ,4;B$0 .6 ;.,.;+,.Z*.;+,. -"-";+ 5.9$0+,#1 .6 -3$ 0@5 #0+* `:+-3 ",E

    ,4;B$0 .6 ;.,.;+,.$1a8 6.0 $"53 0 ",* 5 42 -. ')C L. E.4 0$5.#,+1$ -3$ 1$=4$,5$ .6 ,4;B$01 +, 5.74;, 'R K0+-$

    *.:, :3"- E.4 -3+,A +- ;+#3- B$ 5"77$*8 ",* -3$, #. $,-$0 +- "- 3--2Odd.$+1C.0#C !4- +, "- 7$"1- [ -$0;1J $C#C8

    '8N8(8T8Q8'(C ^3$ 6+01- 1$=4$,5$ 0$-40,$* 13.47* 3"9$ -3$ 0$6$0$,5$ ,4;B$0 USSSS)TC D.2E -3$ ,";$ .6 -3+1 1$=4$,5$

    +,-. E.40 1.74-+.,8 ",* ( 6"5-1 .6 E.40 53..1+,#8 $9$, +6 E.4 *.,_- 4,*$01-",* :3"- -3$E ;$",J $C#C8 b^3$ 0"-+.1

    e`,r'ade`,a 6.0 ,sS "0$ -3$ 5.,9$0#$,-1 -. -3$ 1+;27$ 5.,-+,4$* 60"5-+., $@2",1+., .6 -3$ #.7*$, 1$5-+.,CcC ^0E " 6$:-$0;1 .6 1.;$ .-3$0 0.:18 5.74;,1 .0 *+"#.,"71 +, HW?F ",* 0$2.0- E.40 6+,*+,#1 `+, -$0;1 .6 1$=4$,5$ ,4;B$018 7+A$

    USSSS)TaC

  • 7/25/2019 Tatami Tilings: How to Make a Mathematical Discovery

    22/48!"#$ & NN

    !"#$%&'( *I!"#$% '()*'+#*+",- .%"/$% )*'0#*0'(

    J2(/ %5 /2* "#7$-5* -> 9#/-7%(& CK

    ^. 1$$ 7.5"7 0$1-0+5-+.,1 ",* #7.B"7 1-045-40$ 41+,# .-3$0 -+7$1C

    ^. +,-0.*45$ -3$ +1.;$-0+5 #0+*8 -0+",#7$1 ",* 7.G$,#$1C

    ^. 20$2"0$ 6.0 ",* B$#+, -3$ 6+,"7 "11+#,;$,-C

    4*>%;%/%-;X \/2*7 /(/()% 7*5/7%3/%-;5

    ^3$ -"-";+ 0$1-0+5-+., 1"E1 b,. ) -+7$1 ;$$-c8 B4- :3"- +6 :$ ;"A$ " *+66$0$,- 047$J ,. ( -+7$1 ;$$-8 6.0 $@";27$C X$-_1 5"77 -3+1

    .,$ -3$ (Z-"-";+ 0$1-0+5-+.,C

    W3/%6%/%*5

    'C

    V%;(& (55%P;)*;/X Y$"* +- -.#$-3$0C ^"7A "B.4- +-C n,*$01-",* +-> ^3$ ,$@- 6$: "5-+9+-+$1 :+77 3$72 20$2"0$ 41 6.0 -3$

    6+,"7 "11+#,;$,-C

    NC T-3(& 7#&*U P&-=(& 5/7#3/#7*X X.5"7 047$1 -3"- +;2.1$ " #7.B"7 1-045-40$ .0 .0*$0a .5540 +, ;",E 27"5$18 1453 "1 50E1-"7

    1-045-40$1 `+;"#$ 50$*+-O K+A+2$*+"aC ^3$ ;.7$547$1 7+,$ 42 2"!3224+, 5$0-"+, :"E18 0$147-+,# +, 1-045-40$1 -3"- 5", B$

    .B1$09$* /2"53224C K+-3 " 2"0-,$08 *0": " 2+5-40$ .6 1.;$ -3+,#1 -3"- +,-$0"5- "55.0*+,# -. 7.5"7 047$1 `+,9.79+,# .,7E

    -3$ -3+,#1 ,$@- -. -3$;1$79$1a -3"- 3"9$ " #7.B"77E .B1$09"B7$ 1-045-40$C m4$1-+.,O D", ,.,Z-"-";+ ;.,.;+,.Z*.;+,.

    5.9$0+,#1 B$ *$150+B$* BE .,$ .0 ;.0$ 7.5"7 047$1R

  • 7/25/2019 Tatami Tilings: How to Make a Mathematical Discovery

    23/48!"#$ & N(

    (C W NO/(/()% 7*5/7%3/%-;K K3"- 1.0- .6 #7.B"7 1-045-40$ *.$1 -3$ (Z-"-";+ 0$1-0+5-+., +;2.1$R ^3$ `)Za-"-";+ 5.9$0+,#

    B$7.: 7$6- 9+.7"-$1 -3$ (Z-"-";+ 0$1-0+5-+., +, ( 27"5$1C ^3$ 5.9$0+,# B$7.: 0+#3- +1 " (Z-"-";+ 5.9$0+,# .6 -3$ N@) #0+*C

    )C T-[*;P* 3-6*7%;P5X F. 6"0 :$_9$ 7..A$* .,7E "- ;.,.;+,.Z*.;+,. 5.9$0+,#1 .6 -3$ 1=4"0$ #0+*C \.: :$ :+77 7..A "-

    5.9$0+,#1 .6 -3$ +1.;$-0+5 #0+* `60.; $=4+7"-$0"7 -0+",#7$1a BE -0+",#7$1 ",* 7.G$,#$1 `N -0+",#7$1 -.#$-3$0aC ?,1-$"* .6

    0$5-",#7$8 :$ 41$ -3$ :.0* =-ZC ^3+1 +1 " N@T@'N B.@C

    U;"G+,#7E8 "77 7.G$,#$ .,7Ea 5.9$0+,#1 .6 B.@$1 &--1 &%1* ( 5/(31 -> 3#=*5 52-6*F %;/- ( 3-7;*7C P$0$ "0$ 1.;$ -3"- ?

    50$"-$* 41+,# " 5.;24-$0 20.#0";C \.-+5$ ",E-3+,# "B.4- -3$;R U 7.5"7 047$ 2$03"21R

    j+50.15.2+5 1-045-40$ .6 " 3"7+-$50E1-"7C `!4027$ +1

    1.*+4;+.,8 #0$$, +1 537.0+,$+.,Ca ^3$0$ +1 54B+5

    1E;;$-0E+, -3$ "-.;1< "00",#$;$,-C

    j"50.15.2+5 `t'[5;a 3"7+-$ 50E1-"7C ^3$ 0+#3-Z

    ",#7$1 B$-:$$, 50E1-"7 6"5$1 "0$ *4$ -. -3$ 54B+5

    1E;;$-0E .6 -3$ "-.;1< "00",#$;$,-C

  • 7/25/2019 Tatami Tilings: How to Make a Mathematical Discovery

    24/48!"#$ & N)

    W9$, ;.0$ ";"G+,#7E8 +1 -3"- )-5/ &-[*;P* 3-6*7%;P5 -> /2* 7*P#&(7 2*Z(P-; >-7) .2(/ )(/2*)(/%3%(;5 3(&& (; W73/%3

    3%73&*U7+A$ -3$ .,$ 13.:, B$7.:C ^3+1 :"1 20.9$, +, -3$ U05-+5 D+057$ ^3$.0$; `+;"#$ 50$*+- -. K+A+2$*+"aC

    TC T-[*;P* /(/()% $7(3/%3* (;F 5/(7/ /2* >%;(& (55%P;)*;/@

    !"#$% '((")#*+#,- !"# %&%&'( )#*%)(+%(,- &% .&)/#K$ 3"9$ 7$"0,- "B.4- " -"-";+ 0$1-0+5-+., -3"- "227+$1 -. ;.,.;+,.Z*.;+,. 5.9$0+,#1 .6 0$5-",#47"0 #0+*1C ^3$ -"-";+

    0$1-0+5-+., +1 5.;B+,"-.0+"77E +,-$0$1-+,# B$5"41$ +- +1 " 9$0E 1+;27$8 7.5"7 047$ ZZ ,.- 6.40 -+7$1 ;"E ;$$- "- ",E 2.+,- ZZ :3+53

    +;2.1$1 " 0+53 #7.B"7 1-045-40$C

    ^3+1 -+;$ :$ :+77 +,9$,- ,$: -"-";+ 0$1-0+5-+.,1 6.0 5.9$0+,#1 .6 -3$ +1.;$-0+5 #0+* :+-3 -0+",#7$1 ",* 7.G$,#$1C ^3$0$ "0$ 1$9$0"7

    *+66$0$,- 53.+5$1 .6 -"-";+ 0$1-0+5-+., 3$0$J :$ ;"E *+1"77.: N8(8)8T8 .0 [ -+7$1 -. ;$$- `"- #0+* +,-$01$5-+.,1aC X$- 41 ,";$ -3$1$

    -"-";+ 0$1-0+5-+.,1 "1 6.77.:1O

    NZ-"-";+ \. N -+7$1 ;"E ;$$- "- ",E 2.+,-C

    (Z-"-";+ \. ( -+7$1 ;"E ;$$- "- ",E 2.+,-C

    )Z-"-";+ \. ) -+7$1 ;"E ;$$- "- ",E 2.+,-CTZ-"-";+ \. T -+7$1 ;"E ;$$- "- ",E 2.+,-C

    [Z-"-";+ \. [ -+7$1 ;"E ;$$- "- ",E 2.+,-C

  • 7/25/2019 Tatami Tilings: How to Make a Mathematical Discovery

    25/48!"#$ & NT

    F.;$ .6 -3$1$ "0$ -.. 0$1-0+5-+9$ -. B$ 5.;B+,"-.0+"77E +,-$0$1-+,#J $C#C8 " B.@ ., -3$ +1.;$-0+5 #0+* 5",,.- B$ 5.9$0$* ",*

    1"-+16E -3$ NZ-"-";+ 0$1-0+5-+., 4,7$11 +- 5.,1+1-1 .6 " 1+,#7$ #0+*Z-0+",#7$ .0 ,. #0+*Z-0+",#7$1 `" 9"54.41 B.@>aC ^3418 :$ :.47*

    "0#4$ -3"- -3$ NZ-"-";+ 0$1-0+5-+., +1 5.;B+,"-.0+"77E 4,+,-$0$1-+,#C

    !"0- 'O e.0 $"53 .6 -3$ (8)8T8 ",* [Z-"-";+ 0$1-0+5-+.,1 "0#4$ :3E .0 :3E ,.- -3$E ;"E 3"9$ " 5.;B+,"-.0+"77E +,-$0$1-+,#

    1-045-40$C k.4 "0$ $,5.40"#$* -. 41$ *0":+,#18 ",* :0+-$ +, 6477 1$,-$,5$1 -. 1422.0- E.40 +*$"1C m4$1-+.,1 -. -3+,A "B.4-O ?1

    -3$ 047$ 1. 0$1-0+5-+9$ -3"- 9$0E 6$: 5.9$0+,#1 "0$ 2.11+B7$R K3E +1 -3+1 ,.- 5.;B+,"-.0+"77E +,-$0$1-+,#R ?1 -3$ 047$ 0"-3$0

    4,0$1-0+5-+9$8 1. -3"- "7;.1- $9$0E 5.9$0+,# +1 2.11+B7$R \.-$ -3"- TZ-"-";+ ",* [Z-"-";+ +1.;$-0+5a 5.9$0+,#1 "22$"0 +, -3$

    "5-+9+-+$1 6.0 ^4-.0+"7 TC

    !"0- NO e.0 -3$ TZ-"-";+ 0$1-0+5-+., *0": ",* *$150+B$ "1 ;453 .6 -3$ 1-045-40$ "1 E.4 5", `P+,-O U0#4$ +, !"0- ' -3"- -3+1 .,$

    u+1u 5.;B+,"-.0+"77E +,-$0$1-+,#C n1$ " ^3$.0$;d20..6 1-E7$ -3"- :$ 41$* 6.0 -3$ .0+#+,"7 -"-";+ 1-045-40$ +, ^4-.0+"71 NZ(C n1$

    -3$ +1.;$-0+5 #0+* 2"2$0 20.9+*$* +, -3$ U22$,*+@ +, .0*$0 -. *0": 5.,6+#40"-+.,1 .6 7.G$,#$ ",* -0+",#7$ -+7$1 -3"- ;"A$ 42 -3$

    1-045-40$8 "1 :$77 "1 " ,$: 9$01+., .6a b^Z*+"#0";1c8 :3$0$ "220.20+"-$C

    K0+-$ ;"@+;4; NSSS :.0*18 2741 6+#40$1C U,E 6+#40$1 13.47* B$ 7"B$77$*8 e+#40$ '8 e+#40$ N8 CCC8 ",* E.4 13.47* :0+-$ h`1$$

    e+#40$ @ah +, -3$ -$@- -. 0$6$0 -. -3$;C ^3$E *. ,.- ,$$* -. "22$"0 *+0$5-7E +, " -E2$* *.54;$,-8 B4- "77 6+#40$1 ;41- B$ 0$6$00$*

    -. +, -3$ -$@-C

  • 7/25/2019 Tatami Tilings: How to Make a Mathematical Discovery

    26/48!"#$ & N[

    !"#$%&'( *I!"#$%&'() +'(," +%&-%'

    J2(/ %5 /2* "#7$-5* -> 9#/-7%(& GK

    ^. 0$67$5- ., -3$ 6+,"7 "11+#,;$,-C

    ^. :"7A -30.4#3 -3$ 7.G$,#$ -"-";+ 20..6 -.#$-3$0C

    ^. +*$,-+6E ",* 5.00$5- ",E ;+14,*$01-",*+,#1 "B.4- -3$ ;"-$0+"7C

    ^. -3+,A "B.4- 64-40$ 0$1$"053 *+0$5-+.,1 6.0 -"-";+ 5.9$0+,#1C

    W3/%6%/%*5

    H@ ?*>&*3/%-; -; /2* >%;(& (55%P;)*;/ (;F 3-#75*X K3"- *+* E.4 6+,* ;.1- *+66+547-R W"1+$1-R K3"- *+* E.4 $,I.ER K3"-

    =4$1-+.,1 :.47* E.4 "** -. -3$ 6+,"7 "11+#,;$,-R

    (@ H )%;#/* 5#))(78X F4;;"0+1$ !"0- ' .6 -3$ 6+,"7 "11+#,;$,- +, ' ;+,4-$8 41+,# -+7$ 5.9$0+,#1 -3"- 1422.0-

    E.40 0$"1.,+,#C=@ ]Z%/ /%31*/5XK0+-$ *.:, .,$ 5.,5$2- .0 6"5- -3"- E.4 "0$ 5.,6+*$,- "B.4-8 ",* .,$ -3"- E.4 "0$ 4,140$ .6C

    M@ B2(7* 8-#7 F%53-6*7%*5X k.4 :+77 3"9$ -3$ .22.0-4,+-E -. 13"0$ E.40 *+15.9$0+$1 +, -3$ 6+,"7 "11+#,;$,- :+-3 E.40

    2$$01C K$ :+77 41$ -3+1 "5-+9+-E -. 5.77"B.0"-$ ., " 5.;27$-$ 20..6 .6 -3$ -0+",#7$Z7.G$,#$ TZ-"-";+ 5.9$0+,# 1-045-40$C

    N@ W&& R#*5/%-;5 (;5.*7*FX ? :+77 ",1:$0 E.40 =4$1-+.,1 "B.4- -"-";+ 5.9$0+,#1 ",* 0$7"-$* -3+,#1C

    )C V#/#7* 7*5*(732X U be4-40$ 0$1$"053c 1$5-+., +1 5.;;., +, "5"*$;+5 0$2.0-1 ",* "0-+57$1C ?- +1 " *$150+2-+., .6 :3"-

    -3$ 0$1$"053$0 -3+,A1 13.47* B$ 0$1$"053$* ,$@-8 BE 5.,1+*$0+,# :3"- 1.0-1 .6 ",1:$01 "0$ "53+$9"B7$ +, -3$ ,$"0

    64-40$8 .0 :3"- .2$, =4$1-+.,1 ;.1- +;2.0-",-C e.0 $@";27$8 .,$ +-$; .6 64-40$ 0$1$"053 5.47* B$ bL$1+#, " 5.;24-$0

    20.#0"; -. 50$"-$ *0":+,#1 .6 "77 -"-";+ 5.9$0+,#1 .6 -3$ [@[ 1=4"0$ #0+*cC J2(/ F- 8-# /2%;1 52-#&F =* >#/#7*

    7*5*(732 -; /(/()% 3-6*7%;P5K

  • 7/25/2019 Tatami Tilings: How to Make a Mathematical Discovery

    27/48!"#$ & Ng

    !""#$%&'

    9-)-1#

    P$0$ "0$ -3$ 6477 +,1-045-+.,1 6.0 -.;.A4 ",* 1$9$0"7 $@-0" 24GG7$1 -. 5.;27$-$C

  • 7/25/2019 Tatami Tilings: How to Make a Mathematical Discovery

    28/48!"#$ & NQ

  • 7/25/2019 Tatami Tilings: How to Make a Mathematical Discovery

    29/48!"#$ & Ni

  • 7/25/2019 Tatami Tilings: How to Make a Mathematical Discovery

    30/48!"#$ & (S

  • 7/25/2019 Tatami Tilings: How to Make a Mathematical Discovery

    31/48!"#$ & ('

    BR#(7* P7%F $($*7

  • 7/25/2019 Tatami Tilings: How to Make a Mathematical Discovery

    32/48!"#$ & (N

  • 7/25/2019 Tatami Tilings: How to Make a Mathematical Discovery

    33/48!"#$ & ((

  • 7/25/2019 Tatami Tilings: How to Make a Mathematical Discovery

    34/48!"#$ & ()

  • 7/25/2019 Tatami Tilings: How to Make a Mathematical Discovery

    35/48!"#$ & (T

  • 7/25/2019 Tatami Tilings: How to Make a Mathematical Discovery

    36/48!"#$ & ([

  • 7/25/2019 Tatami Tilings: How to Make a Mathematical Discovery

    37/48!"#$ & (g

  • 7/25/2019 Tatami Tilings: How to Make a Mathematical Discovery

    38/48!"#$ & (Q

  • 7/25/2019 Tatami Tilings: How to Make a Mathematical Discovery

    39/48!"#$ & (i

  • 7/25/2019 Tatami Tilings: How to Make a Mathematical Discovery

    40/48!"#$ & )S

  • 7/25/2019 Tatami Tilings: How to Make a Mathematical Discovery

    41/48!"#$ & )'

    Y5-)*/7%3 P7%F $($*7

  • 7/25/2019 Tatami Tilings: How to Make a Mathematical Discovery

    42/48!"#$ & )N

  • 7/25/2019 Tatami Tilings: How to Make a Mathematical Discovery

    43/48!"#$ & )(

  • 7/25/2019 Tatami Tilings: How to Make a Mathematical Discovery

    44/48!"#$ & ))

  • 7/25/2019 Tatami Tilings: How to Make a Mathematical Discovery

    45/48!"#$ & )T

  • 7/25/2019 Tatami Tilings: How to Make a Mathematical Discovery

    46/48!"#$ & )[

  • 7/25/2019 Tatami Tilings: How to Make a Mathematical Discovery

    47/48!"#$ & )g

  • 7/25/2019 Tatami Tilings: How to Make a Mathematical Discovery

    48/48