FIS61103 MATEMATIKA DASAR

FISIKA KELAS KBI

1: INTRODUCTION

LYRA YULIANTI

September 2, 2021

JURUSAN FISIKA
FAKULTAS MIPA UNIVERSITAS ANDALAS
SEMESTER GANJIL 2021 - 2022
 Lyra
Outline
Yulianti

Preliminaries
Real
Numbers
and
Estimation
Logic
Introduction
to Proof

1 Preliminaries
Real Numbers and Estimation
Logic
Introduction to Proof
 Lyra
Real Numbers & Estimation
Yulianti

Preliminaries
Real
Numbers
The Definitions
and
Estimation
Logic • Natural Numbers: N = {1, 2, 3, · · · }
Introduction
to Proof • Integers : Z = {· · · , −2, −1, 0, 1, 2, · · · }
m
• Rational Numbers: Q = { | m, n ∈ Z, n 6= 0}.
n
How about irrational numbers?
• Real Numbers: R : All rational and irrational numbers.

√
• Complex numbers: C = {a + bi, a, b ∈ R, i = −1}.
 Lyra
Real Numbers & Estimation
Yulianti

Preliminaries
Real
Numbers
and
Estimation
Logic
Introduction
to Proof
Repeating and Non-repeating Decimals

• Every rational number can be written as decimal.

• Rational number can always be expresses as the quotient of two integers:
if we divide the denominator into the numerator, then we have the
decimal.
1
= 0, 333 · · ·
3
• Irrational number: √
2 = 1, 4142135 · · · .
How about π?
https://www.piday.org/pi-explained/
 Lyra
Real Numbers & Estimation
Yulianti

Preliminaries
Real
Numbers
and
Estimation
Logic
Introduction
to Proof Repeating and Non-repeating Decimals

• Repeating decimal:

3
= 0, 3750000 · · ·
8
3
= 0, 428571428571428571 · · ·
7
• Non repeating decimal must represent an irrational number (why?)
• Between any two distinct real numbers, there are both a rational number
and an irrational number (proof?)
 Lyra
Real Numbers & Estimation
Yulianti

Preliminaries
Real
Numbers
and
Estimation
Logic
Introduction
to Proof

Estimation
√
• Calculate 902 + 80 + 91/3 .
• Estimation: 30 + 80 + 2 (why?)
• The correct answer should be in the neighborhood of 112.
√
• 902 + 80 + 91/3 ≈ 112.
• Note that 112 is not the correct answer.
 Lyra
Logic
Yulianti

Preliminaries
Real
Numbers
and
Estimation
Logic
Introduction
to Proof

Some Definitions
• Theorems (meaning?)
• If p then q (p ⇒ q)
• p is the hypothesis, and q the conclusion of the theorem.
• Converse q ⇒ q.
• Contrapositive ¬q ⇒ ¬p.
• Negation ¬p.
 Lyra
Logic
Yulianti

Preliminaries
Real
Numbers
and
Estimation
Logic
Introduction
to Proof

Example 1
Prove that
(a) If n is odd then n2 is odd.
(b) If n2 is odd then n is odd.
(c) n is odd if and only if n2 is odd.
 Lyra
Some Definitions (1)
Yulianti

Preliminaries
Real
Numbers
and
Estimation
Logic
Introduction
to Proof

• Proposition (meaning?)
• Compound proposition
• Truth table, Logical Operators
• Negation, Conjunction, Disjunction: Inclusive or and Exclusive or
• Conditional statement/implication
• Converse, Contrapositive and Inverse
• Bi-conditional statement / bi-implication
 Lyra
Example 2
Yulianti

Preliminaries
Real
Numbers
and
Estimation
Logic
Introduction
to Proof

(Smullyan, 1978)
Misalkan terdapat suatu pulau yang dihuni oleh dua tipe penduduk, yaitu
• Bangsawan-yang selalu berkata jujur,
• Pekerja-yang selalu berkata bohong.
Misalkan terdapat dua orang penduduk pulau tersebut, namakan A dan B.
Jika A berkata bahwa B adalah seorang bangsawan, sementara B berkata
bahwa mereka berdua mempunyai tipe yang berbeda, maka apakah tipe A dan
tipe B?
 Lyra
Solution
Yulianti

Preliminaries
Real
Numbers Misalkan
and
Estimation
Logic
• p : A adalah bangsawan, ¬p : A adalah pekerja
Introduction
to Proof • q : B adalah bangsawan, ¬q : B adalah pekerja.

