for the following proof :

$\displaystyle ab\leq |ab|\Longrightarrow 2ab\leq 2|a||b|\Longrightarrow (a+b)^2\leq (|a|+|b|)^2$ $\displaystyle \Longrightarrow |a+b|\leq |a|+|b|$

Write the theorems involved in the proof and how are they involved

Printable View

- Nov 18th 2009, 04:02 PMalexandrosanalysis of a proof
for the following proof :

$\displaystyle ab\leq |ab|\Longrightarrow 2ab\leq 2|a||b|\Longrightarrow (a+b)^2\leq (|a|+|b|)^2$ $\displaystyle \Longrightarrow |a+b|\leq |a|+|b|$

Write the theorems involved in the proof and how are they involved - Nov 18th 2009, 05:45 PMFocus
- Nov 19th 2009, 04:18 AMalexandros
- Nov 19th 2009, 07:56 AMemakarov
(Read the note in the end.)

This seems like a nice exercise. Obviously, the reasoning displayed uses several things: (1) properties of addition, subtraction, multiplication and division; (2) properties of inequalities; (3) properties of the $\displaystyle |\cdot|$ function; and (4) possibly some other properties, like those of square root, etc.

Imagine that you are talking to a elementary-school student who is extremely smart and understands everything you say provided you explain every new concept. However, he/she knows only the properties of the four basic operations and inequalities, as well as the definition of the absolute value. As I understand, first you are supposed to write this reasoning in much finer detail, on the level something like: "Now add ... to both sides of inequality. Now move this term to the other side. Now use the formula for the expansion of the square of a sum". Then you have to note every place that the young student won't understand without more explanation. For example, you replace $\displaystyle |ab|$ with $\displaystyle |a|\cdot|b|$ because you claim they are equal. This is not a property of the basic operations or inequalities; it involves some reasoning (very simple) about $\displaystyle |\cdot|$. So you have to identify all such places and write the statements that you use, such as $\displaystyle |ab|=|a|\cdot|b|$.

Note: this is my interpretation of the problem. You may have recently studied concrete properties or theorems, to which you gave names, etc. Then maybe the professor wants you to identify those facts only. - Nov 19th 2009, 02:43 PMalexandros
Thank you.

I asked my professor and he said for the first step of the implication i.e

$\displaystyle ab\leq |ab|$ we use the theorem :

for all x : $\displaystyle -|x|\leq x\leq |x|$.

But how do we use that thyeorem to get :$\displaystyle ab\leq |ab|$?? - Nov 19th 2009, 02:55 PMFocus
- Nov 19th 2009, 02:55 PMPlato
- Nov 19th 2009, 03:38 PMxalk
- Nov 19th 2009, 04:16 PMPlato
- Nov 20th 2009, 11:39 AMalexandros
- Nov 20th 2009, 12:12 PMPlato
- Nov 20th 2009, 02:05 PMalexandros
Thank you ,first of all ,before we go any further, how do we know that this proof is correct

- Nov 20th 2009, 02:20 PMPlato
Well it certainly is fairly standard.

What it does is to prove the*triangle inequality*.

We start very basic properties of the distance function (the metric, the absolute value) and then using basic properties of order we prove the triangle inequality.

This basic form of the proof is used in a variety of different courses. - Nov 20th 2009, 02:22 PMDrexel28
- Nov 20th 2009, 03:03 PMxalk