---

Step * of Lemma ip-triangle-symmetry

∀rv:InnerProductSpace. ∀a,b,c:Point.  (Δ(a;b;c) ⇒ Δ(c;b;a))
BY
{ (Auto THEN ParallelLast) }

1
1. rv : InnerProductSpace
2. a : Point
3. b : Point
4. c : Point
5. |a - b ⋅ c - b| < (||a - b|| * ||c - b||)
⊢ |c - b ⋅ a - b| < (||c - b|| * ||a - b||)

---

Latex:

---

Latex:
\mforall{}rv:InnerProductSpace.  \mforall{}a,b,c:Point.    (\mDelta{}(a;b;c)  {}\mRightarrow{}  \mDelta{}(c;b;a))


By

---

Latex:
(Auto  THEN  ParallelLast)

---

Home Index