23 juni 2009, TU/e23 juni 2009, TU/e Tom Verhoe Technische Universiteit Eindhoven Faculteit Wiskunde...

20
Polygonen met Constante Torsie Algemeen Wiskunde Colloquium 23 juni 2009, TU/e Tom Verhoeff Technische Universiteit Eindhoven Faculteit Wiskunde & Informatica c 2009, T. Verhoeff @ TUE.NL 1/20 Polygonen met constante torsie

Transcript of 23 juni 2009, TU/e23 juni 2009, TU/e Tom Verhoe Technische Universiteit Eindhoven Faculteit Wiskunde...

Page 1: 23 juni 2009, TU/e23 juni 2009, TU/e Tom Verhoe Technische Universiteit Eindhoven Faculteit Wiskunde & Informatica c 2009, T. Verhoe @ TUE.NL 1/20 Polygonen met constante torsie Wiskunst

Polygonen met Constante Torsie

Algemeen Wiskunde Colloquium

23 juni 2009, TU/e

Tom Verhoeff

Technische Universiteit Eindhoven

Faculteit Wiskunde & Informatica

c© 2009, T. Verhoeff @ TUE.NL 1/20 Polygonen met constante torsie

Page 2: 23 juni 2009, TU/e23 juni 2009, TU/e Tom Verhoe Technische Universiteit Eindhoven Faculteit Wiskunde & Informatica c 2009, T. Verhoe @ TUE.NL 1/20 Polygonen met constante torsie Wiskunst

Wiskunst

Koos VerhoeffValkenswaard

c© 2009, T. Verhoeff @ TUE.NL 2/20 Polygonen met constante torsie

Page 3: 23 juni 2009, TU/e23 juni 2009, TU/e Tom Verhoe Technische Universiteit Eindhoven Faculteit Wiskunde & Informatica c 2009, T. Verhoe @ TUE.NL 1/20 Polygonen met constante torsie Wiskunst

Verstek

cylinder

cutting blade

α

α

blade normal

α_

α_

cylinder

angle bisector

α

2α_

α

c© 2009, T. Verhoeff @ TUE.NL 3/20 Polygonen met constante torsie

Page 4: 23 juni 2009, TU/e23 juni 2009, TU/e Tom Verhoe Technische Universiteit Eindhoven Faculteit Wiskunde & Informatica c 2009, T. Verhoe @ TUE.NL 1/20 Polygonen met constante torsie Wiskunst

Swing

Karel de GrotelaanEindhoven

Arie Berkulin1977

c© 2009, T. Verhoeff @ TUE.NL 4/20 Polygonen met constante torsie

Page 5: 23 juni 2009, TU/e23 juni 2009, TU/e Tom Verhoe Technische Universiteit Eindhoven Faculteit Wiskunde & Informatica c 2009, T. Verhoe @ TUE.NL 1/20 Polygonen met constante torsie Wiskunst

Ruimtelijk Verstek

• Aangrenzende balksegmenten spannen een vlak op: knikvlak

• Torsiehoek = hoek tussen aangrenzende knikvlakken

c© 2009, T. Verhoeff @ TUE.NL 5/20 Polygonen met constante torsie

Page 6: 23 juni 2009, TU/e23 juni 2009, TU/e Tom Verhoe Technische Universiteit Eindhoven Faculteit Wiskunde & Informatica c 2009, T. Verhoe @ TUE.NL 1/20 Polygonen met constante torsie Wiskunst

Verstek dat (Niet) Sluit

Rond profiel Vierkant profiel Driehoekig profiel

c© 2009, T. Verhoeff @ TUE.NL 6/20 Polygonen met constante torsie

Page 7: 23 juni 2009, TU/e23 juni 2009, TU/e Tom Verhoe Technische Universiteit Eindhoven Faculteit Wiskunde & Informatica c 2009, T. Verhoe @ TUE.NL 1/20 Polygonen met constante torsie Wiskunst

Verstekstelling

De totale torsie is een inherente

eigenschap van het polygonale pad

en hangt niet af van

• keuze eerste segment

• initiele rotatie van

profiel om hartlijn

• vorm van profiel

Stelling: Verstek sluit ⇐⇒ totale torsie is symmetrie van profiel

c© 2009, T. Verhoeff @ TUE.NL 7/20 Polygonen met constante torsie

Page 8: 23 juni 2009, TU/e23 juni 2009, TU/e Tom Verhoe Technische Universiteit Eindhoven Faculteit Wiskunde & Informatica c 2009, T. Verhoe @ TUE.NL 1/20 Polygonen met constante torsie Wiskunst

Drie Technieken om Torsie te Beheersen

‘Prutsen’ Roosterwandelen Constante torsie

c© 2009, T. Verhoeff @ TUE.NL 8/20 Polygonen met constante torsie

Page 9: 23 juni 2009, TU/e23 juni 2009, TU/e Tom Verhoe Technische Universiteit Eindhoven Faculteit Wiskunde & Informatica c 2009, T. Verhoe @ TUE.NL 1/20 Polygonen met constante torsie Wiskunst

3D Schildpad Meetkunde (Turtle Geometry)

Toestand :

• Positie in de ruimte

• Houding = ( richtingsvector, normaalvector )

Heading

Normal

Commando’s :

• Move(d): beweeg afstand d langs richtingsvector

• Turn(ϕ): draai over hoek ϕ om normaalvector

• Roll(ψ) : rol over hoek ψ om richtingsvector

c© 2009, T. Verhoeff @ TUE.NL 9/20 Polygonen met constante torsie

Page 10: 23 juni 2009, TU/e23 juni 2009, TU/e Tom Verhoe Technische Universiteit Eindhoven Faculteit Wiskunde & Informatica c 2009, T. Verhoe @ TUE.NL 1/20 Polygonen met constante torsie Wiskunst

Regelmatige Vlakke Veelhoeken

• Alle segmenten hebben dezelfde lengte

• Alle knikhoeken zijn hetzelfde, nl. 180◦ − 360◦/N

Logo programma: Repeat N [ Forward 100 Left 360 / N ]

c© 2009, T. Verhoeff @ TUE.NL 10/20 Polygonen met constante torsie

Page 11: 23 juni 2009, TU/e23 juni 2009, TU/e Tom Verhoe Technische Universiteit Eindhoven Faculteit Wiskunde & Informatica c 2009, T. Verhoe @ TUE.NL 1/20 Polygonen met constante torsie Wiskunst

Generalisatie naar 3D

Extra eis: Alle torsiehoeken zijn hetzelfde (in absolute waarde)

c© 2009, T. Verhoeff @ TUE.NL 11/20 Polygonen met constante torsie

Page 12: 23 juni 2009, TU/e23 juni 2009, TU/e Tom Verhoe Technische Universiteit Eindhoven Faculteit Wiskunde & Informatica c 2009, T. Verhoe @ TUE.NL 1/20 Polygonen met constante torsie Wiskunst

Constante-Torsie Polygonen

Definieer

Segment(d, ψ, ϕ) = Move(d) ; Roll(ψ) ; Turn(ϕ)

Constante-Torsie (CT) pad: geproduceerd door rij van Segment(di, ψi, ϕi)met alle |ψi| = ψ, alle di > 0, en alle ϕi 6= 0 (mod 180◦)

Regelmatig pad: alle di = d and ϕi = ϕ for 0 < ϕ < 180◦

CT polygoon: netjes gesloten CT pad

Schildpad programma heet netjes gesloten wanneer schildpad eindigtin initiele toestand, d.w.z. initiele positie en initiele houding

CT polygoon is bepaald door d, ψ, ϕ en de rij van rol-tekens

c© 2009, T. Verhoeff @ TUE.NL 12/20 Polygonen met constante torsie

Page 13: 23 juni 2009, TU/e23 juni 2009, TU/e Tom Verhoe Technische Universiteit Eindhoven Faculteit Wiskunde & Informatica c 2009, T. Verhoe @ TUE.NL 1/20 Polygonen met constante torsie Wiskunst

Constructie van CT Polygonen

Existentie van tekenrij en waardes van hoeken ψ,ϕ niet evident

Methode: Kies tekenrij en een van ψ of ϕ, bepaal dan de andere hoek

Bijv.: Gegeven tekenrij (++--)4, ψ = 90◦, bepaal ϕ voor sluiting

-0.5

0.0

0.5

1.0

x

-1.0

-0.5

0.0

0.5y

0.0

0.5

1.0

z

0 50 100 150j

0.5

1.0

1.5

2.0gap

c© 2009, T. Verhoeff @ TUE.NL 13/20 Polygonen met constante torsie

Page 14: 23 juni 2009, TU/e23 juni 2009, TU/e Tom Verhoe Technische Universiteit Eindhoven Faculteit Wiskunde & Informatica c 2009, T. Verhoe @ TUE.NL 1/20 Polygonen met constante torsie Wiskunst

