---

Step * 1 of Lemma ip-weak-triangle-inequality


1. rv : InnerProductSpace
2. a : Point
3. b : Point
4. x : Point
5. p : Point
6. ||a - x|| = ||a - b||
7. a_x_p
8. ||a - p|| = (||a - x|| + ||x - p||)
9. ||x - p|| ≤ ||b - p||
⊢ bp ≥ xp
BY
{ EAuto 1 }

---

Latex:

---

Latex:

1.  rv  :  InnerProductSpace
2.  a  :  Point
3.  b  :  Point
4.  x  :  Point
5.  p  :  Point
6.  ||a  -  x||  =  ||a  -  b||
7.  a\_x\_p
8.  ||a  -  p||  =  (||a  -  x||  +  ||x  -  p||)
9.  ||x  -  p||  \mleq{}  ||b  -  p||
\mvdash{}  bp  \mgeq{}  xp


By

---

Latex:
EAuto  1

---

Home Index