ক) (|a|+|b|)² = |a|² + 2|a||b|+|b|²
= a² + 2|ab|+b²[∴|a|² = a²,|b|² = b²,|a||b| = |ab|]
⇒ (|a|+|b|² ≥ a² + 2ab + b²[∴|ab| ≥ ab])
⇒ (|a|+|b|² ≥ a² + 2ab + b²[∴|ab| ≥ ab])
(দেখানো হলো)
খ) দেওয়া আছে, aɞ Ǫ
b∈R\Ǫ
ধরি, a + b∈Ǫ
বিপরীতকের অস্তিত্বশীলতার স্বীকার্য থেকে সকল a∈Ǫ এর জন্য একটি মাত্র a∈Ǫ পাওয়া যাবে যার জন্য a + (−a) = 0 হবে।
∴(−a) + (a + b) = (−a + a) + b [সংযোজন যোগ্যতা]
= 0 + b = b∈Ǫ
কিন্তুb∈R\Ǫ [দেওয়া আছে]
∴a + b∉Ǫ
∴a + b∈R\Ǫ (প্রমাণিত)
গ) দেওয়া আছে, ∈Ǫ এবং b∈R−Ǫ
তাহলে, বিপরীতকের অস্তিত্বশীলতার স্বীকার্য থেকে, সকল a∈ Ǫ এবং a ≠ 0 এর জন্য একটি মাত্রa⁻¹∈Ǫ পাওয়া যাবে। যার জন্য a⁻¹a = 1 হবে।
ধরি,ab∈Ǫ তাহলে a⁻¹(ab) = (a⁻¹a)b = 1.b = b∈Ǫ
কিন্তু b∈R\Ǫ [দেওয়া আছে]
∴ab∉Ǫ
∴ab∈R\Ǫ (দেখানো হলো)