*Notes to a video lecture on http://www.unizor.com*

__Algebra+ 10 - Functions__

*Problem A*

Prove that function

*is*

**f(x) = x/(1+x²)**(a) monotonously decreasing on interval (

*),*

**−∞,−1**(b) monotonously increasing on interval (

*) and*

**−1,1**(c) monotonously decreasing on interval (

*).*

**1,+∞***Solution A*

Our first observation is that, if we replace

*with*

**x***, function*

**−x***changes the sign while retaining the absolute value*

**f(x)=x/(1+x²)***.*

**f(−x) = −f(x)**That means, our function is

**odd**, and its graph is centrally symmetrical relative to the origin of coordinates.

It also means that

*and the graph on interval (*

**f(0)=0***) can be obtained from the graph on interval (*

**−∞,0***) by turning it by 180° around the origin of coordinates.*

**0,+∞**When this rotation is done, an interval on the positive side of the X-axis, where the function was increasing, would be transformed by a rotation into a corresponding interval on the negative side, and the function there would still be increasing.

Similarly, an interval on the positive side of the X-axis, where the function was decreasing, would be transformed by a rotation into a corresponding interval on the negative side, where the function would still be decreasing.

The following is an illustration of this characteristic of odd functions.

Therefore, it's sufficient to investigate the behavior of this function on interval (

*), and the results are sufficient to tell how this function behaves on interval (*

**0,+∞***).*

**−∞,0**If we prove that

*is monotonously increasing on interval (*

**f(x)***) from*

**0,1***to*

**f(0)=0***, it implies that this function is monotonously increasing on interval (*

**f(1)=½***) from*

**−1,0***to*

**f(−1)=−½**

**f(0)=0**Analogously, if we prove that

*is monotonously decreasing on interval (*

**f(x)***) from*

**1,+∞***to infinitesimal value, it implies that this function is monotonously decreasing on interval (*

**f(1)=½***) from infinitesimal value to*

**−∞,−1***.*

**f(−1)=−½**Let's prove that

*is increasing on interval (*

**f(x)***).*

**0,1**Assume, both

*and*

**x**_{1}*, which is greater than*

**x**_{2}*, belong to interval (*

**x**_{1}*), and prove that*

**0,1***is greater than*

**f(x**_{2})*.*

**f(x**_{1})Analysis:

**x**_{1}/(1+x_{1}^{2}) < x_{2}/(1+x_{2}^{2})Multiply both sides by

**positive**value

*, which does not affect the inequality.*

**(1+x**_{1}^{2})·(1+x_{1}^{2})

**x**_{1}·(1+x_{2}^{2}) < x_{2}·(1+x_{1}^{2})Open the parenthesis, getting

**x**_{1}+ x_{1}·x_{2}^{2}< x_{2}+ x_{2}·x_{1}^{2}Rearrange,

**x**_{1}·x_{2}·(x_{2}−x_{1}) < x_{2}− x_{1}Since we assumed that both

*and*

**x**_{1}*, which is greater than*

**x**_{2}*, belong to interval (*

**x**_{1}*), all components of this inequality are positive, we can cancel the multiplier*

**0,1***, arriving to an obvious inequality*

**(x**_{2}−x_{1})

**x**_{1}·x_{2}< 1Proof:

All transformations of inequalities are invariant and reversible, therefore, from the obvious inequality

**x**_{1}·x_{2}< 1we can obtain the original inequality using only invariant transformations, which proves its validity.

Let's prove that

*is decreasing on interval (*

**f(x)***).*

**1,+∞**Assume, both

*and*

**x**_{1}*, which is greater than*

**x**_{2}*, belong to interval (*

**x**_{1}*), and prove that*

**1,+∞***is greater than*

**f(x**_{1})*.*

**f(x**_{2})Analysis:

**x**_{1}/(1+x_{1}^{2}) > x_{2}/(1+x_{2}^{2})Multiply both sides by

**positive**value

*, which does not affect the inequality.*

**(1+x**_{1}^{2})·(1+x_{1}^{2})

**x**_{1}·(1+x_{2}^{2}) > x_{2}·(1+x_{1}^{2})Open the parenthesis, getting

**x**_{1}+ x_{1}·x_{2}^{2}> x_{2}+ x_{2}·x_{1}^{2}Rearrange,

**x**_{1}·x_{2}·(x_{2}−x_{1}) > x_{2}− x_{1}Since we assumed that both

*and*

