[69] gyula60 | 2013-04-04 17:52:04 |
Előző hozzászólást még kiegészíteném azzal a gondolattal, hogy hiány (defektus) nemcsak szögek esetén, hanem hosszméretek esetén is jelentkezhet.
Ha mégis létezik a [63]-[67] alatt felvázolt "lemniszkáta trigonometria", akkor egyik adósság még a háromszögalkotás feltételei. Az euklideszi geometria elfajuló háromszögei itt is elfajulóak lesznek.
Egyenlő szárú háromszögeinek vizsgálatainál vettem észre, hogy az hosszhiány a derékszögű háromszögek esetén volt a legnagyobb. Az elfajuló háromszögek esetén nem beszélhetünk hiányról.
A lemniszkáta függvények ívmértéke pontosan ugyanúgy rendelhető a fok mértékegységhez, mint a közismert ívmértékek esetén.
|
Előzmény: [67] gyula60, 2013-04-03 14:16:40 |
|
[68] marcius8 | 2013-04-04 08:24:38 |
Érdemes végiggondolni a következő tételeket
Van olyan háromszög, amelynek belső szögösszege kevesebb, mint 180 fok ==> Minden háromszög belső szögösszege kevesebb, mint 180 fok <==> Adott egyeneshez és egy, az adott egyenesen nem levő adontt ponthoz végtelen sok olyan egyenes létezik, amelyek átmennek az adott ponton és nincs közös pontjuk az adott egyenessel. Egy háromszög szöghiányát úgy kell kiszámítani, hogy a pí-ből ki kell vonni a háromszög szögösszegét. Ekkor ha egy háromszöget feldarabolunk kisebb háromszögekre, akkor a feldarabolt háromszög szöghiánya egyenlő a kisebb háromszögek szöghiányával.
Van olyan háromszög, amelynek belső szögösszege több, mint 180 fok ==> Minden háromszög belső szögösszege több, mint 180 fok <==> Adott egyeneshez és egy, az adott egyenesen nem levő adontt ponthoz nem létezik egyenes, amely átmegy az adott ponton és nincs közös pontja az adott egyenessel. Hogy ekkor minden háromszög belső szögösszege pí, vagy 180°, vagy 400 újfok, vagy nem tudom, hogy mennyi, az attól függ, hogy a szöget milyen mértékegységben mérjük.
Van olyan háromszög, amelynek belső szögösszege 180 fok ==> Minden háromszög belső szögösszege 180 fok <==> Adott egyeneshez és egy, az adott egyenesen nem levő adontt ponthoz pontosan egy olyan egyenes létezik, amely átmegy az adott ponton és nincs közös pontja az adott egyenessel. Egy háromszög szögtöbbletét úgy kell kiszámítani, hogy a a háromszög szögösszegéből ki kell vonni pí-t Ekkor ha egy háromszöget feldarabolunk kisebb háromszögekre, akkor a feldarabolt háromszög szögtöbblete egyenlő a kisebb háromszögek szögtöbbletével.
|
|
[67] gyula60 | 2013-04-03 14:16:40 |
Korrekcióra van szükség. Képletek elején hibásan adtam meg az y-t.
y=x2+4a2b2
Tehát az alkalmazni kívánt két függvény definíciója így nézne ki:
,
Még olyan tétellel nem találkoztam, hogy az állandó szögösszegű háromszögekkel rendelkező geometriai struktúrák halmaza egyelemű és az csakis az Euklideszi geometria lehet. És ez a szögösszeg csakis a , se több, se kevesebb nem lehet. Eddig nem találkoztam ellentmondással, hacsak az nem, hogy előjön az a bizonyos defektus, ami pedig a nem euklideszi geometriák egyik tulajdonsága. Annak bizonyítása sincs meg, hogy az általam felvázolt struktúra ténylegesen állandó szögösszegű háromszögekből áll.
|
Előzmény: [65] gyula60, 2013-04-02 20:49:07 |
|
[66] Fálesz Mihály | 2013-04-02 22:49:08 |
Csak ismételni tudom magamat.
Ha van hasonlóság, és a hasonló háromszögeknek ugyanakkorák a szögeik, akkor vagy euklideszi geometriáról van szó, vagy pedig a képletek ellentmondanak, és ilyen geometriai struktúra nincs.
|
Előzmény: [65] gyula60, 2013-04-02 20:49:07 |
|
[65] gyula60 | 2013-04-02 20:49:07 |
A derékszögű háromszögek esetén szintén felállíthatónak tűnt a magasság-tétel és befogó-tételek megfelelői, csak vigyázni kell az átfogóval, mert az illesztés során egy d defektust szenved m2/c értékkel. Itt előjött két kétváltozós függvény:
Legyen x=a2+b2, és y=x2+4ab,
, ,
,
/c1 és c2 a befogók vetületei az átfogó "egyenesén"/
(a,b)=c, , , , c=c1+c2+d,
, , (a,b)=m, mc=ab=(a,b)(a,b),
A fentiekből még két érdekes függvényegyenlet is felírható: ,
.
Az itt bemutatott defektus ellenére bizonyítani kellene, hogy a két trigonometria között milyen fajta kapcsolat létesíthető.
|
Előzmény: [64] Fálesz Mihály, 2013-04-02 14:23:28 |
|
|
[63] gyula60 | 2013-04-02 00:14:21 |
Szeretnék ismertetni egy nem-euklideszi trigonometriát. A dolog teljesen intuitív módszerekkel történt és egy kis nem-euklideszi trigonometriás tapasztalattal. Algebrai és intuitív módszerekkel az elliptikus függvényekből levezethető lemniszkáta cl(x) és sl(x) függvények segítségével hoztam létre a konstrukciót. Ugyanúgy, ahogy a klasszikus trigonometrikus függvények szintén periodikusak és a félperiódus nem , hanem (saját jelölés) m=2,62205... irracionális transzcendens szám. A kiindulást jelentő függvények ugyanúgy folytonosak, korlátosak, differenciálhatók, mint a trigonometrikus társaik és cl(0)=1, sl(0)=0, cl(-x)=cl(x), sl(-x)=-sl(x), sl(m)=0 stb.
Mindannyian rendelkeznek addíciós képlettel: , Összekötő egyenletük: cl2(x)+sl2(x)+cl2(x)sl2(x)=1 Az én intuícióm ennek nyomán feltételezett egy Pitagorasz-tételt ami így nézne ki: a2b2+c2(a2+b2)=c4, ahol a és b lenne a befogó és c az átfogó. Ezekben a derékszögű háromszögekben érvényesül a hasonlóság és . A háromszög oldalai között értelmezni kell egy mennyiséget és levezethetővé vált az általánosabb "háromszögre" egy koszinusztétel:
Majd ennek nyomán a szinusztétel is:
Derékszögű háromszög esetén és így sl()=1, cl()=0. (ahol c az átfogó)
Még egy fontos sejtés: az "általános háromszög" szögeinek összege m=2,62205... állandó és értelmezhetőnek tűnik a hasonlóság is.
|
|
|
|
[60] marcius8 | 2013-02-01 17:28:32 |
Elnézést kérek mindenkitől, az [57] hozzászólásomat pontosítom: Juliska három gyurmagolyóból összegyúrva egyetlen gyurmagolyót készít, a gyurmagolyók sugarai 16cm, 68cm, 88cm. Jancsi három gyurmagolyóból összegyúrva egyetlen gyurmagolyót készít, a gyurmagolyók sugarai 35cm, 70cm, 85cm. Kinek lesz nagyobb sugarú gyurmagolyója? A megoldáshoz fel kell használni, hogy az "r" sugarú gömb térfogata "lambda" paraméterű elliptikus térben: V=2*lambda*lambda*pi*r-lambda*lambda*lambda*pi*sin(2r/lambda), "lambda" paraméterű hiperbolikus térben: V=lambda*lambda*lambda*pi*sh(2r/lambda)-2*lambda*lambda*pi*r, euklideszi térben V=4*pi*r*r*r/3. (ez utóbbi képlet előáll a nem euklideszi esetekben felírt képletek határértékeként, ha lambda-->végtelen.)
|
|
|
[58] marcius8 | 2013-02-01 16:14:46 |
Sok fizikai problémát is érdemes megvizsgálni euklideszi geometriában és nem euklideszi geometriában.
1. A fénytörés (Snellius-Descartes) törvény alakja tetszőleges geometriában ugyanúgy néz ki, ha elfogadjuk, hogy a Fermat-elv mindig érvényes. (Fermat-elv: a fény egy pontból egy másik pontba úgy igyekszik eljutni, hogy az út megtételéhez szükséges idő a lehető legrövidebb legyen. Fénytörés: Egy fény két közeg határfelületére érve úgy törik meg, hogy a fény beesési szögének szinuszának és a fény törési szögének szinuszának hányadosa mindig a két közegre jellemző mennyiség, az úgynevezett törésmutató.) Speciális esetként a vékony lencse (tükör) nevezetes sugármeneteit illetve a vékony lencse (tükör) leképezési törvényét is meg lehet vizsgálni.
2. Az "m" tömegű bolygó gravitációs terének vizsgálata. Ehhez szükséges tudni, hogy az "r" sugarú gömb felszíne "lambda" paraméterű hiperbolikus geometriában A=4*pi*lambda*lambda*sh(r/lambda)*sh(r/lambda), "lambda" paraméterű elliptikus geometriában A=4*pi*lambda*lambda*sin(r/lambda)*sin(r/lambda), euklideszi geometriában A=4*pi*r*r. Talán ennek a problémakör megoldásának ismeretében meg tudjuk-e állapítani a gravitációs térerősség mérésével, hogy milyen paraméterű és milyen geometriában vagyunk?
3. A speciális relativitás elve. A Lorentz transzformáció hogyan néz ki euklideszi geometriában illetve nem euklideszi geometriában?
4. Ez ugyan nem fizika, hanem szerkeszthetőség. Euklideszi geometriában a kör nem négyszögesíthető, a négyzet oldala és átlója nem összemérhető, a szabályos ötszög oldala és átlója nem összemérhető. Nem-euklideszi geometriában van négyszögesíthető kör, van olyan négyzet, amelynek oldala és átlója összemérhető, van olyan szabályos ötszög, amelynek oldala és átlója összemérhető.
|
|
[57] marcius8 | 2013-02-01 15:56:31 |
"FM" hozzászólónak: A feladatodra (egyenlőre) nem találtam olyan megoldást, amilyet szeretnél. Bár nem mindenki szereti a trigonometriát, különösképpen a nem-euklideszi síkbeli trigonometriát, de néhány érdekességet a teljesség igénye nélkül leírok, amelyet érdemes végiggondolni.
1. A húrnégyszögekre vonatkozó Ptolemaiosz-tételt (lásd korábbi hozzászólásomat) csak olyan húrnégyszögre igazoltam, amelynek csúcsai egy körön vannak. Érdemes kiszámolni az "a", "b", "c", "d" oldalú "s" félkerületű húrnégyszög köré írt kör sugarát és területét. Érdemes azt is végigszámolni, hogy az "a", "b", "c", "d" oldalú csuklós négyszögek közül melyiknek maximális a területe, eredményként az adódik, hogy ekkor annak a csuklós négyszögnek maximális a területe, amelyre teljesül a Ptolemaiosz-összefüggés.
Sok számolást lehetne még elvégezni, de ami a szemléletnek ellentmondani látszik, az a következő feladat: Jancsi három gyurmagolyóból összegyúrva egyetlen gyurmagolyót készít, a gyurmagolyók sugarai 16cm, 68cm, 88cm. Jancsi három gyurmagolyóból összegyúrva egyetlen gyurmagolyót készít, a gyurmagolyók sugarai 35cm, 70cm, 85cm. Kinek lesz nagyobb gyurmagolyója? A megoldáshoz fel kell használni, hogy az "r" sugarú gömb térfogata "lambda" paraméterű elliptikus térben: V=2*lambda*lambda*pi*r-lambda*lambda*lambda*pi*sin(2r/lambda), "lambda" paraméterű hiperbolikus térben: V=lambda*lambda*lambda*pi*sh(2r/lambda)-2*lambda*lambda*pi*r, euklideszi térben V=4*pi*r*r*r/3. (ez utóbbi képlet előáll a nem euklideszi esetekben felírt képletek határértékeként, ha lambda-->végtelen.)
|
|
[56] Fálesz Mihály | 2013-01-30 13:55:04 |
Én nem a Ptolemaiosz-tétellel folyatnám (a képleteidet nem ellenőriztem), és a nemeuklideszi trigonometria sem okoz túl nagy esztétikai élményt.
Nézzük inkább két kör hatványvonalát. A feladat a következő:
Adott (egyelőre az euklideszi) síkban két körvonal, k1 és k2, mondjuk egymáson kívül. Egy P pontot nevezzzünk érdekesnek, ha P-ből ugyanolyan hosszú érintő szakaszt lehet húzni k1-hez és k2-höz. Az iskolában tanultuk, hogy az érdekes pontok egy egyenesen vannak. A kérdés az, hogy miért vannak egy egyenesen. |
|
Az kevés, hogy számolással ellenőrizhetjük. Olyan bizonyítást keressünk, amiből közvetlenül, számolás nélkül derül ki, hogy a hatványvonal tényleg egy egyenes.
|
Előzmény: [52] marcius8, 2013-01-30 12:48:36 |
|
|
[54] marcius8 | 2013-01-30 13:15:25 |
Csakugyan van olyan négyszög a hiperbolikus geometriában melynek két szemközti szögének az összege egyenlő a másik két szemközti szögének összegével, ugyanakkor a négyszög csúcsai nincsennek egy körön, ennek oka, hogy ebben az esetben a négszög oldalfelező merőlegesei nem metszik egymást. Köszönöm az észrevételt, erre a következőkben is oda fogok figyelni. Akkor nagy hirtelen pontosítok a tételen: Egy konvex négyszög oldalfelező merőlegesei pontosan akkor tartoznak ahhoz a sugársorhoz, ha a konvex négyszög két szemközti szögének összege egyenlő a konvex négyszög másik két szemközti szögének az összegével. Ha a konvex négyszög oldalfelező merőlegesei egy pontban metszik egymást, akkor a négyszög csúcsai egy körön találhatóak, tehát a négyszög klasszikus értelemben is húrnégyszög.
|
Előzmény: [53] Fálesz Mihály, 2013-01-30 13:04:21 |
|
|
[52] marcius8 | 2013-01-30 12:48:36 |
"FM" hozzászólónak: A húrnégyszöget úgy értelmezem (euklideszi geometriában és nem euklideszi geometriában egyformán), hogy olyan négyszög, amelynek minden csúcsa ugyanazon a körön(!!!) van. Esetleg még érdemes átgondolni, hogy tetszőleges geometriában a húrnégyszögekre vonatkozó Ptolemaiosz-tétel hogyan fogalmazható meg, vagy tetszőleges geometriában a húrnégyszög területe hogyan határozható meg a húrnégyszög négy oldalának ismeretében.
Pl. Ptolemaiosz-tétel: Legyen "a", "b", "c", "d" a húrnégyszög négy oldala ebben a sorrendben, és legyen "e", "f" a húrnégyszög két átlója.
Euklideszi geometria: e*f=a*c+b*d
"lambda" paraméterű elliptikus geometria:
sin(e/(2*lambda))*sin(f/(2*lambda))=sin(a/(2*lambda))*sin(c/(2*lambda))+sin(b/(2*lambda))*sin(d/(2*lambda))
"lambda" paraméterű hiperbolikus geometria:
sh(e/(2*lambda))*sh(f/(2*lambda))=sh(a/(2*lambda))*sh(c/(2*lambda))+sh(b/(2*lambda))*sh(d/(2*lambda))
Érdemes észrevenni, hogy ha "lambda"-->végtelen, akkor az elliptikus geometria és a hiperbolikus geometria tart az euklideszi geometriához, és ekkor a nem-euklideszi geometriában kimondott Ptolemaiosz-tételek tartanak az euklideszi geometriában kimondott Ptolemaiosz-tételhez.
|
|
[51] Fálesz Mihály | 2013-01-28 13:56:59 |
Ha a hiperbolikus síkot a projektív síkba (elliptikus geometriába) ágyazzuk be a Klein-modellel, akkor egy görbének látszanak.
Ha viszont a hiperbolikus síkot az inverzív síkba (gömbi geometriába) ágyazzuk be valamelyik Poincaré-modellel, akkor különböző görbének látszanak.
|
Előzmény: [47] Vonka Vilmos Úr, 2013-01-28 12:23:00 |
|
|
[49] Vonka Vilmos Úr | 2013-01-28 13:40:19 |
A húrnégyszögek tételének ez a hiperbolikus általánosa igen szép (és úgy látom, elég friss) eredmény (én legalábbis 2009-es és 2011-es hivatkozásokat találtam rá).
Tisztázni kell azonban előtte, hogy mit is értünk a hiperbolikus síkon húrnégyszögön. Ahhoz, hogy ilyen tételt fogalmazhassunk meg, a húrnégyszögeket a következő módon érdemes definiálni: olyan négyszög, amelynek csúcsai egy körre, horociklusra, vagy egy ekvidisztáns görbe egy ágára illeszkednek.
|
Előzmény: [48] marcius8, 2013-01-28 13:29:25 |
|
[48] marcius8 | 2013-01-28 13:29:25 |
Sokan hivatkoznak a CK-modellre, ami nem baj. De szerintem az igazi nem-euklideszi geometria az, ha a tételeket közvetlenül, nem pedig modell alapján bizonyítjuk, azaz mintha nem-euklideszi síkra születtünk volna.
Más: Korábbi hozzászóló kérdezte a húrnégyszögek tételét: tetszőleges geometriában egy négyszög pontosan akkor húrnégyszög, ha a négyszög két szemközti szögének az össszege egyenleő a négyszög másik két szemközti szögének összegével. Euklideszi geometriában ennél több is igaz: Egy négyszög pontosan akkor húrnégyszög, ha a négyszög két szemközti szögének az összege 180° és a négyszög másik két szemközti szögének az összege 180°. Ennek bizonyítását nem írom ide, de ha az említett hozzászóló kéri, elküldöm e-mail-ben a tétel bizonyítását.
Bertalan Zoltán (marcius8)
|
|
|
|
[45] Fálesz Mihály | 2013-01-28 12:10:16 |
Nekem azért fenntartásaim vannak ezzel.
Arról van ugye szó, hogy az egyenes két oldalán két, állandó görbületű görbét (távolsággörbe, hiperciklus stb.) alkotnak azok a pontok, amik az egyenestől adott távolságra vannak. Ha akarjuk, és a Klein/modellben nézzük, akkor ez a két görbe valójában egy, hasonlóan az euklieszi hiperbola két ágához. Ha viszont valamelyik Poincaré/modellben nézzük, akkor kiderül, hogy két látványosan különböző görbéről van szó. A félgöbbmodell mutatja legjobban, hogy mi az oka ennek a kettősségnek. Ezt majd lerajzolom.
* * *
De mindez csak a lényegről elterelő mellékszál, és kb. annak a kérdésnek felel meg, hogy a euklideszi háromszög köré írt kört általánosítja-e az a három párhuzamos egyenespár, ami szintén tartalmazza-e a csúcsokat.
Inkább térjünk vissza a kérdéshez: láttuk, hogy minden háromszög köré írható egy állandó görbületű, összefüggő görbe, ami lehet kör, vagy paraciklus (angolban ikább horociklusnak nevezik), vagy hiperciklus. Kérdés a topiknyitóhoz: Hogy is volt az a dolog a húrnégyszögekkel?
|
Előzmény: [44] Vonka Vilmos Úr, 2013-01-28 11:35:06 |
|