quadratics - lecture 8 - justin stevens · 2018. 9. 8. · outline 1 polynomials...

42
Quadratics Lecture 8 Justin Stevens Justin Stevens Quadratics (Lecture 8) 1 / 42

Upload: others

Post on 12-Mar-2021

2 views

Category:

Documents


0 download

TRANSCRIPT

Page 1: Quadratics - Lecture 8 - Justin Stevens · 2018. 9. 8. · Outline 1 Polynomials RationalRootTheorem PrimeGeneratingPolynomials 2 CategorizationofNumbers 3 PythagoreanTriplets 4 ProblemSolving:

QuadraticsLecture 8

Justin Stevens

Justin Stevens Quadratics (Lecture 8) 1 / 42

Page 2: Quadratics - Lecture 8 - Justin Stevens · 2018. 9. 8. · Outline 1 Polynomials RationalRootTheorem PrimeGeneratingPolynomials 2 CategorizationofNumbers 3 PythagoreanTriplets 4 ProblemSolving:

Outline

1 PolynomialsRational Root TheoremPrime Generating Polynomials

2 Categorization of Numbers

3 Pythagorean Triplets

4 Problem Solving: Factorizations

Justin Stevens Quadratics (Lecture 8) 2 / 42

Page 3: Quadratics - Lecture 8 - Justin Stevens · 2018. 9. 8. · Outline 1 Polynomials RationalRootTheorem PrimeGeneratingPolynomials 2 CategorizationofNumbers 3 PythagoreanTriplets 4 ProblemSolving:

Method of Undetermined Coefficients

Example. Find the constants a, b, c such that

6x5 + x4 − 10x3 + 4x − 1 =(2x3 + 3x2 − 1

) (ax2 + bx + c

).

Solution. The only way to produce an x5 term on the RHS is in theproduct (2x3)(ax2) = 2ax5. This must equal 6x5, therefore a = 3. The x4

terms on the RHS are (2x3)(bx) and (3x2)(ax2), so

2bx4 + 3ax4 = 1x4 =⇒ b = −4.

To find c, we compare the constant terms to see −1 = −1 · c, so c = 1.We can verify that

6x5 + x4 − 10x3 + 4x − 1 =(2x3 + 3x2 − 1

) (3x2 − 4x + 1

).

Justin Stevens Quadratics (Lecture 8) 3 / 42

Page 4: Quadratics - Lecture 8 - Justin Stevens · 2018. 9. 8. · Outline 1 Polynomials RationalRootTheorem PrimeGeneratingPolynomials 2 CategorizationofNumbers 3 PythagoreanTriplets 4 ProblemSolving:

Polynomial Division Theorems

Theorem. To divide n(x) by d(x), there exists unique q(x) and r(x):

n(x) = d(x)q(x) + r(x), deg(r) < deg(d) or r(x) = 0.

If r(x) = 0, then we say n(x) is divisible by d(x).

Theorem. (Factor Theorem) f (x) has a factor of x − a iff f (a) = 0.

Definition. If f (r) = 0, then r is called a root of the polynomial f (x).

Justin Stevens Quadratics (Lecture 8) 4 / 42

Page 5: Quadratics - Lecture 8 - Justin Stevens · 2018. 9. 8. · Outline 1 Polynomials RationalRootTheorem PrimeGeneratingPolynomials 2 CategorizationofNumbers 3 PythagoreanTriplets 4 ProblemSolving:

Factoring a Cubic

Example. Factor the polynomial f (x) = x3 + 11x2 − 49x − 539.

Solution. Substituting small values into this expression, we see

f (0) = −539, f (1) = −576, f (2) = −585, f (3) = −560, f (4) = −495.

Observe that f (0), f (2), and f (4) are all odd. If x is an even integer, thenx3, 11x2,−49x are all even, while −539 is odd, hence f (x) is odd. Similarly,since 3 - −539 and 5 - −539, f (x) cannot have a root divisible by 3 nor 5.

For x = 7, f (7) = 73 + 11 · 72 − 49 · 7− 539 = 0, so x − 7 is a factor.

To divide, we use synthetic division:7 1 11 −49 −539

7 126 5391 18 77 0

Hence f (x) = (x − 7)(x2 + 18x + 77). Since 7 · 11 = 77 and 7 + 11 = 18,

f (x) = (x − 7)(x + 7)(x + 11) .

Justin Stevens Quadratics (Lecture 8) 5 / 42

Page 6: Quadratics - Lecture 8 - Justin Stevens · 2018. 9. 8. · Outline 1 Polynomials RationalRootTheorem PrimeGeneratingPolynomials 2 CategorizationofNumbers 3 PythagoreanTriplets 4 ProblemSolving:

Integer Roots

Theorem. Suppose k is a nonzero integer root of the polynomial f withinteger coefficients:

f (x) = anxn + an−1xn−1 + · · ·+ a2x2 + a1x + a0.

