IZDAJA DRUŠTVO MATEMATIKOV, FIZIKOV IN ASTRONOMOV SLOVENIJE ISSN 0473-7466 2013 Letnik 60 1 OBZORNIK ZA MATEMATIKO IN FIZIKO OBZORNIK MAT. FIZ. • LJUBLJANA • LETNIK 60 • ŠT. 1 • STR. 1-40 • JANUAR 2013 OBZORNIK ZA MATEMATIKO IN FIZIKO Glasilo Društva matematikov, fizikov in astronomov Slovenije Ljubljana, JANUAR 2013, letnik 60, številka 1, strani 1-40 Naslov uredništva: DMFA-založništvo, Jadranska ulica 19, p. p. 2964, 1001 Ljubljana Telefon: (01) 4766 553, 4232 460 Telefaks: (01) 4232 460, 2517 281 Elektronska pošta: zaloznistvo@dmfa.si Internet: http://www.obzornik.si/ Transakcijski racun: 03100-1000018787 Mednarodna nakazila: SKB banka d.d., Ajdovščina 4, 1513 Ljubljana SWIFT (BIC): SKBASI2X IBAN: SI56 0310 0100 0018 787 Uredniški odbor: Peter Legiša (glavni urednik), Sašo Strle (urednik za matematiko in odgovorni urednik), Aleš Mohorič (urednik za fiziko), Mirko Dobovišek, Irena Drevenšek Olenik, Damjan Kobal, Petar Pavešic, Marko Petkovšek, Marko Razpet, Nada Razpet, Peter Šemrl, Matjaž Zaveršnik (tehnični urednik). Jezikovno pregledal Janez Juvan. Računalniško stavila in oblikovala Tadeja Šekoranja. Natisnila tiskarna COLLEGIUM GRAPHICUM v nakladi 1250 izvodov. Clani društva prejemajo Obzornik brezplačno. Celoletna članarina znaša 21 EUR, za druge družinske člane in študente pa 10,50 EUR. Naročnina za ustanove je 35 EUR, za tujino 40 EUR. Posamezna številka za člane stane 3,19 EUR, stare številke 1,99 EUR. DMFA je včlanjeno v Evropsko matematično društvo (EMS), v Mednarodno matematično unijo (IMU), v Evropsko fizikalno društvo (EPS) in v Mednarodno združenje za čisto in uporabno fiziko (IUPAP). DMFA ima pogodbo o rečipročnosti z Ameriškim matematičnim društvom (AMS). Revija izhaja praviloma vsak drugi meseč. © 2013 DMFA Slovenije - 1892 Poštnina plačana pri pošti 1102 Ljubljana NAVODILA SODELAVCEM OBZORNIKA ZA ODDAJO PRISPEVKOV Revija Obzornik za matematiko in fiziko objavlja izvirne znanstvene in strokovne članke iz matematike, fizike in astronomije, včasih tudi kak prevod. Poleg člankov objavlja prikaze novih knjig s teh področij, poročila o dejavnosti Društva matematikov, fizikov in astronomov Slovenije ter vesti o drugih pomembnih dogodkih v okviru omenjenih znanstvenih ved. Prispevki naj bodo zanimivi in razumljivi širšemu krogu bralcev, diplomantov iz omenjenih strok. Clanek naj vsebuje naslov, ime avtorja (oz. avtorjev), sedež institucije, kjer avtor(ji) dela(jo), izvleček v slovenskem jeziku, naslov in izvleček v angleškem jeziku, klasifikacijo (MSC oziroma PACS) in čitirano literaturo. Slike in tabele, ki naj bodo oštevilčene, morajo imeti dovolj izčrpen opis, da jih lahko večinoma razumemo tudi ločeno od besedila. Avtorji člankov, ki želijo objaviti slike iz drugih virov, si morajo za to sami priskrbeti dovoljenje (čopyright). Prispevki so lahko oddani v računalniški datoteki PDF ali pa natisnjeni enostransko na belem papirju formata A4. Zaželena velikost črk je 12 pt, razmik med vrstičami pa vsaj 18 pt. Prispevke pošljite odgovornemu uredniku ali uredniku za matematiko oziroma fiziko na zgoraj napisani naslov uredništva. Vsak članek se praviloma pošlje dvema anonimnima rečenzentoma, ki morata predvsem natančno očeniti, kako je obravnavana tema predstavljena, manj pomembna pa je originalnost (in pri matematičnih člankih splošnost) rezultatov. Ce je prispevek sprejet v objavo, potem urednik prosi avtorja še za izvorne računalniške datoteke. Le-te naj bodo praviloma napisane v eni od standardnih različič urejevalnikov TgX oziroma LTgX, kar bo olajšalo uredniški postopek. RESETO ZA ISKANJE PRASTEVILSKIH DVOJČKOV SRECKO LAMPRET Osnovna sola Vuzenica Math. Subj. Class. (2010): 11A41 V članku izpeljemo novo karakterizacijo praStevilskih dvojčkov. S tem rezultatom dobimo elementarno metodo za iskanje praStevilskih dvojčkov do poljubno izbranega naravnega Stevila. SIEVING TWIN PRIME PAIRS In this paper a new characterization of twin prime pairs is obtained. This result gives us an elementary method for finding twin prime pairs up to a given integer. Praštevilski dvojček je par prastevil oblike (p, p + 2). Razen 2 in 3 ima vsako prastevilo obliko 6k — 1 ali 6k + 1. Zato je vsak praštevilski dvojček, razen (3, 5), oblike (6k — 1, 6k + 1) za neko naravno stevilo k. V tem članku predstavljamo elementarno metodo za iskanje prastevilskih dvojčkov do poljubnega naravnega stevila, ki temelji na spodnjih rezultatih. Lema 1. Naj bo p prastevilo oblike p = 6j + 1 ali p = 6j — 1. Potem za vsako naravno število i (6 (pi + j) — 1, 6 (pi + j) + 1) in (6 (pi — j) — 1, 6 (pi — j) + 1) nista praštevilska dvojčka. Dokaz. Najprej predpostavimo, da je p = 6j + 1. Potem sta 6 (pi + j) +1 = 6pi + p = p (6i + 1) in 6 (pi — j) — 1 = 6pi — p = p (6i — 1) sestavljeni stevili za vsako naravno stevilo i. Podobno, če je p = 6j — 1, vidimo, da sta 6 (pi + j) — 1 in 6 (pi — j) + 1 sestavljeni stevili za vsako naravno stevilo i.m Izrek 2. Naj bo k naravno .stevilo. Potem (6k — 1,6k + 1) ni prastevilski dvojček natanko tedaj, ko obstaja prastevilo p ^ yj6k + 1 oblike 6j ± 1 in tako naravno stevilo i, da je k = pi + j ali k = pi — j. Dokaz. Najprej predpostavimo, da (6k — 1, 6k + 1) ni prastevilski dvojček. Potem bodisi 6k — 1 ali 6k + 1 ni pra stevilo. Oglejmo si primer, ko 6k — 1 ni pra s tevilo. Potem obstaja tako pra s tevilo p < yj6k — 1 < yj6k + 1, da p deli 6k — 1. Zato p = 2,3. Po izreku o deljenju z ostankom obstajata taki nenegativni čeli stevili n, r, da je k = pn + r in 0 ^ r < p. Posledično velja p | 6 (pn + r) — 1 = 6pn + (6r — 1) in zato p | 6r — 1. Ker je 6r — 1 = pt za neko naravno Število t in r < p, vidimo, da je 6r — 1 6p — 1 t =- < —- < 6. pp Zato je t G {1,2,3,4, 5} in 6r — tp = 1. To pomeni, da sta 6 in t tuji si Števili in potemtakem t = 1 ali t = 5. Ker p = 2,3, velja bodisi p = 6j — 1 ali p = 6 j + 1 za neko naravno stevilo j. Sprva si oglejmo primer, ko je p = 6j — 1. Ce je t = 5, sledi 1 = 6r — 5p = p (mod 6), kar je nemogoče. Torej t = 1 in zato je p = 6r — 1. Potem velja r = j in zato je k = pi + j za i := n. Pri tem velja, da je i > 0, kajti če bi bil i = 0, bi veljalo k = r in zato 6k — 1 = 6r — 1 = p, kar nas privede do protislovja. Sedaj si oglejmo primer, ko je p = 6j + 1. Ce je t = 1, sledi p = 6r — 1 = —1 (mod 6), kar je nemogoče. Torej t = 5 in zato 6r — 1 = 5p = 30j + 5. Tako je r = 5j + 1 = p — j in zato k = pn + p — j = pi — j za i := n + 1 > 0. V primeru, ko 6k + 1 ni prastevilo, dokaz poteka podobno. Obratna implikacija sledi iz leme 1. ■ Sledi opis delovanja algoritma oz. reseta za iskanje prastevilskih dvojčkov do poljubnega naravnega stevila n. 1. Napravimo seznam naravnih stevil k = 1, 2,..., [1]. 2. Poisčemo vsa prastevila 3 < p ^ Pomagamo si lahko z Eratostenovim resetom. Tako kot pri Eratoste-novem resetu tudi tu zadosča izvajati algoritem le tako dolgo, dokler prastevila ne dosezejo vrednosti v7^, saj v vsaki faktorizačiji vsaj en faktor ne presega tega stevila. 3. Za vsako pra s tevilo 3 < p ^ ^fn naredimo sledeče: - če 6 | p + 1, potem j = pt1, sičer j = 1; - prečrtamo vsa stevila k = pi + j in k = pi — j za vsak i = 1,2,... z nasega seznama. 4. Vsako preostalo naravno stevilo k s seznama nam da prastevilski dvojček (6k — 1, 6k + 1). Skličujoč se na izrek 2, s to metodo dobimo vse prastevilske dvojčke do n, razen para (3, 5). V naslednjem primeru predstavimo konkretno delovanje tega algoritma za n = 250. Primer 1. Poiscimo vse prastevilske dvojčke do 250. Napravimo seznam naravnih stevil k = 1,2,..., 42. Nato poi sčemo vsa prastevila 3 < p < V nasem primeru so to 5, 7,11,13. (i) Za p = 5 = 6 ■ 1 — 1 velja j = 1 in zato iz nasega seznama prečrtamo vsa naravna stevila k oblik 5i — 1 in 5i + 1. (ii) Za p = 7 = 6 ■ 1 + 1 velja j = 1 in zato iz nasega seznama prečrtamo vsa naravna stevila k oblik 7i — 1 in 7i + 1. (iii) Za p = 11 = 6 ■ 2 — 1 velja j = 2 in zato iz na sega seznama prečrtamo vsa naravna stevila k oblik 11i — 2 in 11i + 2. (iv) Za p = 13 = 6 ■ 2 + 1 velja j = 2 in zato iz nasega seznama prečrtamo vsa naravna stevila k oblik 13i — 2 in 13i + 2. 1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 22 23 24 25 26 27 28 29 30 -31 32 33 -34 35 36 37 38 39 40 41 42 Za vsako preostalo naravno stevilo k iz nasega seznama dobimo prastevilski dvojček (6k — 1,6k + 1). Ce dodamo se par (3, 5), dobimo vse prastevilske dvojčke do 250: (3, 5), (5, 7), (11,13), (17,19), (29, 31), (41, 43), (59, 61), (71, 73), (101,103),(107,109),(137,139), (149,151), (179,181), (191,193), (197,199), (227, 229), (239, 241). Obstajajo tudi nekateri drugi algoritmi za iskanje prastevilskih dvojčkov, ki pa večinoma niso elementarni. Pri drugih, ki so elementarni, pa je, če hočemo poiskati prastevilske dvojčke do nekega poljubnega naravnega stevila n, ponavadi treba najprej poiskati vsa prastevila do n in nato med njimi po raznih metodah črtamo vsa tista pra stevila, ki niso del dvojčka. Pri algoritmu, ki je tu predstavljen, pa lahko poisčemo vse pra stevilske dvojčke do n, pri tem pa je predhodno (npr. z Eratostenovim resetom) treba poiskati le pra stevila do -Jn, kar je za dovolj velike n lahko prečej snja prednost. Zahvala. Avtor se zahvaljuje dr. Danielu Eremiti za strokovne nasvete in tehnično pomoč pri nastajanju članka. Zahvaljuje se tudi rečenzentu za koristne predloge in skrbno branje članka. PONCELETOVE KRIVULJE MIRKO DOBO VIŠEK Fakulteta za matematiko in fiziko Univerza v Ljubljani Math. Subj. Class. (2010): 15A63, 47A12, 51M04 V 18. stoletju so opazili, da velja naslednje: ce sta kroznici vcrtana in očrtana kro-znica nekemu trikotniku, sta vcrtana in očrtana kroZnica se neskončno mnogo trikotnikom z oglisci na zunanji kroZnici. Taki krivulji so poimenovali Ponceletovi krivulji. V clanku obravnavamo zgodovinski razvoj iskanja takih parov krivulj. Izkazalo se je, da enako velja tudi pri n-kotnikih. Ko so odkrili, da taksne krivulje niso nujno kvadrike, je raziskovanje dobilo nov zalet. Cele druzine takih krivulj so dobili kot rob numericne zaloge vrednosti matrike. V clanku je definicija numericnega zaklada, prikaz, kako dobimo Ponceletovo krivuljo kot rob numericnega zaklada, in primer, ko Ponceletova krivulja ni elipsa. Pred nekaj leti so ovrgli tudi hipotezo, da je vsaka Ponceletova krivulja rob numericnega zaklada. Klasifikacija vseh Ponceletovih krivulj je zato se vedno odprt problem. PONCELET CURVES In the 18th century mathematicians established the following: given two circles C1, inscribed to a given triangle, and C2, circumscribed to the same triangle, then Ci and C2 are inscribed and circumscribed circle to an infinite number of triangles. Such a pair of curves is called Poncelet's curves. In this article the early history of Poncelet's porism is discussed. The same property occurs also in the case of an n-sided polygon. In 1998 it was proved that the boundary of the numerical range on any n x n matrix that admits unitary bordering is an (n + 1)-Poncelet's curve with respect to the unitary circle, and that such curves need not be quadrics. The example of a Poncelet's curve that is not a quadric is given in this article. It is already known that not all Poncelet's curves are boundaries of a numerical range. All Poncelet's curves with respect to a circle have not yet been classified. Ponceletova krivulja Znana formula iz geometrije pove naslednje: Trditev 1. Naj ima trikotniku očrtana krožnica polmer R, istemu trikotniku vcrtana krožnica pa polmer r. Ce označimo ž d razdaljo med središčema teh dveh kročnic, je d2 = R2 - 2rR. (1) Formulo je prvi objavil William Chapple leta 1746 [1]. Chapple je bil navdušen ljubiteljski matematik. Njegov dokaz je poln napačnih logičnih razmislekov. V dokazu je brez pravilnega dokaza predpostavil, da če sta enkrat kroznici v tej legi in izberemo poljubno točko na zunanji kroznici, potem vedno lahko najdemo na zunanji kroznici se drugi dve oglisči trikotnika, da mu bosta dani krozniči očrtana in včrtana krozniča. Ta trditev je pravilna in je tema nasega članka. Povzetek in razlago Chapplovega dokaza lahko braleč najde v članku [2]. Trditev 1 pripisujejo Eulerju. Euler ni v nobenem od svojih stevilnih del omenil te formule. Je pa vsekakor dokazal naslednje: Ce označimo z a, b in c straniče trikotnika, s P njegovo plosčino in z d razdaljo med sredisčema očrtane in včrtane krozniče, je: 2 _ (abc)2 abc (2) d _ 16P2 a + b + c' (2) Ko upostevamo, da sta polmer trikotniku očrtane in polmer včrtane krozniče abc 2P R _ —- in r _ 4P a + b + c' dobimo Chapellovo formulo. Formula (2) direktno ne podaja zveze med polmeroma in razdalje med središčema, je bil pa Eulerjev dokaz pravilen. Nicolaus Fuss je v članku [3] leta 1797 objavil zvezo med polmeroma očrtane in včrtane kroznice stirikotniku. Zveza je naslednja: (R2 - d2)2 = 2r2(R2 + d2). B4 A3 B1 A2 B2 Slika 2. Elipsi E\ in £2 imata 4-Ponceletovo lastnost. Dokaz ni prav enostaven. Bralec ga lahko najde recimo v knjigi Heinricha Dorrieja [4]. Fuss se je kasneje ukvarjal tudi z nekaterimi drugimi mnogo-kotniki, vendar zvez ni nasel. Vedno pa se zgodi naslednje: ce sta elipsi vcrtana in očrtana elipsa nekemu n-kotniku in izberemo poljubno točko A1 na zunanji elipsi, narisemo iz nje tangento na manjso elipso in oznacimo drugo presecisce te tangente z zunanjo elipso z A2, spet naredimo tangento na notranjo elipso in presecisce z zunanjo oznacimo z A3, in tako nadaljujemo, se izkaze, da je Ai = An+1. To je opazil Jean-Victor Poncelet in se zacel ukvarjati s tem problemom kot vojni ujetnik v Saratovem ob Volgi. Za krivulje je vzel stoznice v ravnini. Leta 1822 je trditev in (napacen) dokaz objavil v delu [5]. Definicija 1. Naj bosta E1 in E2 elipsi. Ce obstaja n-kotnik, ocrtan elipsi E2 in hkrati vcrtan elipsi E1, pravimo, da imata elipsi n-Ponceletovo lastnost, oziroma da sta Ponceletovi krivulji reda n. Tako imenovani veliki Ponceletov izrek pa je: Izrek 2. Naj bo n > 3 in naj imata elipsi E1 in E2 n-Ponceletovo lastnost. Potem za vsako točko A € E1 obstaja n-kotnik, ki je vcrtan elipsi E1 in očrtan elipsi E2 ter ima točko A za eno od ogličč. Pravilen dokaz je leta 1828 objavil Carl Gustav Jacob Jacobi [6]. Ko je delal z analiticnimi formulami za tangente in tetive med kroznicama, je opazil, da se podobne relacije pojavljajo tudi v teoriji elipticnih funkcij. S pomocjo teh funkcij je nasel analiticen dokaz Ponceletovih izrekov in tudi zveze med polmeroma in razdaljo med njima. Bralec si lahko v modernejšo obliko predelan dokaz in še celotno zgodovino Ponceletovega izreka za stoZernice ogleda v precej dolgem članku [2]. Tu navedimo še nekaj rezultatov za kroznici. Pri n-kotnikih so zveze med polmeroma vcrtane kroznice in ocrtane kroznice ter razdaljo med srediscema naslednje: n = 4: n = 5: (R2 - d2)2 = 2r2(R2 + d2) r(R - d) = (R + d)[(R - r + d)(R - r - d)]1/2 + (R + d)[(R - r - d)2R]1/2 n = 6: n = 8: 3(R2 - d2)4 = 4r2(R2 + d2)(R2 - d2)2 + 16r4d2R: 22 22 4 2 2 8r2[(R2 - d2)2 - r2(R2 + d2)]{(R2 + d2)[(R2 - d2)4 + 4r4d2R2]-8r2d2R2(R2 - d2)2} = [(R2 - d2)4 - 4r4d2R2]2 V resnici lahko s pomocjo elipticnih funkcij najdemo zveze za poljuben mnogokotnik in elipsi. Pri afini transformaciji ravnine se premice slikajo v premice, elipse pa v elipse. Zato nic ne izgubimo na splosnosti, ce predpostavimo, da je zunanja elipsa kar enotska kroznica. V knjigi [7] lahko najdemo naveden izrek: Izrek 3. Kroznica x2 + y2 = 1 in elipsa (x - c)2/a2 + (y - d)2/b2 = 1 imata n-Ponceletovo lastnost natanko tedaj, ko je za n = 2m + 1 oziroma za n = 2m + 2 ^2 CT4 am+1 am+2 = 0 oziroma, am+1 am+2 ••• ^2m kjer so a j koeficienti razvoja funkcije ^3 a4 a4 a5 am+2 am+3 am+2 am+3 a2m+1 f (t) = b2 c2 d2 t t + - t + 1 + t -t + ^ + 2 b2 c2 d2 i4 b4 + + d2 a4b2 a4b2 a2b4 v formalno potencno vrsto f (t) = £ aj tj. j=0 0 2 2 c c a a Izrek je dokazal Cayley. Zelo lepo napisan dokaz lahko bralec najde v članku P. Griffithsa in J. Harrisa [8]. Do tod sta bili krivulji vedno elipsi. Zato si lahko postavimo vprasa-nji: So Pončeletove krivulje vedno elipse? Kako dobiti (klasifičirati) vse Pončeletove krivulje? Pončeletove krivulje, ki niso nujno kvadrike, je nasel B. Mirman [9]. Za njihov opis pa potrebujemo numerični zaklad matrike. Numerični zaklad matrike S Cn, n > 1, bomo označili prostor n-terič kompleksnih stevil. Prostor Cn je n-razsezen vektorski prostor nad obsegom kompleksnih stevil. Skalarni produkt vektorjev x in y iz Cn bomo označili z n, kadar obstaja izometrija V : Cn ^ Cm, za katero velja A = V*BV. Trditev 12. Naj bo B dilacija matrike A. Potem je W(A) C W(B). Dokaz. Ker je B dilacija matrike A, obstaja taka izometrija V, da je A = V*BV. Naj bo a € W(A). Potem obstaja enotski vektor x, ||x|| = 1, da je a = (Ax,x). Pisemo lahko: a = (Ax, x) = (V*BVx, x) = (BVx, Vx) = (By, y). Ker je V izometrija, je tudi y = Vx enotski vektor in zato a € W(B). ■ Izrek 13. Naj bo n > 1, U unitarna matrika velikosti (n + 1) x (n + 1) s samimi različnimi lastnimi vrednostmi in w € Cn+1 enotski vektor, ki ni pravokoten na nobenega od lastnih vektorjev matrike U. Nadalje naj bo L = {x € Cn+1 : (x,w) = 0} in Q ortogonalni projektor Q = In+1 — ww* prostora Cn+1 na L. Potem je rob numeričnega zaklada matrike QUQ kot preslikave L ^ L Ponceletova, krivulja reda n + 1 glede na enotsko kročnico. Opomba 1. Naj bodo ei, e2,..., en baza prostora L. Matrika QUQ, zapisana v bazi {e1, e2,..., en, w}, je potem oblike T 0" 0 0 . Rob numericnega zaklada n x n matrike T je Ponceletova krivulja glede na enotsko kroznico. Dokaz. Matrika U je normalna matrika. Njen numericni zaklad je zato konveksni (n+1)-kotnik M z ogliSci na enotski kroznici, natančneje v lastnih vrednostih matrike U. Matrika U je dilacija matrike T, zato ta (n+1)-kotnik vsebuje numericni zaklad matrike T. Oznacimo lastne vrednosti matrike U z e^fc, k = 1,2,..., n + 1. Vsaka stranica S (n + 1)-kotnika povezuje dve lastni vrednosti. Naj bosta to e^1 in e^2. Pripadajoca lastna vektorja naj bosta v1 in v2. Oznacimo z M vektorski prostor, razpet s tema vektorjema. Ta prostor je dvodimenzionalen. Numericni zaklad zozitve operatorja U na podprostor M je ravno stranica S. Vsota dimenzij prostorov M in L je n + 2. To pomeni, da imata prostora netrivialen presek. V preseku je torej vsaj en neniceln vektor. Naj bo to f. Predpostavimo lahko, da je ||/1| = 1. Ker je f € M, je £ = (Uf, f) na stranici S. Po drugi strani pa je Qf = f, saj je f € L. Zato je £ = (t/, f) = (Uf,f). Tocka £ je torej tudi v W(T). Stranica S in W(T) imata torej skupno vsaj eno tocko. Dokazimo, da je v S n W(T) natanko ena tocka. Recimo, da bi bili skupni dve tocki. Potem bi obstajala dva enotska neodvisna vektorja f1 € M n L in f2 € M n L in M bi bil vsebovan v L. To pa je protislovje, saj M vsebuje lastne vektorje matrike U, L pa ne. To seveda velja za vse stranice (n + 1)-kotnika M. Zato je rob numericnega zaklada krivulja, vcrtana mnogokotniku M, ta pa ima enotski krog za ocrtan krog. Dokazati moramo se to, da ce iz poljubne tocke A1 enotske kroznice potegnemo tangento na rob W(T), drugo presecisce te tangente z enotsko kroznico oznacimo z A2 in potem tako nadaljujemo, dobimo An+1 = A1. Matrika U je dilacija matrike T. Definirajmo U7 = U (I - ww* + eiY W). Ocitno je U*U7 = I in QUYQ = T. Torej je tudi UY unitarna dilacija matrike T. Numericni zaklad matrike UY je (n + 1)-kotnik MY in rob W(T) je vcrtan mnogokotniku MY. Ce bi imel manj oglisc, bi unitarna matrika UY imela vsaj eno veckratno lastno vrednost. Podprostor L bi moral vsebovati lastni vektor matrike UY (dimenzija L je n) in rob W(T) bi se dotaknil kroznice, kar pa vemo, da ni res. Dokazimo se, da imata mnogokotnika MY1 in MY2 razlicna oglisca, ce je 0 < |y1 — y2| < 2n. Ni tezko videti, da je det UY = eiY det U. Zato sta determinanti matrik UY1 in UY2 razlicni. Ker je determinanta produkt lastnih vrednosti matrike, matriki UY1 in UY2 nimata istih lastnih vrednosti. Se vec, vse lastne vrednosti oziroma oglisca morajo biti razlicna. Ce bi mnogokotnika imela skupno oglisce, bi bila po konstrukciji enaka. Ko 7 pretece 2n dolg interval, mnogokotniki MY pretecejo vse mozne (n+1)-kotnike, vcrtane v enotsko kroznico in ocrtane robu W(T) in to brez ponavljanja. Lastne vrednosti matrike UY oziroma oglisca (n + 1)-kotnika MY se z 7 zvezno spreminjajo. Ker sta MY1 in MY2 razlicna, ce se 71 in y2 razlikujeta za manj kot 2n, in je M = M0 = M2n, potuje vsako oglisce mnogokotnika MY ravno do sosednjega oglisca mnogokotnika M, ko tece 7 od 0 do 2n. ■ Da smo prisli do (n + 1)-Ponceletove krivulje, smo morali imeti matriko T, ki ima unitarno dilacijo. Take matrike imenujemo UB matrike. V clanku [9] je dokazan naslednji izrek: Izrek 14. Matrika T ima unitarno dilacijo natanko tedaj, ko je TT* = 1 — uu*, kjer je u neničelni vektor, ||u|| < 1. Dokaz izreka, se mnogo zanimivih lastnosti in tudi relativno enostaven dokaz velikega Ponceletovega izreka za kroznice najdemo v istem clanku [9]. Vprasamo se lahko, ali so vse Ponceletove krivulje, dobljene kot rob numericnega zaklada UB matrike, kvadrike. Odgovor je negativen. Brez dokaza napisimo, da rob W(A) za matriko ni kvadrika, je pa 4-Ponceletova krivulja glede na enotsko kroznico. Na sliki 3 je numericni zaklad matrike (3) pri a = (2 + 3i)/5. Naslednje vprasanje, ki so si ga postavili matematiki, je, ali so vse Pon-celetove krivulje rob numericnega zaklada kaksne UB matrike. Tudi tu je odgovor negativen. B. Mirman in P. Shukla [10] sta dokazala kriterij, ki pove, kdaj je Ponceletova krivulja rob numericnega zaklada matrike, in tudi nasla Ponceletove krivulje, ki niso rob numericnega zaklada UB matrike. V clanku je tudi posplositev definicije Ponceletove krivulje iz realne ravnine v kompleksno ravnino. V obsirnem seznamu literature v [10], [11] lahko najdemo clanke, ki obravnavajo vse mogoce posplositve Ponceletovih krivulj. a 1 — | A =0 a 00 a|2 —a(1 — | a|2 )" 1 — |a|2 , |a| < 1, (3) a A4 B3 Slika 3. Ponceletova krivulja, ki ni kvadrika. LITERATURA [1] W. Chapple, An essay on the properties of triangles inscribed in and circumscribed about two given circles, Mischellanea Curiosa Mathematica 4 (1746), 117-124. [2] H. J. M. Bos, C. Kers, F. Oort in D. W. Raven, Poncelet's closure theorem, Expo. Math. 5 (1987), 289-364. [3] N. Fuss, De quadrilateris quibus circulum tam inscribere quam circumscribere licet, Nova acta acad. sci. Petrop. 10 (St Petersburg 1797), 103-125. [4] H. Dörrie, 100 great problems of elementary mathematics, their history and solutions, New York (Dover), 1965. [5] J. V. Poncelet, Traité des propriétés projektives des figures, Paris 1822. [6] C. G. J. Jacobi, Uber die Anwendungen der eliptischen Transcendenten auf ein bekanntes Problem der Elementargeometrie, Journal fur die reine und angewandte Mathematik 3 (1828), 376-389. [7] M. Berger, Geometry II, Springer, 1987. [8] P. A. Griffiths in J. Harris, On Cayley's explicit solution of Poncelet porism, l'Enseinement Math. 24 (1978), 31-40. [9] B. Mirman, Numerical ranges and Poncelet curves, Linear algebra Appl. 281 (1998), 59-85. [10] B. Mirman in P. Shukla, A characterisation of complex plane Poncelet curves, Linear algebra Appl. 408 (2005), 86-119. [11] B. Mirman, Poncelet's porism in the finite real plane, Linear and Multilinear Algebra 57 (2009) 5, 439-458. SONCNO OBSEVANJE IN KLIMATSKE SPREMEMBE PO MILANKOVICEVEM MODELU ŽIGA SMIT Fakulteta za matematiko in fiziko, Univerza v Ljubljani Institut JoZef Stefan PACS: 92.60.Ry, 92.30.Bc Osnova klimatskih modelov je toplota, ki jo Zemlja prejme od Sonca. Prispevek prikaze nazorno izpeljavo enacb, ki vodijo do dnevnega obseva, to je količine toplote, ki v poljubnem dnevu leta pade na enoto zemeljske povrsine v obliki krogle pri izbrani geografski sirini. Z analitičnimi priblizki v najnizjem redu je upostevano spreminjanje nagiba zemeljske vrtilne osi in spreminjanje ekscentričnosti Zemljinega tira. Z modelom je izračunana relativna količina toplote za obdobje wiirmske poledenitve (do 160 tisoč let nazaj). Primerjava z drugimi računi in izmerjenimi klimatskimi spremembami kaze, da preprosti račun uspesno reprodučira osnovno obliko klimatske krivulje. SOLAR IRRADIATION AND CLIMATIC CHANGES ACCORDING TO THE MILANKOVITCH MODEL Climatič models are essentially based on the energy, rečeived by Earth from the Sun. The artičle shows methodič derivation of equations that lead to the daily insolation, i. e. the quantity of energy that hits a given area of spheričally-shaped earth surfače at given geographičal amplitude on a given day. Analytičal approximations are proposed for the time variation of the tilt of the geographičal axis with respečt to ečliptič and of the eččentričity of the Earth's orbit. The relative quantity of energy is čalčulated for the period of Wurm glače age (up to 160 thousand years in the past). A čomparison with other čalčulations and measured člimatič variations shows that the simple model reprodučes well the main features of the člimatič čurve. Uvod Hitro spreminjanje klimatskih razmer v zadnjem casu prav gotovo oživlja zanimanje za klimatske modele. Že sredi 18. stoletja so z opazovanjem geoloSkih pojavov zaznali pojav ledenih dob. Konec 19. stoletja so domnevali, da so nihanja hladnih in toplih obdobij posledica sprememb v sončnem obsevanju. Z idejo se je leta 1911 začel ukvarjati srbski matematik in naravoslovec Milutin Milankovic (1879-1958). Do podrobnosti jo je izdelal v avstro-ogrskem vojaskem ujetnistvu v blizini Budimpeste in jo leta 1920 objavil v knjigi, ki jo je izdala tedanja Jugoslovanska akademija znanosti in umetnosti v Zagrebu, izsla pa je pri zalozbi Gauthier-Villars v Parizu. Druga Milankoviceva knjiga je izsla v Beogradu leta 1941. V Milankovičevem modelu je klima odvisna od dnevne količine sončne toplote, ki posije na izbrani del zemeljske povrSine. Toplota je odvisna od kota, pod katerim padajo sončni Žarki, in od dolZine dneva. Ti količini pa se dolgotrajno spreminjata zaradi precesije in opletanja zemeljske osi ter zaradi spreminjanja eliptičnosti zemeljskega tira. Milankovič je domneval, da je glavni vzrok za spreminjanje klime in nastop ledenih dob spreminjanje nagiba zemeljske osi, ki poteka s periodo 41 tisoč let. Toda ledene dobe nastopajo s periodo okoli 100 tisoč let, kar je nato kar za nekaj desetletij zmanjsalo zanimanje za Milankovičev model. Znova so ga ozivila globokomorska in ledeniska vrtanja, s katerimi je bilo mogoče rekonstruirati klimatske spremembe 500-800 tisoč let v preteklost. J. D. Hays, J. Imbrie in N. J. Shačkleton so v ključnem delu Variation in the Earth's Orbit: Pačema-ker of the Iče Ages leta 1976 z numeričnimi postopki določili osnovne periode pri spreminjanju klime in pokazali, da se ujemajo s spreminjanjem prečesije in nagiba zemeljske vrtilne osi. Vendar pa so te spremembe le priblizno periodične, ker gibanje Zemlje moti gravitačijsko polje tezjih planetov. Naloga je zato pogosto obrnjena: iz izmerjenih nihanj klime ugotavljajo variačije v Zemljini orbiti. Klimatska nihanja v preteklosti se kazejo v izotopski sestavi kisika v globokomorskih in ledenih vrtinah ter v sestavi in fizikalnih lastnostih se-dimentov. Merjenja teh pojavov so tudi uveljavljena metoda datiranja v geoloskih in starejsih arheoloskih obdobjih. Postopek, ko časovno skalo, ki jo dobimo iz klimatskih in geoloskih opazovanj, uskladimo s parametri po Milankovičevem modelu, imenujemo orbitalna uskladitev (orbital tuning). Ceprav vzroke za danasnje narasčanje temperatur isčemo v spremembah atmosfere, ki jih povzroča človek, pa je Milankovičev model se vedno osnova za računanje dolgoročnih klimatskih sprememb. S primerjavo podatkov za količino vpadle toplote pozimi in poleti ter pri različnih geografskih sirinah dobimo občutek, kako velike spremembe teh količin so pomembne. Izračun dnevnega obseva, to je količine toplote, ki pade na izbrani del zemeljske povrsine v enem dnevu, je zanimiv geometrijski problem, ki ga lahko z matematično nadarjenimi dijaki resimo ze v srednji soli. Namen prispevka pa je razviti model do te mere, da reprodučira osnovno obliko klimatske krivulje za obdobje wurmske poledenitve, to je do 160 tisoč let nazaj. V ta namen predlaga analitične priblizke za časovno odvisnost eksčentričnosti zemeljskega tira in opletanje zemeljske vrtilne osi. Model Klima na Zemlji je odvisna od gostote energijskega toka s Sonča in od lastnosti atmosfere: odbojnosti za sončno svetlobo in absorptivnosti (emisivnosti) z y Slika 1. Vpadni kot sončnih žarkov na severni polobli poleti in pozimi opoldne. v infrardečem območju. Pri nasem modelu se bomo omejili na izračun dnevnega obseva, to je integrala gostote energijskega toka j (obsevanosti) v času od sončnega vzhoda do zahoda: Pri tem je 0 kot, ki ga sončni Žarki oklepajo z normalo na izbrani del zemeljske povrsine; 0 se spreminja zaradi vrtenja Zemlje in njenega gibanja okoli Sonča, saj zemeljska vrtilna os ni pravokotna na ekliptiko, ampak oklepa s pravokotničo nanjo kot ¿o. Zaradi gibanja Zemlje po elipsi se med letom spreminja tudi j, ki pada s kvadratom razdalje Sonče-Zemlja. Za sevanje Sonča in s tem povezano sončno konstanto privzemimo, da se ne spreminja. Spremembe r od enega dneva do drugega pa so majhne, tako da lahko j v (1) postavimo pred integral. Za računanje kota 0 je ugodno, da začnemo meriti letni čas tl v trenutku, ko je Zemlja v pomladisču in je zemeljska os pravokotna na smer sončnih zarkov. Zemeljska os v splosnem oklepa s smerjo proti Sonču kot A: pri čemer je wi kotna hitrost pri krozenju Zemlje okoli Sonča; wi = 2n/Ti, kjer je Ti perioda enega leta. Kot 0 zelimo podati kot funkčijo dnevnega časa td in letnega časa ti. Izberemo koordinatni sistem, pri katerem os z sovpada z zemeljsko vrtilno osjo. Osi x in y lezita v ekvatorialni ravnini; pri tem os y postavimo tako, da smer proti Sonču lezi v ravnini yz (slika 1). Sončni zarki oklepajo tedaj z osjo y kot 5; vrednosti 5 so v letni poloviči leta pozitivne, v zimski pa (1) čos A = sin 50 sin wi ti, (2) negativne. Kota 5 in A se razlikujeta za n/2 (A = n/2 — 5), tako da velja sin 5 = sin 5o sin ui tl. (3) Smer proti Soncu je tedaj s = (0, — cos 5, sin 5). (4) Smer normale na izbrani tocki zemeljskega povrsja pri geografski sirini ( je podana z vektorjem n = (cos udtd cos — sin udtd, cos sin (). (5) Pri tem merimo dnevni cas td tako, da n ob casu td = 0 lezi v ravnini xz; ud = 2n/Td, kjer je Td dolzina enega dneva. Iz enačb (4) in (5) dobimo cos©: cos © = cos 5 cos ( sin udtd + sin 5 sin (6) Iz zveze (6) lahko enostavno ocenimo, koliko je dan zaradi nagnjene zemeljske osi zjutraj in zvecer dalj si ali kraj si kot ob enakonocju. Za mejo svetlo-temno velja cos © = 0 in odtod — sin udtd = tan 5 tan ( = sin a, (7) pri cemer je a podalj sanje ali skrajsanje dneva v kotnih enotah. (V izvirni Milankovicevi izpeljavi namesto kota a nastopa kot n/2 + a, ki ustreza polovicni dolzini dneva v kotnih enotah.) Med arkticno nocjo in arkticnim dnevom je absolutna vrednost tan 5 tan ( vecja od ena. Arkticna noc ali dan nastopita pri geografski sirini ( = n/2— | 5 |, najmanj sa geografska sirina, pri kateri poznajo ta pojav, pa je ( = n/2— | 50 |. Zaradi loma svetlobe v ozracju (astronomske refrakcije) je dolzina dneva nekaj dalj sa, kot jo napove enacba (6), pri arkticnem dnevu, ki se vlece nekaj mesecev, lahko tudi za nekaj dni. V enem dnevu na povrsino S pade toplota (1): 7r+a Q j f 2j ( i n \ \ — = — cos © d(udtd) = — (cos u cos ( cos a ^ — + a) sin 5 sin () . S J ud\ v2 ) ) —a (8) Pri tem smo upostevali, da se j v enem dnevu zaradi gibanja Zemlje po rahlo elipticnem tiru ne spremeni. V splosnem nas zanimajo relativne spremembe dnevnega obseva oziroma vpadle toplote Q. Za izhodi sce vzemimo vrednost Q0 pri 5 = 0, torej koli-cino toplote, ki jo dobimo pri orientaciji zemeljske osi pravokotno na smer sončnih žarkov. Zaradi enostavnosti vzemimo referenčno vrednost toka j pri r = a, ko je oddaljenost Zemlje od Sonca enaka dalj si polosi elipse. Vrednost a je sicer večja od povprečne razdalje Zemlja-Sonce, vendar pomeni bolj so konstanto gibanja: med drugim nastopa v tretjem Keplerjevem zakonu in izrazu za energijo planeta. Relativno spreminjanje toplote Q, ki se na izbrano zemeljsko povrsino S izseva v enem dnevu, je tako Q = (") H 5 cos a n + a j sin 5 tan . (9) Pri racunanju si pomagamo z izrazi za enacbo elipse v parametricni obliki. V tem zapisu so cas in koordinate planeta podani kot funkcija brezdimen-zijskega parametra £, ki se spreminja podobno kot polarni kot od 0 do 2n, vendar nima enostavne geometrijske ponazoritve. Za r velja (glej Landau, enacba 15.10): r = a(1 — e cos £), (10) pri cemer je e ekscentricnost elipse, parameter £ pa je povezan s casom t' z zvezo 2n £ — e sin £ = utt = —ti. (11) Tl Pri majhnih vrednostih e je £ priblizno enak polarnemu kotu, ki ga opise zveznica Sonce-Zemlja z zacetno lego v periheliju. C as t', ki prav tako meri potovanje Zemlje okoli Sonca, ima torej v periheliju vrednost nic. Pri prakticnem racunanju resimo enacbo (11) numericno z iteracijo. Razmerje Q/Qo zelimo izracunati za poljuben koledarski dan t v letu. V ta namen nam zadostuje, da pozabimo na prestopna leta in za dolzino leta vzamemo Ti = 365 dni. Po koledarju nastopi pomlad navadno 21. marca, tako da je od 1. januarja do pomladi sca se 80 dni. Perihelij nastopi okoli 3. januarja. Pri casu tl v enacbi (3) in casu t' v enacbi (11) upostevamo casovna premika: tl = t — 80d; t' = t — 3d (12) V naslednjem koraku upostevamo dolgorocno spreminjanje Q/Q0, ki je opazno sele v obdobjih vec tisoc let. Zemeljska os v prostoru ni stalna, ampak zaradi precesije opleta po plascu stozca, ki je orientiran pravokotno na ekliptiko in ima odprtino 250. Ucinek tega gibanja je navidezno vrtenje elipse zemeljskega tira. Pri racunanju r iz enacb (10, 11) moramo torej pri casu t' upostevati dodatni fazni premik, ki je odvisen od geoloskega casa T; tega lahko merimo tako v preteklost kot v prihodnost: t' = t — 3d + TiT; (13) Tp Slika 2. Parametri Zemljinega tira, izračunana krivulja relativnega dnevnega obseva in dejansko spreminjanje temperature (prirejeno po Global Warming Art). Območje relativnega obsevanja do 160 tisoč let je označeno s kvadratkom. pri tem smo s Tp označili precesijski obhodni čas. Precesijski čas Tp glede na zvezde je 26 ka; s ka označujemo tisoče let. Cas, kot ga vidimo na Zemlji, je odvisen tudi od vrtenja glavne osi Zemljinega tira glede na zvezde in od drugih gibanj. Tudi tu je opaznih več harmoničnih komponent s periodami 19, 22 in 24 ka. V računu smo privzeli Tp =23 ka, kar se ujema z vrednostjo, ki so jo iz meritev na vrtini določili Hays in sodelavči. Drugi dve gibanji, ki vplivata na Q/Q0, sta spreminjanje nagiba zemeljske vrtilne osi glede na ekliptiko (kot ¿o) in spreminjanje eksčentričnosti elipse zemeljskega tira. Pri opisu teh dveh parametrov si pomagamo z analitičnimi priblizki. Spreminjanje nagiba zemeljske osi med skrajnima legama 22,1° in 24,5° poteka s periodo 41 ka. Trenutna vrednost S0 je 23,44° in se zmanjsuje. V nasih računih podamo časovno odvisnost So z analitičnim priblizkom So = 23,3° - 1,2° sin 2n T - 0,8 ka 41 ka (14) Spreminjanje ekscentričnosti zemeljskega tira je kvaziperiodično zaradi vpliva masivnih planetov Jupitra in Saturna. NajmocnejSe harmonične komponente imajo periode 95 ka, 125 ka in 413 ka. Analitično aproksimacijo, ki dovolj dobro opise spreminjanje e za zadnjih 400 ka, poisčemo z nastavkom e = Ao + ^ Ai i=l sin 2n T + & T (15) Slika 3. Spreminjanje nagiba zemeljske osi po enačbi (14) (levo). Spreminjanje ekscen-tričnosti Zemljinega tira po enačbi (16) (desno). Za prispevek s periodo 413 ka je amplituda 0,012. Minimum doseže pri času 400 ka v preteklosti, zato za izberemo -13 ka -1/4 x 413 ka. Preostale amplitude A in fazne čase

Ti. Temperaturna razlika AT = T — T' poganja toploto v stroj, temperaturna razlika AT1 = T' — T1 pa iz stroja v okoličo. Temperaturni razliki AT in AT1 vzamemo za spremenljivki, temperaturi rezervoarjev T in T1 pa za konstanti. Običajno temperaturnih razlik AT in AT1 sploh ne upostevamo. Slika 1. Temperaturni razliki AT = stroja poganjata toplotna tokova. T — T' in ATi = T' — Ti na pregledni risbi toplotnega Vzemimo, da sta toplotna tokova sorazmerna s temperaturnima razlikama [1], [2]: Q = k(T — T') = kAT in Q = - Ti)= fciATi. (1) t 11 V najpreprostejšem primeru, pri prevajanju, sta koeficienta prehoda toplote k = A S/d in k1 = A1S1/d1 s toplotnima prevodnostma A in A1, povrsinama S in S1 ter debelinama plasti d in d1, skozi kateri temperaturni razliki poganjata toplotna tokova. To naj bosta edini ireverzibilni spremembi v stroju. Adiabatno razpenjanje in adiabatno stiskanje naj potekata reverzibilno in hitro v primerjavi z izmenjavanjema toplote. Stroju dovedemo toploto Q in od njega odvedemo toploto Q1 in delo A = Q — Q1. Ker so spremembe z izjemo prenosov toplote reverzibilne, je izkoristek A/Q = 1 — T1 /T'. Zato govorimo o endoreverzibilnem stroju. Krozna sprememba traja cas: t+t1 = kAT + kUr (2) V tej zvezi termodinamika končnega časa zajame ireverzibilne spremembe, termodinamika neskončnega časa pa reverzibilne. Toploti izrazimo s konstantnima temperaturama rezervoarjev T in T1 ter spremenljivima temperaturnima razlikama AT in AT1: AT' T — AT q = _ = a_ in Q T' — T' T — T1 — AT — AT1 24-30 25 Slika 2. Plinske turbine delujejo v odprtem krogu (levo) ali v zaprtem krogu (desno): 1 dovod zraka, 2 kompresor, 3 seZigna celica, 4 turbina, 5 toplotni izmenjalnik, 6 izpuSni plini, 7 električni generator, 8 grelnik zraka, 9 hladilnik. Turbine v elektrarnah imajo pogosto zaprt krog, turbine v potisnih strojih pa odprtega. ATi Ti + ATi Qi = = A T' - T T - Ti - AT - ATi' Stroj dela z močjo: = = AT ATi (T - Ti - AT - ATi) (3) t + ti ik i T ATi + k Ti AT + ATATi (k - ki)' () Moč je največja, ko je dP/d(AT) = 0 in dP/d(ATi) = 0. Odvajanje si olajšamo, če uvedemo Števec f = AT AT (T - T - AT - AT) in imenovalec F = k i TATi+kTi AT+AT ATi (k-k i). Potem se pogoja glasita f 'F = f F', če črtica najprej zaznamuje odvajanje po AT in potem po AT. Enačbi, ki ju dobimo z odvajanjem, skrčimo: ki TATi (T-Ti-AT-ATi) = AT (k iT ATi +kTi AT+(k-ki )AT ATi) (4) in kTi AT (T-Ti-AT-ATi) = ATi (k i TATi+kTi AT+(k-k i )AT ATi). (5) Prvo enačbo delimo z drugo: kiT ATi AT . /kTi fcTAT =AT in ATi = V kiTAT' (6) Z drugo enačbo (6) odpravimo temperaturno razliko AT iz enačbe (4). Po preureditvi preostane kvadratna enačba: (1 - k/k i )(AT)2 - 2(v/kTi/kiT + 1)T AT + T (T - Ti) = 0. Izberemo rešitev z negativnim znakom, ki zagotovi, da je AT = 0, če postavimo T = Ti: At = T 1 - in ATi = Ti (7) 1 + v/k/ki 1 + v/ki/k Dodali smo rešitev za drugo temperaturno razliko, ki sledi, ko dobljeno rešitev AT vstavimo v drugo enačbo (6). Z enačbama (7) izračunamo razmerje temperatur: T _ ATi + Ti _ /T" T7 = T - AT = V T' Tako dobimo nazadnje za izkoristek stroja pri največji moči: • V, ^ / T' ( T Slika 3. Delovanje plinske turbine v diagramu pV opise idealizirana krožna sprememba. Od Tq do To plin dobiva toploto pri konstantnem tlaku po, od T do T jo oddaja pri konstantnem tlaku p. Spremembi od To do T in od T do T¿ potekata adiabatno, to je brez izmenjavanja toplote. Presenetljivo je tudi ta izkoristek odvisen samo od temperatur obeh rezervoarjev. Izračunani izkoristki se dobro ujemajo z izmerjenimi podatki za stroje v elektrarnah na premog, jedrskih elektrarnah in elektrarnah na zemeljsko toploto [1]. Podatki za Termoelektrarno Šostanj se ujemajo nekoliko slabse. Pričakujemo, daje izkoristek nP nekoliko večji od dosezenega izkoristka nd, ker uposteva samo del ireverzibilnosti. P T Ti ne np nd blok 3 75 MW 803 K 300 K 0,63 0,39 0,28 blok 4 275 818 295 0,64 0,40 0,32 blok 5 345 818 295 0,64 0,40 0,32 Pomnožimo enačbo (8) z 1 + Tl/T in prepoznajmo v 1 — Tl/T = ne Carnotov izkoristek: ne/np = 1 + Tl/T. Iz te zveze sledi, da za 0 < Tl < T velja neenačba 2nC < nP