A TheoDefről, a használt Gödel-számozás leírása Technikai hibák jelentése, segítségkérés, javaslattételA szerkesztéslista (2023. június 27., 17:40-től van benne minden a változatokhoz a tartalom mellett tartozó információ)
A weboldal jelenleg fejlesztés alatt áll, előfordulhat egyes funkciók átmeneti működésképtelensége.
Módosítás


A változat dátuma: 2023. 06. 24., 10:43:50am
A változat szerzője: Hári Zalán alias Alhazen
A változatbani bizonyítás: Mindjárt hivatkozom a bizonyítást.
A változatbani tételleírás:

Ez a Pitagorasz-tétel formalizált változata. Az eredeti tétel azt mondja ki: tetszőleges derékszögű háromszög két befogójának hosszát egyenként négyzetre emelve, majd összeadva kapjuk az átfogó hosszának négyzetét. Ha a két befogó hosszát a-val és b-vel jelöljük, az átfogóét pedig c-vel:

a^2 + b^2 = c^2

Formálisabban: egy vektor abszolút értékének négyzete egyenlő az összes koordináta négyzetének összegével.


A változat dátuma: 2023. 06. 24., 11:13:26am
A változat szerzője: Hári Zalán alias Alhazen
A változatbani bizonyítás: Mindjárt hivatkozom a bizonyítást.
A változatbani tételleírás:

Ez a Pitagorasz-tétel formalizált változata. Az eredeti tétel azt mondja ki: tetszőleges derékszögű háromszög két befogójának hosszát egyenként négyzetre emelve, majd összeadva kapjuk az átfogó hosszának négyzetét. Ha a két befogó hosszát a-val és b-vel jelöljük, az átfogóét pedig c-vel:

a^2 + b^2 = c^2

Formálisabban: egy vektor abszolút értékének négyzete egyenlő az összes koordináta négyzetének összegével.


A változat dátuma: 2023. 06. 24., 11:20:33am
A változat szerzője: Hári Zalán alias Alhazen
A változatbani bizonyítás: Mindjárt hivatkozom a bizonyítást.
A változatbani tételleírás:

Ez a Pitagorasz-tétel formalizált változata. Az eredeti tétel azt mondja ki: tetszőleges derékszögű háromszög két befogójának hosszát egyenként négyzetre emelve, majd összeadva kapjuk az átfogó hosszának négyzetét. Ha a két befogó hosszát a-val és b-vel jelöljük, az átfogóét pedig c-vel:

a2 + b2 = c2

Formálisabban: egy vektor abszolút értékének négyzete egyenlő az összes koordináta négyzetének összegével.


A változat dátuma: 2023. 06. 25., 05:36:08am
A változat szerzője: Hári Zalán alias Alhazen
A változatbani bizonyítás: Mindjárt hivatkozom a bizonyítást.
A változatbani tételleírás:

Ez a Pitagorasz-tétel formalizált változata. Az eredeti tétel azt mondja ki: tetszőleges derékszögű háromszög két befogójának hosszát egyenként négyzetre emelve, majd összeadva kapjuk az átfogó hosszának négyzetét. Ha a két befogó hosszát a-val és b-vel jelöljük, az átfogóét pedig c-vel:

a2 + b2 = c2

Formálisabban: egy kétdimenziós vektor abszolút értékének négyzete egyenlő a két koordináta négyzetének összegével.

Az előző változaton végzett változtatások összefoglalva: Eddig túl általános volt, most javítottam úgy, hogy tényleg a Pitagorasz-tétel formalizációja legyen, ne az általánosítása

A változat dátuma: 2023. 06. 27., 05:10:19pm
A változat szerzője: Hári Zalán alias Alhazen
A változatbani bizonyítás: Mindjárt hivatkozom a bizonyítást.
A változatbani tételleírás:

