---

Step * of Lemma Cauchy-Schwarz-equality2

No Annotations
∀n:ℕ. ∀x,y:ℝ^n.  (¬(|x⋅y| < (||x|| * ||y||)) ⇐⇒ (r0 < ||y||) ⇒ (∃t:ℝ. req-vec(n;x;t*y)))
BY
{ Auto }

1
1. n : ℕ
2. x : ℝ^n
3. y : ℝ^n
4. ¬(|x⋅y| < (||x|| * ||y||))
5. r0 < ||y||
⊢ ∃t:ℝ. req-vec(n;x;t*y)

2
1. n : ℕ
2. x : ℝ^n
3. y : ℝ^n
4. (r0 < ||y||) ⇒ (∃t:ℝ. req-vec(n;x;t*y))
⊢ ¬(|x⋅y| < (||x|| * ||y||))

---

Latex:

---

Latex:
No  Annotations
\mforall{}n:\mBbbN{}.  \mforall{}x,y:\mBbbR{}\^{}n.    (\mneg{}(|x\mcdot{}y|  <  (||x||  *  ||y||))  \mLeftarrow{}{}\mRightarrow{}  (r0  <  ||y||)  {}\mRightarrow{}  (\mexists{}t:\mBbbR{}.  req-vec(n;x;t*y)))


By

---

Latex:
Auto

---

Home Index