Absolute values of real numbers. Rational Numbers vs Real Numbers. 1. Definition. Absolute value α of a real

Similar documents
The usual algebraic operations +,, (or ), on real numbers can then be extended to operations on complex numbers in a natural way: ( 2) i = 1

AQA Further Pure 1. Complex Numbers. Section 1: Introduction to Complex Numbers. The number system

ad = cb (1) cf = ed (2) adf = cbf (3) cf b = edb (4)

Introduction to Group Theory

Math Solutions to homework 1

Lecture 1. Functional series. Pointwise and uniform convergence.

The Regulated and Riemann Integrals

ARITHMETIC OPERATIONS. The real numbers have the following properties: a b c ab ac

13.3 CLASSICAL STRAIGHTEDGE AND COMPASS CONSTRUCTIONS

Numerical Linear Algebra Assignment 008

Lecture 2: Fields, Formally

Fourier series. Preliminary material on inner products. Suppose V is vector space over C and (, )

set is not closed under matrix [ multiplication, ] and does not form a group.

Theoretical foundations of Gaussian quadrature

Chapter 1: Fundamentals

Chapter 28. Fourier Series An Eigenvalue Problem.

8. Complex Numbers. We can combine the real numbers with this new imaginary number to form the complex numbers.

Polynomials and Division Theory

Pre-Session Review. Part 1: Basic Algebra; Linear Functions and Graphs

Integration Techniques

MORE FUNCTION GRAPHING; OPTIMIZATION. (Last edited October 28, 2013 at 11:09pm.)

SUMMER KNOWHOW STUDY AND LEARNING CENTRE

Summary: Method of Separation of Variables

Chapter 3 MATRIX. In this chapter: 3.1 MATRIX NOTATION AND TERMINOLOGY

The use of a so called graphing calculator or programmable calculator is not permitted. Simple scientific calculators are allowed.

Math 4310 Solutions to homework 1 Due 9/1/16

Higher Checklist (Unit 3) Higher Checklist (Unit 3) Vectors

Convex Sets and Functions

(e) if x = y + z and a divides any two of the integers x, y, or z, then a divides the remaining integer

Module 6: LINEAR TRANSFORMATIONS

Summary Information and Formulae MTH109 College Algebra

Advanced Calculus: MATH 410 Uniform Convergence of Functions Professor David Levermore 11 December 2015

u(t)dt + i a f(t)dt f(t) dt b f(t) dt (2) With this preliminary step in place, we are ready to define integration on a general curve in C.

MATH 573 FINAL EXAM. May 30, 2007

Main topics for the First Midterm

Math 360: A primitive integral and elementary functions

MATH 423 Linear Algebra II Lecture 28: Inner product spaces.

Quadratic Forms. Quadratic Forms

Farey Fractions. Rickard Fernström. U.U.D.M. Project Report 2017:24. Department of Mathematics Uppsala University

Introduction To Matrices MCV 4UI Assignment #1

UNIFORM CONVERGENCE MA 403: REAL ANALYSIS, INSTRUCTOR: B. V. LIMAYE

Best Approximation in the 2-norm

g i fφdx dx = x i i=1 is a Hilbert space. We shall, henceforth, abuse notation and write g i f(x) = f

MTH3101 Spring 2017 HW Assignment 6: Chap. 5: Sec. 65, #6-8; Sec. 68, #5, 7; Sec. 72, #8; Sec. 73, #5, 6. The due date for this assignment is 4/06/17.

Continuous Random Variables

CHAPTER 9. Rational Numbers, Real Numbers, and Algebra

ECON 331 Lecture Notes: Ch 4 and Ch 5

f(x)dx . Show that there 1, 0 < x 1 does not exist a differentiable function g : [ 1, 1] R such that g (x) = f(x) for all

DEFINITION OF ASSOCIATIVE OR DIRECT PRODUCT AND ROTATION OF VECTORS

Linearly Similar Polynomials

MA Handout 2: Notation and Background Concepts from Analysis

HW3, Math 307. CSUF. Spring 2007.

6.2 The Pythagorean Theorems