Ez a Pitagorasz-tétel formalizált változata. Az eredeti tétel a következőt mondja ki: tetszőleges derékszögű háromszög két befogójának hosszát egyenként négyzetre emelve, majd összeadva kapjuk az átfogó hosszának négyzetét. Ha a két befogó hosszát a-val és b-vel jelöljük, az átfogóét pedig c-vel:

a2 + b2 = c2

Formálisabban: egy kétdimenziós vektor abszolút értékének négyzete egyenlő a két koordináta négyzetének összegével.

Az előző változaton végzett változtatások összefoglalva: apró javítás

A változat dátuma: 2023. 06. 27., 05:12:03pm
A változat szerzője: Hári Zalán alias Alhazen
A változatbani bizonyítás: Mindjárt hivatkozom a bizonyítást.
A változatbani tételleírás:

Ez a Pitagorasz-tétel formalizált változata. Az eredeti tétel a következőt mondja ki: tetszőleges derékszögű háromszög két befogójának hosszát egyenként négyzetre emelve, majd összeadva kapjuk az átfogó hosszának négyzetét. Ha a két befogó hosszát a-val és b-vel jelöljük, az átfogóét pedig c-vel:

a2 + b2 = c2

Formálisabban: bármely kétdimenziós vektor abszolút értékének négyzete egyenlő a két koordináta négyzetének összegével.

Az előző változaton végzett változtatások összefoglalva: javítás

A változat dátuma: 2023. 06. 27., 05:14:23pm
A változat szerzője: Hári Zalán alias Alhazen
A változatbani bizonyítás: Mindjárt hivatkozom a bizonyítást.
A változatbani tételleírás:

Ez a Pitagorasz-tétel formalizált változata. Az eredeti tétel a következőt mondja ki: tetszőleges derékszögű háromszög két befogójának hosszát egyenként négyzetre emelve, majd összeadva kapjuk az átfogó hosszának négyzetét.
Ha a két befogó hosszát a-val és b-vel jelöljük, az átfogóét pedig c-vel:

a2 + b2 = c2

Formálisabban: bármely kétdimenziós vektor abszolút értékének négyzete egyenlő a két koordináta négyzetének összegével.

Az előző változaton végzett változtatások összefoglalva: javítás

A változat dátuma: 2023. 06. 27., 05:41:44pm
A változat szerzője: Hári Zalán alias Alhazen
A változatbani bizonyítás: Mindjárt hivatkozom a bizonyítást.
A változatbani tételleírás:

Ez a Pitagorasz-tétel formalizált változata. Az eredeti tétel a következőt mondja ki: tetszőleges derékszögű háromszög két befogójának hosszát egyenként négyzetre emelve, majd összeadva kapjuk az átfogó hosszának négyzetét.
Ha a két befogó hosszát a-val és b-vel jelöljük, az átfogóét pedig c-vel:

a2 + b2 = c2

Formálisabban: bármely kétdimenziós vektor abszolút értékének négyzete egyenlő a két koordináta négyzetének összegével.

Az előző változaton végzett változtatások összefoglalva: Törhető szóköz megerősítése, most már törhetetlen nem törhető

A változat dátuma: 2023. 06. 28., 06:43:57am
A változat szerzője: Hári Zalán alias Alhazen
A változatbani bizonyítás: Mindjárt hivatkozom a bizonyítást.
A változatbani tételleírás:

Ez a Pitagorasz-tétel formalizált változata. Az eredeti tétel a következőt mondja ki: tetszőleges derékszögű háromszög két befogójának hosszát egyenként négyzetre emelve, majd összeadva kapjuk az átfogó hosszának négyzetét.
Ha a két befogó hosszát a-val és b-vel jelöljük, az átfogóét pedig c-vel:

a2 + b2 = c2

Formálisabban: bármely kétdimenziós vektor abszolút értékének négyzete egyenlő a két koordináta négyzetének összegével.

Az előző változaton végzett változtatások összefoglalva: Hopsz, csak az indoklást írtam be, a módosítás elmaradt

A változat dátuma: 2023. 06. 28., 06:44:47am
A változat szerzője: Hári Zalán alias Alhazen
A változatbani bizonyítás: Mindjárt hivatkozom a bizonyítást.
A változatbani tételleírás:

Ez a Pitagorasz-tétel formalizált változata. Az eredeti tétel a következőt mondja ki: tetszőleges derékszögű háromszög két befogójának hosszát egyenként négyzetre emelve, majd összeadva kapjuk az átfogó hosszának négyzetét.
Ha a két befogó hosszát a-val és b-vel jelöljük, az átfogóét pedig c-vel:

a2 + b2 = c2

Formálisabban:
bármely kétdimenziós vektor abszolút értékének négyzete egyenlő a két koordináta négyzetének összegével.

Az előző változaton végzett változtatások összefoglalva:

A változat dátuma: 2023. 06. 28., 06:45:05am
A változat szerzője: Hári Zalán alias Alhazen
A változatbani bizonyítás: Mindjárt hivatkozom a bizonyítást.
A változatbani tételleírás:

Ez a Pitagorasz-tétel formalizált változata. Az eredeti tétel a következőt mondja ki: tetszőleges derékszögű háromszög két befogójának hosszát egyenként négyzetre emelve, majd összeadva kapjuk az átfogó hosszának négyzetét.
Ha a két befogó hosszát a-val és b-vel jelöljük, az átfogóét pedig c-vel:

a2 + b2 = c2

Formálisabban: bármely kétdimenziós vektor abszolút értékének négyzete egyenlő a két koordináta négyzetének összegével.

Az előző változaton végzett változtatások összefoglalva: Inkább mégsem

A változat dátuma: 2023. 06. 28., 06:53:44am
A változat szerzője:
A változatbani bizonyítás: Mindjárt hivatkozom a bizonyítást.
A változatbani tételleírás:

Ez a Pitagorasz-tétel formalizált változata. Az eredeti tétel a következőt mondja ki: tetszőleges derékszögű háromszög két befogójának hosszát egyenként négyzetre emelve, majd összeadva kapjuk az átfogó hosszának négyzetét.
Ha a két befogó hosszát a-val és b-vel jelöljük, az átfogóét pedig c-vel:

a2 + b2 = c2

Formálisabban: bármely kétdimenziós vektor abszolút értékének négyzete egyenlő a két koordináta négyzetének összegével.

Az előző változaton végzett változtatások összefoglalva: Kód szépítése, a kinézeten nem változtat.

A változat dátuma: 2023. 07. 01., 12:43:56pm
A változat szerzője: Hári Zalán alias Alhazen
A változatbani bizonyítás: Mindjárt hivatkozom a bizonyítást.
A változatbani tételleírás:

Ez a Pitagorasz-tétel formalizált változata. Az eredeti tétel a következőt mondja ki: tetszőleges derékszögű háromszög két befogójának hosszát egyenként négyzetre emelve, majd összeadva kapjuk az átfogó hosszának négyzetét.
Ha a két befogó hosszát a-val és b-vel jelöljük, az átfogóét pedig c-vel:

a2 + b2 = c2

Formálisabban: bármely kétdimenziós vektor abszolút értékének négyzete egyenlő a két koordináta négyzetének összegével.

Az előző változaton végzett változtatások összefoglalva: hátha sikerül közvetlenül képet beilleszteni

A változat dátuma: 2023. 07. 01., 12:49:44pm
A változat szerzője: Hári Zalán alias Alhazen
A változatbani bizonyítás: Mindjárt hivatkozom a bizonyítást.
A változatbani tételleírás:

Ez a Pitagorasz-tétel formalizált változata. Az eredeti tétel a következőt mondja ki: tetszőleges derékszögű háromszög két befogójának hosszát egyenként négyzetre emelve, majd összeadva kapjuk az átfogó hosszának négyzetét.
Ha a két befogó hosszát a-val és b-vel jelöljük, az átfogóét pedig c-vel:

a2 + b2 = c2

Formálisabban: bármely kétdimenziós vektor abszolút értékének négyzete egyenlő a két koordináta négyzetének összegével.