• Misalkan p benar. Jika A adalah bangsawan, maka A berkata jujur.

Sehingga pernyataan A bahwa B adalah bangsawan benar, dengan kata
lain, q benar. Jadi A dan B adalah dua orang bangsawan. Jika B adalah
bangsawan, maka pernyataan B bahwa A dan B adalah dua orang dengan
tipe berbeda adalah benar. Tetapi hal tersebut tidak benar, karena
berdasarkan asumsi sebelumnya, A dan B adalah dua orang bangsawan.
Dapat disimpulkan bahwa A bukan bangsawan, atau p bernilai salah.
• Jika A adalah pekerja, maka apapun yang dikatakan A adalah bohong.
Sehingga pernyataan A bahwa B adalah bangsawan, adalah pernyataan
bohong. Ini berarti bahwa q bernilai salah, sehingga B juga seorang
pekerja. Jika B adalah pekerja, maka pernyataan B bahwa A dan B
mempunyai tipe yang berbeda, adalah bohong.
• Jadi, dapat disimpulkan bahwa A dan B adalah dua orang pekerja.
 Lyra
Some Definitions (2)
Yulianti

Preliminaries
Real
Numbers
and
Estimation
Logic
Introduction
to Proof

• Tautology, Contradiction, Contingency

• Logically equivalent
• Predicates, Quantifier: universal, existential and uniqueness quantifier.
 Lyra
Example 3
Yulianti

Preliminaries
Real
Numbers
and
Estimation Soal
Logic
Introduction Terjemahkan pernyataan berikut.
to Proof

∀ x, ∀y ((x > 0) ∧ (y < 0) → (xy < 0)),

dengan daerah asal untuk kedua variabel adalah himpunan bilangan riil.

Solusi
Pernyataan tersebut berarti bahwa
Untuk setiap bilangan riil x dan untuk setiap bilangan riil y, jika x > 0 dan
y < 0 maka xy < 0.
Ini berarti bahwa
Untuk bilangan riil x dan y, jika x positif dan y negatif, maka xy negatif.
Atau, dapat dituliskan
Hasil kali antara suatu bilangan riil positif dengan suatu bilangan riil negatif
selalu bilangan riil negatif.
 Lyra
Example 4
Yulianti

Preliminaries
Real
Numbers
and
Estimation
Logic
Introduction
to Proof

Soal
Gunakan kuantifier dan predikat untuk menyatakan bahwa limx→a f (x) tidak
ada apabila f (x) adalah fungsi bernilai riil dari suatu variabel x dan a berada
dalam domain f .
 Lyra
Solusi
Yulianti

Preliminaries
Real
Numbers
and
Estimation
Logic
Untuk menyatakan bahwa limx→a f (x) tidak ada, berarti bahwa untuk setiap
Introduction
to Proof
bilangan riil L, limx→a f (x) 6= L, atau dapat dituliskan

¬ (∀  > 0, ∃ δ > 0, ∀ x, (0 < |x − a| < δ → |f (x) − L| < )). (1.1)

(1.1) ≡ ∃  > 0, ¬ (∃ δ > 0, ∀ x, (0 < |x − a| < δ → |f (x) − L| < )),

≡ ∃  > 0, ∀ δ > 0, ¬ (∀ x, (0 < |x − a| < δ → |f (x) − L| < )),
≡ ∃  > 0, ∀ δ > 0, ∃ x, ¬ (0 < |x − a| < δ → |f (x) − L| < ),
≡ ∃  > 0, ∀ δ > 0, ∃ x, (0 < |x − a| < δ ∧ |f (x) − L| ≥ ).

Pernyataan bahwa limx→a f (x) tidak ada, berarti bahwa untuk setiap
bilangan riil L, limx→a f (x) 6= L,yang dapat dituliskan sebagai

∀ L, ∃  > 0, ∀ δ > 0, ∃ x, (0 < |x − a| < δ ∧ |f (x) − L| ≥ ).

 Lyra
Beberapa Istilah
Yulianti