Then, k must divide the constant coefficient, a0.

Proof.Substituting x = k into the polynomial, we see that

f (k) = ankn + an−1kn−1 + · · ·+ a2k2 + a1k + a0 = 0.

Isolating for a0, a0 = −k(ankn−1 + · · ·+ a2k + a1

), so k | a0.

Justin Stevens Quadratics (Lecture 8) 6 / 42

Page 7: Quadratics - Lecture 8 - Justin Stevens · 2018. 9. 8. · Outline 1 Polynomials RationalRootTheorem PrimeGeneratingPolynomials 2 CategorizationofNumbers 3 PythagoreanTriplets 4 ProblemSolving:

A more difficult cubic

Example. Factor the polynomial f (x) = 24x3 − 38x2 − 51x − 10.

Solution. Since none of ±1,±2,±5, and ±10 are roots, the cubic has nointeger roots. Therefore, for relatively prime integers s and t, we try s/t:

f (st ) = 24

(st

)3− 38

(st

)2− 51

(st

)− 10 = 0.

Multiplying by t3 gives 24s3 − 38s2t − 51st2 − 10t3 = 0. Isolating for s3,

24s3 = 38s2t + 51st2 + 10t3 = t(38s2 + 51st + 10t2

).

Therefore, 24s3/t is an integer. Since gcd(s, t) = 1, t | 24. Similarly, s | 10.

Trying cases, we see −1/4 is a root:−1/4 24 −38 −51 −10

−6 11 1024 −44 −40 0

Justin Stevens Quadratics (Lecture 8) 7 / 42

Page 8: Quadratics - Lecture 8 - Justin Stevens · 2018. 9. 8. · Outline 1 Polynomials RationalRootTheorem PrimeGeneratingPolynomials 2 CategorizationofNumbers 3 PythagoreanTriplets 4 ProblemSolving:

A more difficult cubic

Example. Factor the polynomial f (x) = 24x3 − 38x2 − 51x − 10.

Therefore, 24x3 − 38x2 − 51x − 10 = (x + 1/4)(24x2 − 44x − 40

).

Factoring the quadratic by taking out a factor of 4 and searching for roots,

24x2 − 44x − 40 = 4(6x2 − 11x − 10

)= 4 (3x + 2) (2x − 5) .

We factor the constants out of each linear factor so the coefficients are 1:

24x3 − 38x2 − 51x − 10 = 4 (x + 1/4) (3x + 2) (2x − 5)

= 24(

x + 14

)(x + 2

3

)(x − 5

2

).

We see that the roots are −1/4,−2/3, and 5/2.

Justin Stevens Quadratics (Lecture 8) 8 / 42

Page 9: Quadratics - Lecture 8 - Justin Stevens · 2018. 9. 8. · Outline 1 Polynomials RationalRootTheorem PrimeGeneratingPolynomials 2 CategorizationofNumbers 3 PythagoreanTriplets 4 ProblemSolving:

Rational Root Theorem

Theorem. A degree n polynomial f with roots r1, r2, · · · , rn can befactored as

f (x) = an (x − r1) (x − r2) · · · (x − rn) .

Theorem. (Rational Root Theorem) Suppose s/t is a nonzero rationalroot of

f (x) = anxn + an−1xn−1 + · · ·+ a1x + a0,

where the coefficients are integers. Then, s | a0 and t | an.

Justin Stevens Quadratics (Lecture 8) 9 / 42

Page 10: Quadratics - Lecture 8 - Justin Stevens · 2018. 9. 8. · Outline 1 Polynomials RationalRootTheorem PrimeGeneratingPolynomials 2 CategorizationofNumbers 3 PythagoreanTriplets 4 ProblemSolving:

Prime Generating Polynomials

Theorem. Prove that there is no nonconstant polynomial with integralcoeficients that produces primes for every integer n.

Proof by Contradiction.Suppose there is such a polynomial with integer coefficients and ak 6= 0:

f (n) = aknk + an−1kn−1 + · · ·+ a2n2 + a1n + a0.

For a fixed value of n0, let f (n0) = p be a prime number. Then, consider

f (n0 + tp) = ak (n0 + tp)k + ak−1 (n0 + tp)k−1 + · · ·+ a1 (n0 + tp) + a0

≡ aknk0 + ak−1nk−1 + · · ·+ a1n0 + a0

≡ f (n0) ≡ 0 (mod p).

Since f always generates primes, f (n0 + tp) = p for all integers t. However,then the polynomial g(n) = f (n)− p has infinite roots, contradiction.

Justin Stevens Quadratics (Lecture 8) 10 / 42

Page 11: Quadratics - Lecture 8 - Justin Stevens · 2018. 9. 8. · Outline 1 Polynomials RationalRootTheorem PrimeGeneratingPolynomials 2 CategorizationofNumbers 3 PythagoreanTriplets 4 ProblemSolving:

History of Prime Producing PolynomialsEuler discovered that the polynomial n2 + n + 41 generates 40 consecutiveprimes for 0 ≤ n ≤ 39. However, for n = 40, 402 + 40 + 41 = 412. In fact,for the first 100 integer values of n, it produces 86 primes.

While there is no prime-producing polynomial, in 1947, it was proved thatthere exists a positive real number r such that br3nc is prime for all naturalnumbers n. The value r is known as Mills’ constant and its value isunknown, however, assuming the Riemann hypothesis, r ≈ 1.306378 . . .

Justin Stevens Quadratics (Lecture 8) 11 / 42

Page 12: Quadratics - Lecture 8 - Justin Stevens · 2018. 9. 8. · Outline 1 Polynomials RationalRootTheorem PrimeGeneratingPolynomials 2 CategorizationofNumbers 3 PythagoreanTriplets 4 ProblemSolving:

Outline

1 Polynomials

2 Categorization of NumbersIntegersp-adic NumbersRational and Irrational Numbers

3 Pythagorean Triplets

4 Problem Solving: Factorizations

Justin Stevens Quadratics (Lecture 8) 12 / 42

Page 13: Quadratics - Lecture 8 - Justin Stevens · 2018. 9. 8. · Outline 1 Polynomials RationalRootTheorem PrimeGeneratingPolynomials 2 CategorizationofNumbers 3 PythagoreanTriplets 4 ProblemSolving:

Integers

The set of integers are Z = {· · · ,−3,−2,−1, 0, 1, 2, 3, · · · }. Properties ofaddition (+) and multiplication (·) for integers a and b include:

Closure: a + b and a · b are both integers.Associativity: a + (b + c) = (a + b) + c and a · (b · c) = (a · b) · c.Commutativity: a + b = b + a and a · b = b · a.Identity: a + 0 = a and a · 1 = a.Distributivity: a · (b + c) = a · b + a · c and (a + b) · c = a · c + b · c .Additive Inverse: a + (−a) = 0.

These properties imply the integers are a commutative ring.

Positive integers are Z+ = {1, 2, 3, · · · }. The additive inverses of thepositive integers are the negative integers. The natural numbers, N,consist of zero combined with the positive integers.

The integers are equipped with an ordering relation; we say a is less than b,denoted a < b, if b − a is positive. Then min(a, b) = a and max(a, b) = b.

Justin Stevens Quadratics (Lecture 8) 13 / 42

Page 14: Quadratics - Lecture 8 - Justin Stevens · 2018. 9. 8. · Outline 1 Polynomials RationalRootTheorem PrimeGeneratingPolynomials 2 CategorizationofNumbers 3 PythagoreanTriplets 4 ProblemSolving:

Well-Ordering Principle

Theorem. Every non-empty subset of Z+ has a least element.

Definition. x ∈ S denotes “x belongs to set S".

Example. Show that there is no integer between 0 and 1.

Proof by Contradiction.Assume for the sake of contradiction that S = {c ∈ Z | 0 < c < 1}, the setof integers between 0 and 1, is non-empty. Hence, S must have a smallestelement, say m. However, we see that m2 ∈ Z from closure overmultiplication and 0 < m2 < m < 1. This contradicts the minimality of m,hence S = ∅ and there are no integers between 0 and 1.

Justin Stevens Quadratics (Lecture 8) 14 / 42

Page 15: Quadratics - Lecture 8 - Justin Stevens · 2018. 9. 8. · Outline 1 Polynomials RationalRootTheorem PrimeGeneratingPolynomials 2 CategorizationofNumbers 3 PythagoreanTriplets 4 ProblemSolving:

Induction

Theorem. Suppose we have a statement P that we wish to show is true forall positive integers at least 1. We can prove this in two steps:

Base Case: Show P(1).Inductive Step: Show P(k) implies P(k + 1) for any integer k ≥ 1.

The assumption we make is known as the induction hypothesis.

Proof by Contradiction.Assume that S = {n |P(n) is false} is non-empty. Let the least element ofS be m. Observe that 1 6∈ S, therefore m > 1. Also by minimality,m − 1 6∈ S. However by the inductive step, P(m − 1) implies P(m),contradiction.

Justin Stevens Quadratics (Lecture 8) 15 / 42

Page 16: Quadratics - Lecture 8 - Justin Stevens · 2018. 9. 8. · Outline 1 Polynomials RationalRootTheorem PrimeGeneratingPolynomials 2 CategorizationofNumbers 3 PythagoreanTriplets 4 ProblemSolving:

Max and Min

Example. Prove that min(a, b) + max(a, b) = a + b.

Proof.We have two cases to consider. If a ≤ b, then we have min(a, b) = a andmax(a, b) = b. Otherwise, if b < a, then min(a, b) = b and max(a, b) = a.Either way, the result holds.

For two positive integers a and b, we write out their prime factorizations:

a = pa11 pa2

2 · · · pakk , b = pb1

1 pb22 · · · p

bkk .

Then,

gcd(a, b) = pmin(a1,b1)1 pmin(a2,b2)

2 · · · pmin(ak ,bk)k

lcm[a, b] = pmax(a1,b1)1 pmax(a2,b2)

2 · · · pmax(ak ,bk)k .

Therefore, gcd(a, b) lcm[a, b] = ab.Justin Stevens Quadratics (Lecture 8) 16 / 42

Page 17: Quadratics - Lecture 8 - Justin Stevens · 2018. 9. 8. · Outline 1 Polynomials RationalRootTheorem PrimeGeneratingPolynomials 2 CategorizationofNumbers 3 PythagoreanTriplets 4 ProblemSolving:

p-adic Valuation

Let a positive integer n > 1 be written as n = pe11 pe2

2 · · · pekk .

Definition. For each prime, the p-adic valuation of n is vpi (n) = ei .

If P is the set of primes, then another way to write the factorization is

n =∏p∈P

pvp(n).

Using the law of exponents, we can see the two following theorem.

Theorem. vp (mn) = vp (m) + vp (n) and vp(nc) = cvp(n).

Justin Stevens Quadratics (Lecture 8) 17 / 42

Page 18: Quadratics - Lecture 8 - Justin Stevens · 2018. 9. 8. · Outline 1 Polynomials RationalRootTheorem PrimeGeneratingPolynomials 2 CategorizationofNumbers 3 PythagoreanTriplets 4 ProblemSolving:

USAMO Problem

Example. (USAMO) Prove that for integers a, b, c,[a, b, c]2

[a, b][b, c][c, a] = (a, b, c)2

(a, b)(b, c)(c, a) .

Solution. Consider a prime p dividing at least one of a, b, c. Letvp(a) = α, vp(b) = β, and vp(c) = γ. WLOG α ≥ β ≥ γ. Then,

vp( [a, b, c]2[a, b][b, c][c, a] ) = 2vp([a, b, c])− vp([a, b])− vp([b, c])− vp([c, a])

= 2α− α− β − α = −β.Furthermore, the number of factors of p on the right hand side is

vp( (a, b, c)2

(a, b)(b, c)(c, a)) = 2vp ((a, b, c))− vp ((a, b))− vp ((b, c))− vp ((c, a))

= 2γ − β − γ − γ = −β.By the Fundamental Theorem of Arithmetic, the two sides are equal.

Justin Stevens Quadratics (Lecture 8) 18 / 42

Page 19: Quadratics - Lecture 8 - Justin Stevens · 2018. 9. 8. · Outline 1 Polynomials RationalRootTheorem PrimeGeneratingPolynomials 2 CategorizationofNumbers 3 PythagoreanTriplets 4 ProblemSolving:

Rational and Irrational Numbers

A rational number can be expressed in the form a/b where a and b areintegers and b 6= 0. The rationals, Q, are a field since all non-zero elementshave a multiplicative inverse. They can be formally defined as anequivalence class of pairs of integers (a, b) with b 6= 0 and equivalencerelation (a1, b1) ∼ (a2, b2) if and only if a1b2 = a2b1.

An irrational number cannot be expressed as the ratio of two integers.

A real number is a quantity on an infinitely long number line. The reals,R, consist of all rational and irrational numbers, therefore N ⊂ Z ⊂ Q ⊂ R.Notice that R ⊂ S denotes “R is a subset of S".

Justin Stevens Quadratics (Lecture 8) 19 / 42

Page 20: Quadratics - Lecture 8 - Justin Stevens · 2018. 9. 8. · Outline 1 Polynomials RationalRootTheorem PrimeGeneratingPolynomials 2 CategorizationofNumbers 3 PythagoreanTriplets 4 ProblemSolving:

Rational and Irrational Numbers

Example. Prove that√2 is irrational.

Solution. Assume that√2 = a/b for integers a and b. Then,√2 = a

b =⇒ a2 = 2b2.

We take the 2-adic valuation of both sides of the equation:

v2(a2)

= 2v2(a)

v2(b2)

= 2v2(b) + 1.

Therefore, 2v2(a) = 2v2(b) + 1, contradiction. Hence√2 is irrational.

Justin Stevens Quadratics (Lecture 8) 20 / 42

Page 21: Quadratics - Lecture 8 - Justin Stevens · 2018. 9. 8. · Outline 1 Polynomials RationalRootTheorem PrimeGeneratingPolynomials 2 CategorizationofNumbers 3 PythagoreanTriplets 4 ProblemSolving:

Pythagoras and Irrational Numbers

Around 500 BC, Pythagoras founded a religion called Pythagoreanism. Thefollowers thought numbers explained everything in life, from nature to music.Furthermore, they believed every number in the universe was rational.According to legend, Hippasus was a Pythagorean who was an excellentmathematician. While looking at the pentagram, he took the measure ofthe length of several sides and found the irrational ratio:

Figure 1: redgreen = green

blue = bluepurple = 1+

√5

2

Justin Stevens Quadratics (Lecture 8) 21 / 42

Page 22: Quadratics - Lecture 8 - Justin Stevens · 2018. 9. 8. · Outline 1 Polynomials RationalRootTheorem PrimeGeneratingPolynomials 2 CategorizationofNumbers 3 PythagoreanTriplets 4 ProblemSolving:

The Golden Ratio

Two quantities are in the golden ratio if their ratio is the same of the ratioof their sum to the larger of the two quantities:

Figure 2: a+ba = a

bdef= ϕ.

Letting ϕ = ab in the equation above, we see

1 + 1ϕ

= ϕ =⇒ ϕ2 − ϕ− 1 = 0.

Using the quadratic formula, ϕ = 1+√

52 . The other root is ψ = 1−

√5

2 .Justin Stevens Quadratics (Lecture 8) 22 / 42

Page 23: Quadratics - Lecture 8 - Justin Stevens · 2018. 9. 8. · Outline 1 Polynomials RationalRootTheorem PrimeGeneratingPolynomials 2 CategorizationofNumbers 3 PythagoreanTriplets 4 ProblemSolving:

Binet’s Formula

Theorem. (Binet’s Formula) The nth Fibonacci number is given by

Fn = ϕn − ψn√5

.

Proof. Note F1 = (ϕ− ψ)/√5 = 1 and F2 = (ϕ2 − ψ2)/

√5 = 1.

Assume the result for n = k − 2 and n = k − 1. We then show n = k.Observe that ϕ and ψ are the roots of the quadratic x2 − x − 1 = 0. Hence,

ϕk = ϕk−1 + ϕk−2, ψk = ψk−1 + ψk−2.

From the definition of Fibonacci numbers and the induction hypothesis

Fk = Fk−1 + Fk−2 = ϕk−1 − ψk−1√5

+ ϕk−2 − ψk−2√5

= ϕk − ψk√5

.

This is the desired formula for k, hence Binet’s Formula is proven.Justin Stevens Quadratics (Lecture 8) 23 / 42

Page 24: Quadratics - Lecture 8 - Justin Stevens · 2018. 9. 8. · Outline 1 Polynomials RationalRootTheorem PrimeGeneratingPolynomials 2 CategorizationofNumbers 3 PythagoreanTriplets 4 ProblemSolving:

Golden Spiral

Figure 3: The Golden Ratio Spiral

Justin Stevens Quadratics (Lecture 8) 24 / 42

Page 25: Quadratics - Lecture 8 - Justin Stevens · 2018. 9. 8. · Outline 1 Polynomials RationalRootTheorem PrimeGeneratingPolynomials 2 CategorizationofNumbers 3 PythagoreanTriplets 4 ProblemSolving:

Outline

1 Polynomials

2 Categorization of Numbers

3 Pythagorean TripletsQuadratic ResiduesPythagorean TriplesFermat’s Method of Infinite Descent

4 Problem Solving: Factorizations

Justin Stevens Quadratics (Lecture 8) 25 / 42

Page 26: Quadratics - Lecture 8 - Justin Stevens · 2018. 9. 8. · Outline 1 Polynomials RationalRootTheorem PrimeGeneratingPolynomials 2 CategorizationofNumbers 3 PythagoreanTriplets 4 ProblemSolving:

Perfect Squares

Definition. Perfect squares are of the form m2 where m is an integer. Notethat n is a perfect square if and only if for all primes p, vp(n) is even.

Theorem. For coprime a and b, if ab = c2, then a and b are both perfectsquares.

Proof.Let p be an arbitrary prime divisor of c. Taking the p-adic valuation:

vp (a) + vp (b) = vp(c2) = 2vp(c).

Since a and b share no divisors, one member of {vp(a), vp(b)} is 0 and theother is 2vp(c). Hence, every exponent in the factorization of a and b iseven implying a and b are both perfect squares.

Justin Stevens Quadratics (Lecture 8) 26 / 42

Page 27: Quadratics - Lecture 8 - Justin Stevens · 2018. 9. 8. · Outline 1 Polynomials RationalRootTheorem PrimeGeneratingPolynomials 2 CategorizationofNumbers 3 PythagoreanTriplets 4 ProblemSolving:

Quadratic Residues

Definition. We call a a quadratic residue mod n if there exists an integerx such that x2 ≡ a (mod n). Otherwise, it is a quadratic nonresidue.

Mod Quadratic Residues3 0, 14 0,15 0, 1, 47 0, 1, 2, 4

Table 1: Several Examples of Quadratic Residues

Justin Stevens Quadratics (Lecture 8) 27 / 42

