İlk olarak x∈R için tanım gereği;
|x|=max{x,−x} olur;
i:−−−−−−−−−−−−−−−−−−−−−−−−−−−
|x|=max{x,−x} dolayısıyla |x| için 2 seçenekten 2si de negativ veya pozitiv olamaz ve biri pozitiv öbürü negativse , |x|≥0 çünki , pozitiv sayılar negativlerden "büyük"tür.
ii:−−−−−−−−−−−−−−−−−−−−−−−−−−−
x=0 için;
|x|=max{0,0} yani 0≤x≤0 dolayısıyla x=0
iii:−−−−−−−−−−−−−−−−−−−−−−−−−−−
Tanım gereği barizdir ,şöyle ki;
|x|=max{x,−x} ve |−x|=max{x,−x} eştir.
iv:−−−−−−−−−−−−−−−−−−−−−−−−−−−
Her x reel'i için öyle a pozitiv reel sayısını alalım ki ,
Negativ x reel sayıları için x=−a; olur dolayısıyla ;
|x|=max{a,−a}=a=−x
Pozitiv x reel sayıları için x=a; olur dolayısıyla;
|x|=max{a,−a}=a=x
v:−−−−−−−−−−−−−−−−−−−−−−−−−−−
2 sayının her 2si de negativ veya pozitivse zaten barizdir çünki;
a,b∈R+
ab=(−1)(−1)ab=(−1)a(−1)b=(−a)(−b)
iv özelliğinden dolayı , eğer xy negativse x veya y lerden biri negativdir,
ve gene iv özelliğinden dolayı |x| veya |y| lerden biri de −x veya −y olur.
Dolayısıyla, a∈R+ için |xy|=xy=a ve |x||y|=−xy=−(−a)=a olur. ◻
vi:−−−−−−−−−−−−−−−−−−−−−−−−−−−
İlk önce; x≥y ise −x≤−y oldugunu ispat edelim;
x≥y ise hertarafa −x−y ekleyelim;
x−x−y≥y−y−x→−y≥−x
Şimdi mutlak degerın tanımı gereği |y|≤x ise , x≥0 dır ve buna göre 2 ihtimalimiz var;
1. İhtimal y≥0 iken ;
|y|=y olur ve |y|=y≤x olur . ♣
2. İhtimal y<0 iken;
|y|=−y olur ve |y|=−y≤x ve yukardaki son ispata göre y≥−x dir; ♠
♠ ve ♣ birleşirse;
|y|≤x⇔−x≤y≤x . ◻
vii:−−−−−−−−−−−−−−−−−−−−−−−−−−−
Tanımdan dolayı;
|x|=max{x,−x}≥x;
ve aynı mantıkla veya vi'den dolayı;
−|x|=−max{x,−x}≤x
|x|≥x≥−|x|
viii:−−−−−−−−−−−−−−−−−−−−−−−−−−−
|x|=max{x,−x} olduğundan
|x|=max{x,−x}≥x
|x|=max{x,−x}≥−x→x≥−|x|
Birleştirirsek;
|x|≥x≥−|x| olur ve bir y için daha bunu yapalım;
|y|≥y≥−|y| , ve sıralı toplayalım;
|x|+|y|≥x+y≥−(|x|+|y|) bu da yukardaki bildiğimiz şeylerin 3.sünden dolayı;
||x|+|y||≥|x+y| , ||x|+|y|| bu herzaman zaten pozitivdir dolayısıyla;
⋆||x|+|y||≥|x+y|≡|x|+|y|≥|x+y| ◻
iv:−−−−−−−−−−−−−−−−−−−−−−−−−−−
viii'den dolayı
|x|=|x−y+y|≤|x−y|+|y|
|x|−|y|≤|x−y| ♣
ve dolayısıyla;
|y|−|x|≤|y−x|=|x−y| başka bir ifadeyle;
|x|−|y|≥−|x−y| olur. ♠;
♣ ve ♠ sonuçları birleşirse;
⋆⋆|x−y|≥|x|−|y|≥−|x−y|⇒|x−y|≥||x|−|y||
x:−−−−−−−−−−−−−−−−−−−−−−−−−−−
vi'deki genel ispattan x=y özelliğini çıkarırsak;
|y|≤x⇔−x≤y≤x durumu çıkar , y=u−a dersek;
|u−a|≤x⇔−x≤u−a≤x⇔a−x≤u≤a+x ◻