23 juni 2009, TU/e23 juni 2009, TU/e Tom Verhoe Technische Universiteit Eindhoven Faculteit Wiskunde...
Transcript of 23 juni 2009, TU/e23 juni 2009, TU/e Tom Verhoe Technische Universiteit Eindhoven Faculteit Wiskunde...
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
Wiskunst
Koos VerhoeffValkenswaard
c© 2009, T. Verhoeff @ TUE.NL 2/20 Polygonen met constante torsie
Verstek
cylinder
cutting blade
α
α
blade normal
α_
α_
cylinder
angle bisector
α
2α
2α_
α
c© 2009, T. Verhoeff @ TUE.NL 3/20 Polygonen met constante torsie
Swing
Karel de GrotelaanEindhoven
Arie Berkulin1977
c© 2009, T. Verhoeff @ TUE.NL 4/20 Polygonen met constante torsie
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
Verstek dat (Niet) Sluit
Rond profiel Vierkant profiel Driehoekig profiel
c© 2009, T. Verhoeff @ TUE.NL 6/20 Polygonen met constante torsie
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
Drie Technieken om Torsie te Beheersen
‘Prutsen’ Roosterwandelen Constante torsie
c© 2009, T. Verhoeff @ TUE.NL 8/20 Polygonen met constante torsie
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
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
Generalisatie naar 3D
Extra eis: Alle torsiehoeken zijn hetzelfde (in absolute waarde)
c© 2009, T. Verhoeff @ TUE.NL 11/20 Polygonen met constante torsie
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
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
φ-ψ Landschappen
++--++--++--++-- ++-++--+--++-++--+--
16 segmenten 20 segmenten
c© 2009, T. Verhoeff @ TUE.NL 14/20 Polygonen met constante torsie
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
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
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
Kunstwerken
(++--)3 (++--)4 (++--)5 (+++---)3
(++-++--+--)3 (+++--++---)4 (+++---)4
c© 2009, T. Verhoeff @ TUE.NL 18/20 Polygonen met constante torsie
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
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