Elementary Mathematics Practice Flashcards
LOGIKA I SUDOVI
Sud je smislena deklarativna rečenica koja je istinita ili lažna.
Primjer suda:
Aritmetika je grana matematike.
Operacije sa sudovima:
Negacija suda : Složeni sud koji negira ono što sud tvrdi.
Primjer: Pravokutnik nije paralelogram.
Konjunkcija sudova i : Složeni sud koji je istinit točno onda kada su oba suda, i , istinita.
Primjer: Pitagora i Tales su poznati grčki matematičari.
Disjunkcija (inkluživna) sudova i : Složeni sud koji je lažan točno onda kada su oba suda, i , lažna.
Primjer: Kvadrat je geometrijski lik ili je kvadrat geometrijsko tijelo.
Ekskluzivna disjunkcija sudova i : Složeni sud koji je istinit točno onda kada je istinit samo jedan od sudova i .
Primjer: Dva pravca u ravnini su paralelna ili se sijeku u jednoj točki.
Implikacija sudova i : Složeni sud koji je lažan točno onda kada je sud istinit, a sud lažan.
Primjer: Ako je x < -3, onda je negativan broj.
Ekvivalencija sudova i : Složeni sud koji je istinit točno onda kada su oba suda, i , istinita ili kada su oba suda lažna.
Primjer: Dani i noći se smjenjuju ako i samo ako se Zemlja okreće oko zamišljene osi.
Jednakost složenih sudova: Dva složena suda i su jednaka kada im se pripadne semantičke tablice podudaraju.
Tautologija: Složeni sud je tautologija ukoliko je istinit bez obzira na istinitost sudova od kojih je sastavljen.
POJMOVI I MATEMATIČKI SUDOVI
Uz implikaciju vežemo sljedeće sudove:
Obrat suda:
Obrat po kontrapoziciji:
Suprotni sud ili inverzija:
Vrste pojmova:
Osnovni pojam: Pojam koji se smatra poznatim pa se ne definira, tj. ne opisuje se uz pomoć drugih pojmova. Primjeri: točka, pravac, skup, prostor, ravnina.
Izvedeni pojam: Pojam koji se definira, tj. čije se značenje opisuje pomoću osnovnih pojmova ili ranije definiranih izvedenih pojmova.
Definiranje pojma: To je navođenje nužnih i dovoljnih obilježja pojma povezanih logičkom rečenicom ili simboličkim zapisom.
Primjer: Kružnica je skup svih točaka ravnine udaljenih od jedne čvrste točke te ravnine. Tu čvrstu točku nazivamo središte kružnice.
Vrste matematičkih sudova:
Aksiom (prva istina): Osnovna tvrdnja koja se u okviru neke teorije smatra istinitom i ne dokazuje se.
Primjer: Cjelina je veća od dijela. Ako se jednakim stvarima dodaju jednake stvari, i cjeline su jednake.
Postulat: Polazna tvrdnja koja se također uzima bez dokaza. Obično izražava neki uvjet koji treba zadovoljiti neki pojam ili odnos među pojmovima.
Teorem (poučak, stavak): Matematička izjava čija se istinitost utvrđuje dokazom. Sastoji se od:
Pretpostavke (): Jedna ili više izjava koje se smatraju istinitima.
Tvrdnje (): Izjava koju treba dokazati.
Simbolički:
TEORIJA SKUPOVA
Skup je osnovni matematički pojam i kao takav se ne definira (čine ga elementi s nekim zajedničkim svojstvom).
Kardinalni broj skupa: Broj elemenata skupa.
Prazan skup (): Skup bez ijednog elementa.
Vrste skupova: Prazan, konačan i beskonačan.
Univerzalni skup (): Širi skup iz kojeg uzimamo elemente (relativan pojam). Primjer: , skup svih točaka u ravnini.
Podskup skupa: Za skup kažemo da je podskup skupa i pišemo ako je svaki element skupa ujedno i element skupa . Vrijedi: i .
Jednakost skupova: Skupovi i su jednaki ako je svaki element skupa ujedno element skupa i obrnuto.
Pravi podskup: Za skup kažemo da je pravi podskup skupa i pišemo ako je svaki element skupa ujedno element skupa , ali postoji barem jedan element skupa koji nije element skupa .
Partitivni skup (): Skup svih podskupova skupa . Broj elemenata partitivnog skupa je , gdje je broj elemenata skupa .
OPERACIJE SA SKUPOVIMA I SVOJSTVA
Neka su podskupovi univerzalnog skupa :
Unija skupova:
Presjek skupova:
Disjunktivni skupovi: Skupovi za koje vrijedi .
Diferencija (razlika) skupova:
Moguće diferencije: , , , , .
Komplement skupa (): Skup svih elemenata koji nisu u , ali su u .
Primjer: Ako je i , onda je .
Svojstva skupovnih operacija:
Asocijativnost:
Komutativnost:
Distributivnost:
De Morganovi zakoni:
Kartezijev produkt (): Skup svih uređenih parova pri čemu je i .
Kardinalni broj:
Općenito:
Kvadrat skupa: (Kartezijev kvadrat).
BINARNE RELACIJE
Binarna relacija između skupova i je bilo koji neprazan podskup Kartezijevog produkta . Ako je , pišemo .
Primjer relacije: Grafički prikaz: Elementi povezani strelicama (, , ). Ova relacija predstavlja x < y.
Relacija ekvivalencije: Za relaciju na skupu kažemo da je relacija ekvivalencije ako su ispunjena tri uvjeta:
Refleksivnost:
Simetričnost:
Tranzitivnost:
Primjeri:
Relacija ‘biti paralelan’ (): Jeste relacija ekvivalencije na skupu pravaca ravnine (pravac je paralelan sam sebi, simetrija vrijedi, tranzitivnost vrijedi).
Relacija ‘biti okomit’ (): Nije relacija ekvivalencije jer nije refleksivna (pravac nije okomit na samog sebe) niti tranzitivna (ako je i , tada je ).
Relacija parcijalnog (djelomičnog) uređaja: Relacija na skupu ako vrijedi:
Refleksivnost:
Antisimetričnost:
Tranzitivnost:
Relacija totalnog (potpunog) uređaja: Sve gore navedeno uz dodatak uvjeta da su svaka dva elementa usporediva:
.
KONGRUENCIJA I KLASE EKVIVALENCIJE
Relacija ‘biti kongruentan modulo 3’ na skupu :
Dokaz da je relacija ekvivalencije:
Refleksivnost: . Vrijedi za .
Simetričnost: . Postoji takav da je . Tada je , što znači , pa je .
Tranzitivnost: . Zbrajanjem dobivamo: , dakle , pa je .
Klase ekvivalencije:
Unija klasa je cijeli skup .
FUNKCIJE ILI PRESLIKAVANJA
Neka su i neprazni skupovi. Postupak koji svakom elementu pridružuje točno jedan element nazivamo funkcija ili preslikavanje.
: Domena ili područje definicije ().
: Kodomena ili područje vrijednosti ().
: Nezavisna varijabla ili argument.
: Zavisna varijabla, slika elementa .
Slika funkcije: .
Svojstva funkcija:
Injekcija (1-1): Različitim argumentima pridružuje različite slike.
Surjekcija (na): Svaki element kodomene je slika barem jednog elementa domene.
Bijekcija: Funkcija koja je i injekcija i surjekcija (obostrano jednoznačno preslikavanje).
PRIRODNI BROJEVI ()
Skup definiran je Peanovim aksiomima:
() Postoji funkcija koju zovemo sljedbenik.
() Postoji barem jedan element u , označimo ga s , takav da .
() Ako je , onda je ( je injekcija).
() Aksiom matematičke indukcije: Ako za skup vrijedi:
tada je .
Matematička indukcija (dokazivanje tvrdnje ):
Baza indukcije (): Pokaže se da tvrdnja vrijedi za .
Pretpostavka indukcije (): Pretpostavi se da tvrdnja vrijedi za neki broj .
Korak indukcije (): Koristeći pretpostavku, dokazuje se da tvrdnja vrijedi za .
Zbrajanje i množenje u :
Zbrajanje (+): ; .
Nije injekcija (npr. ).
Nije surjekcija ( nije slika ničega).
Množenje (): ; .
Jeste surjekcija, ali nije injekcija.
TEORIJA BROJEVA
Prost broj: Prirodan broj veći od djeljiv samo s i samim sobom.
Složen broj: Prirodan broj veći od koji nije prost.
Beskonačnost prostih brojeva (Indirektan dokaz): Pretpostavimo da ih ima konačno mnogo. Neka je najveći. Formiramo . nije djeljiv ni s jednim prostim brojem (ostatak je ), pa je on sam prost. Kontradikcija.
Najveći zajednički djelitelj (NZD): Najveći prirodan broj kojim su djeljivi svi zadani brojevi.
Najmanji zajednički višekratnik (VZM): Najmanji prirodan broj koji je djeljiv sa svim zadanim brojevima.
Euklidov algoritam: Za svaka dva prirodna broja i () postoje jednoznačno određeni brojevi i takvi da je: a = bq + r, 0 \trianglelefteq r < b Primjer: .
SKUPOVI BROJEVA:
Skup cijelih brojeva (): Nastaje proširenjem kako bi jednadžba uvijek imala rješenje.
je Abelova (komutativna) grupa (asocijativnost, neutralni element , inverzni element , komutativnost).
Apsolutna vrijednost cijelog broja: Udaljenost točke od ishodišta na brojevnom pravcu.
Skup racionalnih brojeva (): Skup svih brojeva oblika gdje je .
je polje.
Gustoća skupa : Između svaka dva racionalna broja postoji barem jedan racionalan broj ().
Decimalni zapis: Konačni decimalni brojevi ili beskonačni periodički.
Skup iracionalnih brojeva (): Brojevi koji se ne mogu napisati u obliku razlomka (beskonačni neperiodički decimalni brojevi).
Primjer: (Pitagorejci otkrili nesumjerljivost dijagonale i stranice kvadrata).
Dokaz da nije racionalan: Pretpostavimo , gdje su i relativno prosti. Tada je , pa je paran (). Tada je , pa je , što znači da je i paran. To je u suprotnosti s pretpostavkom da su relativno prosti.
Skup realnih brojeva (): .
Svakoj točki brojevnog pravca odgovara točno jedan realan broj.
Intervali:
Otvoreni: \langle a, b \rangle = \{x ∈ ℝ : a < x < b\}
Zatvoreni (segment):
Poluotvoreni: ili
Beskonačni: , , itd.
Svojstva apsolutne vrijednosti realnog broja:
GEOMETRIJA: POSTULATI I KUTOVI
Euklidovi postulati:
Od svake točke do svake druge točke može se povući dužina.
Svaka se dužina može produžiti u beskonačnost na obje strane.
Oko svakog središta s svakim polumjerom može se opisati kružnica.
Svi su pravi kutovi međusobno jednaki.
V. Postulat (V. Aksiom o paralelama): Zadanim točkom izvan zadanog pravca prolazi najviše jedan pravac paralelan danom pravcu.
Osnovni oblici:
Polupravac: Skup svih točaka pravca koje leže s iste strane točke .
Dužina : Skup točaka pravca koje leže između i , uključujući njih.
Konveksan skup: Skup za koji vrijedi da za svake dvije točke cijela dužina .
Kut: Presjek dviju zatvorenih poluravnina.
Ispruženi kut: krakovi su suprotni polupravci istog pravca.
Puni kut: ravnina u kojoj je označen polupravac.
Sukuti (susjedni kutovi): jedan krak zajednički, ostali se nadopunjuju na pravac.
Vršni kutovi: zajednički vrh, kraci se nadopunjuju. Oni su sukladni.
Kutovi uz transverzalu:
Pridruženi: dva vanjska ili dva unutarnja s iste strane transverzale.
Zamjenični: s različitih strana transverzale.
Protukutovi: jedan unutarnji, jedan vanjski s iste strane.
Teorem: Dva paralelna pravca s transverzalom zatvaraju sukladne zamjenične kutove te suplementarne pridružene.
TROKUT I ČETVEROKUT
Trokut: Skup svih točaka ravnine omeđen dužinama (konveksna ljuska triju nekolinearnih točaka).
Zbroj kutova: \alpha + ̢ + ̳ = 180^{∘}.
Vanjski kut: Jedunaka je zbroju dvaju unutarnjih nasuprotnih kutova. Zbroj svih vanjskih kutova je .
Karakteristične točke trokuta:
Težište (): Sječište težišnica (dužina od vrha do polovišta nasuprotne stranice). Udaljenost težišta od vrha iznosi duljine težišnice.
Ortoentar (): Sječište pravaca na kojima leže visine.
Središte opisane kružnice (): Sječište simetrala stranica.
Središte upisane kružnice (): Sječište simetrala unutarnjih kutova.
Eulerov pravac: Pravac na kojem leže i . Vrijedi .
Sličnost trokuta: Trokuti su slični ako su im odgovarajući kutovi sukladni i stranice proporcionalne.
Poučci o sličnosti: K-K-K, S-S-S, S-K-S, S-s-K⌐.
Talesov teorem o proporcionalnosti: Paralelni pravci na krakovima kuta odsijecaju proporcionalne dužine.
Pitagorin teorem: U pravokutnom trokutu vrijedi .
Obrat: Ako vrijedi , trokut je pravokutan.
Četverokuti:
Trapez: Ima barem jedan par paralelnih stranica.
Paralelogram: Ima dva para paralelnih stranica.
Tetivni četverokut: Može mu se opisati kružnica.
Tangencijalni četverokut: Može mu se upisati kružnica.
POVRŠINE I FORMULE
Površine likova:
Paralelogram:
Trokut:
Trapez:
Dodatni teoremi:
Talesov poučak o kružnici: Svaki obodni kut nad promjerom kružnice je pravi kut ().
Suma prvih brojeva: .
Primjer: Suma prvih brojeva je .
Središnji i obodni kut: Obodni kut nad tetivom jednak je polovici središnjeg kuta nad istom tetivom.
Pravila negiranja: