Épület iránytűvel és egyenes éllel

Épület iránytűvel és egyenes éllel
 Médiafájlok a Wikimedia Commons oldalon

Az euklideszi geometria ősidők óta ismert  része az iránytű és vonalzó segítségével történő konstrukciók .

Építési problémák esetén az iránytűt és a vonalzót ideális eszköznek tekintik, különösen:

Példák

Felezési probléma . Az adott AB szakaszt körzővel és egyenes éllel oszd két egyenlő részre. Az egyik megoldás az ábrán látható:

Formális definíció

Az építési feladatok során a következő objektumok halmazát veszik figyelembe: a sík összes pontja, a sík összes vonala és a sík összes köre. A probléma körülményei között az objektumok egy bizonyos halmaza kezdetben meghatározott (konstruáltnak tekinthető). Az épített objektumok készletéhez hozzá lehet adni (építeni):

  1. tetszőleges pont;
  2. tetszőleges pont egy adott egyenesen;
  3. tetszőleges pont egy adott körön;
  4. két adott egyenes metszéspontja;
  5. egy adott egyenes és egy adott kör metszéspontja/érintése;
  6. két adott kör metszéspontja/érintése;
  7. adott ponton áthaladó tetszőleges egyenes;
  8. két megadott ponton áthaladó egyenes;
  9. tetszőleges kör, amelynek középpontja egy adott pont;
  10. tetszőleges kör, amelynek sugara egyenlő két adott pont távolságával;
  11. egy kör, amelynek középpontja egy adott pontban van, és amelynek sugara megegyezik két adott pont távolságával.

Ezen műveletek véges számú segítségével létre kell hozni egy másik objektumkészletet, amely adott kapcsolatban van az eredeti halmazzal.

Az építési probléma megoldása három lényeges részből áll:

  1. Egy adott halmaz felépítési módszerének leírása.
  2. Bizonyíték arra, hogy a leírt módon felépített halmaz valóban adott kapcsolatban van az eredeti halmazzal. A konstrukció bizonyítása általában egy tétel szabályos bizonyításaként történik, axiómákra és más bizonyított tételekre támaszkodva.
  3. A leírt konstrukciós módszer elemzése a kezdeti feltételek különböző változataira való alkalmazhatóság szempontjából, valamint a leírt módszerrel kapott megoldás egyedisége vagy nem egyedisége szempontjából.

Ismert kihívások

Szabályos sokszögek felépítése

Az ókori geométerek tudták, hogyan kell szabályos n - szögeket alkotni , , és .

1796- ban Gauss megmutatta annak lehetőségét, hogy reguláris n - szögeket állítsunk elő , ahol  különböző Fermat -prímek vannak . 1836- ban Wanzel bebizonyította, hogy nincs más szabályos sokszög , amelyet iránytűvel és egyenes éllel meg lehetne építeni.

Megoldhatatlan problémák

A következő három építési feladatot tűzték ki az ókori görögök:

Csak a 19. században bizonyították szigorúan, hogy ezt a három problémát nem lehet csak iránytűvel és egyenes éllel megoldani. Ezen konstrukciós problémák megoldhatatlanságának bizonyítása a Galois-elméletre épülő algebrai módszerekkel [1] történt . A π szám transzcendenciájából különösen az következik, hogy egy kör négyzetre emelésének lehetetlensége következik .

Egy másik jól ismert és megoldhatatlan probléma az iránytű és a vonalzó segítségével a háromszög felező három megadott hosszúsága szerint való felépítése [ 2] . Ez a probléma megoldhatatlan marad még szögtriszekciót végrehajtó szerszám , például tomahawk jelenlétében is . [3]

Megengedett szegmensek az iránytű és az egyenes él segítségével történő építéshez

