Difference between revisions of "What is the definition of Pure Mathematics?"
(→The answer is always...) |
(Tag: Rollback) |
||
(161 intermediate revisions by 10 users not shown) | |||
Line 1: | Line 1: | ||
− | + | This article is not finished. Everyone is welcomed to edit, BUT ONLY IN GOOD WAYS! The AoPS Secret Governemtn has a backup of this page. | |
− | + | = What is the definition of Pure Mathematics? = | |
− | |||
− | + | ''Oh, easy'', you say'' it is just the study of numbers. | |
− | Some definitions hit almost all the areas of math, but some are too broad and logic often fits into the definition. | + | That may be true for some areas of math. However, what about geometry, trigonometry, and calculus? And what is the definition of numbers? Now you go to the dictionary and say ''The relationship between measurements and quantities using numbers and symbols''. This is, however, not fully true because this definition also uses applied mathematics. We want ''pure mathematics''. |
+ | |||
+ | Also, most of these definitions miss one area of math. ''Chaos Theory''. What is Chaos Theory? Chaos Theory is a recently discovered area of math where nothing can be predicted but nothing is random. We are only at the beginning of learning it. For example, can a butterfly that flaps its wings in Brazil trigger a tornado in Texas? | ||
+ | |||
+ | Some definitions hit almost all the areas of math, but some are too broad and logic, for example, often fits into the definition. | ||
We can, however, define some areas of math but not the whole thing. For example, the definition of geometry is ''Geometry is concerned with the properties and relations of points, lines, surfaces, solids, and higher dimensional analogs''. Or the definition of probability is ''the extent to which an event is likely to occur''. | We can, however, define some areas of math but not the whole thing. For example, the definition of geometry is ''Geometry is concerned with the properties and relations of points, lines, surfaces, solids, and higher dimensional analogs''. Or the definition of probability is ''the extent to which an event is likely to occur''. | ||
− | + | = Arithmetic = | |
− | + | == Definition == | |
− | ''The branch of mathematics dealing with the properties and manipulation of | + | ''The branch of mathematics dealing with the properties and manipulation of constants''(a number that can not changed. This is the opposite of a variable which is most of the tie represented by a letter. This letter is most of the time <math>x</math>,<math>y</math> or <math>z</math> however it can be really any non-used symbol.). |
+ | |||
=== Operations === | === Operations === | ||
− | Arithmetic starts with one thing which without it no arithmetic can survive: Counting Positive Integers. | + | Arithmetic starts with one thing which without it no arithmetic can survive: Counting Positive Integers (whole numbers). |
1,2,3,4,5... | 1,2,3,4,5... | ||
+ | ==== Addition and addition repeated ==== | ||
+ | Addition is combining these integers. The symbol for combining numbers is +. <math>a+b=b+a</math> | ||
− | + | Multiplication is repeating addition. The symbol for this is <math>\cdot</math>. <math>a \cdot b=b \cdot a</math>. Note: When using letters, you can just say <math>ab=ba</math>. | |
− | + | Exponentiation is repeated Multiplication. The symbol for a to the exponent of b is <math>a^b</math>. <math>a^b \neq b^a</math>. | |
+ | The <math>\neq</math> symbol means Not Equal. | ||
+ | |||
+ | ==== Inverse ==== | ||
+ | Subtraction is the inverse (remember that inverse means oppisite) of addition. To make this a well-defined function (the symbol for a funtion of a certian number(<math>x</math>) is <math>f(x)=</math>blah blah blah where a function is a relationship or expression involving one or more variables. For example, if <math>f(x)=x+3</math> then | ||
+ | <math>f(3)=6</math>), negative numbers and zero were defined. A negitive number is a number below zero. | ||
− | + | The division is the inverse of multiplication. To make this a well-defined function everywhere, fractions were defined. 3 divided by 2 is <math>\frac{3}{2}</math>. | |
+ | |||
+ | <math>n^{\text{th}}</math> roots and logarithms are the inverses of exponentiation. To make these well-defined functions everywhere, irrational numbers were defined. An irrational number is a number that can not be expressed as <math>\frac{a}{b}</math>. | ||
+ | |||
+ | ==== Negative numbers ==== | ||
+ | |||
+ | <math>a</math> and <math>b</math> are positive. (Above zero) | ||
+ | |||
+ | 1. <math>(-a)(-b)=ab</math> Note: | ||
− | + | 2. <math>(a)(-b)=-ab</math> | |
− | + | Proof for 1: This is, in fact, the reason why the negative numbers were introduced: so that each positive number would have an additive inverse. ... The fact that the product of two negatives is positive is therefore related to the fact that the inverse of the inverse of a positive number is that positive number back again. | |
+ | |||
+ | Proof for 2: Since <math>ab</math> is repeated addition then <math>(a)(-b)</math> is repeated subtraction. Therefore it is negative. | ||
+ | |||
+ | ==== Fractions ==== | ||
+ | A fraction a number that can be expressed as two numbers divided. For example, five divided by four is <math>\frac{5}{4}</math>. | ||
+ | ===== Simplifing fractions ===== | ||
+ | Find common factors in each half of the fraction and then divide top and bottom of the fraction by that factor. | ||
+ | |||
+ | <math>\frac{10}{5}=\frac{1}{2}</math> | ||
+ | |||
+ | <math>\frac{15}{3}=\frac{5}{1}</math> | ||
+ | |||
+ | <math>\frac{28}{2}=\frac{14}{1}</math> | ||
+ | ===== Adding fractions ===== | ||
+ | Here is how you add fractions. Is they have the same bottom half then <math>\frac{a}{b}+\frac{c}{b}=\frac{a+c}{b}</math>. However, if the two or three or n fractions do not have the same bottom half you make them. <math>\frac{a}{b}+\frac{c}{d}=\frac{ad+bc}{bd}</math>. Subtracting fractions is the same except everything has a minus symbol. Remember to fully simplify. | ||
+ | |||
+ | ===== Multiplying fractions ===== | ||
+ | <math>\frac{a}{b}\cdot\frac{c}{d}=\frac{ac}{bd}</math>. | ||
+ | |||
+ | <math>\frac{\frac{a}{b}}{\frac{c}{d}}=\frac{ac}{bd}</math>. | ||
+ | |||
+ | Remember to fully simplify. | ||
+ | |||
+ | ==== Irrational numbers ==== | ||
+ | Most square roots are irrational. An irrational number is a number that can not be expresed a a fraction. | ||
+ | ===== Proof that any nonperfect square positive integer is irrational ===== | ||
+ | Let us assume that <math>\sqrt{n}</math> is rational where <math>n</math> is a nonperfect square positive integer. Then it can be written as <math>\frac{p}{q}=\sqrt{n} \Rightarrow \frac{p^2}{q^2}=n \Rightarrow (q^2)n=p^2</math>. But no perfect square times a nonperfect square positive integer is a perfect square. Therefore <math>\sqrt{n}</math> is irrational. | ||
+ | |||
+ | ===== pi and e ===== | ||
+ | Some irrational numbers are limits. That means they are the sum of smaller and smaller fraction going infinitely long. Pi or <math>\pi</math> (go to the geometry part of this article) is the limit <math>\frac{1}{1}-\frac{1}{3}+\frac{1}{5}-\frac{1}{7}...=\frac{\pi}{4}</math>. e is the limit <math>\frac{1}{0!}+\frac{1}{1!}+\frac{1}{2!}...</math> More at the counting part of the article. | ||
=== Exponent rules === | === Exponent rules === | ||
Line 45: | Line 94: | ||
#Hoping that property #1 will be true when <math>y=0</math>, we see that <math>b^x\cdot b^0</math> should (hopefully) be equal to <math>b^x</math>. Thus, we ''define'' <math>b^0</math> to be equal to <math>1</math> in order to make this be true. | #Hoping that property #1 will be true when <math>y=0</math>, we see that <math>b^x\cdot b^0</math> should (hopefully) be equal to <math>b^x</math>. Thus, we ''define'' <math>b^0</math> to be equal to <math>1</math> in order to make this be true. | ||
− | + | hello | |
− | |||
− | |||
− | |||
− | |||
− | |||
− | |||
− | |||
− | |||
− | |||
+ | = Algebra = | ||
+ | == Definition == | ||
+ | ''The part of mathematics in which letters and other general symbols are used to represent numbers and quantities in formulae and equations.'' | ||
== One-variable linear equations == | == One-variable linear equations == | ||
=== Definition === | === Definition === | ||
− | 'A One-variable linear equation is an equation that comes in the form <math>ax+b=c</math>. <math>a</math>, <math>b</math>, and <math>c</math> are constants and <math>x</math> is the varible | + | 'A One-variable linear equation is an equation that comes in the form <math>ax+b=c</math>. <math>a</math>, <math>b</math>, and <math>c</math> are constants and <math>x</math> is the varible in which to solve for |
− | + | === Problems === | |
− | === | + | ==== Problem 1 ==== |
− | <math> | + | Solve for <math>x</math>: <math>x+3=7</math> |
− | + | ==== Solution 1 ==== | |
− | <math> | + | Subtract 3 from both sides you get <math>x=4</math> |
− | + | ==== Problem 2 ==== | |
− | <math>x | + | Solve for <math>x</math>: <math>3x+2=98</math> |
− | + | ==== Solution 2 ==== | |
− | When | + | Subtract two: <math>3x=96</math>. Divide by three: <math>x=32</math> |
+ | ==== Problem 3 ==== | ||
+ | Solve for <math>x</math>: <math>\sqrt{x+3}=5</math> | ||
+ | ==== Solution 3 ==== | ||
+ | When dealing with square roots you just square roots you square them because that makes no more square roots. So <math>\sqrt{x+3}=5</math> squared is <math>x+3=25</math> which tells us that <math>x</math> is <math>22</math>. | ||
+ | ==== Problem 4 ==== | ||
+ | Solve for <math>x</math>: <math>\frac{4}{x}=8</math> | ||
+ | ==== Solution 4 ==== | ||
+ | When dealing with fractions you multiply by the denaminator: <math>4=8x</math> which tells us that <math>x=\frac{1}{2}</math>. | ||
== Quadratics == | == Quadratics == | ||
Line 76: | Line 127: | ||
<math>ax^2+bx+c=0</math> | <math>ax^2+bx+c=0</math> | ||
− | <math>x^2+\frac{b}{a}x+\frac{c}{a}</math> | + | <math>x^2+\frac{b}{a}x+\frac{c}{a}=0</math> |
<math>x^2+\frac{b}{a}=0-\frac{c}{a}</math> | <math>x^2+\frac{b}{a}=0-\frac{c}{a}</math> | ||
Line 82: | Line 133: | ||
<math>x^2+\frac{b}{a}+(\frac{b}{2a})^2=0-\frac{c}{a}+(\frac{b}{2a})^2</math> | <math>x^2+\frac{b}{a}+(\frac{b}{2a})^2=0-\frac{c}{a}+(\frac{b}{2a})^2</math> | ||
− | Since the left side of the equation right above is a perfect square, you can factor the left side by using the coefficient of the first term (<math>x</math>) and the base of the last term(<math>\frac{b}{2a}</math>). Add these two and raise everything to the second. | + | |
+ | Since the left side of the equation right above is a perfect square, you can factor the left side by using the coefficient of the first term (<math>x</math>) and the base of the last term (<math>\frac{b}{2a}</math>). Add these two and raise everything to the second. | ||
+ | |||
+ | <math>(x+\frac{b}{2a})^2=0-\frac{c}{a}+\frac{b^2}{2a^2}=\frac{b^2-4ac}{4a^2}</math> | ||
+ | |||
+ | <math>x+\frac{b}{2a}=\frac{\sqrt{\pm b^2-4ac}}{\pm 2a}</math> | ||
+ | |||
+ | <math>x=\frac{\sqrt{\pm b^2-4ac}}{\pm 2a}+\frac{b}{2a}</math> | ||
+ | |||
+ | When simplified the ''Quadratic Formula'' is <math>{x=\frac{-b \pm \sqrt{b^2-4ac}}{2a}}</math> | ||
+ | |||
+ | |||
+ | ===== Problem ===== | ||
+ | Find all <math>x</math> if <math>x^2+x+1=0</math> | ||
+ | ===== Solution ===== | ||
+ | Using our formula we see that <math>x=\frac{-1 \pm \sqrt{1^2-1(1)(1)}}{2(1)}=-\frac{1}{2}</math> | ||
+ | |||
+ | == i == | ||
+ | <math>i=\sqrt{-1}</math>. | ||
+ | |||
+ | <math>xi=\sqrt{-x^2}</math>. | ||
+ | |||
+ | Numbers like this are called ''imaginary numbers''. ''Impossible'', you say. But no. Solve <math>x^2+1=0</math>. You get <math>i</math>. <math>oi</math> is <math>o</math>. So zero is both real and imaginary. (real means ''not imaginary'') | ||
+ | |||
+ | === Powers of i === | ||
+ | |||
+ | <math>i^0=1</math> | ||
+ | <math>i^1=i</math> | ||
+ | <math>i^2=-1</math> | ||
+ | <math>i^3=-i</math> | ||
+ | <math>i^4=1</math> | ||
+ | <math>i^5=i</math> | ||
+ | <math>i^6=-1</math> | ||
+ | <math>i^7=-i</math> | ||
+ | |||
+ | The pattern repeats. | ||
+ | |||
+ | === Complex numbers === | ||
+ | A complex number is <math>ai+b</math>, where a and b are real. All numbers are complex because a and/or/never b can be zero. | ||
+ | |||
+ | <math>ai+b+ci+d=</math> Complex | ||
+ | |||
+ | <math>(ai+b)(ci+d)=</math> Complex | ||
+ | |||
+ | <math>\frac{ai+b}{ci+d}=</math> Complex | ||
+ | |||
+ | <math>(ai+b)-(ci+d)=</math> Complex | ||
+ | |||
+ | == Systems of equations == | ||
+ | A '''system of equations''' is a set of [[equation]]s which share the same [[variable]]s. An example of a system of equations is | ||
+ | |||
+ | {| class="wikitable" style="margin: 1em auto 1em auto" | ||
+ | | <math>2a - 3b</math> || <math>= 4</math> | ||
+ | |- | ||
+ | | <math>3a - 2b</math> || <math>= 3</math> | ||
+ | |} | ||
+ | |||
+ | === Solving Linear Systems === | ||
+ | A system of [[linear]] equations is where all of the variables are to the power 1. There are three elementary ways to solve a system of linear equations. | ||
+ | |||
+ | ==== Gaussian Elimination ==== | ||
+ | [[Gauss]]ian elimination involves eliminating variables from the system by adding constant multiples of two or more of the equations together. Let's look at an example: | ||
+ | |||
+ | ===== Problem ===== | ||
+ | Find the ordered pair <math>(x,y)</math> for which | ||
+ | |||
+ | {| class="wikitable" style="margin: 1em auto 1em auto" | ||
+ | | <math>x - 12y</math> || <math>= 2</math> | ||
+ | |- | ||
+ | | <math>3x + 6y</math> || <math>= 6</math> | ||
+ | |} | ||
+ | |||
+ | ===== Solution ===== | ||
+ | We can eliminate <math>y</math> by adding twice the second equation to the first: | ||
+ | |||
+ | {| class="wikitable" style="margin: 1em auto 1em auto" | ||
+ | | || <math>x - 12y= 2</math> | ||
+ | |- | ||
+ | | <math>+2(</math> || <math>3x + 6y = 6)</math> | ||
+ | |- | ||
+ | | || <math>\overline{7x + 0=14}</math> | ||
+ | |} | ||
+ | |||
+ | Thus <math>x=2</math>. We can then plug in for <math>x</math> in either of the equations: <center><math> (2)-12y = 2 \Rightarrow y = 0</math>.</center> | ||
+ | |||
+ | Thus, the solution to the system is <math>(2,0)</math>. | ||
+ | |||
+ | ==== Substitution ==== | ||
+ | The second method, substitution, requires solving for a variable and then plugging that variable into another equation therefore reducing the number of variables. We'll show how to solve the same problem from the elimination section using substitution. | ||
+ | |||
+ | ===== Problem ===== | ||
+ | Find the ordered pair <math>(x,y)</math> for which | ||
+ | |||
+ | {| class="wikitable" style="margin: 1em auto 1em auto" | ||
+ | | <math>x - 12y</math> || <math>= 2</math> | ||
+ | |- | ||
+ | | <math>3x + 6y</math> || <math>= 6</math> | ||
+ | |} | ||
+ | |||
+ | ===== Solution ===== | ||
+ | The first equation can be solved for <math>x</math>: <center><math> x = 12y + 2. </math></center> | ||
+ | |||
+ | Plugging this into the second equation yields <center><math>3(12y + 2) + 6y = 6 \Leftrightarrow 42 y = 0. </math></center> | ||
+ | |||
+ | Thus <math>y=0</math>. Plugging this into either of the equations and solving for <math>x</math> yields <math>x=2</math>. | ||
+ | |||
+ | == Graphing Equations == | ||
+ | == Graphing Lines == | ||
+ | Given two distinct points on a line, one can construct the whole line. So one way to graph a line given its equation is to just find two points on it and to draw a straight line through them. | ||
+ | |||
+ | === Problem === | ||
+ | Graph the line <math>2x + 3y = 24</math>. | ||
+ | |||
+ | === Solution === | ||
+ | To graph a line, it is necesasry to find two points <math>(x,y)</math> that satisfy <math>2x + 3y = 24</math>. Letting <math>x=0</math> gives <math>3y = 24\Leftrightarrow y = 8</math>. So <math>(0,8)</math> is one point on the graph. | ||
+ | |||
+ | Find another point by letting <math>y=0</math>. Plugging this in and solving gives <math>x=12</math>. So <math>(12,0)</math> is our other point. | ||
+ | |||
+ | Now plot these in the coordinate plane and draw a line through them: | ||
+ | |||
+ | <center>[[Image:Twopoints2.PNG]]</center> | ||
+ | |||
+ | The arrowheads on the ends of the line segment indicate that the line goes on [[infinite]]ly in both directions. | ||
+ | Note: This is just a short intro to graphing. More at https://artofproblemsolving.com/wiki/index.php/Graph_of_a_function. | ||
+ | == Algebra == | ||
+ | There are many more types of algebra: inequalities, polynomials, graphing equations, arithmetic, and geometric sequence. | ||
+ | |||
+ | Algebra is a broad and diverse area of math in which this is just a short introduction. | ||
+ | |||
+ | = Number Theory = | ||
+ | == Definition == | ||
+ | ''The branch of mathematics that deals with the properties and relationships of numbers, especially the positive integers''. | ||
+ | == Vocab == | ||
+ | Factor: A factor (f) of n is an integer in which <math>fx=n</math> where <math>x</math> is an integer. | ||
+ | |||
+ | Multiple: The inverse of factors. | ||
+ | |||
+ | == Primes == | ||
+ | A '''prime number''' (or simply '''prime''') is a positive integer <math>p>1</math> whose only positive divisors are 1 and itself. | ||
+ | Note that <math>1</math> is usually defined as being neither prime nor composite because it is its only factor among the natural number numbers. | ||
+ | |||
+ | There are an infinite number of prime numbers. A standard proof attributed to Euclid notes that if there are a finite set of prime numbers <math>p_1, p_2, \ldots, p_n</math>, then the number <math>N = p_1p_2\cdots p_n + 1</math> is not divisible by any of them, but <math>N</math> must [[#Importance of Primes|have]] a prime factor, which leads to a direct contradiction. | ||
+ | |||
+ | === Techniques to Check for Prime Numbers === | ||
+ | |||
+ | ==== Divisibility ==== | ||
+ | A prime number is only divisible by one or itself, so a number <math>n</math> is prime if and only if <math>n</math> is not divisible by any integer greater than <math>1</math> and less than <math>n</math>. One only needs to check integers up to <math>\sqrt{n}</math> because dividing larger numbers would result in a quotient smaller than <math>\sqrt{n}</math>. | ||
+ | |||
+ | ==== Modular Arithmetic ==== | ||
+ | Modular arithmetic can help determine if a number is not prime. | ||
+ | |||
+ | * If a number not equal to <math>2,3</math> is congruent to <math>0,2,3,4,6 \pmod{6}</math>, then the number is not prime. | ||
+ | * If a number not equal to <math>2,5</math> ends with an even digit or <math>5</math>, then the number is not prime. | ||
+ | |||
+ | |||
+ | === Importance of Primes === | ||
+ | According to the Fundamental Theorem of Arithmetic, there is exactly one unique way to factor a positive integer into a product of primes. This unique prime factorization plays an important role in solving many kinds of number theory problems. | ||
+ | |||
+ | |||
+ | |||
+ | ==== Mersenne Primes ==== | ||
+ | |||
+ | A Mersenne prime is a prime of the form <math>2^n-1</math>. For such a number to be prime, ''n'' must itself be prime. Compared to other numbers of comparable sizes, Mersenne numbers are easy to check for primality because of the https://en.wikipedia.org/wiki/Lucas%E2%80%93Lehmer_primality_test Lucas-Lehmer test, severely reducing the amount of computation needed. | ||
+ | |||
+ | ==== Twin Primes ==== | ||
+ | Two primes that differ by exactly 2 are known as twin primes. The following are the first few pairs of twin primes:<br> | ||
+ | 3, 5<br> | ||
+ | 5, 7<br> | ||
+ | 11, 13<br> | ||
+ | 17, 19<br> | ||
+ | 29, 31<br> | ||
+ | 41, 43<br> | ||
+ | |||
+ | It is not known whether or not there are infinitely many pairs of twin primes. This is known as the Twin Prime Conjecture, which is a specific instance of the Hardy-Littlewood conjecture. | ||
+ | |||
+ | ==== Gaussian Primes ==== | ||
+ | |||
+ | A Gaussian prime is a prime that extends the idea of the traditional prime to the Gaussian integer. One can define this term for any ring, especially number rings. | ||
+ | |||
+ | === Advanced Definition === | ||
+ | When the need arises to include negative divisors, a '''prime''' is defined as an integer p whose only divisors are 1, -1, p, and -p. More generally, if ''R'' is an integral domain, then a nonzero element ''p'' of ''R'' is a '''prime''' if whenever we write <math>p=ab</math> with <math>a,b\in R</math>, then exactly one of ''a'' and ''b'' is a unit. | ||
+ | |||
+ | == LCM and GCD == | ||
+ | === GCD === | ||
+ | ==== Definition ==== | ||
+ | The GCD or Greatest Common Divisor of multiple numbers is the largest number that is a factor of all those multiple numbers. The answer can be and usually is 1. | ||
+ | ==== Prime Factorization ==== | ||
+ | The way to solve most GCD's is with using ''Prime Factorization''. Remember that the way to find the prime factorization of a number is to find which primes products hit that certain number. The prime factorization of 24 is <math>2 \cdot 2 \cdot 2 \cdot 3</math>. The prime factorization of 18 is <math>2 \cdot 3 \cdot 3</math>. In GCD you take the prime factorization of each number and then find which primes match up. | ||
+ | |||
+ | === LCM === | ||
+ | ==== Definition ==== | ||
+ | The LCM or Least Common Multiple of two or three or n numbers is the smallest integer in which both numbers are factors of it. | ||
+ | For example, the LCM of 10 and 5 is 10. | ||
+ | ==== Problems ==== | ||
+ | ===== Problem 1 ===== | ||
+ | ====== Problem ====== | ||
+ | What is the LCM of 8 and 5? | ||
+ | ====== Solution ====== | ||
+ | 1. | ||
+ | The way to solve LCM's with no common factors is to multiply them. The answer is just 40. | ||
+ | |||
+ | 2. | ||
+ | Note that <math>8=2^3,</math> <math>5=5^1.</math> Taking the maximum of all such prime factors yields <math>40=2^3\cdot 5.</math> | ||
+ | |||
+ | This is a pathetic solution, but this is the more general solution. | ||
+ | |||
+ | ===== Problem 2 ===== | ||
+ | ====== Problem ====== | ||
+ | What is the LCM of 15 and 10. | ||
+ | ====== Solution ====== | ||
+ | The Way to solve this is see that the answer would be the first multiple of 5 that is divisble by 15 and 10. That is just 30. | ||
+ | ===== Problem 3 ===== | ||
+ | ====== Problem ====== | ||
+ | Find the LCM of 2, 3 and 5. | ||
+ | ====== Solution ====== | ||
+ | It is the same with three numbers. Multiply them to get 30. Same as last time. | ||
+ | |||
+ | == Bases == | ||
+ | In mathematics, a base or radix is the number of different digits or a combination of digits and letters that a system of counting uses to represent numbers. For example, the most common base used today is the decimal system. Because "dec" means 10, it uses the 10 digits from 0 to 9. Most people think that we most often use base 10 because we have 10 fingers. | ||
+ | ==== Some Numbers in other bases ==== | ||
+ | A base can be any whole number bigger than 1. The base of a number may be written next to the number: for instance, <math>{23_{8}}</math> means 23 in base 8 (which is equal to 19 in base 10). | ||
+ | Here are some examples of how numbers are written in varying bases, compared to decimal: | ||
+ | |||
+ | In Arabic numbers (decimal, or base 10), there are 10 digits: 0,1,2,3,4,5,6,7,8,9. You need one digit each to count up to 9, but two digits for ten, and three digits for a hundred, which is ten times ten. In Binary, base 2, you need two digits for two, as you only have two digits, 0 and 1. Base 5 has five digits, and the number five becomes 10. For base 16, you will need sixteen digits, and there are only ten numerals. So we use the letters A,B,C,D,E,F. These represent the decimal numbers 10, 11, 12, 13, 14 and 15. Look at the table below and find the pattern for these bases. | ||
+ | == Number Theory == | ||
+ | This is the end of the number theory part of this article. Number Theory, however, has much more to than what I have just shown you. | ||
+ | = Probibility = | ||
+ | == Definition == | ||
+ | ''The extent to which an event is likely to occur.'' | ||
+ | == How to == | ||
+ | The way to mesure the extent to which an event is likely to occur is to count the number of equally likely occur is to count the wanted options over the number of equally likelly possible options. | ||
+ | For example, the probibility of rolling a 6 on a 6 sided dice is <math>\frac{1}{6}</math> because there are six equally likely possibilitys and only one of them is a success. | ||
+ | |||
+ | |||
+ | |||
+ | = Pascal's Triangle = | ||
+ | == Pascal's Identity == | ||
+ | === Identity === | ||
+ | Pascal's Identity states that | ||
+ | |||
+ | <math>{n \choose k}={n-1\choose k-1}+{n-1\choose k}</math> | ||
+ | |||
+ | for any positive integers <math>k</math> and <math>n</math>. Here, <math>\binom{n}{k}</math> is the binomial coefficient <math>\binom{n}{k} = nCk = C_k^n</math>. | ||
+ | |||
+ | Remember that <math>\binom{n}{r}=\frac{n!}{k!(n-k)!}</math>. <math>\binom{n}{r}</math> means the number of ways to pick r thing from n things where order does not matter. <math>n!=1 \cdot 2 \cdot 3 \cdot...\cdot n</math>. | ||
+ | |||
+ | === Proving it === | ||
+ | If <math>k > n</math> then <math>\binom{n}{k} = 0 = \binom{n - 1}{k - 1} + \binom{n - 1}{k}</math> and so the result is pretty clear. | ||
+ | So assume <math>k \leq n</math>. Then | ||
+ | |||
+ | <cmath>\begin{eqnarray*}\binom{n-1}{k-1}+\binom{n-1}{k}&=&\frac{(n-1)!}{(k-1)!(n-k)!}+\frac{(n-1)!}{k!(n-k-1)!}\\ | ||
+ | &=&(n-1)!\left(\frac{k}{k!(n-k)!}+\frac{n-k}{k!(n-k)!}\right)\\ | ||
+ | &=&(n-1)!\cdot \frac{n}{k!(n-k)!}\\ | ||
+ | &=&\frac{n!}{k!(n-k)!}\\ | ||
+ | &=&\binom{n}{k}. \qquad\qquad\square\end{eqnarray*}</cmath> | ||
+ | There we go. We proved it! | ||
+ | |||
+ | === Why is it needed? === | ||
+ | It's mostly just a cool thing to know. However, if you want to know how to use it in real life go to https://artofproblemsolving.com/videos/counting/chapter12/141. Or really any of the counting and probability videos. | ||
+ | |||
+ | == Introduction to Pascal's Triangle == | ||
+ | === How to build it === | ||
+ | Pascal's Triangle is a triangular array of numbers in which you start with two infinite diagonals of ones and each of the rest of the numbers is the sum of the two numbers above it. It looks something like this: | ||
+ | 1 | ||
+ | 1 1 | ||
+ | 1 2 1 | ||
+ | 1 3 3 1 | ||
+ | 1 4 6 4 1 | ||
+ | And on and on... | ||
+ | |||
+ | === Combinations === | ||
+ | ==== Combinations ==== | ||
+ | Pascal's Triangle is really combinations. It looks something like this if it is depicted as combinations: | ||
+ | |||
+ | <math>\binom{0}{0}</math> | ||
+ | <math>\binom{1}{0}</math> <math>\binom{1}{1}</math> | ||
+ | <math>\binom{2}{0}</math> <math>\binom{2}{1}</math> <math>\binom{2}{2}</math> | ||
+ | |||
+ | And on and on... | ||
+ | |||
+ | ==== Proof ==== | ||
+ | |||
+ | If you look at the way we build the triangle, each number is the sum of the two numbers above it. Assuming that these combinations are true then each combination in the sum of the two combinations above it. In an equation, it would look something like this: <math>{n \choose k}={n-1\choose k-1}+{n-1\choose k}</math>. Its Pascals Identity! Therefore each row looks something like this: | ||
+ | |||
+ | <math>\binom{n}{0} \binom{n}{1} \binom{n}{2} ... \binom{n}{n}</math> | ||
+ | |||
+ | == Patterns and Properties == | ||
+ | In addition to combinations, ''Pascal's Triangle'' has many more patterns and properties. See below. Be ready to be amazed. | ||
+ | === Binomial Theorem === | ||
+ | Let's multiply out some binomials. Try it yourself and it will not be fun: | ||
+ | <math>(x+y)^0=1</math> | ||
+ | |||
+ | <math>(x+y)^1=1x+1y</math> | ||
+ | |||
+ | <math>(x+y)^2=1x^2+2xy+1y^2</math> | ||
+ | |||
+ | <math>(x+y)^2=1x^3+3x^2y+3y^2x+1^3</math> | ||
+ | |||
+ | If you take away the x's and y's you get: | ||
+ | |||
+ | 1 | ||
+ | 1 1 | ||
+ | 1 2 1 | ||
+ | 1 3 3 1 | ||
+ | It's ''Pascal's Triangle''! | ||
+ | |||
+ | ===== Proof ===== | ||
+ | Here are a number of different ways to prove the Binomial Theorem, for example by a straightforward application of mathematical induction. The Binomial Theorem also has a nice combinatorial proof: | ||
+ | |||
+ | We can write <math>(a+b)^n=\underbrace{ (a+b)\cdot(a+b)\cdot(a+b)\cdot\cdots\cdot(a+b) }_{n}</math>. Repeatedly using the distributive property, we see that for a term <math>a^m b^{n-m}</math>, we must choose <math>m</math> of the <math>n</math> terms to contribute an <math>a</math> to the term, and then each of the other <math>n-m</math> terms of the product must contribute a <math>b</math>. Thus, the coefficient of <math>a^m b^{n-m}</math> is the number of ways to choose <math>m</math> objects from a set of size <math>n</math>, or <math>\binom{n}{m}</math>. Extending this to all possible values of <math>m</math> from <math>0</math> to <math>n</math>, we see that <math>(a+b)^n = \sum_{m=0}^{n}{\binom{n}{m}}\cdot a^m\cdot b^{n-m}</math>, as claimed. | ||
+ | |||
+ | Similarly, the coefficients of <math>(x+y)^n</math> will be the entries of the <math>n^\text{th}</math> row of Pascal's Triangle. This is explained further in the Counting and Probability textbook [AoPS] | ||
+ | ===== In real life ===== | ||
+ | It is really only used for multipling out binomials. More usage at | ||
+ | https://artofproblemsolving.com/videos/counting/chapter14/126. | ||
+ | ==== Powers of 2 ==== | ||
+ | ===== Theorem ===== | ||
+ | ====== Theorem ====== | ||
+ | It states that <math>\binom{n}{0}+\binom{n}{1}+...+\binom{n}{n}=2^n</math> | ||
+ | |||
+ | ====== Why do we need it? ====== | ||
+ | It is useful in many word problems (That means, yes, you can use it in real life) and it is just a cool thing to know. More at https://artofproblemsolving.com/videos/mathcounts/mc2010/419. | ||
+ | ===== Proofs ===== | ||
+ | ====== Subset proof ====== | ||
+ | Say you have a word with n letters. How many subsets does it have in terms of n? Here is how you answer it: You ask the first letter Are you in or are you out? Same to the second letter. Same to the third. Same to the n. Each of the letters has two choices: In and Out. The would be <math>(2)(2)(2)(2)</math>...n times. <math>2^n</math>. | ||
+ | |||
+ | ====== Alternate proof ====== | ||
+ | If you look at the way we built the triangle you see that each number is row n-1 is added on twice in row n. This means that each row doubles. That means you get powers of two. | ||
+ | |||
+ | ==== Triangle Numbers ==== | ||
+ | ===== Theorem ===== | ||
+ | If you look at the numbers in the third diagonal you see that they are triangle numbers. | ||
+ | ===== Proof ===== | ||
+ | Now we can make an equation: <math>\binom{n}{2}=1+2+3+...+(n-1) \Rightarrow \binom{n}{2}=\frac{n(n+1)}{2} \Rightarrow \frac{n!}{2!(n-2)!}=\frac{n(n+1)}{2} \Rightarrow \frac{n(n+1)}{2}=\frac{n(n+1)}{2}</math> | ||
+ | |||
+ | ==== Hockey stick ==== | ||
+ | For <math>n,r\in\mathbb{N}, n>r,\sum^n_{i=r}{i\choose r}={n+1\choose r+1}</math>. | ||
+ | |||
+ | |||
+ | <asy> | ||
+ | int chew(int n,int r){ | ||
+ | int res=1; | ||
+ | for(int i=0;i<r;++i){ | ||
+ | res=quotient(res*(n-i),i+1); | ||
+ | } | ||
+ | return res; | ||
+ | } | ||
+ | for(int n=0;n<9;++n){ | ||
+ | for(int i=0;i<=n;++i){ | ||
+ | if((i==2 && n<8)||(i==3 && n==8)){ | ||
+ | if(n==8){label(string(chew(n,i)),(11+n/2-i,-n),p=red+2.5);} | ||
+ | else{label(string(chew(n,i)),(11+n/2-i,-n),p=blue+2);} | ||
+ | } | ||
+ | else{ | ||
+ | label(string(chew(n,i)),(11+n/2-i,-n)); | ||
+ | } | ||
+ | } | ||
+ | } | ||
+ | </asy> | ||
+ | |||
+ | This identity is known as the ''hockey-stick'' identity because, on Pascal's triangle, when the addends represented in the summation and the sum itself is highlighted, a hockey-stick shape is revealed. | ||
+ | |||
+ | |||
+ | ===== Proof ===== | ||
+ | |||
+ | '''Inductive Proof''' | ||
+ | |||
+ | This identity can be proven by induction on <math>n</math>. | ||
+ | |||
+ | <u>Base Case</u> | ||
+ | Let <math>n=r</math>. | ||
+ | |||
+ | <math>\sum^n_{i=r}{i\choose r}=\sum^r_{i=r}{i\choose r}={r\choose r}=1={r+1\choose r+1}</math>. | ||
+ | |||
+ | <u>Inductive Step</u> | ||
+ | Suppose, for some <math>k\in\mathbb{N}, k>r</math>, <math>\sum^k_{i=r}{i\choose r}={k+1\choose r+1}</math>. | ||
+ | Then <math>\sum^{k+1}_{i=r}{i\choose r}=\left(\sum^k_{i=r}{i\choose r}\right)+{k+1\choose r}={k+1\choose r+1}+{k+1\choose r}={k+2\choose r+1}</math>. | ||
+ | |||
+ | '''Algebraic Proof''' | ||
+ | |||
+ | It can also be proven algebraically with [[Pascal's Identity]], <math>{n \choose k}={n-1\choose k-1}+{n-1\choose k}</math>. | ||
+ | Note that | ||
+ | |||
+ | <math>{r \choose r}+{r+1 \choose r}+{r+2 \choose r}+\cdots+{r+a \choose r}</math> | ||
+ | <math>={r+1 \choose r+1}+{r+1 \choose r}+{r+2 \choose r}+\cdots+{r+a \choose r}</math> | ||
+ | <math>={r+2 \choose r+1}+{r+2 \choose r}+\cdots+{r+a \choose r}=\cdots={r+a \choose r+1}+{r+a \choose r}={r+a+1 \choose r+1}</math>, which is equivalent to the desired result. | ||
+ | |||
+ | '''Combinatorial Proof 1''' | ||
+ | |||
+ | Imagine that we are distributing <math>n</math> indistinguishable candies to <math>k</math> distinguishable children. By a direct application of Balls and Urns, there are <math>{n+k-1\choose k-1}</math> ways to do this. Alternatively, we can first give <math>0\le i\le n</math> candies to the oldest child so that we are essentially giving <math>n-i</math> candies to <math>k-1</math> kids and again, with Balls and Urns, <math>{n+k-1\choose k-1}=\sum_{i=0}^n{n+k-2-i\choose k-2}</math>, which simplifies to the desired result. | ||
+ | |||
+ | '''Combinatorial Proof 2''' | ||
+ | |||
+ | We can form a committee of size <math>k+1</math> from a group of <math>n+1</math> people in <math>{{n+1}\choose{k+1}}</math> ways. Now we hand out the numbers <math>1,2,3,\dots,n-k+1</math> to <math>n-k+1</math> of the <math>n+1</math> people. We can divide this into <math>n-k+1</math> disjoint cases. In general, in case <math>x</math>, <math>1\le x\le n-k+1</math>, person <math>x</math> is on the committee and persons <math>1,2,3,\dots, x-1</math> are not on the committee. This can be done in <math>\binom{n-x+1}{k}</math> ways. Now we can sum the values of these <math>n-k+1</math> disjoint cases, getting <cmath>{{n+1}\choose {k+1}} ={{n}\choose{k}}+{{n-1}\choose{k}}+{{n-2}\choose{k}}+\hdots+{{k+1}\choose{k}}+{{k}\choose{k}}.</cmath> | ||
+ | |||
+ | = Geometry = | ||
+ | == Studying the Geometry of Shapes == | ||
+ | === Zero-D === | ||
+ | This is an infinitly small dot called a point. (Duh). However, mathematicians imagine them to be large enough to be drawn. | ||
+ | |||
+ | === One-D === | ||
+ | 1D is pretty boring too. You just have rays, lines, and line segments. | ||
+ | ==== Line ==== | ||
+ | A infinitly long, infinitly narrow, perfectly striaght thing in with no starting or ending point. (I cant really use the word lines). | ||
+ | ==== Ray ==== | ||
+ | A infinitly long, infinitly narrow, perfectly striaght thing in with one starting point. | ||
+ | ==== Line segment ==== | ||
+ | A infinitly long, infinitly narrow, perfectly striaght thing in with two starting points. | ||
+ | |||
+ | === Space === | ||
+ | === Plane === | ||
+ | In mathematics, a plane is a flat, two-dimensional surface that extends infinitely far. | ||
+ | ==== 3D Space ==== | ||
+ | Space is the infinitly three-dimensional extent in which objects and events have relative position and direction. | ||
+ | |||
+ | === Angles === | ||
+ | An angle is the figure formed by two rays, called the sides of the angle, sharing a common endpoint, called the vertex of the angle. Angles formed by two rays lie in a plane, but this plane does not have to be a Euclidean plane. Angles are also formed by the intersection of two planes in Euclidean and other spaces. These are called dihedral angles. Angles formed by the intersection of two curves in a plane are defined as the angle determined by the tangent rays at the point of intersection. Similar statements hold in space, for example, the spherical angle formed by two great circles on a sphere is the dihedral angle between the planes determined by the great circles. Most people mesure angles useing degrees. Degrees are out of 360. For example, 180° or 180 degrees is a straight line or a half turn. | ||
+ | |||
+ | An angle equal to 0° is called a zero angle. | ||
+ | |||
+ | An angle smaller than 90° but not zero is called acute. | ||
+ | |||
+ | An angle equal to 90° is called right. | ||
+ | |||
+ | An angle greater than 90° but less than 180° is called obtuse. | ||
+ | |||
+ | An angle equal to 180° is called striaght. | ||
+ | |||
+ | An angle greater than 180° but less than 360° is called obtuse. | ||
+ | |||
+ | An angle equal to 360° is called a full angle. | ||
+ | |||
+ | Angles <math>n</math> and <math>m</math> supplementary if <math>n+m=</math>180° | ||
+ | Angles <math>n</math> and <math>m</math> Complementary if <math>n+m=</math>90° | ||
+ | |||
+ | Vertical angles: Each of the pairs of opposite angles made by two intersecting lines. | ||
+ | |||
+ | == Area == | ||
+ | === Area === | ||
+ | ''The area of a 2D object is the amount of square units in it.'' | ||
+ | === Shapes === | ||
+ | ==== Polygons ==== | ||
+ | |||
+ | A plane shape (two-dimensional) with straight sides. | ||
+ | |||
+ | Examples: triangles, rectangles and pentagons. | ||
+ | |||
+ | (Note: a circle is not a polygon because it has a curved side). | ||
+ | ==== Triangles and their classification ==== | ||
+ | |||
+ | ===== Angle Classifacation ===== | ||
+ | Acute Triangle | ||
+ | All angles are less than 90° | ||
+ | |||
+ | Right Triangle | ||
+ | Has a right angle (90°) | ||
+ | |||
+ | Obtuse Triangle | ||
+ | Has an angle more than 90° | ||
+ | |||
+ | ===== Side Classifacation ===== | ||
+ | Equilateral Triangle | ||
+ | Three equal sides | ||
+ | |||
+ | Isosceles Triangle | ||
+ | Two equal sides | ||
+ | Two equal angles | ||
+ | |||
+ | Scalene Triangle | ||
+ | No equal sides | ||
+ | No equal angles | ||
+ | |||
+ | ==== Quadrilaterals and their classification ==== | ||
+ | https://www.google.com/search?q=classification+of+quadrilaterals&rlz=1C1JZAP_enUS854US854&tbm=isch&source=iu&ictx=1&fir=cTz-Mz0bfMvP3M%253A%252Cr9XExtRx3Y9j7M%252C_&vet=1&usg=AI4_-kR3H3HLnjvGfeFONyn0jA2dKvnQmQ&sa=X&ved=2ahUKEwi_h7_h7f_iAhXUvp4KHbYkCrAQ9QEwAHoECAEQAw#imgrc=vAqIbgZXY5hQqM:&vet=1 | ||
+ | = The Proof Part of this article = | ||
+ | This part shows what Proofs usually look like | ||
+ | == Proof that any nonperfect square positive integer is irrational == | ||
+ | Let us assume that <math>\sqrt{n}</math> is rational where <math>n</math> is a nonperfect square positive integer. Then it can be written as <math>\frac{p}{q}=\sqrt{n} \Rightarrow \frac{p^2}{q^2}=n \Rightarrow (q^2)n=p^2</math>. But no perfect square times a nonperfect square positive integer is a perfect square. Therefore <math>\sqrt{n}</math> is irrational. | ||
+ | == Proof of the Pythagorean Theorem == | ||
+ | <math>ABCD</math> and <math>EFGH</math> are squares. | ||
+ | <center> | ||
+ | <asy> | ||
+ | pair A, B,C,D; | ||
+ | A = (-10,10); | ||
+ | B = (10,10); | ||
+ | C = (10,-10); | ||
+ | D = (-10,-10); | ||
+ | |||
+ | pair E,F,G,H; | ||
+ | E = (7,10); | ||
+ | F = (10, -7); | ||
+ | G = (-7, -10); | ||
+ | H = (-10, 7); | ||
+ | |||
+ | draw(A--B--C--D--cycle); | ||
+ | label("$A$", A, NNW); | ||
+ | label("$B$", B, ENE); | ||
+ | label("$C$", C, ESE); | ||
+ | label("$D$", D, SSW); | ||
+ | |||
+ | draw(E--F--G--H--cycle); | ||
+ | label("$E$", E, N); | ||
+ | label("$F$", F,SE); | ||
+ | label("$G$", G, S); | ||
+ | label("$H$", H, W); | ||
+ | |||
+ | label("a", A--B,N); | ||
+ | label("a", B--F,SE); | ||
+ | label("a", C--G,S); | ||
+ | label("a", H--D,W); | ||
+ | label("b", E--B,N); | ||
+ | label("b", F--C,SE); | ||
+ | label("b", G--D,S); | ||
+ | label("b", A--H,W); | ||
+ | label("c", E--H,NW); | ||
+ | label("c", E--F); | ||
+ | label("c", F--G,SE); | ||
+ | label("c", G--H,SW); | ||
+ | </asy> | ||
+ | </center> | ||
+ | <math>(a+b)^2=c^2+4\left(\frac{1}{2}ab\right)\implies a^2+2ab+b^2=c^2+2ab\implies a^2 + b^2=c^2</math>. | ||
+ | |||
+ | == Proof that n choose 2 is 1+2+3...+(n-1) == | ||
+ | <math>\binom{n}{2}=1+2+3...+n \Rightarrow \binom{n}{2}=\frac{n(n-1)}{2} \Rightarrow \frac{n(n-1)}{2}=\frac{n(n-1)}{2}</math>.Yay, I proved it! | ||
+ | == Proof that <math>1+2+3...+n+1+2+3...+(n-1)=n^2</math> == | ||
+ | Proof that <math>1+2+3...+n+1+2+3...+(n-1)=n^2</math> | ||
+ | === Proof 1 === | ||
+ | <math>1+2+3...+n+1+2+3...+(n-1)=n^2 \Rightarrow \frac{n(n+1)}{2}+\frac{n-1(n)}{2}=n^2</math> | ||
+ | <math>\Rightarrow \frac{n(n+1)+n-1(n)}{2}=n^2 \Rightarrow \frac{n^2+n+n^2-n}{2}=n^2 \Rightarrow \frac{2n^2}{2}=n^2 \Rightarrow n^2=n^2</math>. | ||
+ | === Proof 2 === | ||
+ | The <math>1+2+\cdots+n</math> part refers to an <math>n</math> by <math>n</math> square cut by its diagonal, and includes all the squares on the diagonal. The <math>1+2+\cdots+ n-1</math> part refers to an <math>n</math> by <math>n</math> square cut by its diagonal, but doesn't include the squares on the diagonal. Putting these together gives us a <math>n</math> by <math>n</math> square. | ||
+ | |||
+ | === Proof 3 === | ||
+ | We proceed using induction. If <math>n = 1</math>, then we have <math>1+0=1^2</math>. Now assume that <math>n</math> works. We prove that <math>n+1</math> works. We add a <math>2n+1</math> on both sides, such that the left side becomes <math>1+2+\cdots + (n+1)+1+2+\cdots + n = n^2 + 2n + 1 = (n+1)^2</math> and we are done. | ||
+ | |||
+ | === Proof 4 === | ||
+ | <math>1 2 3 4 5 ... n</math> | ||
+ | |||
+ | <math>0 1 2 3 4 ... (n-1)</math> | ||
+ | |||
+ | ________________ | ||
+ | |||
+ | <math>1 3 5 7 9 ... 2n-1</math> | ||
+ | And that is <math>n^2</math>. | ||
+ | [[Category:Math]] |
Latest revision as of 18:08, 28 June 2021
This article is not finished. Everyone is welcomed to edit, BUT ONLY IN GOOD WAYS! The AoPS Secret Governemtn has a backup of this page.
Contents
- 1 What is the definition of Pure Mathematics?
- 2 Arithmetic
- 3 Algebra
- 4 Number Theory
- 5 Probibility
- 6 Pascal's Triangle
- 7 Geometry
- 8 The Proof Part of this article
What is the definition of Pure Mathematics?
Oh, easy, you say it is just the study of numbers.
That may be true for some areas of math. However, what about geometry, trigonometry, and calculus? And what is the definition of numbers? Now you go to the dictionary and say The relationship between measurements and quantities using numbers and symbols. This is, however, not fully true because this definition also uses applied mathematics. We want pure mathematics.
Also, most of these definitions miss one area of math. Chaos Theory. What is Chaos Theory? Chaos Theory is a recently discovered area of math where nothing can be predicted but nothing is random. We are only at the beginning of learning it. For example, can a butterfly that flaps its wings in Brazil trigger a tornado in Texas?
Some definitions hit almost all the areas of math, but some are too broad and logic, for example, often fits into the definition.
We can, however, define some areas of math but not the whole thing. For example, the definition of geometry is Geometry is concerned with the properties and relations of points, lines, surfaces, solids, and higher dimensional analogs. Or the definition of probability is the extent to which an event is likely to occur.
Arithmetic
Definition
The branch of mathematics dealing with the properties and manipulation of constants(a number that can not changed. This is the opposite of a variable which is most of the tie represented by a letter. This letter is most of the time ,
or
however it can be really any non-used symbol.).
Operations
Arithmetic starts with one thing which without it no arithmetic can survive: Counting Positive Integers (whole numbers). 1,2,3,4,5...
Addition and addition repeated
Addition is combining these integers. The symbol for combining numbers is +.
Multiplication is repeating addition. The symbol for this is .
. Note: When using letters, you can just say
.
Exponentiation is repeated Multiplication. The symbol for a to the exponent of b is .
.
The
symbol means Not Equal.
Inverse
Subtraction is the inverse (remember that inverse means oppisite) of addition. To make this a well-defined function (the symbol for a funtion of a certian number() is
blah blah blah where a function is a relationship or expression involving one or more variables. For example, if
then
), negative numbers and zero were defined. A negitive number is a number below zero.
The division is the inverse of multiplication. To make this a well-defined function everywhere, fractions were defined. 3 divided by 2 is .
roots and logarithms are the inverses of exponentiation. To make these well-defined functions everywhere, irrational numbers were defined. An irrational number is a number that can not be expressed as
.
Negative numbers
and
are positive. (Above zero)
1. Note:
2.
Proof for 1: This is, in fact, the reason why the negative numbers were introduced: so that each positive number would have an additive inverse. ... The fact that the product of two negatives is positive is therefore related to the fact that the inverse of the inverse of a positive number is that positive number back again.
Proof for 2: Since is repeated addition then
is repeated subtraction. Therefore it is negative.
Fractions
A fraction a number that can be expressed as two numbers divided. For example, five divided by four is .
Simplifing fractions
Find common factors in each half of the fraction and then divide top and bottom of the fraction by that factor.
Adding fractions
Here is how you add fractions. Is they have the same bottom half then . However, if the two or three or n fractions do not have the same bottom half you make them.
. Subtracting fractions is the same except everything has a minus symbol. Remember to fully simplify.
Multiplying fractions
.
.
Remember to fully simplify.
Irrational numbers
Most square roots are irrational. An irrational number is a number that can not be expresed a a fraction.
Proof that any nonperfect square positive integer is irrational
Let us assume that is rational where
is a nonperfect square positive integer. Then it can be written as
. But no perfect square times a nonperfect square positive integer is a perfect square. Therefore
is irrational.
pi and e
Some irrational numbers are limits. That means they are the sum of smaller and smaller fraction going infinitely long. Pi or (go to the geometry part of this article) is the limit
. e is the limit
More at the counting part of the article.
Exponent rules
Listed below are some important properties of exponents:
(if
.
is undefined.)
Here are explanations of the properties listed above:
- On both sides, we are multiplying b together x+y times. Thus, they are equivalent.
- This is described in the previous section.
- This results from using the previous two properties.
- We are multiplying
by itself y times, which is the same as multiplying b by itself xy times.
- After multiplying ab by itself x times, we can collect a and b terms, thus establishing the property.
- Hoping that property #1 will be true when
, we see that
should (hopefully) be equal to
. Thus, we define
to be equal to
in order to make this be true.
hello
Algebra
Definition
The part of mathematics in which letters and other general symbols are used to represent numbers and quantities in formulae and equations.
One-variable linear equations
Definition
'A One-variable linear equation is an equation that comes in the form .
,
, and
are constants and
is the varible in which to solve for
Problems
Problem 1
Solve for :
Solution 1
Subtract 3 from both sides you get
Problem 2
Solve for :
Solution 2
Subtract two: . Divide by three:
Problem 3
Solve for :
Solution 3
When dealing with square roots you just square roots you square them because that makes no more square roots. So squared is
which tells us that
is
.
Problem 4
Solve for :
Solution 4
When dealing with fractions you multiply by the denaminator: which tells us that
.
Quadratics
Defination
A quadratic equation is an equation of the second degree, meaning it contains at least one term that is squared. The standard form is with
,
, and
being constants, or numerical coefficients, and
is an unknown variable.
The answer is always...
Since the left side of the equation right above is a perfect square, you can factor the left side by using the coefficient of the first term () and the base of the last term (
). Add these two and raise everything to the second.
When simplified the Quadratic Formula is
Problem
Find all if
Solution
Using our formula we see that
i
.
.
Numbers like this are called imaginary numbers. Impossible, you say. But no. Solve . You get
.
is
. So zero is both real and imaginary. (real means not imaginary)
Powers of i
The pattern repeats.
Complex numbers
A complex number is , where a and b are real. All numbers are complex because a and/or/never b can be zero.
Complex
Complex
Complex
Complex
Systems of equations
A system of equations is a set of equations which share the same variables. An example of a system of equations is
![]() |
![]() |
![]() |
![]() |
Solving Linear Systems
A system of linear equations is where all of the variables are to the power 1. There are three elementary ways to solve a system of linear equations.
Gaussian Elimination
Gaussian elimination involves eliminating variables from the system by adding constant multiples of two or more of the equations together. Let's look at an example:
Problem
Find the ordered pair for which
![]() |
![]() |
![]() |
![]() |
Solution
We can eliminate by adding twice the second equation to the first:
![]() | |
![]() |
![]() |
![]() |
Thus . We can then plug in for
in either of the equations:
![$(2)-12y = 2 \Rightarrow y = 0$](http://latex.artofproblemsolving.com/4/f/9/4f9835824e6f53843038a745647620eb2d2f9b44.png)
Thus, the solution to the system is .
Substitution
The second method, substitution, requires solving for a variable and then plugging that variable into another equation therefore reducing the number of variables. We'll show how to solve the same problem from the elimination section using substitution.
Problem
Find the ordered pair for which
![]() |
![]() |
![]() |
![]() |
Solution
The first equation can be solved for :
![$x = 12y + 2.$](http://latex.artofproblemsolving.com/e/3/8/e382f80fc5f08fc73b99ef90c783fa5279704289.png)
Plugging this into the second equation yields
![$3(12y + 2) + 6y = 6 \Leftrightarrow 42 y = 0.$](http://latex.artofproblemsolving.com/7/9/1/791ff9e2e05f5ec7cd719e515a8ebf06a15c292c.png)
Thus . Plugging this into either of the equations and solving for
yields
.
Graphing Equations
Graphing Lines
Given two distinct points on a line, one can construct the whole line. So one way to graph a line given its equation is to just find two points on it and to draw a straight line through them.
Problem
Graph the line .
Solution
To graph a line, it is necesasry to find two points that satisfy
. Letting
gives
. So
is one point on the graph.
Find another point by letting . Plugging this in and solving gives
. So
is our other point.
Now plot these in the coordinate plane and draw a line through them:
The arrowheads on the ends of the line segment indicate that the line goes on infinitely in both directions. Note: This is just a short intro to graphing. More at https://artofproblemsolving.com/wiki/index.php/Graph_of_a_function.
Algebra
There are many more types of algebra: inequalities, polynomials, graphing equations, arithmetic, and geometric sequence.
Algebra is a broad and diverse area of math in which this is just a short introduction.
Number Theory
Definition
The branch of mathematics that deals with the properties and relationships of numbers, especially the positive integers.
Vocab
Factor: A factor (f) of n is an integer in which where
is an integer.
Multiple: The inverse of factors.
Primes
A prime number (or simply prime) is a positive integer whose only positive divisors are 1 and itself.
Note that
is usually defined as being neither prime nor composite because it is its only factor among the natural number numbers.
There are an infinite number of prime numbers. A standard proof attributed to Euclid notes that if there are a finite set of prime numbers , then the number
is not divisible by any of them, but
must have a prime factor, which leads to a direct contradiction.
Techniques to Check for Prime Numbers
Divisibility
A prime number is only divisible by one or itself, so a number is prime if and only if
is not divisible by any integer greater than
and less than
. One only needs to check integers up to
because dividing larger numbers would result in a quotient smaller than
.
Modular Arithmetic
Modular arithmetic can help determine if a number is not prime.
- If a number not equal to
is congruent to
, then the number is not prime.
- If a number not equal to
ends with an even digit or
, then the number is not prime.
Importance of Primes
According to the Fundamental Theorem of Arithmetic, there is exactly one unique way to factor a positive integer into a product of primes. This unique prime factorization plays an important role in solving many kinds of number theory problems.
Mersenne Primes
A Mersenne prime is a prime of the form . For such a number to be prime, n must itself be prime. Compared to other numbers of comparable sizes, Mersenne numbers are easy to check for primality because of the https://en.wikipedia.org/wiki/Lucas%E2%80%93Lehmer_primality_test Lucas-Lehmer test, severely reducing the amount of computation needed.
Twin Primes
Two primes that differ by exactly 2 are known as twin primes. The following are the first few pairs of twin primes:
3, 5
5, 7
11, 13
17, 19
29, 31
41, 43
It is not known whether or not there are infinitely many pairs of twin primes. This is known as the Twin Prime Conjecture, which is a specific instance of the Hardy-Littlewood conjecture.
Gaussian Primes
A Gaussian prime is a prime that extends the idea of the traditional prime to the Gaussian integer. One can define this term for any ring, especially number rings.
Advanced Definition
When the need arises to include negative divisors, a prime is defined as an integer p whose only divisors are 1, -1, p, and -p. More generally, if R is an integral domain, then a nonzero element p of R is a prime if whenever we write with
, then exactly one of a and b is a unit.
LCM and GCD
GCD
Definition
The GCD or Greatest Common Divisor of multiple numbers is the largest number that is a factor of all those multiple numbers. The answer can be and usually is 1.
Prime Factorization
The way to solve most GCD's is with using Prime Factorization. Remember that the way to find the prime factorization of a number is to find which primes products hit that certain number. The prime factorization of 24 is . The prime factorization of 18 is
. In GCD you take the prime factorization of each number and then find which primes match up.
LCM
Definition
The LCM or Least Common Multiple of two or three or n numbers is the smallest integer in which both numbers are factors of it. For example, the LCM of 10 and 5 is 10.
Problems
Problem 1
Problem
What is the LCM of 8 and 5?
Solution
1. The way to solve LCM's with no common factors is to multiply them. The answer is just 40.
2.
Note that
Taking the maximum of all such prime factors yields
This is a pathetic solution, but this is the more general solution.
Problem 2
Problem
What is the LCM of 15 and 10.
Solution
The Way to solve this is see that the answer would be the first multiple of 5 that is divisble by 15 and 10. That is just 30.
Problem 3
Problem
Find the LCM of 2, 3 and 5.
Solution
It is the same with three numbers. Multiply them to get 30. Same as last time.
Bases
In mathematics, a base or radix is the number of different digits or a combination of digits and letters that a system of counting uses to represent numbers. For example, the most common base used today is the decimal system. Because "dec" means 10, it uses the 10 digits from 0 to 9. Most people think that we most often use base 10 because we have 10 fingers.
Some Numbers in other bases
A base can be any whole number bigger than 1. The base of a number may be written next to the number: for instance, means 23 in base 8 (which is equal to 19 in base 10).
Here are some examples of how numbers are written in varying bases, compared to decimal:
In Arabic numbers (decimal, or base 10), there are 10 digits: 0,1,2,3,4,5,6,7,8,9. You need one digit each to count up to 9, but two digits for ten, and three digits for a hundred, which is ten times ten. In Binary, base 2, you need two digits for two, as you only have two digits, 0 and 1. Base 5 has five digits, and the number five becomes 10. For base 16, you will need sixteen digits, and there are only ten numerals. So we use the letters A,B,C,D,E,F. These represent the decimal numbers 10, 11, 12, 13, 14 and 15. Look at the table below and find the pattern for these bases.
Number Theory
This is the end of the number theory part of this article. Number Theory, however, has much more to than what I have just shown you.
Probibility
Definition
The extent to which an event is likely to occur.
How to
The way to mesure the extent to which an event is likely to occur is to count the number of equally likely occur is to count the wanted options over the number of equally likelly possible options.
For example, the probibility of rolling a 6 on a 6 sided dice is because there are six equally likely possibilitys and only one of them is a success.
Pascal's Triangle
Pascal's Identity
Identity
Pascal's Identity states that
for any positive integers and
. Here,
is the binomial coefficient
.
Remember that .
means the number of ways to pick r thing from n things where order does not matter.
.
Proving it
If then
and so the result is pretty clear.
So assume
. Then
There we go. We proved it!
Why is it needed?
It's mostly just a cool thing to know. However, if you want to know how to use it in real life go to https://artofproblemsolving.com/videos/counting/chapter12/141. Or really any of the counting and probability videos.
Introduction to Pascal's Triangle
How to build it
Pascal's Triangle is a triangular array of numbers in which you start with two infinite diagonals of ones and each of the rest of the numbers is the sum of the two numbers above it. It looks something like this:
1 1 1 1 2 1 1 3 3 1 1 4 6 4 1
And on and on...
Combinations
Combinations
Pascal's Triangle is really combinations. It looks something like this if it is depicted as combinations:
And on and on...
Proof
If you look at the way we build the triangle, each number is the sum of the two numbers above it. Assuming that these combinations are true then each combination in the sum of the two combinations above it. In an equation, it would look something like this: . Its Pascals Identity! Therefore each row looks something like this:
Patterns and Properties
In addition to combinations, Pascal's Triangle has many more patterns and properties. See below. Be ready to be amazed.
Binomial Theorem
Let's multiply out some binomials. Try it yourself and it will not be fun:
If you take away the x's and y's you get:
1 1 1 1 2 1 1 3 3 1
It's Pascal's Triangle!
Proof
Here are a number of different ways to prove the Binomial Theorem, for example by a straightforward application of mathematical induction. The Binomial Theorem also has a nice combinatorial proof:
We can write . Repeatedly using the distributive property, we see that for a term
, we must choose
of the
terms to contribute an
to the term, and then each of the other
terms of the product must contribute a
. Thus, the coefficient of
is the number of ways to choose
objects from a set of size
, or
. Extending this to all possible values of
from
to
, we see that
, as claimed.
Similarly, the coefficients of will be the entries of the
row of Pascal's Triangle. This is explained further in the Counting and Probability textbook [AoPS]
In real life
It is really only used for multipling out binomials. More usage at https://artofproblemsolving.com/videos/counting/chapter14/126.
Powers of 2
Theorem
Theorem
It states that
Why do we need it?
It is useful in many word problems (That means, yes, you can use it in real life) and it is just a cool thing to know. More at https://artofproblemsolving.com/videos/mathcounts/mc2010/419.
Proofs
Subset proof
Say you have a word with n letters. How many subsets does it have in terms of n? Here is how you answer it: You ask the first letter Are you in or are you out? Same to the second letter. Same to the third. Same to the n. Each of the letters has two choices: In and Out. The would be ...n times.
.
Alternate proof
If you look at the way we built the triangle you see that each number is row n-1 is added on twice in row n. This means that each row doubles. That means you get powers of two.
Triangle Numbers
Theorem
If you look at the numbers in the third diagonal you see that they are triangle numbers.
Proof
Now we can make an equation:
Hockey stick
For .
This identity is known as the hockey-stick identity because, on Pascal's triangle, when the addends represented in the summation and the sum itself is highlighted, a hockey-stick shape is revealed.
Proof
Inductive Proof
This identity can be proven by induction on .
Base Case
Let .
.
Inductive Step
Suppose, for some ,
.
Then
.
Algebraic Proof
It can also be proven algebraically with Pascal's Identity, .
Note that
, which is equivalent to the desired result.
Combinatorial Proof 1
Imagine that we are distributing indistinguishable candies to
distinguishable children. By a direct application of Balls and Urns, there are
ways to do this. Alternatively, we can first give
candies to the oldest child so that we are essentially giving
candies to
kids and again, with Balls and Urns,
, which simplifies to the desired result.
Combinatorial Proof 2
We can form a committee of size from a group of
people in
ways. Now we hand out the numbers
to
of the
people. We can divide this into
disjoint cases. In general, in case
,
, person
is on the committee and persons
are not on the committee. This can be done in
ways. Now we can sum the values of these
disjoint cases, getting
Geometry
Studying the Geometry of Shapes
Zero-D
This is an infinitly small dot called a point. (Duh). However, mathematicians imagine them to be large enough to be drawn.
One-D
1D is pretty boring too. You just have rays, lines, and line segments.
Line
A infinitly long, infinitly narrow, perfectly striaght thing in with no starting or ending point. (I cant really use the word lines).
Ray
A infinitly long, infinitly narrow, perfectly striaght thing in with one starting point.
Line segment
A infinitly long, infinitly narrow, perfectly striaght thing in with two starting points.
Space
Plane
In mathematics, a plane is a flat, two-dimensional surface that extends infinitely far.
3D Space
Space is the infinitly three-dimensional extent in which objects and events have relative position and direction.
Angles
An angle is the figure formed by two rays, called the sides of the angle, sharing a common endpoint, called the vertex of the angle. Angles formed by two rays lie in a plane, but this plane does not have to be a Euclidean plane. Angles are also formed by the intersection of two planes in Euclidean and other spaces. These are called dihedral angles. Angles formed by the intersection of two curves in a plane are defined as the angle determined by the tangent rays at the point of intersection. Similar statements hold in space, for example, the spherical angle formed by two great circles on a sphere is the dihedral angle between the planes determined by the great circles. Most people mesure angles useing degrees. Degrees are out of 360. For example, 180° or 180 degrees is a straight line or a half turn.
An angle equal to 0° is called a zero angle.
An angle smaller than 90° but not zero is called acute.
An angle equal to 90° is called right.
An angle greater than 90° but less than 180° is called obtuse.
An angle equal to 180° is called striaght.
An angle greater than 180° but less than 360° is called obtuse.
An angle equal to 360° is called a full angle.
Angles and
supplementary if
180°
Angles
and
Complementary if
90°
Vertical angles: Each of the pairs of opposite angles made by two intersecting lines.
Area
Area
The area of a 2D object is the amount of square units in it.
Shapes
Polygons
A plane shape (two-dimensional) with straight sides.
Examples: triangles, rectangles and pentagons.
(Note: a circle is not a polygon because it has a curved side).
Triangles and their classification
Angle Classifacation
Acute Triangle All angles are less than 90°
Right Triangle Has a right angle (90°)
Obtuse Triangle Has an angle more than 90°
Side Classifacation
Equilateral Triangle Three equal sides
Isosceles Triangle Two equal sides Two equal angles
Scalene Triangle No equal sides No equal angles
Quadrilaterals and their classification
The Proof Part of this article
This part shows what Proofs usually look like
Proof that any nonperfect square positive integer is irrational
Let us assume that is rational where
is a nonperfect square positive integer. Then it can be written as
. But no perfect square times a nonperfect square positive integer is a perfect square. Therefore
is irrational.
Proof of the Pythagorean Theorem
and
are squares.
.
Proof that n choose 2 is 1+2+3...+(n-1)
.Yay, I proved it!
Proof that ![$1+2+3...+n+1+2+3...+(n-1)=n^2$](//latex.artofproblemsolving.com/1/1/b/11b5a419fd06120bfc519c8efe8bdc8ab1b21cdd.png)
Proof that
Proof 1
.
Proof 2
The part refers to an
by
square cut by its diagonal, and includes all the squares on the diagonal. The
part refers to an
by
square cut by its diagonal, but doesn't include the squares on the diagonal. Putting these together gives us a
by
square.
Proof 3
We proceed using induction. If , then we have
. Now assume that
works. We prove that
works. We add a
on both sides, such that the left side becomes
and we are done.
Proof 4
________________
And that is
.