

Study with the several resources on Docsity
Earn points by helping other students or get them with a premium plan
Prepare for your exams
Study with the several resources on Docsity
Earn points to download
Earn points by helping other students or get them with a premium plan
Solutions to problem set 5 of the cs 1050a: constructing proofs course. It includes proofs for the relationships between big o notation, divisibility, and the greatest common divisor (gcd). The document also covers the euclidean algorithm for finding the gcd and the extended euclidean algorithm for finding the bezout coefficients.
Typology: Assignments
1 / 2
This page cannot be seen from the preview
Don't miss anything!


a ≡ b(modn) ⇒ n|(a − b) ⇒ a − b = x 1 · n for some x 1 ∈ Z b ≡ c(modn) ⇒ n|(b − c) ⇒ b − c = x 2 · n for some x 2 ∈ Z ⇒ a − c = (a − b) + (b − c) = x 1 · n + x 2 · n = (x 1 + x 2 ) · n ⇒ n|(a − c) ⇒ a ≡ c(modn)
lcm(6, 9) = 2max(1,0)^ · 3 max(1,2)^ = 18
lcm(60, 18) = 2max(2,1)^ · 3 max(1,2)^ · 5 max(1,0)^ = 180
Prime factorization of lcm(a, b) is as follows: lcm(a, b) = Πki=1pimax(si,ti)
LHS = a · b = Πki=1pisi+ti
RHS = lcm(a, b) · gcd(a, b) = Πki=1pimax(si,ti)+min(si,ti)
Consider 2 cases: Case 1 - si < ti ⇒ max(si, ti) = ti min(si, ti) = si ⇒ RHS = Πki=1piti+si Therefore, LHS = RHS Case 2 - si ≥ ti ⇒ max(si, ti) = si min(si, ti) = ti ⇒ RHS = Πki=1pisi+ti Therefore, LHS = RHS