**x**_{1}*, which is greater than*

**x**_{2}*, belong to interval (*

**x**_{1}*), all components of this inequality are positive, we can cancel the multiplier*

**1,+∞***, arriving to an obvious inequality*

**(x**_{2}−x_{1})

**x**_{1}·x_{2}> 1Proof:

All transformations of inequalities are invariant and reversible, therefore, from the obvious inequality

**x**_{1}·x_{2}> 1we can obtain the original inequality using only invariant transformations, which proves its validity.

*Problem B*

Prove that function

*is*

**f(x) = x + (1/x**^{2})(a) monotonously increasing on interval (

*),*

**−∞,0**(b) monotonously decreasing on interval (

**0,****∛**) and

*2*(c) monotonously increasing on interval (

**∛**).

*2,+∞**Solution B1*

Consider an expression

Δ

**= f(x**_{2}) − f(x_{1})for

*being*

**x**_{1}**smaller**than

*on each of the three intervals mentioned in the problem.*

**x**_{2}Based on the sign of Δ that reflects the relationship between

*and*

**f(x**_{1})*, we can determine the behavior of the function on each interval.*

**f(x**_{2})(a)

**−∞ < x**_{1}< x_{2}< 0Δ

*=*

**= x**

= (x

= (x

+ (x_{2}+(1/x_{2}^{2}) − x_{1}−(1/x_{1}^{2}) == (x

_{2}−x_{1}) + (1/x_{2}^{2}−1/x_{1}^{2}) == (x

_{2}−x_{1}) ++ (x

_{1}−x_{2})·(x_{1}+x_{2})/(x_{1}^{2}·x_{2}^{2})Since

*, all components of the above expression are positive, which proves that in this interval the function is monotonously increasing.*

**−∞ < x**_{1}< x_{2}< 0(b)

**0 < x**_{1}< x_{2}<**∛**

*2*Δ

*[*

**= (x**

+ (x

= (x

·_{2}−x_{1}) ++ (x

_{1}−x_{2})·(x_{1}+x_{2})/(x_{1}^{2}·x_{2}^{2}) == (x

_{2}−x_{1}) ··

*]*

**1 − (x**_{1}+x_{2})/(x_{1}^{2}·x_{2}^{2})

**=**

= (x

· (x= (x

_{2}−x_{1}) ·· (x

_{1}·x_{2}−1/x_{1}−1/x_{2})/(x_{1}·x_{2})The term

*is positive.*

**(x**_{2}−x_{1})The term

*is positive.*

**(x**_{1}·x_{2})Let's evaluate the sign of

**x**

= x_{1}·x_{2}−1/x_{1}−1/x_{2}== x

_{1}·x_{2}− (1/x_{1}+1/x_{2})Component

*on interval from 0 to*

**(x**_{1}·x_{2})**∛**does not exceed

*2***∛**·

*2***∛**=

*2***∛**.

*4*Components

*exceeds*

**(1/x**_{1}+1/x_{2})

**1/****∛**.

*2+1/*∛*2 =*∛*4*Therefore, in this case Δ is negative, which means that the function is decreasing in this interval.

(c)

**∛**

*2 < x*_{1}< x_{2}< +∞Evaluating again the term in question

**x**_{1}·x_{2}− (1/x_{1}+1/x_{2})Now situation with the sign of this term is opposite to the previous one.

Component

*on this interval exceed*

**(x**_{1}·x_{2})**∛**·

*2***∛**=

*2***∛**.

*4*Components

*does not exceed*

**(1/x**_{1}+1/x_{2})

**1/****∛**.

*2+1/*∛*2 =*∛*4*Therefore, in this case Δ is positive, which means that the function is increasing in this interval.

*Solution B2*

Obviously, using the apparatus of Calculus, the solution is shorter.

The first derivative of the function

*is*

**f(x)=x+(1/x**^{2})

**f'(x) = 1 −2/x**^{3}This derivative is equal to zero only at one point

**x =****∛**

*2 = 2*^{1/3}The local minimum at that point is

**y = 2**^{1/3}+ 2^{−2/3}When

*is either negative or is greater then*

**x****∛**, the derivative is positive and, therefore, the function is increasing.

*2*When

*is positive but less than*

**x****∛**, the derivative is negative and, therefore, the function is decreasing.

*2**Graph B*

Incidentally, the graph of the function

*looks like this*

**f(x)=x+(1/x**^{2})
## No comments:

Post a Comment