---

Step * 1 of Lemma q-triangle-inequality2


1. x : ℚ
2. y : ℚ
3. z : ℚ
4. |(x - y) + (y - z)| ≤ (|x - y| + |y - z|)
⊢ |x - z| ≤ (|x - y| + |y - z|)
BY
{ ((QNorm (-1)) THENA Auto) }

1
1. x : ℚ
2. y : ℚ
3. z : ℚ
4. |x + -(z)| ≤ (|x + -(y)| + |y + -(z)|)
⊢ |x - z| ≤ (|x - y| + |y - z|)

---

Latex:

---

Latex:

1.  x  :  \mBbbQ{}
2.  y  :  \mBbbQ{}
3.  z  :  \mBbbQ{}
4.  |(x  -  y)  +  (y  -  z)|  \mleq{}  (|x  -  y|  +  |y  -  z|)
\mvdash{}  |x  -  z|  \mleq{}  (|x  -  y|  +  |y  -  z|)


By

---

Latex:
((QNorm  (-1))  THENA  Auto)

---

Home Index