approaches as n becomes larger and larger. Since e > 1, the graph of the natural exponential function is as below

(4.1) D r v(t) ω(t, v(t))

THE QUADRATIC RECIPROCITY LAW OF DUKE-HOPKINS. Circa 1870, G. Zolotarev observed that the Legendre symbol ( a p

USA Mathematical Talent Search Round 1 Solutions Year 21 Academic Year

Linear Inequalities: Each of the following carries five marks each: 1. Solve the system of equations graphically.

Lecture notes. Fundamental inequalities: techniques and applications

p(t) dt + i 1 re it ireit dt =

In this skill we review equations that involve percents. review the meaning of proportion.

AM1 Mathematical Analysis 1 Oct Feb Exercises Lecture 3. sin(x + h) sin x h cos(x + h) cos x h

Coalgebra, Lecture 15: Equations for Deterministic Automata

MAA 4212 Improper Integrals

Chapter 4 Contravariance, Covariance, and Spacetime Diagrams

Notes on length and conformal metrics

Introduction to Complex Variables Class Notes Instructor: Louis Block

ON THE EXCEPTIONAL SET IN THE PROBLEM OF DIOPHANTUS AND DAVENPORT

Math 554 Integration

REVIEW Chapter 1 The Real Number System

6.5 Numerical Approximations of Definite Integrals

Lecture 3. Limits of Functions and Continuity

Phil Wertheimer UMD Math Qualifying Exam Solutions Analysis - January, 2015

W. We shall do so one by one, starting with I 1, and we shall do it greedily, trying

The graphs of Rational Functions

The MATHEMATICAL ASSOCIATION OF AMERICA American Mathematics Competitions Presented by The Akamai Foundation. AMC 12 - Contest B. Solutions Pamphlet

Partial Derivatives. Limits. For a single variable function f (x), the limit lim

Optimization Lecture 1 Review of Differential Calculus for Functions of Single Variable.

UNIFORM CONVERGENCE. Contents 1. Uniform Convergence 1 2. Properties of uniform convergence 3

MathCity.org Merging man and maths

Advanced Calculus: MATH 410 Notes on Integrals and Integrability Professor David Levermore 17 October 2004

Calculus of Variations

Exponentials - Grade 10 [CAPS] *

Sections 5.2: The Definite Integral

Vyacheslav Telnin. Search for New Numbers.

Advanced Calculus I (Math 4209) Martin Bohner

MATH 185: COMPLEX ANALYSIS FALL 2009/10 PROBLEM SET 5 SOLUTIONS. cos t cos at dt + i

Differential Geometry: Conformal Maps

Quadratic Residues. Chapter Quadratic residues

38 Riemann sums and existence of the definite integral.

Analytically, vectors will be represented by lowercase bold-face Latin letters, e.g. a, r, q.

Math 1B, lecture 4: Error bounds for numerical methods

Best Approximation. Chapter The General Case

Lecture 3 ( ) (translated and slightly adapted from lecture notes by Martin Klazar)

Mathematics Extension 2

Rudin s Principles of Mathematical Analysis: Solutions to Selected Exercises. Sam Blinstein UCLA Department of Mathematics

Mathematics. Area under Curve.

FUNDAMENTALS OF REAL ANALYSIS by. III.1. Measurable functions. f 1 (

20 MATHEMATICS POLYNOMIALS

Operations with Polynomials

Transcription:

Rtionl Numbers vs Rel Numbers 1. Wht is? Answer. is rel number such tht ( ) =. R [ ( ) = ].. Prove tht (i) 1; (ii). Proof. (i) For ny rel numbers x, y, we hve x = y. This is necessry condition, but not sufficient one s ( 1) = 1 = (1), while 1 1. Note tht if ( ) =, nd (1) = 1, so 1. (ii) We first show tht 0. This follows from proving the squres of, nd 0 re different s in (i). Then, we wnt to prove tht nd re different s rel numbers, s they hve different signs. By the Lw of Trichotomy of rel number system, we know tht given ny rel number x R, we hve the following 3 possibilities: (i) x = 0; (ii) x > 0; (ii) x < 0. And only 1 of these possibilities holds. As 0, we know is positive or negtive. It follows from properties of rel numbers tht for ny x R, we hve x > 0 if nd only if x < 0. If > 0, then < 0, nd hence s they re of different signs. Similrly, the sme conclusion holds if < 0. 3. Prove tht is not n integer. Proof. One cn esily prove tht is differen from 0 nd ±1 s in question bove. Define f(x) = x for ll x R. By writing f(x) f(y) = x y = (x y)(x + y), one cn esily prove tht f(x) = x is incresing on the set (0, ) of positive rels, nd f(x) = x is decresing on the set (, 0) of negtive rels. If > 0, then = f( ) f() = 4, which is contrdiction. If < 0, then = f( ) f() = 4, which is contrdiction. Hence, one knows tht is not n integer. Absolute vlues of rel numbers 1. Definition. Absolute vlue α of rel number α R is defined s follows: α if α 0; α = α if α < 0.. Proposition. Let α R, then () α α nd α α; (b) α = α. Proof of () nd (b). We consider the following different cses: (i) α 0: then α = α ( ), hence α α. As 0 = α + ( α) 0 + ( α) = α, i.e. 0 α. So, α = α 0 α. Moreover, it follows from 0 α tht α = ( α) = α = α. (ii) α < 0: then α = α ( ), hence α α. As 0 = α + ( α) < 0 + ( α) = α, i.e. 0 α. So, α = α > 0 > α. Moreover, it follows from 0 < α tht α = α = α. 3. Proposition. If α, β R, then one hs α β α β nd α β. Proof. ( ) Suppose tht α β. Then it follows from proposition tht α α β nd α α β. ( ) Suppose tht both inequlities α β nd α β hold. By definition of bsolute vlue, we know tht α = α β or α = α β. In ny cse, we hve α β. 4. Proposition. If α, β R, then α + β α + β. Proof. For ny α, β R, we consider the following 4 different cses: (i) α 0 nd β 0 : Then it follows from α 0 nd β 0 tht α = α, nd β = β. So α + β 0 + 0 = 0, nd hence α + β = α + β. In this cse, we hve α + β = α + β = α + β, so the inequlity holds. (ii) α 0 nd β < 0 : Then α = α nd β = β. So we hve the following α + β < α + 0 = α = α = α + β. (iii) α < 0 nd β 0 : By interchnge the role of α nd β, the result follows from the cse (ii) bove. (iv) α < 0 nd β < 0 : Then ( α) > 0, nd ( β) > 0. Applying the conclusion of (i) bove to α, β insted, it follows from proposition (b) tht α + β = (α + β) = ( α) + ( β) ( α) + ( β ) = α + β. 1

Complex Numbers 1. Let C = { + bi = (, b) R, b R } be the set of ll complex numbers. Let = + bi = (, b), we cll nd b re clled rel nd imginry prts of respectively, denoted by Re = nd Im = b.. Let = + bi nd w = c + di be two complex numbers with, b, c, d R. One cn see tht = w the corresponding vectors (, b) nd (c, d) re equl in R = c nd b = d. Remrk. w c or b d. 3. Addition + : C C C is binry opertion in C, defined to be usul ddition in R, i.e. for ny v = + bi nd w = c + di, the sum + w of nd w, is defined to be v + w = ( + c) + (b + d)i. One cn immeditely check the following: (i) Commuttive lw: v + w = w + v for ll v, w C; (ii) Associtive lw: (v + w) + = v + (w + ) for ll v, w, C; (iii) Zero: 0 + 0i = (0, 0), denoted by 0, stisfies 0 + v = v + 0 = v for ll v C; (iv) Additive inverse: For ny = + bi = (, b) C, we hve w = ( ) + ( b)i C, denoted by stisfying + w = w + = 0. Remrk. The tuple (C, +, 0) is clled n belin group. 4. Multipliction : C C C is binry opertion in C defined s follows: for ny v = + bi nd w = c + di, the product v w of v nd w, is defined to be v w = ( + bi) (c + di) = (c bd) + (d + bc)i. One cn immeditely check the following: (v) Commuttive lw: v w = w v for ll v, w C; (vi) Associtive lw: (v w) = v (w ) for ll v, w, C; (vii) Unit: 1 + 0i = (1, 0), denoted by 1, stisfies 1 v = v 1 = v for ll v C; (viii) Distributive lw: (v + w) = v + w nd (v + w) = v + w, for ll v, w, C. (ix) Multiplictive Inverse: For ny = + bi = (, b) C \ {0}, we hve w = +b + b +b i C, denoted by 1 or 1 stisfying w = w = 1. Remrk. The tuple (C, +,, 0, 1) stisfying (i)-(viii) is clled commuttive ring; The tuple (C, +,, 0, 1) stisfying (i)-(viii) is clled field. 5. Exmple. Prove (v)-(iv) for multipliction in C. Proof. Let v = + bi, w = c + di, = x + iy. (v) Following the definition of multipliction, we hve v w = ( + bi)(c + di) = (c bd) + (d + bc)i, nd w v = (c + di)( + bi) = (c db) + (cb + d)i = (c bd) + (bc + d)i = w v. (vi) (v w) = ((c bd) + (d + bc)i) (x + iy) = ((c bd)x (d + bc)y) + ((c bd)y + (d + bc)x) i = ((cx dy) b(cy + dx)) + ((cy + dx) + b(cx dy)) i = ( + bi) ((cx dy) + (cy + dx)i) = v (w ). (vii) 1 v = (1+0i) (+bi) = (1 0 b)+(1 b+0 )i = +bi = (+bi) (1+0i), in which the lst equlity follows from commuttive lw (v). (viii) (v + w) = ( ( + bi) + (c + di) ) (x + yi) = ( ( + c) + (b + d)i ) (x + yi) = ( ( + c)x (b + d)y ) + ( ( + c)y + (b + d)x )i = ( (x by) + (cx dy) ) + ( (y + bx) + (cy + dx) )i = ( (x by) + (y + bx)i ) + ( (cx dy) + (cy + dx)i ) = v + w. (ix) For ny = + bi C \ {0}, we know tht 0, then 0 or b 0, i.e. +b + b = > 0 or b > 0, hence + b > 0. In prticulr, ( the complex number +b i is well-defined, nd 1 = ( + bi) + b + b ) + b i ) ( ) + b b b b + b + + b + b + b i ( = + b b + b + + b + b i = 1. 6. Lw of Multiplictive Cnceltion. Let v, w, C. If v = w nd 0, then v = w. Proof. v (vii) = v 1 (ix) = v ( 1 ) (v) = (v ) 1 = (w ) (ix) = w 1 (vii) = w. 1 (v) = w ( 1 ) Remrk. The condition 0 is essentil, s 1 0 = 0 = 0 but 1. 7. Proposition. Let w, C. If w = 0, then = 0 or w = 0. Proof. We divide two possible cses: (i) 0, then the condition cn be rewritten s w = 0 = 0, it follows from Lw of Multiplictive Cnceltion tht w = 0. (ii) = 0, so the result follows. 8. Definition. Let = +bi C with, b R, define complex conjugte of, denoted by, to be = bi. Define modulus of, denoted by, to be + b.

9. Proposition. (i) 0 for ll C, nd (ii) the equlity holds if nd only if = 0. Proof. (i) Let = + bi C, with = Re nd b = Im R. Then, b 0, so + b 0. = + b 0. (ii) = 0 + b = = 0 = b = 0 = b = 0 = + bi = 0. 10. Proposition. Let = + bi C, where, b R, then we hve (i) = Re() Im()i. (ii) Re = +, nd Im = i. (iii) = =, nd =. (iv) If 0, then 1 = Proof.. (i) If = + bi with, b R, then Re() =, nd Im() = b, so = bi = Re() Im()i. (ii) Re = bi, nd Im = i (iii) It follows from commuttive lw for multipliction tht = = (+bi)+( bi) = + = (+bi) ( bi) i = i. = ( + bi)( bi) = ( b( b) ) + (( b) + b)i = + b = ( + b ) =, nd hence =. (iv) The result follows from 1 = + b + b + b i = bi + b = 11. Theorem. Let = + bi, w = c + di C with, b, c, d R. Then. (i) Re(), nd Im(). (ii) w = w, nd w = w for non-ero w C. Proof. (i) Re() = = = + b =, nd similrly, Im() = b = b = b + b =. (ii) w = ( + bi)(c + di) = (c bd) + (d + bc)i = (c bd) + (d + bc) = ( c cbd + b d ) + ( d + dbc + b c ) = ( c + b d ) + ( d + b c ) = ( c + d ) + (b d + b c ) = (c + d ) + b (d + c ) = ( + b )(c + d ) = ( + b ) (c + d ) = w. If w 0, then 1 = 1 = w 1 w = w 1 w, so w = 1 w = 1 w = 1 w = w. 1. Theorem. (Tringle Inequlity). For ny, w C, + w + w. Proof. We consider two different cses: (1) + w = 0 : then + w = 0 = 0, nd it follows from, w 0 tht + w = 0 = 0 + w. () + w 0 : then 1 = +w +w Re( w +w ) + Re( +w ) +w + w + w + w., so 1 = Re1 = Re( +w +w ) = Re( +w = +w + +w ) + Re( w w +w = + w +w +w ), so we hve Remrks. (i) Equlity holds bove if nd only if there exist α, β 0 nd (α, β) (0, 0) such tht α = βw. The proof is left to the reder s n exercise. Moreover, one cn prove the following two corollries by using tringle inequlity. (ii) We will give nother proof of tringle inequlity with qudrtic function. 13. Corollry. For ny 1,,, n C, we hve 1 + + + n 1 + + n. 14. Corollry. For ny 1,, 3 C, we hve 1 3 1 + 3. Proof. It follows from tringle inequlity of complex numbers tht 1 3 = ( 1 ) + ( 3 ) 1 + 3. 15. Proposition. For ny, w C, we hve w ± w. Proof. = w + ( w) w + w, so w w, nd by interchnging the roles of nd w, we hve w w = ( w) = 1 w = w. Hence, w w. Moreover, replcing w by w, we hve w = w ( w) = + w. Complex Numbers in Polr form. 1. Euler Formul. exp(iθ) = cos θ + i sin θ for ll rel θ. Remrk. The proof is beyond the present knowledge for first yer student, s it demnd the understnding of power series.. Use Euler s formul, define complex-vlued exponentil function exp : C C s follows: exp() = e x+iy = e x e iy = e x (cos y + i sin y) = e x cos y + ie x sin y, where x = Re nd y = Im. 3. Proposition. exp( + w) = exp() exp(w) for ll, w C. Proof. Let = x + iy nd w = u + iv, where u, v, x, y R. Then we hve exp( + w) = exp((x + u) + i(y + v)) = e x+u cos(y + v) + ie x+u sin(y + v) = e x+u (cos y cos v sin y sin v) + ie x+u (sin y cos v + cos y sin v) = (e x cos y e u cos v e x sin y e u sin v) + i(e x sin y e u cos v + e x cos y e u sin v) = (e x cos y + ie x sin y) (e u cos v + ie u sin v) = e x+iy e u+iv = exp() exp(w). 3

4. Proposition. e = 1 if nd only if = nπi for some n Z. Proof. ( ) e nπi = cos(nπ) + i sin(nπ) = 1 for ll n Z. ( ) Write = x + iy where x, y R. Then 1 + 0i = 1 = e = e x+iy = e x e iy = e x (cos y + i sin y) = e x cos y + ie x sin y, so we hve 1 = e x cos y nd 0 = e x sin y. Then e 0 = 1 = 1 + 0 = (e x cos y) + (e x sin y) = e x (cos y + sin y) = e x. As exp is n incresing rel-vlued function defined on R, so 0 = x, i.e. x = 0. Hence, we hve cos y = 1 nd sin y = 0. By the lst eqution, we hve y = kπ for some k Z. Moreover, 1 = cos y = cos(kπ) = ( 1) k, thus k is even, i.e. n = k for some k Z. 5. Nottion. Let, b R. We cll nd b re congruent modulo π if there exists integer n Z such tht b = nπ. In this cse, we denote by b (mod π). For exmple, π π (mod π), nd α 6π + α (mod π) for ny α R. 6. Proposition. For ny complex numbers = re iθ, w = Re iα, where r, R R, then (i) w = rre i(θ+α) nd (ii) rg( w) = rg + rg w (mod π), i.e. rg( w) = rg + rg w + nπ for some n Z. (iii) rg( 1 ) = rg (mod π) for ll C \ {0}. Proof. (i) w = re iθ Re iα = rre iθ e iα = rre i(θ+α). (ii) By (i) rg( w) = (θ + α) + nπ = rg + rg w + nπ for some n Z. (iii) By (ii) rg(1/) + rg rg(1/ ) = rg(1) = 0 (mod π), so rg(1/) rg (mod π). Remrk. The integer n in (ii) my not be ero in generl. This mens the rgument turns the multipliction of complex numbers into ddition modulo π, insted of exct ddition in rel number R. For exmple 1 = e iπ, so rg( 1) = π, nd rg(1) = 0. However, 1 = ( 1) ( 1), nd rg( 1) + rg( 1) = π + π = π, while rg(( 1) ( 1)) = rg(1) = 0. Equtions of lines nd circles in complex plne 1. Let l be line in xy-plne, then l = { (x, y) R x + by + c = 0}, where c, b, c R nd (, b) (0, 0). In this cse, we write l : x + by + c = 0. Express point (x, y) l by = x + iy C, then x = Re() = +, nd y = Im =. Hence, rewrite the eqution of l in terms of s 0 = (x + by + c) = ( + + b i + c) = + ib + ib + c = ( ib) + ( + bi) + c. Hence, l = { C α + α + c = 0 }, where α = + ib 0.. Proposition. (i) Let l be line in the complex plne C, then l is defined by n eqution α + α + c = 0 for some complex number α 0 nd rel number c. (ii) Let α = + ib 0, nd c R, the set S = { C α + α + c = 0 } represents line in C. Proof. (i) We hd just proved bove. (ii) Let = x + iy, then S 0 = α + α + c = ( ib)(x + iy) + ( + bi)(x iy) + c = (x + by) + i(y bx) + (x + by) + i(bx y) + c = x + by + c, so the set S is line given by the eqution 0 = x + by + c. 3. Let u, v C be two distinct points, nd l u,v be the set of of points in the perpendiculr bisector of the segment joining u nd v. Then we hve (i) l u,v is given by the loci { C u = v }. (ii) l u,v : + = v u, where = v u 0. Solution. (i) is just resttement of the perpendiculr bisector. (ii) l u,v u = v u u + u = v v + v, u u + u = v v + v, (v u) + (v u) = v u. 4

Isometries of complex plne 1. Definition. Let l be line through fixed point O in R. Define mp Refl l : R R s follows. For ny vector OZ R, let M be point in l such tht ZM l. Mrk point W on the line through Z nd M such tht ZM = MW. Then Refl l ( OZ) = OM for ll OZ R.. Let C with = 1, nd rg = e iθ. Define f() = for ll C, Prove tht f is the reflection bout the line l : e iθ/ + e iθ/ = 0. Proof I. Let = re iα, where α R, then f() = f(re iα ) = = e iθ re iα = e iθ re iα = re i(θ α). So, rg f() = (θ α) (mod π) nd rg = α (mod π). Then we hve rg( f() ) rg(f()) θ e iθ/ (θ α) θ θ eiθ/ α rg rg (mod π). e iθ/ Proof II. This proof requires little more on liner lgebr. For ny = xe iθ/ + iye iθ/ with x, y R, then f(xe iθ/ +iye iθ/ ) = f() = = e iθ (xe iθ/ + iye iθ/ ) = e iθ (xe iθ/ iye iθ/ ) = xe iθ/ iye iθ/. 5