Ezekkel az eszközökkel olyan szegmenst készíthetünk, amelynek hossza:

  1. egyenlő több szakasz hosszának összegével;
  2. egyenlő két szegmens hosszának különbségével;
  3. számszerűen egyenlő két szakasz hosszának szorzatával;
  4. számszerűen egyenlő két szakasz hosszának osztásának hányadosával;
  5. numerikusan egyenlő egy adott szakasz hosszának négyzetgyökével (két szakasz geometriai átlagának megszerkesztésének lehetőségéből következik , lásd az ábrát). [négy]

Az adott szakaszok hosszának szorzatával, privát és négyzetgyökével numerikusan megegyező hosszúságú szakasz felépítéséhez a konstrukciós síkon egységnyi szegmenst (vagyis 1 hosszúságú szakaszt) kell beállítani, ellenkező esetben a probléma megoldhatatlan a skála hiánya miatt. A gyökerek kinyerése más természetes erővel rendelkező szegmensekből, amelyek nem 2 hatványai, nem lehetséges iránytű és egyenes él segítségével. Így például lehetetlen egyetlen szegmensből hosszúságú szegmenst építeni iránytű és vonalzó segítségével . Ez a tény különösen a kocka-kettőzési probléma megoldhatatlanságát jelenti. [5]

Lehetséges és lehetetlen konstrukciók

Formális szempontból bármely konstrukciós probléma megoldása valamilyen algebrai egyenlet grafikus megoldására redukálódik , és ennek az egyenletnek az együtthatói az adott szakaszok hosszához kapcsolódnak. Ezért azt mondhatjuk, hogy a konstrukció problémája valamely algebrai egyenlet valódi gyökereinek megtalálására redukálódik.

Ezért célszerű egy szám felépítéséről beszélni - egy bizonyos típusú egyenlet grafikus megoldásáról.

A szegmensek lehetséges felépítése alapján a következő konstrukciók lehetségesek:

Más szóval, lehetséges csak aritmetikai kifejezésekkel megegyező szegmenseket felépíteni az eredeti számok négyzetgyökéből (adott szegmenshosszak).

A megoldást négyzetgyökökkel kell kifejezni , nem tetszőleges fokú gyökökkel. Még ha egy algebrai egyenletnek van is megoldása gyökökben , akkor ez nem jelenti azt a lehetőséget, hogy a megoldásával megegyező szakaszt készítsünk iránytűvel és vonalzóval. A legegyszerűbb ilyen egyenlet: a híres kockakettőzési problémával kapcsolatos, erre a köbös egyenletre redukálva . Mint fentebb említettük, ennek a ( ) egyenletnek a megoldása nem szerkeszthető meg iránytűvel és vonalzóval.

A szabályos 17-szög összeállításának képessége az oldala középső szögének koszinuszának kifejezéséből következik:

ami viszont abból a lehetőségből következik, hogy egy olyan egyenletet redukálhatunk, amelynek formája ahol  bármely prím Fermat-szám , a változó másodfokú egyenletté változtatásával.

Változatok és általánosítások

Azonban,

Érdekes tények

Lásd még

Jegyzetek

  1. Kiricsenko, 2005 , p. egy.
  2. Ki és mikor bizonyította be, hogy lehetetlen háromszöget három felezőszögből megszerkeszteni? Archiválva : 2009. október 18. a Wayback Machine -nél . Távoli konzultációs pont a matematika MCNMO számára .
  3. Lehetséges-e háromszög felezővel építeni, ha az iránytűn és az egyenesen kívül megengedett egy háromszögletű 2015. augusztus 26-i archív másolat használata a Wayback Machine -nél . Távoli konzultációs pont a matematika MCNMO számára .
  4. Kiricsenko, 2005 , p. négy.
  5. Kiricsenko, 2005 , p. 9.
  6. Maehara, Hiroshi (1991), Távolságok merev egység-távolság gráfban a síkban , Discrete Applied Mathematics 31. kötet (2): 193–200 , DOI 10.1016/0166-218X(91)90070-D  .
  7. Iranian Flag Standard archiválva 2012. június 21-én a Wayback Machine -nél  (pers.)

Irodalom

Linkek