Preliminaries
Real
Numbers
and
Estimation
Logic
Introduction
to Proof
• Teorema (theorem) : Pernyataan yang dapat ditunjukkan bernilai benar
• Proposisi (proposition) / Fakta (fact) : Teorema yang kurang penting
• Lema (lemma) : Teorema yang kurang penting, yang diperlukan untuk
membuktikan hasil yang lain
• Akibat (corollary) : Teorema yang langsung diperoleh dari suatu teorema
lain yang telah dibuktikan
• Dugaan (conjecture) : Pernyataan yang diharapkan bernilai benar,
berdasarkan bukti khusus atau intuisi. Jika bukti dari suatu dugaan dapat
diperoleh, maka dugaan menjadi teorema.
• Bukti (proof) : Argumen yang valid yang memberikan kebenaran suatu
teorema.
 Lyra
Metode Pembuktian
Yulianti

Preliminaries
Real
Numbers
and
Estimation
Logic
Introduction
to Proof

• Pembuktian teorema yang berbentuk ∀ x, (P (x) → Q(x)):

• Tunjukkan bahwa P (c) → Q(c) benar untuk sebarang c di domain,
• Terapkan universal generalization.
• Ingat bahwa p → q bernilai benar kecuali pada saat p benar dan q salah.
Jadi, untuk menunjukkan bahwa p → q benar, cukup ditunjukkan bahwa
q benar apabila p benar.
 Lyra
Metode Pembuktian
Yulianti p→q

Preliminaries
Real
Numbers
and
Estimation
Logic
Introduction
to Proof

• Direct Proof : Dengan asumsi bahwa p benar.

• Proof by Contraposition : Dengan menunjukkan bahwa ¬q → ¬p benar.
• Vacuous Proof : Dengan asumsi bahwa p salah.
• Trivial Proof : Dengan menggunakan fakta bahwa q benar.
• Proof by Contradiction : Misal akan dibuktikan bahwa p benar. Misal
dapat diperoleh q sedemikian aehingga ¬p → q benar. Karena q salah,
tetapi ¬p → q benar, maka haruslah ¬p salah. Artinya, p benar.
 Lyra
Exhaustive Proof and Proof by Cases
Yulianti Proof by Cases

Preliminaries
Real
Numbers
and
Estimation
Logic
Introduction
to Proof

Untuk membuktikan
(p1 ∨ p2 ∨ · · · ∨ pn ) → q
tautologi berikut dapat digunakan:

((p1 ∨ p2 ∨ · · · ∨ pn ) → q) ↔ ((p1 → q) ∧ (p2 → q) ∧ · · · ∧ (pn → q)).

 Lyra
Proof by Cases
Yulianti Contoh

Preliminaries
Real
Numbers
and
Estimation
Logic Soal
Introduction
to Proof Tunjukkan bahwa | xy | = | x || y |, dimana x dan y adalah bilangan riil.

Solusi
Ingat kembali bahwa 
a, a ≥ 0,
|a| =
−a, a < 0.
Misalkan
(i) p1 : x dan y tak negatif,
(ii) p2 : x tak negatif dan y negatif,
(iii) p3 : x negatif dan y tak negatif,
(iv) p4 : x dan y negatif,
(iv) q : | xy | = | x || y |
 Lyra
Proof by Cases
Yulianti Contoh

Preliminaries
Real
Numbers
and
Estimation
Solusi
Logic
Introduction
to Proof (i) x dan y tak negatif : p1
p1 → q benar : Karena xy ≥ 0 apabila x ≥ 0 dan y ≥ 0, maka
| xy |= xy =| x || y |.
(ii) x tak negatif dan y negatif : p2 ,
p2 → q benar : Jika x ≥ 0 dan y < 0 maka xy ≤ 0, sehingga
| xy |= −xy = x(−y) =| x || y |.
(iii) x negatif dan y tak negatif : p3 ,
p3 → q benar : Jika x < 0 dan y ≥ 0 maka xy ≤ 0, sehingga
| xy |= −xy = (−x)y =| x || y |.
(iv) x dan y negatif : p4 ,
p4 → q benar : Jika x < 0 dan y < 0 maka xy > 0, sehingga
| xy |= xy = (−x)(−y) =| x || y |.
Karena | xy |=| x || y | berlaku untuk setiap kasus di atas, dan semua kasus
tersebut telah mencakup semua kemungkinan untuk x dan y, maka dapat
disimpulkan bahwa | xy |=| x || y |, untuk x dan y adalah bilangan riil.
 Lyra
Exhaustive Proof
Yulianti Contoh

