Matematička logika i teorija skupova

Zadaća 4, 5.12.2017.

Zadatak 1. Dokažite da za proizvoljan cijeli broj m ∈ Z vrijedi da je m2 + m paran

broj. U dokazu slobodno koristite tvrdnje, odnosno teoreme, koje smo dokazali na
pradavanjima.

p
Zadatak 2. Dokažite da za x, y ∈ R vrijedi nejednakost x2 + y 2 ≤ |x| + |y|. (Uputa:
krenite od te nejednakosti i malo računajte da vidite da li možete doći do neke ne-
jednakosti za koju ste sigurni da vrijedi. Dokaz napišite u formalnom obliku, kao na
predavanjima.)

√
Zadatak 3. Dokažite da je 3 iracionalan broj.

Zadatak 4. Neka su x i y realni brojevi. Dokažite da tada vrijedi tako zvana nejednakost
trokuta: |x + y| ≤ |x| + |y|. Sa |x| je označena apsolutna vrijednost broja x. (Uputa:
uočite da za općenite realne brojeve u i v vrijedi da je |u| ≤ v ako i samo ako je
−v ≤ u ≤ v. To svojstvo možete iskoristiti nekoliko puta u dokazu, a dokaz možete
započeti tako da ga primijenite za u = x i v = |x|.)

Zadatak 5. Dokažite da za n ∈ N vrijedi 1 + 2 + 22 + · + 2n = 2n+1 − 1. (Uputa:

koristite matematičku indukciju.)

Zadatak 6. Koristeći matematičku indukciju dokažite formulu za zbroj prvih n članova

geometrijskog niza:
n
X a · rn+1 − a
a · ri = a + ar + ar2 + · · · + arn = ,
r−1
i=0

gdje je a neka konstanta, a r realan broj različit od 1.

Zadatak 7. Koristeći se principom matematičke indukcije dokažite da je za sve prirodne

brojeve n broj n3 − n djeljiv sa 3 (djeljiv bez ostatka).