Az előző változaton végzett változtatások összefoglalva: Hú, „kicsit” nagy volt a kép.

A változat dátuma: 2023. 07. 01., 12:50:29pm
A változat szerzője: Hári Zalán alias Alhazen
A változatbani bizonyítás: Mindjárt hivatkozom a bizonyítást.
A változatbani tételleírás:

Ez a Pitagorasz-tétel formalizált változata. Az eredeti tétel a következőt mondja ki: tetszőleges derékszögű háromszög két befogójának hosszát egyenként négyzetre emelve, majd összeadva kapjuk az átfogó hosszának négyzetét.
Ha a két befogó hosszát a-val és b-vel jelöljük, az átfogóét pedig c-vel:

Formálisabban: bármely kétdimenziós vektor abszolút értékének négyzete egyenlő a két koordináta négyzetének összegével.

Az előző változaton végzett változtatások összefoglalva: Már beillesztettem képként

A változat dátuma: 2023. 07. 07., 07:24:14am
A változat szerzője: Hári Zalán alias Alhazen
A változatbani bizonyítás: Az eredeti geometriai változatra számos bizonyítás létezik, példa: https://hu.wikipedia.org/w/index.php?title=Pitagorasz-tétel#Hindu_bizonyítás&oldid=26276007
A változatbani tételleírás:

Ez a Pitagorasz-tétel formalizált változata. Az eredeti tétel a következőt mondja ki: tetszőleges derékszögű háromszög két befogójának hosszát egyenként négyzetre emelve, majd összeadva kapjuk az átfogó hosszának négyzetét.
Ha a két befogó hosszát a-val és b-vel jelöljük, az átfogóét pedig c-vel:

Formálisabban: bármely kétdimenziós vektor abszolút értékének négyzete egyenlő a két koordináta négyzetének összegével.

Az előző változaton végzett változtatások összefoglalva: Bizonyítás hivatkozása

A változat dátuma: 2023. 07. 12., 05:37:13am
A változat szerzője: Hári Zalán alias Alhazen
A változatbani bizonyítás: Az eredeti geometriai változatra számos bizonyítás létezik, példa: https://hu.wikipedia.org/w/index.php?title=Pitagorasz-tétel#Hindu_bizonyítás&oldid=26276007
A változatbani tételleírás:

Ez a Pitagorasz-tétel formalizált változata. Az eredeti tétel a következőt mondja ki: tetszőleges derékszögű háromszög két befogójának hosszát egyenként négyzetre emelve, majd összeadva kapjuk az átfogó hosszának négyzetét.
Ha a két befogó hosszát a-val és b-vel jelöljük, az átfogóét pedig c-vel:

Formálisabban: bármely kétdimenziós vektor abszolút értékének négyzete egyenlő a két koordináta négyzetének összegével.

Az előző változaton végzett változtatások összefoglalva: Ez így nagyon nem elegáns, mindjárt el is távolítom, csak kíváncsi vagyok a méretre
A változatbani tételleírás hossza byte-ban: 84445
A változatbani bizonyítás hossza byte-ban: 167

A változat dátuma: 2023. 07. 12., 05:39:03am
A változat szerzője: Hári Zalán alias Alhazen
A változatbani bizonyítás: Az eredeti geometriai változatra számos bizonyítás létezik, példa: https://hu.wikipedia.org/w/index.php?title=Pitagorasz-tétel#Hindu_bizonyítás&oldid=26276007
A változatbani tételleírás:

Ez a Pitagorasz-tétel formalizált változata. Az eredeti tétel a következőt mondja ki: tetszőleges derékszögű háromszög két befogójának hosszát egyenként négyzetre emelve, majd összeadva kapjuk az átfogó hosszának négyzetét.
Ha a két befogó hosszát a-val és b-vel jelöljük, az átfogóét pedig c-vel:

a2+b2=c2

Formálisabban: bármely kétdimenziós vektor abszolút értékének négyzete egyenlő a két koordináta négyzetének összegével.

