שינויים
/* משפט */
===משפט===
<math>v_1,...,v_n\in V</math> ת"ל אם"ם אחד מהוקטורים הינו צירוף לינארי של האחרים
====הוכחה====
הוקטורים ת"ל אם"ם קיימים סקלרים כך ש <math>a_1v_1+...+a_nv_n=0</math>, ולפחות אחד מבין הסקלרים שונה מאפס. נניח '''ב.ה.כ.''' (בלי הגבלת הכלליות) ש <math>a_1\neq 0</math>. לכן <math>v_1=-\frac{a_2v_2+...+a_nv_n}{a_1}</math> ולכן <math>v_1=\frac{-a_2}{a_1}v_2+...+\frac{-a_n}{a_1}v_n</math>. הכיוון ההפוך עובד גם הוא (נעביר אגף ונקבל צירוף לינארי לא טריוויאלי שמתאפס שכן המקדם של <math>v_1</math> הינו אחד ולכן שונה מאפס).
'''שימו לב''' שיצא לנו שהוקטור הראשון תמיד צ"ל של האחרים, כמובן שזה לא נכון. זה נובע רק מטיעון ב.ה.כ שלנו, קל למצוא דוגמאות בהן הוקטור הראשון אינו צ"ל של האחרים. ממשפט זה קל לנו לראות שהצלחנו בהגדרה שלנו לתלות. שכן : '''מסקנה:''' אם <math>v_1</math> הינו צירוף לינארי של האחרים ניתן להסיר אותו במובן הבא: <math>span\{v_1,...,v_n\}=span\{v_2,...,v_n\}</math>.
===תרגיל - הקשר בין צירוף לינארי לבין פתרון מערכת משוואות לינאריות===