φ-ψ Landschappen

++--++--++--++-- ++-++--+--++-++--+--

16 segmenten 20 segmenten

c© 2009, T. Verhoeff @ TUE.NL 14/20 Polygonen met constante torsie

Page 15: 23 juni 2009, TU/e23 juni 2009, TU/e Tom Verhoe Technische Universiteit Eindhoven Faculteit Wiskunde & Informatica c 2009, T. Verhoe @ TUE.NL 1/20 Polygonen met constante torsie Wiskunst

Enkele Observaties over CT Polygonen

Gesloten CT pad hoeft geen CT polygoon te zijn

ψ = 90◦, ϕ = 120◦, tekenrij +--++--++--++-

CT polygoon kan zelfdoorsnijdend zijn

ψ = 90◦, ϕ = 112.456◦, tekenrij +-+-+-+-+-

c© 2009, T. Verhoeff @ TUE.NL 15/20 Polygonen met constante torsie

Page 16: 23 juni 2009, TU/e23 juni 2009, TU/e Tom Verhoe Technische Universiteit Eindhoven Faculteit Wiskunde & Informatica c 2009, T. Verhoe @ TUE.NL 1/20 Polygonen met constante torsie Wiskunst

Eigenschappen van Regelmatige Constante-Torsie Polygonen

Afstand tussen hoekpunten met k segmenten ertussen is constant

voor k = 1,2,3

Totale torsie =n∑i=1

ψi ≡ 0 (mod ψ)

Gevolg: Verstek sluit ⇐⇒ ψ is symmetrie van profiel

Bij vierkant profiel is ψ = 90◦ practisch

c© 2009, T. Verhoeff @ TUE.NL 16/20 Polygonen met constante torsie

Page 17: 23 juni 2009, TU/e23 juni 2009, TU/e Tom Verhoe Technische Universiteit Eindhoven Faculteit Wiskunde & Informatica c 2009, T. Verhoe @ TUE.NL 1/20 Polygonen met constante torsie Wiskunst

Enkele Oneindige Families van Regelmatige CT Polygonen

• Alternerende tekens (+-)n: ‘kronen’, hoekpunten in twee lagen

• (++--)n: hoekpunten in drie lagen

• (+++---)n: hoekpunten in vier lagen

c© 2009, T. Verhoeff @ TUE.NL 17/20 Polygonen met constante torsie

Page 18: 23 juni 2009, TU/e23 juni 2009, TU/e Tom Verhoe Technische Universiteit Eindhoven Faculteit Wiskunde & Informatica c 2009, T. Verhoe @ TUE.NL 1/20 Polygonen met constante torsie Wiskunst

Kunstwerken

(++--)3 (++--)4 (++--)5 (+++---)3

(++-++--+--)3 (+++--++---)4 (+++---)4

c© 2009, T. Verhoeff @ TUE.NL 18/20 Polygonen met constante torsie

Page 19: 23 juni 2009, TU/e23 juni 2009, TU/e Tom Verhoe Technische Universiteit Eindhoven Faculteit Wiskunde & Informatica c 2009, T. Verhoe @ TUE.NL 1/20 Polygonen met constante torsie Wiskunst

Conclusie

• Definitie van (regelmatige) 3D polygonen met constante torsie

• Enkele eigenschappen ervan

• Enkele constructies

• Kunstwerken

Open problemen:

• Volledige karakterisatie ervan

• Zitten er knopen tussen?

• Is een Mobiusslag mogelijk: totale torsie 6= 0 (mod 360◦)

c© 2009, T. Verhoeff @ TUE.NL 19/20 Polygonen met constante torsie

Page 20: 23 juni 2009, TU/e23 juni 2009, TU/e Tom Verhoe Technische Universiteit Eindhoven Faculteit Wiskunde & Informatica c 2009, T. Verhoe @ TUE.NL 1/20 Polygonen met constante torsie Wiskunst

Meer Informatie

• “The Mathematics of Mitering and Its Artful Application”,

Bridges 2008

• “Regular 3D Polygonal Circuits of Constant Torsion”,

Bridges 2009

• Mathematica Demonstrations Project:

Miter Joint and Fold Joint

Mitering a Closed 3D Path

3D Flying Pipe-laying Turtle

• Stichting Wiskunst Koos Verhoeff

wiskunst.dse.nl

c© 2009, T. Verhoeff @ TUE.NL 20/20 Polygonen met constante torsie