SOME INEQUALITIES Introduction. These Are a Few Useful Inequalities

Total Page:16

File Type:pdf, Size:1020Kb

SOME INEQUALITIES Introduction. These Are a Few Useful Inequalities SOME INEQUALITIES MIGUEL A. LERMA (Last updated: December 12, 2016) Introduction. These are a few useful inequalities. Most of them are presented in two versions: in sum form and in integral form. More generally they can be viewed as inequalities involving vectors, the sum version applies to vectors in Rn and the integral version applies to spaces of functions. First a few notations and definitions. Absolute value. The absolute value of x is represented jxj. Norm. Boldface letters line u and v represent vectors. Their scalar n product is represented u·v. In R the scalar product of u = (a1; : : : ; an) and v = (b1; : : : ; bn) is n X u · v = aibi : i=1 For functions f; g :[a; b] ! R their scalar product is Z b f(x)g(x) dx : a n The p-norm of u is represented kukp. If u = (a1; a2; : : : ; an) 2 R , its p-norm is: n 1=p X p kukp = jaij : i=1 For functions f :[a; b] ! R the p-norm is defined: Z b 1=p p kfkp = jf(x)j dx : a For p = 2 the norm is called Euclidean. 1 2 MIGUEL A. LERMA Convexity. A function f : I ! R (I an interval) is said to be convex if f(λx + (1 − λ)y) ≤ λf(x) + (1 − λ)f(y) for every x; y 2 I, 0 ≤ λ ≤ 1. Graphically, the condition is that for x < t < y the point (t; f(t)) should lie below or on the line connecting the points (x; f(x)) and (y; f(y)). f(y) f(x) f(t) x t y Figure 1. Convex function. Inequalities 1. Arithmetic-Geometric Mean Inequality. (Consequence of con- vexity of ex and Jensen's inequality.) The geometric mean of positive numbers is not greater than their arithmetic mean, i.e., if a1; a2; : : : ; an > 0, then n n Y 1=n 1 X a ≤ a : i n i i=1 i=1 Equality happens only for a1 = ··· = an. (See also the power means inequality.) 2. Arithmetic-Harmonic Mean Inequality. The harmonic mean of positive numbers is not greater than their arithmetic mean, i.e., if a1; a2; : : : ; an > 0, then n n 1 X ≤ a : Pn 1=a n i i=1 i i=1 Equality happens only for a1 = ··· = an. This is a particular case of the Power Means Inequality. SOME INEQUALITIES 3 3. Cauchy. (H¨olderfor p = q = 2.) ju · vj ≤ kuk2kvk2 : n n n 2 X X 2 X 2 aibi ≤ ai bi : i=1 i=1 i=1 Z b 2 Z b Z b 2 2 f(x)g(x) dx ≤ jf(x)j dx jg(x)j dx : a a a 4. Chebyshev. Let a1; a2; : : : ; an and b1; b2; : : : ; bn be sequences of real numbers which are monotonic in the same direction (we have a1 ≤ a2 ≤ · · · ≤ an and b1 ≤ b2 ≤ · · · ≤ bn, or we could reverse all inequalities.) Then n n n 1 X 1 X 1 X a b ≥ a b : n i i n i n i i=1 i=1 i=1 1 X Note that LHS − RHS = (a − a )(b − b ) ≥ 0. 2n2 i j i j i;j 5. Geometric-Harmonic Mean Inequality. The harmonic mean of positive numbers is not greater than their geometric mean, i.e., if a1; a2; : : : ; an > 0, then n n Y 1=n ≤ a : Pn 1=a i i=1 i i=1 Equality happens only for a1 = ··· = an. This is a particular case of the Power Means Inequality. 6. H¨older. If p > 1 and 1=p + 1=q = 1 then ju · vj ≤ kukpkvkq : n n n 1=p 1=q X X p X p aibi ≤ jaij jbij : i=1 i=1 i=1 Z b Z b 1=p Z b 1=q p q f(x)g(x) dx ≤ jf(x)j dx jg(x)j dx : a a a 4 MIGUEL A. LERMA 7. Jensen. If ' is convex on (a; b), x1; x2; : : : ; xn 2 (a; b), λi ≥ 0 Pn (i = 1; 2; : : : ; n), i=1 λi = 1, then n n X X ' λixi ≤ λi'(xi) : i=1 i=1 8. MacLaurin's Inequalities. Let ek be the kth degree elementary symmetric polynomial in n variables: X ek(x1; x2; : : : ; xn) = xi1 xi2 ··· xik : 1≤i1<i2<···ik≤n n Given positive numbers a1; a2; : : : ; an, let Sk = ek(a1; a2; : : : ; an)= k be the averages of the elementary symmetric sums of the ai. Then p p3 pn S1 ≥ S2 ≥ S3 ≥ · · · ≥ Sn ; with equality if and only if all the ai are equal. (See [3].) (See also Newton's Inequalities.) 9. Minkowski. If p > 1 then ku + vkp ≤ kukp + kvkp ; n n n 1=p 1=p 1=p X p X p X p jai + bij ≤ jaij + jbij ; i=1 i=1 i=1 Z b 1=p Z b 1=p Z b 1=p jf(x) + g(x)jp dx ≤ jf(x)jp dx + jg(x)jp dx : a a a Equality holds iff u and v are proportional. 10. Muirhead's Inequality. Given real numbers a1 ≥ · · · ≥ an, and Pk Pk b1 ≥ · · · ≥ bn, assume that i=1 ai ≤ i=1 bi for i = 1; : : : ; n − 1, and Pn Pn i=1 ai = i=1 bi. Then for any nonnegative real numbers x1; : : : ; xn, we have X a1 an X b1 bn xσ1 ··· xσn ≤ xσ1 ··· xσn ; σ σ where the sums extend over all permutations σ of f1; : : : ; ng (see the- orem 2.18 in [1].) SOME INEQUALITIES 5 11. Newton's Inequalities. Let ek be the kth degree elementary symmetric polynomial in n variables: X ek(x1; x2; : : : ; xn) = xi1 xi2 ··· xik : 1≤i1<i2<···ik≤n n Given positive numbers a1; a2; : : : ; an, let Sk = ek(a1; a2; : : : ; an)= k be the averages of the elementary symmetric sums of the ai for k ≥ 1, and S0 = 1. Then (for k = 1; 2; : : : ; n − 1): 2 Sk−1Sk+1 ≤ Sk ; with equality if and only if all the ai are equal. (See also MacLaurin's Inequalities). 12. Norm Monotonicity. If ai > 0 (i = 1; 2; : : : ; n), s > t > 0, then n n 1=s 1=t X s X t ai ≤ ai ; i=1 i=1 i.e., if s > t > 0, then kuks ≤ kukt. 13. Power Means Inequality. Let r be a non-zero real number. We define the r-mean or rth power mean of non-negative numbers a1; : : : ; an as follows: n !1=r 1 X M r(a ; : : : ; a ) = ar : 1 n n i i=1 r If r < 0, and ak = 0 for some k, we define M (a1; : : : ; an) = 0: The ordinary arithmetic mean is M 1, M 2 is the quadratic mean, M −1 is the harmonic mean. Furthermore we define the 0-mean to be equal to the geometric mean: n 1=n 0 Y M (a1; : : : ; an) = ai : i=1 Then for any real numbers r, s such that r < s, the following inequality holds: r s M (a1; : : : ; an) ≤ M (a1; : : : ; an) : Equality holds if and only if a1 = ··· = an, or s ≤ 0 and ak = 0 for some k. (See weighted power means inequality). 6 MIGUEL A. LERMA 14. Power Means Sub/Superadditivity. We use the definition of r-mean given in subsection 13. Let a1; : : : ; an; b1; : : : ; bn be non-negative real numbers. (1) If r > 1, then the r-mean is subadditive, i.e.: r r r M (a1 + b1; : : : ; an + bn) ≤ M (a1; : : : ; an) + M (b1; : : : ; bn) : (2) If r < 1, then the r-mean is superadditive, i.e.: r r r M (a1 + b1; : : : ; an + bn) ≥ M (a1; : : : ; an) + M (b1; : : : ; bn) : Equality holds if and only if (a1; : : : ; an) and (b1; : : : ; bn) are propor- tional, or r ≤ 0 and ak = bk = 0 for some k. 15. Radon's Inequality. For real numbers p > 0, x1; : : : ; xn ≥ 0, a1; : : : ; an > 0, the following inequality holds: n p+1 Pn p+1 X x ( xk) k ≥ k=1 : p Pn p a ( ak) k=1 k k=1 Remark: Radon's Inequality follows from H¨older's ju·vj ≤ kukp+1kvkq, 1=q 1=q 1=q 1=q 1 1 with u = (x1=a1 ; : : : ; xn=an ), v = (a1 ; : : : ; an ), p+1 + q = 1. 16. Rearrangement Inequality. For every choice of real numbers x1 ≤ · · · ≤ xn and y1 ≤ · · · ≤ yn, and any permutation xσ(1); : : : ; xσ(n) of x1; : : : ; xn, we have xny1 + ··· + x1yn ≤ xσ(1)y1 + ··· + xσ(n)yn ≤ x1y1 + ··· + xnyn : If the numbers are different, e.g., x1 < ··· < xn and y1 < ··· < yn, then the lower bound is attained only for the permutation which reverses the order, i.e. σ(i) = n − i + 1, and the upper bound is attained only for the identity, i.e. σ(i) = i, for i = 1; : : : ; n. 17. Schur. If x; y; x are positive real numbers and k is a real number such that k ≥ 1, then xk(x − y)(x − z) + yk(y − x)(y − z) + zk(z − x)(z − y) ≥ 0 : For k = 1 the inequality becomes x3 + y3 + z3 + 3xyz ≥ xy(x + y) + yz(y + z) + zx(z + x) : SOME INEQUALITIES 7 18. Schwarz. (H¨olderwith p = q = 2.) ju · vj ≤ kuk2kvk2 ; n n n 2 X X 2 X 2 aibi ≤ jaij jbij ; i=1 i=1 i=1 Z b 2 Z b Z b 2 2 f(x)g(x) dx ≤ jf(x)j dx jg(x)j dx : a a a 19. Strong Mixing Variables Method. We use the definition of r- mean given in subsection 13.
Recommended publications
  • MATH 304: CONSTRUCTING the REAL NUMBERS† Peter Kahn
    MATH 304: CONSTRUCTING THE REAL NUMBERSy Peter Kahn Spring 2007 Contents 4 The Real Numbers 1 4.1 Sequences of rational numbers . 2 4.1.1 De¯nitions . 2 4.1.2 Examples . 6 4.1.3 Cauchy sequences . 7 4.2 Algebraic operations on sequences . 12 4.2.1 The ring S and its subrings . 12 4.2.2 Proving that C is a subring of S . 14 4.2.3 Comparing the rings with Q ................... 17 4.2.4 Taking stock . 17 4.3 The ¯eld of real numbers . 19 4.4 Ordering the reals . 26 4.4.1 The basic properties . 26 4.4.2 Density properties of the reals . 30 4.4.3 Convergent and Cauchy sequences of reals . 32 4.4.4 A brief postscript . 37 4.4.5 Optional: Exercises on the foundations of calculus . 39 4 The Real Numbers In the last section, we saw that the rational number system is incomplete inasmuch as it has gaps or \holes" where some limits of sequences should be. In this section we show how these holes can be ¯lled and show, as well, that no further gaps of this kind can occur. This leads immediately to the standard picture of the reals with which a real analysis course begins. Time permitting, we shall also discuss material y°c May 21, 2007 1 in the ¯fth and ¯nal section which shows that the rational numbers form only a tiny fragment of the set of all real numbers, of which the greatest part by far consists of the mysterious transcendentals.
    [Show full text]
  • On the Rational Approximations to the Powers of an Algebraic Number: Solution of Two Problems of Mahler and Mend S France
    Acta Math., 193 (2004), 175 191 (~) 2004 by Institut Mittag-Leffier. All rights reserved On the rational approximations to the powers of an algebraic number: Solution of two problems of Mahler and Mend s France by PIETRO CORVAJA and UMBERTO ZANNIER Universith di Udine Scuola Normale Superiore Udine, Italy Pisa, Italy 1. Introduction About fifty years ago Mahler [Ma] proved that if ~> 1 is rational but not an integer and if 0<l<l, then the fractional part of (~n is larger than l n except for a finite set of integers n depending on ~ and I. His proof used a p-adic version of Roth's theorem, as in previous work by Mahler and especially by Ridout. At the end of that paper Mahler pointed out that the conclusion does not hold if c~ is a suitable algebraic number, as e.g. 1 (1 + x/~ ) ; of course, a counterexample is provided by any Pisot number, i.e. a real algebraic integer c~>l all of whose conjugates different from cr have absolute value less than 1 (note that rational integers larger than 1 are Pisot numbers according to our definition). Mahler also added that "It would be of some interest to know which algebraic numbers have the same property as [the rationals in the theorem]". Now, it seems that even replacing Ridout's theorem with the modern versions of Roth's theorem, valid for several valuations and approximations in any given number field, the method of Mahler does not lead to a complete solution to his question. One of the objects of the present paper is to answer Mahler's question completely; our methods will involve a suitable version of the Schmidt subspace theorem, which may be considered as a multi-dimensional extension of the results mentioned by Roth, Mahler and Ridout.
    [Show full text]
  • Solution Set for the Homework Problems
    SOLUTION SET FOR THE HOMEWORK PROBLEMS Page 5. Problem 8. Prove that if x and y are real numbers, then 2xy x2 + y2. ≤ Proof. First we prove that if x is a real number, then x2 0. The product of two positive numbers is always positive, i.e., if x 0≥ and y 0, then ≥ ≥ xy 0. In particular if x 0 then x2 = x x 0. If x is negative, then x is positive,≥ hence ( x)2 ≥0. But we can conduct· ≥ the following computation− by the associativity− and≥ the commutativity of the product of real numbers: 0 ( x)2 = ( x)( x) = (( 1)x)(( 1)x) = ((( 1)x))( 1))x ≥ − − − − − − − = ((( 1)(x( 1)))x = ((( 1)( 1))x)x = (1x)x = xx = x2. − − − − The above change in bracketting can be done in many ways. At any rate, this shows that the square of any real number is non-negaitive. Now if x and y are real numbers, then so is the difference, x y which is defined to be x + ( y). Therefore we conclude that 0 (x + (−y))2 and compute: − ≤ − 0 (x + ( y))2 = (x + ( y))(x + ( y)) = x(x + ( y)) + ( y)(x + ( y)) ≤ − − − − − − = x2 + x( y) + ( y)x + ( y)2 = x2 + y2 + ( xy) + ( xy) − − − − − = x2 + y2 + 2( xy); − adding 2xy to the both sides, 2xy = 0 + 2xy (x2 + y2 + 2( xy)) + 2xy = (x2 + y2) + (2( xy) + 2xy) ≤ − − = (x2 + y2) + 0 = x2 + y2. Therefore, we conclude the inequality: 2xy x2 + y2 ≤ for every pair of real numbers x and y. ♥ 1 2SOLUTION SET FOR THE HOMEWORK PROBLEMS Page 5.
    [Show full text]
  • Proof Methods and Strategy
    Proof methods and Strategy Niloufar Shafiei Proof methods (review) pq Direct technique Premise: p Conclusion: q Proof by contraposition Premise: ¬q Conclusion: ¬p Proof by contradiction Premise: p ¬q Conclusion: a contradiction 1 Prove a theorem (review) How to prove a theorem? 1. Choose a proof method 2. Construct argument steps Argument: premises conclusion 2 Proof by cases Prove a theorem by considering different cases seperately To prove q it is sufficient to prove p1 p2 … pn p1q p2q … pnq 3 Exhaustive proof Exhaustive proof Number of possible cases is relatively small. A special type of proof by cases Prove by checking a relatively small number of cases 4 Exhaustive proof (example) Show that n2 2n if n is positive integer with n <3. Proof (exhaustive proof): Check possible cases n=1 1 2 n=2 4 4 5 Exhaustive proof (example) Prove that the only consecutive positive integers not exceeding 50 that are perfect powers are 8 and 9. Proof (exhaustive proof): Check possible cases Definition: a=2 1,4,9,16,25,36,49 An integer is a perfect power if it a=3 1,8,27 equals na, where a=4 1,16 a in an integer a=5 1,32 greater than 1. a=6 1 The only consecutive numbers that are perfect powers are 8 and 9. 6 Proof by cases Proof by cases must cover all possible cases. 7 Proof by cases (example) Prove that if n is an integer, then n2 n. Proof (proof by cases): Break the theorem into some cases 1.
    [Show full text]
  • Lie Group Definition. a Collection of Elements G Together with a Binary
    Lie group Definition. A collection of elements G together with a binary operation, called ·, is a group if it satisfies the axiom: (1) Associativity: x · (y · z)=(x · y) · z,ifx, y and Z are in G. (2) Right identity: G contains an element e such that, ∀x ∈ G, x · e = x. (3) Right inverse: ∀x ∈ G, ∃ an element called x−1, also in G, for which x · x−1 = e. Definition. A group is abelian (commutative) of in addtion x · y = y · x, ∀x, y ∈ G. Definition. A topological group is a topological space with a group structure such that the multiplication and inversion maps are contiunuous. Definition. A Lie group is a smooth manifold G that is also a group in the algebraic sense, with the property that the multiplication map m : G × G → G and inversion map i : G → G, given by m(g, h)=gh, i(g)=g−1, are both smooth. • A Lie group is, in particular, a topological group. • It is traditional to denote the identity element of an arbitrary Lie group by the symbol e. Example 2.7 (Lie Groups). (a) The general linear group GL(n, R) is the set of invertible n × n matrices with real entries. — It is a group under matrix multiplication, and it is an open submanifold of the vector space M(n, R). — Multiplication is smooth because the matrix entries of a product matrix AB are polynomials in the entries of A and B. — Inversion is smooth because Cramer’s rule expresses the entries of A−1 as rational functions of the entries of A.
    [Show full text]
  • MAT 240 - Algebra I Fields Definition
    MAT 240 - Algebra I Fields Definition. A field is a set F , containing at least two elements, on which two operations + and · (called addition and multiplication, respectively) are defined so that for each pair of elements x, y in F there are unique elements x + y and x · y (often written xy) in F for which the following conditions hold for all elements x, y, z in F : (i) x + y = y + x (commutativity of addition) (ii) (x + y) + z = x + (y + z) (associativity of addition) (iii) There is an element 0 ∈ F , called zero, such that x+0 = x. (existence of an additive identity) (iv) For each x, there is an element −x ∈ F such that x+(−x) = 0. (existence of additive inverses) (v) xy = yx (commutativity of multiplication) (vi) (x · y) · z = x · (y · z) (associativity of multiplication) (vii) (x + y) · z = x · z + y · z and x · (y + z) = x · y + x · z (distributivity) (viii) There is an element 1 ∈ F , such that 1 6= 0 and x·1 = x. (existence of a multiplicative identity) (ix) If x 6= 0, then there is an element x−1 ∈ F such that x · x−1 = 1. (existence of multiplicative inverses) Remark: The axioms (F1)–(F-5) listed in the appendix to Friedberg, Insel and Spence are the same as those above, but are listed in a different way. Axiom (F1) is (i) and (v), (F2) is (ii) and (vi), (F3) is (iii) and (vii), (F4) is (iv) and (ix), and (F5) is (vii). Proposition. Let F be a field.
    [Show full text]
  • Chapter 9: Roots and Irrational Numbers
    Chapter 9: Roots and Irrational Numbers Index: A: Square Roots B: Irrational Numbers C: Square Root Functions & Shifting D: Finding Zeros by Completing the Square E: The Quadratic Formula F: Quadratic Equations G: Cube Roots Name: _____________________________________________________ Date: ____________________ Period: ______ Algebra Square Roots 9A Square roots, cube roots, and higher level roots are important mathematical tools because they are the inverse operations to the operations of squaring and cubing. In this unit we will study these operations, as well as numbers that come from using them. First, some basic review of what you’ve seen before. Exercise #1: Find the value of each of the following principal square roots. Write a reason for your answer in terms of a multiplication equation. (a) (b) (c) (d) (e) (f) It is generally agreed upon that all positive, real numbers have two square roots, a positive one and a negative one. We simply designate which one we want by either including a negative sign or leaving it off. Exercise #2: Give all square roots of each of the following numbers. (a) 4 (b) 36 (c) Exercise #3: Given the function , which of the following is the value of ? (1) 22 (3) 16 (2) 5 (4) 7 Square roots have an interesting property when it comes to multiplication. Lets discover that property. Exercise #4: Find the value of each of the following products. (a) (b) (c) (d) What you should notice in the last exercise is the following important property of square roots. MULTIPLICATON PROPERTY OF SQUARE ROOTS 1. LIKEWISE 2. One1. obviousa b use for a b this is to multiply two “unfriendlylikewise” square roots to get a nice2.
    [Show full text]
  • Direct Proof  Proof by Contraposition  Proof by Contradiction
    Mathematical theorems are often stated in the form of an implication Example: If x > y, where x and y are positive real numbers, then x 2 > y 2. ∀ x,y [(x > 0) ∧∧∧ (y > 0) ∧∧∧ (x > y) → (x 2 > y 2)] ∀ x,y P(x,y) → Q(x,y) We will first discuss three applicable proof methods (Section 1.6): Direct proof Proof by contraposition Proof by contradiction Direct proof In a direct proof , we prove p → q by showing that if p is true , then q must necessarily be true Example: Prove that if n is an odd integer, then n 2 is an odd integer. Proof: Assume that n is odd. That is n = (2k + 1) for some integer k. Note that n 2 = (2k+1) 2 = (4k 2 + 4k + 1) We can factor the above to get 2(2k 2 + 2k) + 1 Since the above quantity is one more than even number, we know that n 2 is odd. ☐ Direct proofs are not always the easiest way to prove a given conjecture. In this case, we can try proof by contraposition How does this work? Recall that p → q ≡ ¬q → ¬p Therefore, a proof of ¬q → ¬p is also a proof of p → q Proof by contraposition is an indirect proof technique since we don’t prove p → q directly. Let’s take a look at an example… Prove: If n is an integer and 3n + 2 is odd, then n is odd. First, attempt a direct proof: Assume that 3n + 2 is odd, thus 3n + 2 = 2k + 1 for some k Can solve to find that n = (2k – 1)/3 Where do we go from here?!? Now, try proof by contraposition: Assume n is even, so n = 2k for some k 3(2k) + 2 = 6k + 2 = 2(3k + 1) So, 3n + 2 is also even.
    [Show full text]
  • Supplement to Section 22. Topological Groups
    22S. Topological Groups 1 Supplement to Section 22. Topological Groups Note. In this supplement, we define topological groups, give some examples, and prove some of the exercises from Munkres. Definition. A topological group G is a group that is also a topological space satisfying the T1 Axiom (that is, there is a topology on the elements of G and all sets of a finite number of elements are closed) such that the map of G × G into G defined as (x, y) 7→ x · y (where · is the binary operation in G) and the map of G into G defined as x 7→ x−1 (where x−1 is the inverse of x in group G; this mapping is called inversion) are both continuous maps. Note. Recall that a Hausdorff space is T1 by Theorem 17.8. It is common to define a topological group to be one with a Hausdorff topology as opposed to simply T1. For example, see Section 22.1, “Topological Groups: The General Linear Groups,” in Royden and Fitzpatrick’s Real Analysis 4th edition (Prentice Hall, 2010) and my online notes: http://faculty.etsu.edu/gardnerr/5210/notes/22-1.pdf. Note. When we say the map of G×G into G defined as (x, y) 7→ x·y is continuous, we use the product topology on G × G. Since inversion maps G to G, the topology on G is used both in the domain and codomain. 22S. Topological Groups 2 Note. Every group G is a topological group. We just equip G with the discrete topology.
    [Show full text]
  • 7. Convergence
    7. Convergence Po-Shen Loh CMU Putnam Seminar, Fall 2018 1 Well-known statements Infimum and supremum. The infimum of a set of numbers S ⊆ R is the largest real number x such that x ≤ s for all s 2 S. The supremum is the smallest real number y such that y ≥ s for all s 2 S. Monotone sequence. Let a1 ≥ a2 ≥ a3 ≥ · · · be a sequence of non-negative numbers. Then limn!1 an exists. Alternating series. Let a1; a2;::: be a sequence of real numbers which is decreasing in absolute value, P1 converging to 0, and alternating in sign. Then the series i=1 ai converges. P1 Conditionally convergent. Let a1; a2;::: be a sequence of real numbers such that the series i=1 ai P1 converges to a finite number, but i=1 jaij = 1. This is called a conditionally convergent series. Then, for any real number r, the sequence can be rearranged so that the series converges to r. (Formally, + + Pn there exists a bijection σ : Z ! Z such that limn!1 i=1 aσ(i) = r.) 2 Problems P1 1 P1 1 P1 1 P1 1 1. Which of these these series converge or diverge: n=1 n , n=1 2n , n=1 n log n , n=1 n log n log log n , ...? ·· ·· x· p x· 2. Prove that the equation xx = 2 is satisfied by x = 2, but that the equation xx = 4 has no solution. What is the \break-point"? s r 2 2 q 2 3. The expression − 9 + − 9 + − 9 + ··· is not clearly defined.
    [Show full text]
  • The Real Numbers
    The Improving Mathematics Education in Schools (TIMES) Project NUMBER AND ALGEBRA Module 28 THE REAL NUMBERS A guide for teachers - Years 8–10 June 2011 YEARS 810 The Real Numbers (Number and Algebra : Module 28) For teachers of Primary and Secondary Mathematics 510 Cover design, Layout design and Typesetting by Claire Ho The Improving Mathematics Education in Schools (TIMES) Project 2009‑2011 was funded by the Australian Government Department of Education, Employment and Workplace Relations. The views expressed here are those of the author and do not necessarily represent the views of the Australian Government Department of Education, Employment and Workplace Relations. © The University of Melbourne on behalf of the International Centre of Excellence for Education in Mathematics (ICE‑EM), the education division of the Australian Mathematical Sciences Institute (AMSI), 2010 (except where otherwise indicated). This work is licensed under the Creative Commons Attribution‑ NonCommercial‑NoDerivs 3.0 Unported License. 2011. http://creativecommons.org/licenses/by‑nc‑nd/3.0/ The Improving Mathematics Education in Schools (TIMES) Project NUMBER AND ALGEBRA Module 28 THE REAL NUMBERS A guide for teachers - Years 8–10 June 2011 Peter Brown Michael Evans David Hunt Janine McIntosh Bill Pender Jacqui Ramagge YEARS 810 {4} A guide for teachers THE REAL NUMBERS ASSUMED KNOWLEDGE • Fluency with integer arithmetic. • Familiarity with fractions and decimals. • Facility with converting fractions to decimals and vice versa. • Familiarity with Pythagoras’ Theorem. MOTIVATION This module differs from most of the other modules, since it is not designed to summarise in one document the content of material for one given topic or year.
    [Show full text]
  • Chapter 6 Sequences and Series of Real Numbers
    Chapter 6 Sequences and Series of Real Numbers We often use sequences and series of numbers without thinking about it. A decimal representation of a number is an example of a series, the bracketing of a real number by closer and closer rational numbers gives us an example of a sequence. We want to study these objects more closely because this conceptual framework will be used later when we look at functions and sequences and series of functions. First, we will take on numbers. Sequences have an ancient history dating back at least as far as Archimedes who used sequences and series in his \Method of Exhaustion" to compute better values of ¼ and areas of geometric ¯gures. 6.1 The Symbols +1 and ¡1 We often use the symbols +1 and ¡1 in mathematics, including courses in high school. We need to come to some agreement about these symbols. We will often write 1 for +1 when it should not be confusing. First of all, they are not real numbers and do not necessarily adhere to the rules of arithmetic for real numbers. There are times that we \act" as if they do, so we need to be careful. We adjoin +1 and ¡1 to R and extend the usual ordering to the set R [ f+1; ¡1g. Explicitly, we will agree that ¡1 < a < +1 for every real number a 2 R [ f+1; ¡1g. This gives the extended set with an ordering that satis¯es our usual properties: 1) If a; b 2 R [ f+1; ¡1g, then a · b or b · a.
    [Show full text]