klik - Izleti v matematično vesolje

Veriˇznica
Izleti v matematiˇcno vesolje
Marko Razpet
Pedagoˇska fakulteta, Univerza v Ljubljani
Koper, 22. oktober 2010
Marko Razpet
Veriˇznica
Kaj je veriˇznica?
Tanka, gibka, neraztegljiva in homogena nit ali veriga, ki jo
obesimo v dveh toˇckah tako, da prosto visi, zaradi teˇznosti po
umiritvi zavzame obliko krivulje, ki ji pravimo veriˇznica.
Marko Razpet
Veriˇznica
Veriˇznica na vsakem koraku
Marko Razpet
Veriˇznica
Galilei
Znanstveniki so se ˇze od nekdaj zanimali, kako bi to znamenito
krivuljo opisali tudi matematiˇcno. Galileo Galilei (1564–1642) je
trdil, da je veriˇznica kar parabola.
Marko Razpet
Veriˇznica
Huygens, Mersenne, Jungius
Okrog leta 1646 je Christiaan Huygens (1629–1695) v nekem
pismu Marinu Mersennu (1588–1648) zaupal, da veriˇznica ni
parabola. Do tega sklepa je priˇsel tudi Joachim Jungius
(1587–1657) in to tudi potrdil z eksperimentom.
Marko Razpet
Veriˇznica
Bernoulli, Gregory, Leibniz
Ko je bil na voljo infinitezimalni raˇcun, so se s problemom oblike
veriˇznice na pobudo Jakoba Bernoullija (1654–1705) spopadli
Johann Bernoulli (1667–1748), David Gregory (1659–1708) in
Gottfried W. Leibniz (1646–1716). Priˇsli so do ugotovitve, da je
veriˇznica del grafa funkcije x 7→ a ch(x/a).
Marko Razpet
Veriˇznica
Leibniz
Marko Razpet
Veriˇznica
Hooke
Robert Hooke (1635–1703) je raziskoval trdnostne lastnosti
obokov, ki imajo v preseku obliko narobe obrnjene veriˇznice. V
gradbeniˇstvu so take oboke izdelovali ˇze veliko prej.
Robert Hooke – upodobitev Rite Greer, 2004.
Marko Razpet
Veriˇznica
O imenu
V SSKJ najdemo dva pomena:
veriˇ
znica1 -e ˇz (i) ˇzenska oblika od veriˇznik, prekupˇcevalec:
veriˇznica z jajci
veriˇ
znica2 -e ˇz (i) teh. kolo z ˇzlebom na obodu, po katerem teˇce
veriga: natakniti verigo na veriˇznico
♢ mat. krivulja, ki ima obliko prosto viseˇce, v dveh toˇckah pritrjene
vrvice; navt. ladijsko skladiˇsˇce verig
Marko Razpet
Veriˇznica
Jefferson
Baje je angleˇsko besedo za veriˇznico, catenary, predlagal Thomas
Jefferson (1743–1826), tretji predsednik ZDA. Beseda temelji na
latinski catena, kar pomeni veriga. Raziskovali so tudi
nehomogene, raztegljive, vrteˇce se in druge veriˇznice.
Marko Razpet
Veriˇznica
Veriˇznica v nekaterih drugih jezikih
Angleˇsko: catenary;
nemˇsko: Kettenlinie;
nizozemsko: kettinglijn;
ˇsvedsko: kedjekurva;
francosko: chaˆınette;
italijansko, ˇspansko: catenaria;
katalonsko: caten`
aria;
portugalsko: caten´
aria;
madˇzarsko: l´
ancg¨
orbe;
ˇceˇsko: ˇretˇ
ezovka;
poljsko: krzywa ̷la´
ncuchowa;
hrvaˇsko: lanˇ
canica;
rusko: цепная линия;
ukrajinsko: ланцюгова лінія.
Marko Razpet
Veriˇznica
Veriˇznica v arhitekturi. Taq-i Kisra, Irak.
Marko Razpet
Veriˇznica
Veriˇznica v arhitekturi. Barcelona, Casa Mil`a, arh. Antoni
Gaud`ı.
Marko Razpet
Veriˇznica
Veriˇznica v arhitekturi. Sheffield, Winter Garden, arh.
Pringle Richards Sharratt Architects.
Marko Razpet
Veriˇznica
Veriˇznica v arhitekturi. St. Louis, Missouri, Gateway Arch,
arh. Eero Saarinen.
Marko Razpet
Veriˇznica
Hiperboliˇcne funkcije
Neodvisno drug od drugega sta jih vpeljala leta 1760 Johann
Heinrich Lambert (1728–1777) in Vincenzo Riccati (1707–1775).
Marko Razpet
Veriˇznica
Hiperboliˇcne funkcije – osnovne formule
1
sh x = (e x − e −x )
2
sh x
th x =
ch x
1
ch2 x − sh2 x = 1, 1 − th2 x = 2
ch x
th x
sh x = √
1 − th2 x
1
ch x = (e x + e −x ),
2
(ch x)′ = sh x,
ch(−x) = ch x,
Marko Razpet
(sh x)′ = ch x
sh(−x) = − sh x
Veriˇznica
Grafi hiperboliˇcnih funkcij
...
..
..
...
......
.........
...
....
...
...
......
.
.
.
.
...
......
....
...
...
......
...
.. .
...
...
......
....
.
.
.
.
.
.
....
..
....
....
.... ...
.....
.... ..
...
.....
.... .
....... ...
..... ...
........................... .....
...
...
....
...
....
... ........
... ......
.. ....
.........................................................................................................................................................................................
.... .
.... ....
.
.
.
.... ...
....
....
....
....
...
....
.
...
.
...
...
.
..
...
.
..
...
.
..
...
.
..
...
.
..
...
.
..
...
.
..
.
...
..
.
...
..
.
...
..
.
y
ch
0
x
sh
Marko Razpet
..
.........
...
....
..
...
...
...
...
...
...
...................................
.........................
...................
...
.........
...
......
... ..........
... ......
.. ...
..........................................................................................................................................................................................
.. .
.... ....
.
.
.
.
.
.....
....
.....
...
.......
.
..........
.................................................. . . . . . . . . . . . . . ....
....
..
....
...
...
....
..
...
...
....
.
y
th
1
0
−1
Veriˇznica
x
Hiperboliˇcne funkcije – adicijska izreka in posledice
Vrednosti: ch 0 = 1, sh 0 = 0, th 0 = 0. Limite:
lim ch x = ∞, lim sh x = ±∞, lim th x = ±1
x→±∞
x→±∞
x→±∞
Adicijska izreka:
ch(x + y ) = ch x ch y + sh x sh y
sh(x + y ) = sh x ch y + ch x sh y
Posledici:
x −y
x +y
sh
2
2
x −y
x +y
sh x − sh y = 2 ch
ch
2
2
ch x − ch y = 2 sh
Marko Razpet
Veriˇznica
Inverzne hiperboliˇcne funkcije ali area funkcije – osnovne
formule
Za vse x ≥ 1 velja:
y = ar ch x ⇐⇒ x = ch y ⇐⇒ y = ln(x +
√
x 2 − 1)
Za vse realne x velja:
y = ar sh x ⇐⇒ x = sh y ⇐⇒ y = ln(x +
√
1 + x 2)
Za vse ∣x∣ < 1 velja:
y = ar th x ⇐⇒ x = th y ⇐⇒ y =
Marko Razpet
Veriˇznica
1 1+x
ln
2 1−x
Inverzne hiperboliˇcne funkcije ali area funkcije – odvodi
1
1
(ar ch x)′ = √
za x ≥ 1, (ar sh x)′ = √
,
2
x −1
1 + x2
1
za ∣x∣ < 1
(ar th x)′ =
1 − x2
Marko Razpet
Veriˇznica
Dolˇzina loka krivulje
ˇ je funkcija x 7→ f (x) zvezno odvedljiva na intervalu [𝛼, 𝛽], je
Ce
dolˇzina krivulje y = f (x) (𝛼 ≤ x ≤ 𝛽):
∫
𝛽
s[𝛼,𝛽] =
√
1 + [f ′ (x)]2 dx.
𝛼
V posebnem primeru imamo za veriˇznico y = a ch(x/a):
s[𝛼,𝛽] = a[sh(𝛽/a) − sh(𝛼/a)]
s[0,𝛼] = a sh(𝛼/a)
Marko Razpet
(𝛼 ≤ x ≤ 𝛽),
(𝛼 ≥ 0).
Veriˇznica
Do enaˇcbe veriˇznice – po fizikalno
⃗ = (Tx , Ty ),
T
....
........
..................................................................
....
.
....
..........
.......
...
..
..... ..
..... ...
...
...
....
.
.
...
..
...
.
.
...
... .....
...
...
........
...
..
..
..........
.
.
...
...
.
.
........
.
...
..
...
.
......
.
.
...
...
...
.
.
.. ........
..
...
...
... .......
...
.....
.
...
.
.................................................................
.
.
...
.
..
.
.
.
...
.
...
.
.
.
...
.
.
.....
...
.....
...
..... ..
...
..... ..
..... ....
.
.
.
.
.
.
...
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
. .....
.........
.......
...
...
...... ..
...
...
..
........ ...
.............
...
..
...
...................
.
.
.
.
.
.
.
.
.
.
.
.
.
.
. .
.................
..
...
............................................ .......... ....
.
..
... .........
...
.......
..
..
.................
...
...........................................................
..
....
...
..
....................................................................................................................................................................................................................................
....
..
..
y
⃗ + ΔT
⃗
T
Ty + ΔTy
Δs ...
..... Tx + ΔTx
....
−Tx
𝜑
⃗
G
−Ty
⃗
−T
x
𝜎0 =
⃗∣
T = ∣T
dm
ds
⃗ = (0, −𝜎0 g Δs)
G
⃗ + (T
⃗ + ΔT
⃗)+G
⃗ = ⃗0
−T
⃗ +G
⃗ = ⃗0
ΔT
ΔTx = 0
ΔTy = 𝜎0 g Δs
Tx = T0 = konst.
dTy
= 𝜎0 g
ds
Marko Razpet
Veriˇznica
Do enaˇcbe veriˇznice - nadaljevanje
Tx = T cos 𝜑 = T0
Ty = T sin 𝜑 =
T0
⋅ sin 𝜑 = T0 tg 𝜑 = T0 y ′
cos 𝜑
dTy
d
dy ′ dx
dy ′
= (T0 y ′ ) = T0
= T0
⋅
= 𝜎0 g
ds
ds
ds
dx ds
√
ds
T0 y ′′ = 𝜎0 g
= 𝜎0 g 1 + y ′2
dx
T0
>0
a=
𝜎0 g
Diferencialna enaˇcba veriˇznice:
y ′′ =
1√
1 + y ′2
a
Marko Razpet
Veriˇznica
Reˇsevanje enaˇcbe veriˇznice
Enaˇcbi
y ′′ =
1√
1 + y ′2
a
zniˇzamo red z vpeljavo p = y ′ :
dp
1√
=
1 + p2
dx
a
Loˇcimo spremenljivki:
dp
dx
√
=
2
a
1+p
Integriramo:
x − x0
a
Pri tem je x0 prva integracijska konstanta.
ar sh p =
Marko Razpet
Veriˇznica
(DE − 1)
Reˇsevanje enaˇcbe veriˇznice – nadaljevanje
Izrazimo:
x − x0
dy
= sh
dx
a
Z drugo integracijo dobimo iskano reˇsitev:
p=
y = a ch
x − x0
+ y0
a
Pri tem je y0 druga integracijska konstanta.
Sploˇsna oblika enaˇcbe veriˇznice je:
y = a ch
x − x0
+ y0
a
Marko Razpet
Veriˇznica
Veriˇznica izbrane dolˇzine skozi dani toˇcki
Veriˇznica
x − x0
+ y0
a
naj ima dolˇzino ℓ in naj poteka skozi toˇcki M(𝛼, A) in N(𝛽, B). Pri
tem je 𝛼 < 𝛽. Veljati morajo enaˇcbe:
∫ 𝛽√
𝛼 − x0
𝛽 − x0
− sh
)=ℓ
(1)
1 + [f ′ (x)]2 dx = a(sh
a
a
𝛼
y = f (x) = a ch
𝛼 − x0
+ y0 = A
(2)
a
𝛽 − x0
a ch
+ y0 = B
(3)
a
Neznanke so a, x0 in y0 . Naloga je enoliˇcno reˇsljiva pri pogoju
∣MN∣ < ℓ oziroma
a ch
(𝛽 − 𝛼)2 + (B − A)2 < ℓ2
.
Marko Razpet
Veriˇznica
(P)
Reˇsevanje problema
Naj bo pogoj (P) izpolnjen. Iz enaˇcbe (1) dobimo z uporabo
posledic adicijskih izrekov za funkciji ch in sh:
ℓ = 2a ch
𝛼 + 𝛽 − 2x0
𝛽−𝛼
sh
2a
2a
(4)
Iz enaˇcb (2) in (3) pa:
B − A = 2a sh
𝛽−𝛼
𝛼 + 𝛽 − 2x0
sh
2a
2a
(5)
Delimo in dobimo:
B −A
𝛼 + 𝛽 − 2x0
= th
ℓ
2a
Marko Razpet
Veriˇznica
(6)
Reˇsevanje problema – nadaljevanje
Izrazimo funkcijo sh s funkcijo th in iz (6) dobimo:
sh
0
th 𝛼+𝛽−2x
(B − A)/ℓ
𝛼 + 𝛽 − 2x0
2a
=√
=√
2a
1 − ((B − A)/ℓ)2
0
1 − th2 𝛼+𝛽−2x
2a
Vstavimo dobljeni rezultat v (5):
(B − A)/ℓ
𝛽−𝛼
B − A = 2a √
sh
2a
1 − ((B − A)/ℓ)2
ˇ je A ∕= B, krajˇsamo, preoblikujemo in imamo:
Ce
√
𝛽−𝛼
𝛽−𝛼
ℓ
=
⋅
1 − ((B − A)/ℓ)2
sh
2a
2a
𝛽−𝛼
Marko Razpet
Veriˇznica
(7)
Reˇsevanje simetriˇcnega problema
Ko je A = B, dobimo za reˇsitev simetriˇcno krivuljo. Tedaj iz (6)
takoj najdemo
𝛼+𝛽
x0 =
2
Iz (4) je potem
sh
𝛽−𝛼
ℓ
𝛽−𝛼
ℓ
=
=
⋅
2a
2a
2a
𝛽−𝛼
Marko Razpet
Veriˇznica
Reˇsevanje problema – transcendentna enaˇcba
V (7) vpeljemo konstanto
ℓ
𝜚=
𝛽−𝛼
√
1 − ((B − A)/ℓ)2
in novo neznanko
𝛽−𝛼
2a
Poiskati je treba pozitivni koren z0 transcendentne enaˇcbe
z=
sh z = 𝜚z
(8)
Enaˇcba ima pozitivno reˇsitev le, ˇce je 𝜚 > 1. To je pri pogoju (P)
res. Opazimo, da pridemo do iste enaˇcbe tudi, ko je A = B. Tedaj
je
ℓ
𝜚=
𝛽−𝛼
Marko Razpet
Veriˇznica
Enaˇcba sh z = 𝜚z
y ...............
y = 𝜚z
y=
. shz
.
..... 𝜚 > 1
.
.....
.. 𝜚 = 1
.
.
..
.
.
𝜚<1
..
.
.
..
.
.
.
.
z
z0
..... O
.
.
.
.
.
...
..
...
..
...
...
...
...
...
...
...
.
...
.
..
...
...
...
....
.....
...
... ....
.
...
.
.. .
...
... ....
...
...
...
.. ........
...
.. .....
...
...
. ..
.
...
.
.......
..
.
.
.
.
...
.
.
.
..
..... ..
...
...
..... .
...
...
..... ....
...
.....
...
..
...
.....
..
.
.
.
...
.
.
..
...
.....
...
.. ............
... .........
.
..
...
.
.. .......
.........
.
.
.
.
.
...
.
.
.
..... ..
.. ........
.
.
.
.
.
...
.
.
.
..
.....
.. .......
.
.
.
.
.
..
...
.
.
.
..
. .
..
... ............. ..............
..
... ........... ...........
..
..
.......................
.
.
.
.
.
.
.
.
.
.
.
.
................................................................................................................................................................................
.
.
.
.
.
................ ...
.
.
.
.
.
.
..... ........... ...
.
.
.
.
.
.
.. . .
....
....... .............. ...
.......
...
... ..
.......
..... ...
...
..... .....
.
.
.
...
.
... ....
.
.
.
...
.
.... ....
.
.
.
...
.... .....
.
.
...
.
..
.
.
.
...
..
.
.
...
..
.
...
.
.
..
...
Marko Razpet
Veriˇznica
Reˇsevanje problema – izraˇcun vseh neznank
Enaˇcbo (7) reˇsimo numeriˇcno. Ko imamo znan z0 , dobimo ˇse:
a=
𝛽−𝛼
2z0
𝛼+𝛽
B −A
− a ar th
2
ℓ
𝛼 − x0
y0 = A − a ch
a
S tem je naloga v celoti reˇsena.
x0 =
Marko Razpet
Veriˇznica
Primer
Za
M(0, 0), N(2, 1), ℓ = 3
dobimo:
𝜚 = 1.4142135, z0 = 1.4914, a = 0.6705, x0 = 0.7676, y0 = −1.600
y ...............
..
..
..
..
...
...
...
...
...
...
...
...
..
...
...
...
...
...
..
...
...
...
...
..
..
..
..
...
.
...
...
...
...
.
.......................................................................................................................
...
...
...
...
....
...
...
...
...
...
...
...
...
...
...
..
..
..
..
...
...
...
...
...
...
...
...
...
...
...
.
.
.
.
.
.
...
.
.
.......................................................................................................................
..
...
...
...
....
...
...
...
...
...
...
...
...
...
...
...
...
...
...
...
...
...
...
...
...
..
..
..
..
...
...
..
...
...
...
.................................................................................................................................................................................................................................
...
...
...
...
....
..
..
..
..
...
...
...
...
...
...
...
...
...
...
...
...
...
...
...
...
...
...
...
...
...
..
..
..
..
.......................................................................................................................
...
...
...
...
...
...
...
...
...
...
....
.
.
.
.
N
.....∙
..
.
.
..
.
.
.
.
∙....
.
.
1
M .....
......... ............
..........
1
Marko Razpet
Veriˇznica
x
Veriˇznica kot kavstika
V koordinatnem sistemu Oxy naj padajo svetlobni ˇzarki od zgoraj
vzporedno z osjo y in naj se na eksponentni krivulji y = ae x/a
odbijejo po odbojnem zakonu. Ogrinjaˇca odbitih ˇzarkov je veriˇznica
)
(
x +a
y = a ch
a
Marko Razpet
Veriˇznica
Enaˇcba odbitega ˇzarka
....
.
.
normala
.....
𝜑 ...
.. M
𝜑 ...∙
. 𝜑
.....
..
.
.
..
.
.
..
.
.
.. tangenta
.
.
.
.
....
y = ae x/a .........
.....
................. 𝜓 a 𝜑
y ..............
...
..
...
...
...
...
...
..
....
.
...
...
...
...
...
...
...........
.........
..
...
...........
....
..
.
.
...........
.
.
... ..
...........
....
...........
. .
...........
............ ....
...
...........
....
... ..
..
...........
...
.
... ...
..............
.
............
..
... ...
.. ............ ....
... ..
...........
...
..
..
...
... ..................... ........
.............
..
...
..
.................
.
.
...
.
...........
..
..........
.......
..
...
... .. ..
..
..
...
..
... .. ..
..
...
...
... ... ..
...
.
... ..... ... ....
.
...
..
..... ... ..
.
.
.
...
.. . . .....
...
... .... ........
...
.
...
...
...
...
...
.
...
..
.
...
...
.
..
..
..
.
.
...
.
.
.
..
.
.
...
...
.
.
.
..
..
.
.
...
.
.
.
.
..
.
.
...
...
.
.
.
..
... .....
.
..
... ....
.
.......
....
..
.....
...
.....
..
... ..
..
... ....
.
.
.
.
.. ...
...
...
...
...
....
..
...
...
..
...
.
.
.
.
.
.
..
......
....
...
.....
...
... ......
...
..
........ ...
...
...
..
..... ....
.
.
.
.
.
.
...
...
..
...
....
..
..
..
...
.
.
.
.
..
.
.
.
.. ..
.
..
..
.
.
.
.
.
.
.. .. ..
..
..
.
.
..
.
.
.
.. .. ..
..
.
.
.
.
.
.
...........................................................................................................................................................................................................
.
.
.. ..
...
O
Izberemo toˇcko M(t, ae t/a ) na
eksponentni krivulji. Iz trikotnika,
ki ga omejujejo os x, odbiti ˇzarek
v toˇcki M in tangenta v toˇcki M,
vidimo, da velja:
𝜑 = 𝜓 +(𝜋/2−𝜑), 𝜓 = 2𝜑−𝜋/2
Zato je smerni koeficient premice
nosilke odbitega ˇzarka:
tg 𝜓 = − ctg(2𝜑) = −
tg 𝜓 =
x
Marko Razpet
Veriˇznica
1
tg(2𝜑)
tg2 𝜑 − 1
= sh(t/a)
2 tg 𝜑
Ogrinjaˇca odbitih ˇzarkov
Premice nosilke odbitih ˇzarkov za vse realne t sestavljajo
enoparametriˇcno druˇzino:
y − ae t/a = sh(t/a)(x − t)
(D)
Z odvajanjem (D) na parameter t dobimo:
−e t/a =
1
ch(t/a)(x − t) − sh(t/a)
a
(E)
Iz (E) najdemo s preurejanjem t = x + a, kar vstavimo v (D) in ˇze
smo pri enaˇcbi veriˇznice s temenom v toˇcki (−a, a):
(
)
x +a
y = a ch
a
Marko Razpet
Veriˇznica
Derive in veriˇznica
Marko Razpet
Veriˇznica
Veriˇznica kot sled goriˇsˇca kotaleˇce se parabole
V koordinatnem sistemu Oxy imejmo parabolo 4ay = x 2 , kjer je
a > 0. Njeno goriˇsˇce je v toˇcki F (0, a), vodnica pa je premica
ˇ parabolo kotalimo brez drsenja po osi x, opiˇse njeno
y = −a. Ce
goriˇsˇce veriˇznico
y = a ch(x/a)
Marko Razpet
Veriˇznica
Kotaleˇca se parabola
...
... y
E∙
tangenta
veriˇznica 𝒱 ..
.
...
....
..
.
...
....
.
.
....
.
...
.
.
....
...
F′
..
.....
.
.
.
∙
.....parabola Π .... F ∙ ∙
....
.
.
....
......
.
.
...
..... ′D
.
......
.
.
.
.
.∙.....O.
........
........................ parabola Π′
...........
...
.. .....
......
∙ .......∙.......∙.............. ∙ ...................∙...................... x
...
....
....
.........
.....
.....
....
....
..
.
.
.
...
..
.....
..... ....
........
...
..... ..
.....
..... ..
..... ..
...
. ....... .... ..........
.
.
.
.......
...
. .......
. ......
.
.
.
.
.
.
...
.
.
.
......
...
........
............
.......
.......
...
... ......
..... ..
.......
...
..... ....
... .......
.... .........
...
.
.
.
.
.
.
.
.
.
.
.
.....
...
.... ....
.....
....
....
...
....... ......
.....
....
...
...
......... .....
.....
....
..............
...
...
....
.....
.....................
.
.
.
....
.
.
...
.
.
.
.....
.....
.
.............
.
.
.
.
.
.
.
...
.
.
.....
..... .........
..
.....
.
.
...
.
.
......
.
......
.
.
.
.
.
.
.
...
.
.
......
........ ..........
.
.
.
.
.
...
....
.......
.
.
................ ... ......
.
.
.
.........
.
.
.
.
.
...
.
.
.
......................................... ......... .. ......
...
.
.
.....
.
.... ...... ...........
.
.
.
.
...
.
....
.
.....
......
.. .
.. ......
.....
...
... .......... ........
.. .....
.
.
...
.
.......... ......
.....
.....
.
.
.
.
.
.
.
.
.
.
...
.
.
.
..
..... .....
... ... ......
.
.
.
.
.
.
.
...
.
.
.
..
..... .....
.... ... ......
.
.
.
.
.
.
.
...
.
.
..... .....
..
.....
....
.
.
.
.
.
.
.
.
...
.
.
.
..... ....
..
......
....
.
.
.
.
.
.
.
.
.
.
.
.
.
..... ..... ....
.. ...
..
...
.
.
.
.
.
.
.
.
.
.
.
.
.
......... ...
..
.. ...
....
.
.
.
.
.
.
.
.
.
.
.
.
.
.
...... ..
..
.
....
...
...................................................................................................................................................................................................................................................................................................................................................................................
.
.....
.
..
....
.....
.....
.
.
.
.
.
.
.
.
.
.
.....
....
.....
....
.....
....
.....
.
.
.
.
.
.
.
.....
.
.
.
.
....
...
.
.
.
.....
.
.
.
.
.
.
.
...
.....
.....
....
...
..
....
...
...
...
...
...
A
vodnica
B O
G
normala
os parabole
Marko Razpet
C
Veriˇznica
Do sledi goriˇsˇca kotaleˇce se parabole
Parabola Π ima enaˇcbo 4ay = x 2 , zato je njen parameter p = 2a.
Njeno goriˇsˇce je v toˇcki F (0, a), teme v O(0, 0). Po kotaljenju po
osi x preide Π v Π′ , F v F ′ , O v O ′ . Tedaj se Π′ dotika osi x v
toˇcki C . To je trenutna os rotacije. Zato normala skozi toˇcko F ′
na iskani krivulji 𝒱, ki jo zariˇse F , poteka skozi C . Toˇcka E je
preseˇciˇsˇce osi parabole Π′ in normale na Π′ v C . Toˇcka D pa je
pravokotna projekcija toˇcke C na os parabole Π′ . Zato je ∣DE ∣
subnormala za Π′ v C . Vemo, da je pri paraboli vsaka subnormala
dolga toliko kot njen parameter p. Torej je ∣DE ∣ = 2a.
Marko Razpet
Veriˇznica
Do sledi goriˇsˇca kotaleˇce se parabole – nadaljevanje
Preseˇciˇsˇce tangente na iskano krivuljo z osjo x naj bo A, preseˇciˇsˇce
osi parabole Π′ z osjo x naj bo B, pravokotna projekcija goriˇsˇca F ′
na os x pa G .
Pri paraboli vsaka njena tangenta oklepa enaka kota s spojnico
dotikaliˇsˇca z goriˇsˇcem in z osjo. Torej je pri paraboli Π′ trikotnik
BCF ′ enakokrak. Smerni kot tangente na 𝒱 naj bo 𝜑 = ∠GAF ′ .
Zato je ∠GF ′ C = 𝜑, 𝜀 = ∠GCF ′ = ∠GBF ′ = 𝜋/2 − 𝜑 in
∠CED = 𝜋/2 − 𝜀 = 𝜑.
Marko Razpet
Veriˇznica
Do diferencialne enaˇcbe iskane krivulje
Iz pravokotnih trikotnikov DEC in DF ′ C dobimo:
∣DC ∣ = ∣DE ∣ tg 𝜑 = 2a tg 𝜑,
sin(𝜋 − 2𝜀) = sin 2𝜀 =
∣DC ∣
∣F ′ C ∣
Torej je
∣F ′ C ∣ =
∣DC ∣
2a tg 𝜑
2a sin 𝜑
a
=
=
=
2
sin 2𝜀
sin(𝜋 − 2𝜑)
2 sin 𝜑 cos 𝜑
cos2 𝜑
Za iskano krivuljo 𝒱 je potem
y = ∣GF ′ ∣ = ∣CF ′ ∣ cos 𝜑 =
√
√
a
= a 1 + tg2 𝜑 = a 1 + y ′2
cos 𝜑
S tem smo naˇsli diferencialno enaˇcbo krivulje 𝒱. Zaˇcetni pogoj je
y (0) = a.
Marko Razpet
Veriˇznica
Do enaˇcbe iskane krivulje
Diferencialno enaˇcbo
y =a
√
1 + y ′2
(DE − 2)
pri zaˇcetnem pogoju y (0) = a reˇsimo po ustaljenem postopku.
Izrazimo za x ≥ 0:
√
dy
ay ′ = a
= y 2 − a2
dx
Loˇcimo spremenljivki in integriramo:
a dy
√
= dx,
y 2 − a2
a ln(y +
√
y 2 − a2 ) = x + C
Za x = 0 je y = a, zato imamo najprej C = a ln a in nato
√
√
a ln(y + y 2 − a2 ) − a ln a = a ln(y /a + (y /a)2 − 1) = x
Piˇsemo
a ar ch(y /a) = x,
Marko Razpet
y /a = ch(x/a)
Veriˇznica
Reˇsitev – veriˇznica
Nazadnje dobimo enaˇcbo veriˇznice
y = a ch(x/a)
Zaradi simetrije je rezultat pravilen tudi za x ≤ 0.
...
y
.. ..
...
.
...
..
.
....
.
..
....
.
.
......
.
........... ..............
.......
..
.........
...
....
..
...
...
...
...
...
...
...
...
...
...
...
...
...
...
...
...
...
...
...
...
...
...
...
...........................................................................................................................................................................................................
..
y = a ch(x/a)
a
x
O
Marko Razpet
Veriˇznica
Veriˇznica s pritisnjeno parabolo in kroˇznico v temenu
Pritisnjena parabola veriˇznice y = a ch(x/a) v temenu:
y =a+
x2
2a
Polmer pritisnjene kroˇznice na veriˇznico v poljubni toˇcki je odvisen
le od ordinate:
y2
R=
a
V temenu:
R0 = a
Marko Razpet
Veriˇznica
Veriˇznica, parabola in kroˇznica
x
y = a ch ,
a
y =a+
x2
,
2a
x 2 + (y − 2a)2 = a2
...
..........
....
...
...
...
...
...
...
...
...
...
...
...
...
...
...
...
...
...
...
...
...
...
...
...
...
...
...
...
...
...
...
...
..
........................................................................................................................................................................................................
..
y
...
..
. ... ... ...
.
.
.
.
.
...
.
.
....
....
..... ....
.
.
.
.. ....
...... ..
.. ....
..... ..
∙
.........
.... ..
.
......
......
a
.
.......
.
.
.
..................
..............
a
x
O
Marko Razpet
Veriˇznica
Zanimiva lastnost veriˇznice
Lastnost (L)
Projekcija ordinate v katerikoli toˇcki M veriˇznice y = a ch(x/a) na
normalo v M je konstantna, enaka a.
...
.
y
M ..
...
∙
.
...
..
.
.
...
.. ..
...
.
...
..
.
....
.
yM
.
.....
.
.
.
.
.
........................
𝜑
∙
....
........
.....
.........................................................
...
...........
...................
..
........
......
.................
.......
.......
...
... ...
.
......
.
.
.. ..
.
...
.
... .....
.. ....
....
.
.
.. .........
.
...
.
.
....
. ...
..
...
.
.
.
...
.
.
.
...
.. .....
..
...
...
...
.
.
.
...
...
...
... ....
...
...
..
..
..
...
...
.
.
.
...
...
..
..
..
...
.
.
.
...
...
..
..
... ....
.
.
...
...
..
..
... ...
...
.
.
...
.
..
.
...
... ...
.
.
...
.
...
.
... ...
....
.
...
.
.
.
... ...
.
.
..
...
.
..
..
.
... ...
.
.
.
...
..
.
.
..
.
... ....
.
.
.
...
.
.
..
.
.
... ...
.
.
.
...
...
...
...
...
...
...
...
..
...
...
...
...
...
..
..
...
...
...
...
...
..
.
..
.
.
.
.
.
.
.
.
...
.
...
.
.
.
.
.
.
. .
..
...
..
........ .... ...
...
...
.....
..
.....
... ...
...
.....
..... ... .......
... ...
.....
..... .. ..
...
... ..
.....
....... ...
.
.
.
...
.
.
.
..............
.. .
.....
..................
...
.......
......... ......... ........
..
.........
................................................................................................................................................................................................................................................................................................
..
y = a ch(x/a) T
a
P∙
O
Marko Razpet
∙Q
𝒦
a
∙
M′
Veriˇznica
x
Zanimiva lastnost veriˇznice – dokaz
Naj bo M(t, a ch(t/a)). Konstruiramo yM = ∣MM ′ ∣ = a ch(t/a) in
kroˇznico 𝒦 skozi M in M ′ premera yM . Po znanem postopku
vˇcrtamo kroˇznici 𝒦 veriˇznici priˇcrtan pravokotnik PMQM ′ , kjer je
∣M ′ P∣ = a. Kot 𝜑 = ∠PM ′ M je tudi naklonski kot premice nosilke
stranice PM. Pri tem je
cos 𝜑 =
√
tg 𝜑 =
a
1
a
=
=
yM
a ch(t/a)
ch(t/a)
1
−1=
cos2 𝜑
√
ch2 (t/a) − 1 = sh(t/a)
Strmina tangente na veriˇznico v toˇcki M pa je tudi sh(t/a), zato je
stranica MP res na tangenti, stranica ∣MQ∣ = a pa na normali
veriˇznice skozi M. Torej je projekcija ordinate yM na normalo
veriˇznice konstantno enaka a.
Marko Razpet
Veriˇznica
Uporabna lastnost veriˇznice
Dolˇzina stranice PM pravokotnika PMQM ′ je po Pitagorovem
izreku:
√
√
2
2
∣PM∣ = yM − a = a2 ch2 (t/a) − a2 = a sh(t/a) = s[0,t]
Ugotovili smo: pri veriˇznici je dolˇzina loka med temenom T in
poljubno toˇcko M je enaka tangentni stranici priˇcrtanega
pravokotnika.
Marko Razpet
Veriˇznica
Evolventa veriˇznice
Lastnost (L) veriˇznice omogoˇca konstrukcijo evolvente veriˇznice, to
je krivulje, ki jo dobimo z odvijanjem niti z nje. To pomeni
krivuljo, ki jo zariˇse toˇcka P(𝜉, 𝜂), ko toˇcko M(x, y ) vodimo po
veriˇznici. Evolventa veriˇznice je traktrisa.
Za koordinati 𝜉, 𝜂 toˇcke P dobimo s prejˇsnje slike:
𝜉 = x − a sin 𝜑,
𝜂 = a cos 𝜑
Ker je tg 𝜑 = y ′ = sh(x/a), hitro dobimo:
𝜉 = x − th(x/a),
Marko Razpet
𝜂=
Veriˇznica
a
ch(x/a)
Veriˇznica in traktrisa
.
..
y
.
..
.
..
.
..
..
.
....
.
.....
....
.
.
.
.
........ ........
......
....
.
.
.
.. .............
.
.
.
.
.
.
.
.................
a
....
........
.....................
..
........
...
...
...
...
...
...
...
...
...
...
...
...
...
...
...
...
...
...
...
...
...
...
...
...
...
...
..........................................................................................................................................................................................................
...
x
O
Marko Razpet
Veriˇznica
Kvadratno kolo na grbinah
Lastnost (L) omogoˇca tako kotaljenje kvadrata stranice 2a po
grbinah, pri katerem bo njegovo srediˇsˇce potovalo po premici. Za
grbine vzamemo simetriˇcne loke veriˇznice s parametrom a nad
intervalom (−x0 ≤ x ≤ x0 ), ki jih periodiˇcno nadaljujemo in
prezrcalimo prek osi x. Za osnovni lok vzamemo
y = a ch(x/a), x0 = a ar sh 1, s[−x0 ,x0 ] = 2a, y ′ (x0 ) = 1
Marko Razpet
Veriˇznica
Grbine
Srediˇsˇce kotaleˇcega se kvadrata potuje po premici.
.....
........
.........
.....
.....
.................
.... .........
....
.....
............ ..........
.....
.....
.....
.....
........ ... .... ..........
.....
.....
......
......
.....
.....
. ... .......
.......
.
.
.
.
.
........
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
..........
..........
.
.
...
............
...
...............................
..................................... ....
..
........................
...
..
...
...
...
..
.......
...
..
.......
..
...
..
.......
..
.
.
.
.
.
.
.
...
.
.
.....
... ...
...
.......
.. ..
...
.......
.......
...
... ....
.......
...
.. ..
...
..............
.. ..
...
...
......
.
...
.
......
.. ..
...
...
..
.
......
...
...
.......
......
...
...
...... ....
...
..
...
..
........
...
.
...
......
...
..
...
..
.
..
...
.
......
...
......
...
...
.
......
...
...
...... .....
...
.
.....
.
.
...
.
.......
.
.
.
.
...
.
....
.
.
.
.
...
.
...
.
..
...
.......
..
.......
...
..
.......
...
..
.......
..
...
.......
.
.
.
...
.
...
.
.
....
...
..
.......
... ...
.......
... ...
.......
... .. ..............
.............
.
Marko Razpet
Veriˇznica
Minimalna potencialna energija
Idealno homogeno verigo dolˇzine ℓ obesimo v toˇckah M(𝛼, A) in
N(𝛽, B). Pri tem je izpolnjen pogoj (P). Veriga se umiri tako, da
je njena potencialna energija minimalna oziroma tako, da je njeno
teˇziˇsˇce najniˇze. Infinitezimalno majhna masa dm v toˇcki M(x, y )
na iskani krivulji y = y (x) ima potencialno energijo
√
gy dm = g 𝜚y ds = g 𝜚y 1 + y ′2 dx
Pri tem je 𝜚 = dm/ds krivuljska gostota mase verige. Za
homogeno verigo je 𝜚 konstanta. Potencialna energija verige je:
∫
𝛽
Wp [y ] = g 𝜚
y
√
1 + y ′2 dx
𝛼
pri pogoju
∫
𝛽
𝒫[y ] =
√
1 + y ′2 dx = ℓ
𝛼
Marko Razpet
Veriˇznica
Variacijski raˇcun
Reˇsiti je treba tipiˇcno variacijsko nalogo. Poiskati moramo zvezno
odvedljivo funkcijo x 7→ y (x), za katero je integral
∫
𝛽
√
1 + y ′2 dx
(G)
√
1 + y ′2 dx = ℓ
(H)
ℱ[y ] =
y
𝛼
minimalen pri pogoju
∫
𝛽
𝒫[y ] =
𝛼
Reˇsevanje naloge nas pripelje do diferencialne enaˇcbe
√
y − 𝜆 = a 1 + y ′2
ki pa smo jo pravzaprav ˇze sreˇcali in jo znamo reˇsiti. V njej sta a
in 𝜆 konstanti.
Marko Razpet
Veriˇznica
Reˇsevanje diferencialne enaˇcbe
ˇ diferencialno enaˇcbo
Ce
y −𝜆=a
odvajamo, dobimo
√
1 + y ′2
y ′ y ′′
y′ = a√
1 + y ′2
Ker je oˇcitno y ′ ∕= 0, lahko krajˇsamo z y ′ in dobimo diferencialno
enaˇcbo (DE-1):
√
ay ′′ = 1 + y ′2
Konstanta a mora biti pozitivna, ker je veriˇznica konveksna, to
pomeni y ′′ > 0, zaradi energijskih zahtev.
Naprej pa ˇze znamo.
Marko Razpet
Veriˇznica
Minimalna rotacijska ploskev
ˇ krivuljo y = y (x) dane dolˇzine ℓ na intervalu [𝛼, 𝛽] zasukamo
Ce
okoli osi x za 360∘ , dobimo rotacijsko ploskev. Problem, kdaj je
povrˇsina te ploskve minimalna, nas spet vodi do iskanja minimuma
integrala
∫ 𝛽 √
P = 2𝜋
y 1 + y ′2 dx
𝛼
pri pogoju
∫
𝛽
𝒫[y ] =
√
1 + y ′2 dx = ℓ
𝛼
Reˇsitev poznamo: krivulja y = y (x) je veriˇznica, rotacijsko ploskev
pa imenujemo katenoid.
Marko Razpet
Veriˇznica
Katenoid – minimalna rotacijska ploskev
Katenoid je ploskev, ki nastane z rotacijo veriˇznice y = a ch(x/a)
okoli osi x.
Marko Razpet
Veriˇznica
Psevdosfera – model neevklidske geometrije
Psevdosfera je ploskev, ki nastane z rotacijo traktrise okoli njene
asimptote.
Marko Razpet
Veriˇznica
Prava veriˇznica
Zamislimo si idealno homogeno veriˇznico v gravitacijskem polju
⃗ (⃗r ) = −GM ⃗r ,
F
r3
r = ∣⃗r ∣ > 0,
kjer je G sploˇsna gravitacijska konstanta in M masa Zemlje ali
kakega drugega nebesnega objekta, nad katerim bi veriˇznico
realizirali.
Enaˇcbo veriˇznice bomo iskali v polarnih koordinatah: r = r (𝜑).
Njena celotna potencialna energija je
∫
𝛽
Wp [r ] = −GM𝜚
𝛼
1√ 2
r + r ′2 d𝜑
r
(I)
pri pogoju
∫
𝛽
𝒫[r ] =
√
r 2 + r ′2 d𝜑 = 2ℓ
𝛼
Marko Razpet
Veriˇznica
(J)
Prava veriˇznica in variacijski raˇcun
Pri tem smo uporabili izraz za diferencial loka krivulje r = r (𝜑) v
polarnih koordinatah in oznaˇcili r ′ = dr /d𝜑 ter upoˇstevali, da ima
infinitezimalno majhna masa dm na razdalji r od toˇcke O
potencialno energijo −GM dm/r . Iˇsˇcemo tako pozitivno in
odvedljivo funkcijo 𝜑 7→ r (𝜑), definirano na intervalu [𝛼, 𝛽], ki
minimizira integral (I) pri pogoju (J) in z dodatkoma r (𝛼) = r1
r (𝛽) = r2 . Graf reˇsitve, ekstremalo v polarnih koordinatah,
imenujemo prava veriˇznica.
Problem reˇsujemo z variacijskim raˇcunom.
Marko Razpet
Veriˇznica
Raziskovalca prave veriˇznice
Pravo veriˇznico sta predstavila Jochen Denzler in Andreas M. Hinz
v ˇclanku Catenaria Vera – The True Catenary v reviji Expositiones
Mathematicae leta 1999.
Marko Razpet
Veriˇznica
Primerjava med klasiˇcno in pravo veriˇznico enake dolˇzine
∙...
....∙
.......
.
.
.
........
......
.
.......
.
......
........
.
.
........
......
.
.......
.
..........
.......
.
.
.
.
.........................
..........
∙O
Marko Razpet
Veriˇznica
Hvala za vaˇso pozornost!
Marko Razpet
Veriˇznica
Tricycle.flv Grbine
Marko Razpet
Veriˇznica
Marko Razpet
Veriˇznica