# 2. Powers, logarithms and trigonometry

Part 1.: problems, solutions.
Part 2.: problems, solutions.
Part 3.: problems, solutions.

### Exponentiation

Everybody knows what is , where is a natural number. It is simply multiplying by itself times (the only doubt may be caused by , we set ). If is a negative integer, we let . Finally let , is a number such that when we take it to power of we get . Notice that, if is an even number, we have to assume that . To sum up, easily for we can define , where is a rational , , as , if and in the other case.

These definitions result in many natural properties of exponentiation, which we know already when using only natural powers, namely for and we have:

1. ,
2. ,
3. ,
4. , ,
5. ,
6. ,
7. ,
8. jeśli i , to ,
9. jeśli i , to .

Moreover, the last two properties allow us to define not only for , but for any real number . Roughly speaking, can be approximated from below and from above by rational numbers and . Then and approximate (from above and from below or from below and from above) . So we define is such a way that this holds. After including necessary details, one can in particular prove that this definition also satisfies the properties mentioned above. And also the following property — if , then for every there exists exactly one , such that .

### Logarithms

The property, that for every exists exactly one , such that allows us to define the logarithm. Simply this number (it is the power such that raised to this power gives ) is called a logarithm of with base and is denoted by . In other words, . So the logarithm is an inverse function to exponentiation.

Notice also that makes sense only if and .

Since , , and (and least in the future) number (whatever it is, we will explain it later) take a special place in our heart, we denote , and .

All the mentioned above properties of exponentiation can be easily translated into properties of logarithms:
for all , and we have:

1. , then ,
2. , then ,
3. , ,
4. , then ,
5. , then ,
6. , then , i.e. ,
7. if and , then ,
8. if and , then .

And also, for any and , there exists exactly one , such that .

Due to these properties logarithms were the main tool in scientifical computation before computers. Now, they are also a very useful tool. E.g. in chemistry pH is defined as minus logarithm of the concentration of hydrogen ions. So increasing this concentration tenfold changes pH by one, which makes it easier to describe and imagine (we look at the order of a number instead of the number itself). You can also find such a scale in the definition of brightness of stars, Richter scale, and also some graphs related to covid…

### Trigonometry

Except for degrees there is one more unit of angles, more widely used in sciences, i.e. radians. Radians describe the length of a section of a unit circle related to the given angle. So is , is , and e.g. is . In case of radians we do not use any suffix like .

Notice that in a triangle with fixed angles regardless of its size the ratio of the sides remains constant. In particular in a right triangle with sides (by the right angle) and and the angle opposite to equal the ratio , , , and depend only on this angle. They are thus functions of . And are called , , and respectively. Immediately we notice that and .

Imagining a point on the unit circle we see that , where is the angle between the radius of the circle in this point and axis . This implies many properties and formulas concerning these functions.

For example, each of these functions is periodic, i.e. and for any .

From Pythagoras Theorem we get that (which is called the trigonometric unit, denotes ).

Looking at the unit triangle we can also easily notice that and .

When rotated by the point becomes , so and .

When rotated by the point becomes , so and .

Notice that the section of the unit circle between the point described by angle and the point described by angle and the section of the unit circle between the points described by angles and are both of angle , so they are of the same length. So the cords are also of the same length, and writing out their length from Pythagoras Theorem, we get:

Which gets us to:

so also

which implies

and

Thus, and .