Difference between revisions of "User:Temperal/The Problem Solver's Resource2"

(Cauchy-Schwarz inequality: capitalization)
(Creation)
Line 5: Line 5:
 
|-  
 
|-  
 
| style="background:lime; border:1px solid black;height:200px;padding:10px;" | {{User:Temperal/testtemplate|page 2}}
 
| style="background:lime; border:1px solid black;height:200px;padding:10px;" | {{User:Temperal/testtemplate|page 2}}
==<span style="font-size:20px; color: blue;">Simple Number Theory</span>==
+
==<span style="font-size:20px; color: blue;">Exponentials and Logarithms</span>==
This is a collection of essential AIME-level number theory theorems and other tidbits.
+
This is just a quick review of logarithms and exponents; it's elementary content.
 +
===Definitions===
 +
*Exponentials: Do you really need this one?
 +
*Logarithms: If <math>b^a=x</math>, <math>\log_b{x}=a</math>. Note that a logarithm in base [[e]], i.e. <math>\log_e{x}=a</math> is notated as <math>\ln{x}=a</math>, or the natural logarithm of x. If no base is specified, then a logarithm is assumed to be in base 10.
 +
===Rules of Exponentiation and Logarithms===
 +
<math>a^x \cdot a^y=a^{x+y}</math>
  
===Trivial Inequality===
+
<math>(a^x)^y=a^{xy}</math>
For any real <math>x</math>, <math>x^2\ge 0</math>, with equality iff <math>x=0</math>.
 
===Arithmetic Mean/Geometric Mean Inequality===
 
For any set of real numbers <math>S</math>, <math>\frac{S_1+S_2+S_3....+S_{k-1}+S_k}{k}\ge \sqrt[k]{S_1\cdot S_2 \cdot S_3....\cdot S_{k-1}\cdot S_k}</math> with equality iff <math>S_1=S_2=S_3...=S_{k-1}=S_k</math>.
 
  
 +
<math>\frac{a^x}{a^y}</math>=a^{x-y}<math>
  
===Cauchy-Schwarz Inequality===
+
</math>a^0=1<math>, where </math>a\ne 0<math>.
  
For any real numbers <math>a_1,a_2,...,a_n</math> and <math>b_1,b_2,...,b_n</math>, the following holds:
+
</math>\log_b{xy}=\log_b{x}+\log_b{y}<math>
  
<math>(\sum a_i^2)(\sum b_i^2) \ge (\sum a_ib_i)^2</math>
+
</math>\log_b{x^y}=y\cdot \log_b{x}<math>
  
====Cauchy-Schwarz Variation====
+
</math>\log_b{\frac{x}{y}}=\log_b{x}-\log_b{y}<math>
  
For any real numbers <math>a_1,a_2,...,a_n</math> and positive real numbers <math>b_1,b_2,...,b_n</math>, the following holds:
+
</math>\log_b{a}=\frac{1}{\log_a{b}}<math>
  
<math>\sum\left({{a_i^2}\over{b_i}}\right) \ge {{\sum a_i^2}\over{\sum b_i}}</math>.
+
</math>\log_b{b}=1<math>
  
 +
</math>\log_b{a}=\frac{\log_x{a}}{\log_x{b}}<math>, where x is a constant.
  
[[User:Temperal/The Problem Solver's Resource1|Back to page 1]] | [[User:Temperal/The Problem Solver's Resource3|Continue to page 3]]
+
</math>\log_1{a}<math> and </math>\log_0{a}$ are undefined.
|}<br /><br />
 

Revision as of 17:24, 29 September 2007



The Problem Solver's Resource
Introduction | Other Tips and Tricks | Methods of Proof | You are currently viewing page 2.

Exponentials and Logarithms

This is just a quick review of logarithms and exponents; it's elementary content.

Definitions

  • Exponentials: Do you really need this one?
  • Logarithms: If $b^a=x$, $\log_b{x}=a$. Note that a logarithm in base e, i.e. $\log_e{x}=a$ is notated as $\ln{x}=a$, or the natural logarithm of x. If no base is specified, then a logarithm is assumed to be in base 10.

Rules of Exponentiation and Logarithms

$a^x \cdot a^y=a^{x+y}$

$(a^x)^y=a^{xy}$

$\frac{a^x}{a^y}$=a^{x-y}$$ (Error compiling LaTeX. Unknown error_msg)a^0=1$, where$a\ne 0$.$\log_b{xy}=\log_b{x}+\log_b{y}$$ (Error compiling LaTeX. Unknown error_msg)\log_b{x^y}=y\cdot \log_b{x}$$ (Error compiling LaTeX. Unknown error_msg)\log_b{\frac{x}{y}}=\log_b{x}-\log_b{y}$$ (Error compiling LaTeX. Unknown error_msg)\log_b{a}=\frac{1}{\log_a{b}}$$ (Error compiling LaTeX. Unknown error_msg)\log_b{b}=1$$ (Error compiling LaTeX. Unknown error_msg)\log_b{a}=\frac{\log_x{a}}{\log_x{b}}$, where x is a constant.$\log_1{a}$and$\log_0{a}$ are undefined.