Az előző változaton végzett változtatások összefoglalva: Így még mindig jobb
A változatbani tételleírás hossza byte-ban: 581
A változatbani bizonyítás hossza byte-ban: 167

A változat dátuma: 2023. 07. 12., 05:39:44am
A változat szerzője: Hári Zalán alias Alhazen
A változatbani bizonyítás: Az eredeti geometriai változatra számos bizonyítás létezik, példa: https://hu.wikipedia.org/w/index.php?title=Pitagorasz-tétel#Hindu_bizonyítás&oldid=26276007
A változatbani tételleírás:

Ez a Pitagorasz-tétel formalizált változata. Az eredeti tétel a következőt mondja ki: tetszőleges derékszögű háromszög két befogójának hosszát egyenként négyzetre emelve, majd összeadva kapjuk az átfogó hosszának négyzetét.
Ha a két befogó hosszát a-val és b-vel jelöljük, az átfogóét pedig c-vel:

a2 + b2 = c2

Formálisabban: bármely kétdimenziós vektor abszolút értékének négyzete egyenlő a két koordináta négyzetének összegével.

Az előző változaton végzett változtatások összefoglalva: szóközök
A változatbani tételleírás hossza byte-ban: 605
A változatbani bizonyítás hossza byte-ban: 167

A változat dátuma: 2023. 07. 15., 08:43:39am
A változat szerzője: Hári Zalán alias Alhazen
A változatbani bizonyítás:

Az eredeti geometriai változatra számos bizonyítás létezik, példa: https://hu.wikipedia.org/w/index.php?title=Pitagorasz-tétel#Hindu_bizonyítás&oldid=26276007

A változatbani tételleírás:

Ez a Pitagorasz-tétel formalizált változata. Az eredeti tétel a következőt mondja ki: tetszőleges derékszögű háromszög két befogójának hosszát egyenként négyzetre emelve, majd összeadva kapjuk az átfogó hosszának négyzetét.
Ha a két befogó hosszát a-val és b-vel jelöljük, az átfogóét pedig c-vel:

a2 + b2 = c2

Formálisabban: bármely kétdimenziós vektor abszolút értékének négyzete egyenlő a két koordináta négyzetének összegével.

Az előző változaton végzett változtatások összefoglalva: Pontossági szintek megadása
A változatbani tételleírás hossza byte-ban: 643
A változatbani bizonyítás hossza byte-ban: 192

A változat dátuma: 2023. 07. 17., 02:20:55pm
A változat szerzője: Hári Zalán alias Alhazen
A változatbani bizonyítás:

Az eredeti geometriai változatra számos bizonyítás létezik, példa: https://hu.wikipedia.org/w/index.php?title=Pitagorasz-tétel#Hindu_bizonyítás&oldid=26276007

A változatbani tételleírás:

Ez a Pitagorasz-tétel formalizált változata. Az eredeti tétel a következőt mondja ki: tetszőleges derékszögű háromszög két befogójának hosszát egyenként négyzetre emelve, majd összeadva kapjuk az átfogó hosszának négyzetét.
Ha a két befogó hosszát a-val és b-vel jelöljük, az átfogóét pedig c-vel:

a2 + b2 = c2

Formálisabban: bármely kétdimenziós vektor abszolút értékének négyzete egyenlő a két koordináta négyzetének összegével.

Az előző változaton végzett változtatások összefoglalva: hivatkozott bizonyítás linkelése
A változatbani tételleírás hossza byte-ban: 643
A változatbani bizonyítás hossza byte-ban: 301

A változat dátuma: 2023. 07. 20., 06:20:47am
A változat szerzője: Hári Zalán alias Alhazen
A változatbani bizonyítás:

Az eredeti geometriai változatra számos bizonyítás létezik, példa: https://hu.wikipedia.org/w/index.php?title=Pitagorasz-tétel#Hindu_bizonyítás&oldid=26276007

A változatbani tételleírás:

Ez a Pitagorasz-tétel formalizált változata. Az eredeti tétel a következőt mondja ki: tetszőleges derékszögű háromszög két befogójának hosszát egyenként négyzetre emelve, majd összeadva kapjuk az átfogó hosszának négyzetét.
Ha a két befogó hosszát a-val és b-vel jelöljük, az átfogóét pedig c-vel:

a2 + b2 = c2

Formálisabban: bármely kétdimenziós vektor abszolút értékének négyzete egyenlő a két koordináta négyzetének összegével.

Az előző változaton végzett változtatások összefoglalva: <i>, illetve </i> cseréje <em>-re, illetve </em>-re
A változatbani tételleírás hossza byte-ban: 655
A változatbani bizonyítás hossza byte-ban: 301

A változat dátuma: 2023. 07. 23., 01:14:39pm
A változat szerzője: Hári Zalán alias Alhazen
Az előző változaton végzett változtatások összefoglalva: 96109710321833111131103214021233140211141002141510011111 Gödel-szám cseréje 9610971032183311113116103214021233140211-ra/re, indoklás: Hiába dolgoztam ki én magam, elfelejtettem: az itt használt Gödel-számozásban van gyökvonás...

A változat dátuma: 2023. 08. 10., 01:29:28pm
A változat szerzője: Hári Zalán alias Alhazen
A változatbani bizonyítás:

Az eredeti geometriai változatra számos bizonyítás létezik, példa: https://hu.wikipedia.org/w/index.php?title=Pitagorasz-tétel#Hindu_bizonyítás&oldid=26276007

A változatbani tételleírás:

Ez a Pitagorasz-tétel formalizált változata. Az eredeti tétel a következőt mondja ki: tetszőleges derékszögű háromszög két befogójának hosszát egyenként négyzetre emelve, majd összeadva kapjuk az átfogó hosszának négyzetét.
Ha a két befogó hosszát a-val és b-vel jelöljük, az átfogóét pedig c-vel:

a2 + b2 = c2

Formálisabban: bármely kétdimenziós vektor abszolút értékének négyzete egyenlő a két koordináta négyzetének összegével.

Lásd még

Egyéb geometriai cikkek (a lista nem „lapraszabott”, e leírást is tartalmazza) – bár jelenleg (2023. augusztus 10., 13:29) ez az egyetlen geometriai cikk
Az előző változaton végzett változtatások összefoglalva: Manuális geometriaicikk-lista linkelése
A változatbani tételleírás hossza byte-ban: 906
A változatbani bizonyítás hossza byte-ban: 301

A változat dátuma: 2023. 08. 12., 11:32:05am
A változat szerzője: Hári Zalán alias Alhazen
A változatbani bizonyítás:

Az eredeti geometriai változatra számos bizonyítás létezik, példa: https://hu.wikipedia.org/w/index.php?title=Pitagorasz-tétel#Hindu_bizonyítás&oldid=26276007

A változatbani tételleírás:

Ez a Pitagorasz-tétel formalizált változata. Az eredeti tétel a következőt mondja ki: tetszőleges derékszögű háromszög két befogójának hosszát egyenként négyzetre emelve, majd összeadva kapjuk az átfogó hosszának négyzetét.
Ha a két befogó hosszát a-val és b-vel jelöljük, az átfogóét pedig c-vel:

a2 + b2 = c2

Formálisabban: bármely kétdimenziós vektor abszolút értékének négyzete egyenlő a két koordináta négyzetének összegével.

Lásd még

CatGeometriaCat
Az előző változaton végzett változtatások összefoglalva: CatGeometriaCat
A változatbani tételleírás hossza byte-ban: 711
A változatbani bizonyítás hossza byte-ban: 301

A változat dátuma: 2023. 11. 25., 06:12:43am
A változat szerzője: Hári Zalán alias Alhazen
Az előző változaton végzett változtatások összefoglalva: 9610971032183311113116103214021233140211 Gödel-szám cseréje 961097103218331111311610321410021112331410021111-ra/re