Preliminaries
Real
Numbers
and
Suatu teorema dapat dibuktikan dengan melihat beberapa contoh, karena
Estimation
Logic
contoh-contoh tersebut telah mencakup semua kemungkinan.
Introduction
to Proof
Soal
Tunjukkan bahwa dua bilangan bulat positif berturut-turut yang tidak
melebihi 100 yang merupakan kuadrat sempurna hanyalah 8 dan 9.

Solusi
Gunakan proof by exhaustion. Tentukan suatu bilangan kuadrat x yang tidak
melebihi 100, tentukan apakah x suatu kuadrat sempurna, kemudian tentukan
apakah x + 1 juga kuadrat sempurna. Bilangan kuadrat yang tidak melebihi
100 adalah 1, 4, 9, 16, 25, 36, 49, 64, 81, 100. Bilangan kubik yang tidak
melebihi 100 adalah 1, 8, 27, 64. Bilangan pangkat 4 yang tidak melebihi 100
adalah 1, 16, 81. Bilangan pangkat 5 yang tidak melebihi 100 adalah 1, 32.
Bilangan pangkat 6 yang tidak melebihi 100 adalah 1, 64. Bilangan pangkat 7
yang tidak melebihi 100 adalah 1. Dapat dilihat bahwa dua bilangan bulat
berturut-turut yang merupakan bilangan kuadrat sempurna adalah 8 = 23 dan
9 = 32 .
 Lyra
Without Loss of Generality (w.l.o.g)
Yulianti

Preliminaries
Real
Numbers
Soal
and
Estimation Tunjukkan bahwa jika x dan y adalah bilangan bulat, xy dan x + y keduanya
Logic
Introduction
genap, maka haruslah x genap dan y genap.
to Proof

Solusi
Akan digunakan proof by contraposition, notasi without loss of generality dan
proof by cases. Pertama-tama, misalkan x dan y tidak keduanya genap.
Artinya, asumsikan x ganjil, atau y ganjil, atau keduanya ganjil. Tanpa
mengurangi perumuman, asumsikan bahwa x ganjil, artinya x = 2m + 1 untuk
suatu bilangan bulat m. Akan ditunjukkan bahwa xy ganjil atau x + y ganjil
(Kenapa?) Pandang dua kasus berikut.
(i) y genap,
Jika y = 2n untuk suatu bilangan bulat n, maka
x + y = 2m + 1 + 2n = 2(m + n) + 1 adalah bilangan ganjil.
(ii) y ganjil,
Jika y = 2n + 1 untuk suatu bilangan bulat n, maka
xy = (2m + 1)(2n + 1) = 4mn + 2(m + n) + 1 = 2(2mn + (m + n)) + 1
adalah bilangan ganjil.
 Lyra
Existence Proofs
Yulianti

Preliminaries
Real
Numbers
and
Estimation
Logic
Introduction
to Proof

• Teorema yang berbentuk pernyataan bahwa obyek dari suatu kasus

khusus berlaku.
• Proposisi berbentuk ∃ x, P (x).
• Pembuktian proposisi tersebut dinamakan existence proof.
• Constructive proof : Dengan menemukan suatu unsur a sedemikian
sehingga P (a) benar.
• Nonconstructive proof : Membuktikan bahwa ∃ x, P (x) benar, dengan
cara proof by contradiction and tunjukkan bahwa negasi dari existential
quantification menyebabkan kontradiksi.
 Lyra
Existence Proofs : Constructive proof
Yulianti Contoh

Preliminaries
Real
Numbers
and
Estimation
Logic
Introduction
to Proof

Soal
Tunjukkan bahwa terdapat bilangan bulat positif yang dapat ditulis sebagai
jumlah dari dua bilangan kubik dengan dua cara.

Solusi
1729 = 103 + 93 = 123 + 13 .
 Lyra
Existence Proofs : Nonconstructive proof
Yulianti Contoh

Preliminaries
Real
Numbers
and
Estimation
Logic
Introduction
to Proof

Soal
Tunjukkan bahwa terdapat bilangan irasional x dan y sedemikian sehingga xy
rasional.

Solusi
√ √ √2
Telah diperoleh
√
bahwa 2 adalah bilangan irasional. Pandang bilangan 2 .
√ 2 √ √
Jika 2 rasional, maka telah diperoleh √bilangan x = 2 dan y = 2
√ 2
sedemikian sehingga xy rasional. Jika 2 √ irasional maka tuliskan
√ √2 √ √ 2 √ √ (√2√2)
x = 2 dan y = 2 sehingga xy = ( 2 ) 2 = 2 = 2.