Managing your dependencies with Xavier Hanin [email protected]
The beauty of mathematics - Xavier Viennot · The beauty of mathematics Pope John Paul II College...
Transcript of The beauty of mathematics - Xavier Viennot · The beauty of mathematics Pope John Paul II College...
![Page 1: The beauty of mathematics - Xavier Viennot · The beauty of mathematics Pope John Paul II College of Education Pondicherry, 23 Feb 2012 Xavier Viennot CNRS, Bordeaux, France Part](https://reader033.fdocuments.us/reader033/viewer/2022042920/5f649316757a8126f145bb13/html5/thumbnails/1.jpg)
The beauty of mathematics
Pope John Paul II College of Education
Pondicherry, 23 Feb 2012 Xavier ViennotCNRS, Bordeaux, France
Part I : Tilings, classical combinatorics, trigonometry
![Page 2: The beauty of mathematics - Xavier Viennot · The beauty of mathematics Pope John Paul II College of Education Pondicherry, 23 Feb 2012 Xavier Viennot CNRS, Bordeaux, France Part](https://reader033.fdocuments.us/reader033/viewer/2022042920/5f649316757a8126f145bb13/html5/thumbnails/2.jpg)
§1 Tilings
some "beautiful" formulae
§1 Tilings
![Page 3: The beauty of mathematics - Xavier Viennot · The beauty of mathematics Pope John Paul II College of Education Pondicherry, 23 Feb 2012 Xavier Viennot CNRS, Bordeaux, France Part](https://reader033.fdocuments.us/reader033/viewer/2022042920/5f649316757a8126f145bb13/html5/thumbnails/3.jpg)
tiling the floor
(from Greg Kuperberg)
![Page 4: The beauty of mathematics - Xavier Viennot · The beauty of mathematics Pope John Paul II College of Education Pondicherry, 23 Feb 2012 Xavier Viennot CNRS, Bordeaux, France Part](https://reader033.fdocuments.us/reader033/viewer/2022042920/5f649316757a8126f145bb13/html5/thumbnails/4.jpg)
chessboard
8 rows8 columns
![Page 5: The beauty of mathematics - Xavier Viennot · The beauty of mathematics Pope John Paul II College of Education Pondicherry, 23 Feb 2012 Xavier Viennot CNRS, Bordeaux, France Part](https://reader033.fdocuments.us/reader033/viewer/2022042920/5f649316757a8126f145bb13/html5/thumbnails/5.jpg)
dimers
![Page 6: The beauty of mathematics - Xavier Viennot · The beauty of mathematics Pope John Paul II College of Education Pondicherry, 23 Feb 2012 Xavier Viennot CNRS, Bordeaux, France Part](https://reader033.fdocuments.us/reader033/viewer/2022042920/5f649316757a8126f145bb13/html5/thumbnails/6.jpg)
Tilings of a chessboardwith dimers
![Page 7: The beauty of mathematics - Xavier Viennot · The beauty of mathematics Pope John Paul II College of Education Pondicherry, 23 Feb 2012 Xavier Viennot CNRS, Bordeaux, France Part](https://reader033.fdocuments.us/reader033/viewer/2022042920/5f649316757a8126f145bb13/html5/thumbnails/7.jpg)
Tilings of a chessboardwith dimers
![Page 8: The beauty of mathematics - Xavier Viennot · The beauty of mathematics Pope John Paul II College of Education Pondicherry, 23 Feb 2012 Xavier Viennot CNRS, Bordeaux, France Part](https://reader033.fdocuments.us/reader033/viewer/2022042920/5f649316757a8126f145bb13/html5/thumbnails/8.jpg)
Tilings of a chessboardwith dimers
![Page 9: The beauty of mathematics - Xavier Viennot · The beauty of mathematics Pope John Paul II College of Education Pondicherry, 23 Feb 2012 Xavier Viennot CNRS, Bordeaux, France Part](https://reader033.fdocuments.us/reader033/viewer/2022042920/5f649316757a8126f145bb13/html5/thumbnails/9.jpg)
Tilings of a chessboardwith dimers
![Page 10: The beauty of mathematics - Xavier Viennot · The beauty of mathematics Pope John Paul II College of Education Pondicherry, 23 Feb 2012 Xavier Viennot CNRS, Bordeaux, France Part](https://reader033.fdocuments.us/reader033/viewer/2022042920/5f649316757a8126f145bb13/html5/thumbnails/10.jpg)
Tilings of a chessboardwith dimers
the number of tilings for the 8 x 8 chessboard = 12 988 816
![Page 11: The beauty of mathematics - Xavier Viennot · The beauty of mathematics Pope John Paul II College of Education Pondicherry, 23 Feb 2012 Xavier Viennot CNRS, Bordeaux, France Part](https://reader033.fdocuments.us/reader033/viewer/2022042920/5f649316757a8126f145bb13/html5/thumbnails/11.jpg)
A beautiful formula ....
with Aztec tilings
![Page 12: The beauty of mathematics - Xavier Viennot · The beauty of mathematics Pope John Paul II College of Education Pondicherry, 23 Feb 2012 Xavier Viennot CNRS, Bordeaux, France Part](https://reader033.fdocuments.us/reader033/viewer/2022042920/5f649316757a8126f145bb13/html5/thumbnails/12.jpg)
Aztecdiagram
![Page 13: The beauty of mathematics - Xavier Viennot · The beauty of mathematics Pope John Paul II College of Education Pondicherry, 23 Feb 2012 Xavier Viennot CNRS, Bordeaux, France Part](https://reader033.fdocuments.us/reader033/viewer/2022042920/5f649316757a8126f145bb13/html5/thumbnails/13.jpg)
28
![Page 14: The beauty of mathematics - Xavier Viennot · The beauty of mathematics Pope John Paul II College of Education Pondicherry, 23 Feb 2012 Xavier Viennot CNRS, Bordeaux, France Part](https://reader033.fdocuments.us/reader033/viewer/2022042920/5f649316757a8126f145bb13/html5/thumbnails/14.jpg)
2 8 64 1024
21 23 26 210
numberof
tilings
2(1+2) 2(1+2+3+4)2(1+2+3)21
![Page 15: The beauty of mathematics - Xavier Viennot · The beauty of mathematics Pope John Paul II College of Education Pondicherry, 23 Feb 2012 Xavier Viennot CNRS, Bordeaux, France Part](https://reader033.fdocuments.us/reader033/viewer/2022042920/5f649316757a8126f145bb13/html5/thumbnails/15.jpg)
the number of
tilings of the Aztec diagram
with dimersis
2(1+2+3+4+ ....+n)
![Page 16: The beauty of mathematics - Xavier Viennot · The beauty of mathematics Pope John Paul II College of Education Pondicherry, 23 Feb 2012 Xavier Viennot CNRS, Bordeaux, France Part](https://reader033.fdocuments.us/reader033/viewer/2022042920/5f649316757a8126f145bb13/html5/thumbnails/16.jpg)
2 50×51( )/2 = 21275
![Page 17: The beauty of mathematics - Xavier Viennot · The beauty of mathematics Pope John Paul II College of Education Pondicherry, 23 Feb 2012 Xavier Viennot CNRS, Bordeaux, France Part](https://reader033.fdocuments.us/reader033/viewer/2022042920/5f649316757a8126f145bb13/html5/thumbnails/17.jpg)
going back to tilings of the chessboard
![Page 18: The beauty of mathematics - Xavier Viennot · The beauty of mathematics Pope John Paul II College of Education Pondicherry, 23 Feb 2012 Xavier Viennot CNRS, Bordeaux, France Part](https://reader033.fdocuments.us/reader033/viewer/2022042920/5f649316757a8126f145bb13/html5/thumbnails/18.jpg)
Tilings of a chessboardwith dimers
![Page 19: The beauty of mathematics - Xavier Viennot · The beauty of mathematics Pope John Paul II College of Education Pondicherry, 23 Feb 2012 Xavier Viennot CNRS, Bordeaux, France Part](https://reader033.fdocuments.us/reader033/viewer/2022042920/5f649316757a8126f145bb13/html5/thumbnails/19.jpg)
it is an integer !
for a chessboard m=8, n=8: 12 988 816
the number of tilings with dimers am × n rectangle is
![Page 20: The beauty of mathematics - Xavier Viennot · The beauty of mathematics Pope John Paul II College of Education Pondicherry, 23 Feb 2012 Xavier Viennot CNRS, Bordeaux, France Part](https://reader033.fdocuments.us/reader033/viewer/2022042920/5f649316757a8126f145bb13/html5/thumbnails/20.jpg)
§2 classical combinatorics
![Page 21: The beauty of mathematics - Xavier Viennot · The beauty of mathematics Pope John Paul II College of Education Pondicherry, 23 Feb 2012 Xavier Viennot CNRS, Bordeaux, France Part](https://reader033.fdocuments.us/reader033/viewer/2022042920/5f649316757a8126f145bb13/html5/thumbnails/21.jpg)
![Page 22: The beauty of mathematics - Xavier Viennot · The beauty of mathematics Pope John Paul II College of Education Pondicherry, 23 Feb 2012 Xavier Viennot CNRS, Bordeaux, France Part](https://reader033.fdocuments.us/reader033/viewer/2022042920/5f649316757a8126f145bb13/html5/thumbnails/22.jpg)
permutations
n!= 1× 2 × ...× n
1, 2, 6, 24, 120, 720, 5040, 40320,...
k elements subset of a set having n elements
nk
⎛⎝⎜
⎞⎠⎟=
n!k!(n − k)!
![Page 23: The beauty of mathematics - Xavier Viennot · The beauty of mathematics Pope John Paul II College of Education Pondicherry, 23 Feb 2012 Xavier Viennot CNRS, Bordeaux, France Part](https://reader033.fdocuments.us/reader033/viewer/2022042920/5f649316757a8126f145bb13/html5/thumbnails/23.jpg)
binomial coefficients
1+ t( )n = 1+ n1
⎛⎝⎜
⎞⎠⎟t + n
2⎛⎝⎜
⎞⎠⎟t 2 + n
3⎛⎝⎜
⎞⎠⎟t 3 + ...+ n
k⎛⎝⎜
⎞⎠⎟t k + ...+ n
n⎛⎝⎜
⎞⎠⎟t n
nk
⎛⎝⎜
⎞⎠⎟=
n!k!(n − k)!
![Page 24: The beauty of mathematics - Xavier Viennot · The beauty of mathematics Pope John Paul II College of Education Pondicherry, 23 Feb 2012 Xavier Viennot CNRS, Bordeaux, France Part](https://reader033.fdocuments.us/reader033/viewer/2022042920/5f649316757a8126f145bb13/html5/thumbnails/24.jpg)
Pascal trianglebinomial coefficients
![Page 25: The beauty of mathematics - Xavier Viennot · The beauty of mathematics Pope John Paul II College of Education Pondicherry, 23 Feb 2012 Xavier Viennot CNRS, Bordeaux, France Part](https://reader033.fdocuments.us/reader033/viewer/2022042920/5f649316757a8126f145bb13/html5/thumbnails/25.jpg)
Yang Hui triangle(11th, 12th century)
![Page 26: The beauty of mathematics - Xavier Viennot · The beauty of mathematics Pope John Paul II College of Education Pondicherry, 23 Feb 2012 Xavier Viennot CNRS, Bordeaux, France Part](https://reader033.fdocuments.us/reader033/viewer/2022042920/5f649316757a8126f145bb13/html5/thumbnails/26.jpg)
in PersiaOmar Khayyam(1048-1131)
in IndiaChandas Shastra by Pingala
2nd century BC
relation with Fibonacci numbers(10th century)
![Page 27: The beauty of mathematics - Xavier Viennot · The beauty of mathematics Pope John Paul II College of Education Pondicherry, 23 Feb 2012 Xavier Viennot CNRS, Bordeaux, France Part](https://reader033.fdocuments.us/reader033/viewer/2022042920/5f649316757a8126f145bb13/html5/thumbnails/27.jpg)
1
235
1
81321
![Page 28: The beauty of mathematics - Xavier Viennot · The beauty of mathematics Pope John Paul II College of Education Pondicherry, 23 Feb 2012 Xavier Viennot CNRS, Bordeaux, France Part](https://reader033.fdocuments.us/reader033/viewer/2022042920/5f649316757a8126f145bb13/html5/thumbnails/28.jpg)
1, 1,2, 3, 5, 8, 13, 21, 34, 55,...
Fibonacci numbers
Fn+1 = Fn + Fn−1
F0 = 1,F1 = 1
![Page 29: The beauty of mathematics - Xavier Viennot · The beauty of mathematics Pope John Paul II College of Education Pondicherry, 23 Feb 2012 Xavier Viennot CNRS, Bordeaux, France Part](https://reader033.fdocuments.us/reader033/viewer/2022042920/5f649316757a8126f145bb13/html5/thumbnails/29.jpg)
![Page 30: The beauty of mathematics - Xavier Viennot · The beauty of mathematics Pope John Paul II College of Education Pondicherry, 23 Feb 2012 Xavier Viennot CNRS, Bordeaux, France Part](https://reader033.fdocuments.us/reader033/viewer/2022042920/5f649316757a8126f145bb13/html5/thumbnails/30.jpg)
spirals
![Page 31: The beauty of mathematics - Xavier Viennot · The beauty of mathematics Pope John Paul II College of Education Pondicherry, 23 Feb 2012 Xavier Viennot CNRS, Bordeaux, France Part](https://reader033.fdocuments.us/reader033/viewer/2022042920/5f649316757a8126f145bb13/html5/thumbnails/31.jpg)
spirals
1, 2, 3, 5, 8, 13, 21, 34, ...
Fibonacci numbers
![Page 32: The beauty of mathematics - Xavier Viennot · The beauty of mathematics Pope John Paul II College of Education Pondicherry, 23 Feb 2012 Xavier Viennot CNRS, Bordeaux, France Part](https://reader033.fdocuments.us/reader033/viewer/2022042920/5f649316757a8126f145bb13/html5/thumbnails/32.jpg)
dimers
matching
tiling
![Page 33: The beauty of mathematics - Xavier Viennot · The beauty of mathematics Pope John Paul II College of Education Pondicherry, 23 Feb 2012 Xavier Viennot CNRS, Bordeaux, France Part](https://reader033.fdocuments.us/reader033/viewer/2022042920/5f649316757a8126f145bb13/html5/thumbnails/33.jpg)
dimers
total number of matchings = Fn
Fibonacci numberFn+1 = Fn + Fn−1
F1 = 1,F2 = 2
n=8
n-1
n-2
![Page 34: The beauty of mathematics - Xavier Viennot · The beauty of mathematics Pope John Paul II College of Education Pondicherry, 23 Feb 2012 Xavier Viennot CNRS, Bordeaux, France Part](https://reader033.fdocuments.us/reader033/viewer/2022042920/5f649316757a8126f145bb13/html5/thumbnails/34.jpg)
§3 Combinatorial interpretationsof some formulae
![Page 35: The beauty of mathematics - Xavier Viennot · The beauty of mathematics Pope John Paul II College of Education Pondicherry, 23 Feb 2012 Xavier Viennot CNRS, Bordeaux, France Part](https://reader033.fdocuments.us/reader033/viewer/2022042920/5f649316757a8126f145bb13/html5/thumbnails/35.jpg)
trigonometry
![Page 36: The beauty of mathematics - Xavier Viennot · The beauty of mathematics Pope John Paul II College of Education Pondicherry, 23 Feb 2012 Xavier Viennot CNRS, Bordeaux, France Part](https://reader033.fdocuments.us/reader033/viewer/2022042920/5f649316757a8126f145bb13/html5/thumbnails/36.jpg)
sin2θ = 2sinθ cosθsin 3θ = sinθ 4 cos2θ −1( )sin 4θ = sinθ 8cos3θ − 4 cosθ( ).........
cos4θ = 8cos4θ − 8cos2θ +1( )cos3θ = 4 cos3θ − 3cosθ( )cos2θ = 2cos2θ −1( )
.........
![Page 37: The beauty of mathematics - Xavier Viennot · The beauty of mathematics Pope John Paul II College of Education Pondicherry, 23 Feb 2012 Xavier Viennot CNRS, Bordeaux, France Part](https://reader033.fdocuments.us/reader033/viewer/2022042920/5f649316757a8126f145bb13/html5/thumbnails/37.jpg)
dimers
matching
![Page 38: The beauty of mathematics - Xavier Viennot · The beauty of mathematics Pope John Paul II College of Education Pondicherry, 23 Feb 2012 Xavier Viennot CNRS, Bordeaux, France Part](https://reader033.fdocuments.us/reader033/viewer/2022042920/5f649316757a8126f145bb13/html5/thumbnails/38.jpg)
dimers
x3
−x
−x
sin 4θ = sinθ 8cos3θ − 4 cosθ( )
2cosθ( )3
2cosθ( )
![Page 39: The beauty of mathematics - Xavier Viennot · The beauty of mathematics Pope John Paul II College of Education Pondicherry, 23 Feb 2012 Xavier Viennot CNRS, Bordeaux, France Part](https://reader033.fdocuments.us/reader033/viewer/2022042920/5f649316757a8126f145bb13/html5/thumbnails/39.jpg)
dimers
x4
−x2
−x2
−x2
1
sin5θ = sinθ 16cos4θ −12cos2θ +1( )
2cosθ( )4
2cosθ( )2
1
![Page 40: The beauty of mathematics - Xavier Viennot · The beauty of mathematics Pope John Paul II College of Education Pondicherry, 23 Feb 2012 Xavier Viennot CNRS, Bordeaux, France Part](https://reader033.fdocuments.us/reader033/viewer/2022042920/5f649316757a8126f145bb13/html5/thumbnails/40.jpg)
matching
n − kk
⎛⎝⎜
⎞⎠⎟xn−2k
k dimersn = 8k = 2
![Page 41: The beauty of mathematics - Xavier Viennot · The beauty of mathematics Pope John Paul II College of Education Pondicherry, 23 Feb 2012 Xavier Viennot CNRS, Bordeaux, France Part](https://reader033.fdocuments.us/reader033/viewer/2022042920/5f649316757a8126f145bb13/html5/thumbnails/41.jpg)
1
235
1
81321
![Page 42: The beauty of mathematics - Xavier Viennot · The beauty of mathematics Pope John Paul II College of Education Pondicherry, 23 Feb 2012 Xavier Viennot CNRS, Bordeaux, France Part](https://reader033.fdocuments.us/reader033/viewer/2022042920/5f649316757a8126f145bb13/html5/thumbnails/42.jpg)
dimers x4
−4x4 +2
16cos4θ −16cos2θ + 2( )x→ 2cosθ
cos4θ = 8cos4θ − 8cos2θ +1( )