Page 28: Quadratics - Lecture 8 - Justin Stevens · 2018. 9. 8. · Outline 1 Polynomials RationalRootTheorem PrimeGeneratingPolynomials 2 CategorizationofNumbers 3 PythagoreanTriplets 4 ProblemSolving:

Pythagorean Triplets

Definition. A Pythagorean triple is a set of three integers x , y , z such thatx2 + y2 = z2; the triple is said to be primitive if gcd(x , y , z) = 1.

Two famous primitive Pythagorean triples are 3, 4, 5 and 5, 12, 13.

Suppose that x , y , z is any Pythagorean triple and d = gcd(x , y , z). If wewrite x = dx1, y = dy1, z = dz1, then gcd(x1, y1, z1) = 1 and

x21 + y2

1 = x2 + y2

d2 = z2

d2 = z21 .

Hence x1, y1, z1 form a primitive Pythagorean triple.

For a primitive triple, each pair of the integers x , y , and z must be relativelyprime. If it were the case that gcd(x , y) = d > 1, then there exists a primep such that p | d . Therefore, p | x and p | y , implying p | (x2 + y2) orp | z2, giving p | z . This contradicts the primality, hence d = 1.

Justin Stevens Quadratics (Lecture 8) 28 / 42

Page 29: Quadratics - Lecture 8 - Justin Stevens · 2018. 9. 8. · Outline 1 Polynomials RationalRootTheorem PrimeGeneratingPolynomials 2 CategorizationofNumbers 3 PythagoreanTriplets 4 ProblemSolving:

Parity of Pythagorean Triples

Example. If x , y , z is a primitive Pythagorean triple, prove that one ofthe integers x or y is even, while the other is odd.

Proof.If x and y are both even, then 2 |

(x2 + y2) or 2 | z2, so that 2 | z .

Therefore, x , y , z would not be a primitive triple. If, on the other hand, xand y are both odd, then x2 ≡ 1 (mod 4) and y2 ≡ 1 (mod 4), leading to

z2 = x2 + y2 ≡ 2 (mod 4).

However, the only quadratic residues mod 4 are 0 and 1, contradiction.

Justin Stevens Quadratics (Lecture 8) 29 / 42

Page 30: Quadratics - Lecture 8 - Justin Stevens · 2018. 9. 8. · Outline 1 Polynomials RationalRootTheorem PrimeGeneratingPolynomials 2 CategorizationofNumbers 3 PythagoreanTriplets 4 ProblemSolving:

Generator of Pythagorean Triples

Example. Find all primitive solutions to x2 + y2 = z2.

WLOG, assume that x is even, therefore y and z are both odd. Furthermorez − y and z + y are even, say z − y = 2u and z + y = 2v . Therefore,dividing by 4 and using difference of squares,(x

2

)2=(z − y

2

)(z + y2

)= uv .

Notice that u and v are relatively prime; if gcd(u, v) = d > 1, thend | (u − v) and d | (u + v), or equivalently d | y and d | z .

Since they multiply to a perfect square, u = t2 and v = s2. Therefore,

z = v + u = s2 + t2, y = v − u = s2 − t2, x2 = 4vu = 4s2t2.

Therefore, (x , y , z) = (2st, s2 − t2, s2 + t2) for s 6≡ t (mod 2).

Justin Stevens Quadratics (Lecture 8) 30 / 42

Page 31: Quadratics - Lecture 8 - Justin Stevens · 2018. 9. 8. · Outline 1 Polynomials RationalRootTheorem PrimeGeneratingPolynomials 2 CategorizationofNumbers 3 PythagoreanTriplets 4 ProblemSolving:

Table of Pythagorean Triples

y x zs t (s2 − t2) (2st) (s2 + t2)2 1 3 4 53 2 5 12 134 1 15 8 174 3 7 24 255 2 21 20 295 4 9 40 416 1 35 12 376 5 11 60 61

Table 2: The first several Pythagorean triples

Justin Stevens Quadratics (Lecture 8) 31 / 42

Page 32: Quadratics - Lecture 8 - Justin Stevens · 2018. 9. 8. · Outline 1 Polynomials RationalRootTheorem PrimeGeneratingPolynomials 2 CategorizationofNumbers 3 PythagoreanTriplets 4 ProblemSolving:

Fermat’s Method of Infinite Descent

Example. Find all positive integers solutions to x3 + 2y3 = 4z3.

Solution. Let (x , y , z) be the solution with the smallest value of z . Then,since the other terms are even, x must be even, so let x = 2x1:

8x31 + 2y3 = 4z3 =⇒ 4x3

1 + y3 = 2z3.

Similarly, we see that y must be even, so let y = 2y1:

4x31 + 8y3

1 = 2z3 =⇒ 2x31 + 4y3

1 = z3.

Finally, we see that z must be even, so let z = 2z1:

2x31 + 4y3

1 = 8z31 =⇒ x3

1 + 2y31 = 4z3

1 .

However, then (x1, y1, z1) = (x/2, y/2, z/2) is a solution with a smaller z .

Justin Stevens Quadratics (Lecture 8) 32 / 42

Page 33: Quadratics - Lecture 8 - Justin Stevens · 2018. 9. 8. · Outline 1 Polynomials RationalRootTheorem PrimeGeneratingPolynomials 2 CategorizationofNumbers 3 PythagoreanTriplets 4 ProblemSolving:

Fermat’s Last Theorem for n = 4

Example. Prove that there are no integers x , y , z with x4 + y4 = z2.

Assume that x4 + y4 = z2 is the solution with smallest z . Therefore,(x2, y2, z) is a primitive Pythagorean triple. WLOG, let x2 be even, so

x2 = 2mn, y2 = m2 − n2, z2 = m2 + n2.

From the second equation, y2 + n2 = m2, so (y , n,m) is a primitivePythagorean triple. Since y is odd, n must be even, and we parametrize:

n = 2rs, y = r2 − s2, m = r2 + s2.

Furthermore, x2 = 2mn = 2(r s + s2) 2rs = 4

(r s + s2) rs.

Since they multiply to a perfect square, r2 + s2 and rs must be perfectsquares. Let r2 + s2 = w2, r = u2, and s = v2. Therefore,

r2 + s2 = w2 = u4 + v4.

However, then we have found a smaller solution to our original equationsince z = m2 + n2 = w4 + n2 > w4 � w , contradiction.

Justin Stevens Quadratics (Lecture 8) 33 / 42

Page 34: Quadratics - Lecture 8 - Justin Stevens · 2018. 9. 8. · Outline 1 Polynomials RationalRootTheorem PrimeGeneratingPolynomials 2 CategorizationofNumbers 3 PythagoreanTriplets 4 ProblemSolving:

Outline

1 Polynomials

2 Categorization of Numbers

3 Pythagorean Triplets

4 Problem Solving: Factorizations

Justin Stevens Quadratics (Lecture 8) 34 / 42

Page 35: Quadratics - Lecture 8 - Justin Stevens · 2018. 9. 8. · Outline 1 Polynomials RationalRootTheorem PrimeGeneratingPolynomials 2 CategorizationofNumbers 3 PythagoreanTriplets 4 ProblemSolving:

Prime Factorizations

Example. Let P(m) denote the greatest prime factor of m. Find alln > 1 such that P(n) =

√n and P(n + 48) =

√n + 48.

Example. Find all primes p such that 16p + 1 is a perfect cube.

Justin Stevens Quadratics (Lecture 8) 35 / 42

Page 36: Quadratics - Lecture 8 - Justin Stevens · 2018. 9. 8. · Outline 1 Polynomials RationalRootTheorem PrimeGeneratingPolynomials 2 CategorizationofNumbers 3 PythagoreanTriplets 4 ProblemSolving:

Square Root Factors

Example. Let P(m) denote the greatest prime factor of m. Find alln > 1 such that P(n) =

√n and P(n + 48) =

√n + 48.

Solution. We see that n = p2 and n + 48 = q2 for primes p and q. Then,

q2 − p2 = (q + p) (q − p) = 48.

If q + p = 24 and q − p = 2, then (q, p) = (13, 11). For q + p = 12 andq − p = 4, (q, p) = (8, 4) and for q + p = 8 and q − p = 6, (q, p) = (7, 1).Neither are prime solutions, hence n = 112 = 121 .

Justin Stevens Quadratics (Lecture 8) 36 / 42

Page 37: Quadratics - Lecture 8 - Justin Stevens · 2018. 9. 8. · Outline 1 Polynomials RationalRootTheorem PrimeGeneratingPolynomials 2 CategorizationofNumbers 3 PythagoreanTriplets 4 ProblemSolving:

Perfect Cube

Example. Find all primes p such that 16p + 1 is a perfect cube.

Solution. Let 16p + 1 = n3 for some integer n. Using difference of cubes,

16p = n3 − 1 = (n − 1)(n2 + n + 1

).

Since n2 + n + 1 is odd, we must have 16 | n − 1, therefore n − 1 = 16k:

p = k(n2 + n + 1

).

Since n2 + n + 1 > 1, we must have k = 1, so n = 17. We then find

p = 172 + 17 + 1 = 307 .

Justin Stevens Quadratics (Lecture 8) 37 / 42

Page 38: Quadratics - Lecture 8 - Justin Stevens · 2018. 9. 8. · Outline 1 Polynomials RationalRootTheorem PrimeGeneratingPolynomials 2 CategorizationofNumbers 3 PythagoreanTriplets 4 ProblemSolving:

Perfect Square Condition

Example. Let n be a positive integer such that 2 + 2√28n2 + 1 is an

integer. Show that 2 + 2√28n2 + 1 is the square of an integer.

Solution. Since 28 is even, the radical must be an odd integer; let√28n2 + 1 = 2m + 1 for some integer m. Squaring and rearranging gives

28n2 + 1 = 4m2 + 4m + 1 =⇒ 7n2 = m(m + 1).

If 7 divides m + 1, we let m = a2 and m + 1 = 7b2 where a and b arerelatively prime. Substituting gives

a2 + 1 = 7b2 =⇒ a2 ≡ −1 (mod 7).

However, the quadratic residues mod 7 are 0, 1, 2, 4, contradiction.Therefore, 7 must divide m. Let m = 7a2 and m + 1 = b2, so

2 + 2√28n2 + 1 = 2 + 2 (2m + 1) = 4m + 4 = 4b2 = (2b)2 ,

which is a perfect square, as desired.Justin Stevens Quadratics (Lecture 8) 38 / 42

Page 39: Quadratics - Lecture 8 - Justin Stevens · 2018. 9. 8. · Outline 1 Polynomials RationalRootTheorem PrimeGeneratingPolynomials 2 CategorizationofNumbers 3 PythagoreanTriplets 4 ProblemSolving:

Exponent Factorizations

Theorem. For all positive integers n,

xn − yn = (x − y)(xn−1 + xn−2y1 + xn−3y2 + · · ·+ yn−1

).

For all odd positive integers n,

xn + yn = (x + y)(xn−1 − xn−2y + xn−3y2 + · · ·+ yn−1

).

Justin Stevens Quadratics (Lecture 8) 39 / 42

Page 40: Quadratics - Lecture 8 - Justin Stevens · 2018. 9. 8. · Outline 1 Polynomials RationalRootTheorem PrimeGeneratingPolynomials 2 CategorizationofNumbers 3 PythagoreanTriplets 4 ProblemSolving:

Important Lemma

Example. Prove that if a ≡ b (mod n), then an ≡ bn (mod n2).

Solution. We use our difference of nth powers factorization:

an − bn = (a − b)(an−1 + an−2b + · · ·+ bn−1

).

Since a ≡ b (mod n), the first term in the product is divisible by n.Furthermore, substituting the congruence into the second term gives

an−1 + an−2b + · · ·+ bn−1 ≡ bn−1 + bn−1 + · · ·+ bn−1︸ ︷︷ ︸n terms

≡ 0 (mod n).

Therefore, the product is divisible by n2.

Justin Stevens Quadratics (Lecture 8) 40 / 42

Page 41: Quadratics - Lecture 8 - Justin Stevens · 2018. 9. 8. · Outline 1 Polynomials RationalRootTheorem PrimeGeneratingPolynomials 2 CategorizationofNumbers 3 PythagoreanTriplets 4 ProblemSolving:

Divisor Problem

Example. Find a divisor between 2000 and 3000 of 859 − 219 + 69.

Solution. Let N = 859 − 219 + 69. Note 69 is divisible by 64 and

85 ≡ 21 (mod 64) =⇒ 859 ≡ 219 (mod 64).

Therefore, N is divisible by 64. Since 21 ≡ 6 (mod 5),

N ≡ 0− 69 + 69 ≡ 0 (mod 5).

Finally, since 85 ≡ 1 (mod 7) and 6 ≡ −1 (mod 7), we see that

N ≡ 19 − 0 + (−1)9 ≡ 0 (mod 7).

Therefore, the desired divisor between 2000 and 3000 is 26 · 51 · 71 = 2240.

Justin Stevens Quadratics (Lecture 8) 41 / 42

Page 42: Quadratics - Lecture 8 - Justin Stevens · 2018. 9. 8. · Outline 1 Polynomials RationalRootTheorem PrimeGeneratingPolynomials 2 CategorizationofNumbers 3 PythagoreanTriplets 4 ProblemSolving:

Fun Challenge Problems

Example 1. (Mandelbrot) Determine the positive integer a such thatx8 + 5x6 + 13x4 + 20x2 + 36 is evenly divisible by x2 − x + a.

Example 2. (AIME) Find integer values a and b such that x2 − x − 1 is afactor of ax17 + bx16 + 1. Hint: Use Binet’s Formula.

Example 3. Prove that the harmonic sum

Hn = 11 + 1

2 + · · ·+ 1n =

n∑k=1

1k

is never an integer for n ≥ 2. Hint: Consider the 2-adic valuation.

Example 4. (Cassini’s Identity) Prove that Fn+1Fn−1 − F 2n = (−1)2.

Example 5. Prove that 60 divides xyz for a Pythagorean triple (x , y , z).

Example 6. Prove that the radius of the inscribed circle of a Pythagoreantriple is always an integer. Hint: The area of a triangle is r/2(x + y + z).

Justin Stevens Quadratics (Lecture 8) 42 / 42