לוח מובילים

i vote, therefore i am

צומי

:protest:

הדרך האחרת (אני מניח שהשפה היא בת מניה, אם אתה לא מכיר את הלמה של צורן סביר להניח שזה לא אומר לך הרבה ואתם מניחים את זה בלי לציין זאת). תהא: {A_i} קבוצת כל הפסוקים. נגדיר באינדוקציה את: S_n, בצורה הבאה: S_0 זה בעצם S שנתונה לך. כעת נניח שהגדרנו את: S_i נגדיר את S_(i+1) d בצורה הבאה: 1) אם S_i איחוד עם A_i זו קבוצה ספיקה אזי: S_(i+1 ) d תהיה S_i איחוד עם {A_i}. 2) אחרת: S_i+1=S_i. כעת נגדיר: S'= איחוד על כל ה- S_n. לפי הגדרה מתקיים ש: S' מכילה את S, נשאר לך להוכיח שני דברים: 1) S' ספיקה (זה נובע מהבניה שלנו של ה- S_n , מספיק להראות שכל אחד מהם ספיק ואת זה קל לעשות באינדוקציה) 2) S' מקסימלית (תוכיח משהו יותר חזק: לכל פסוק A מתקיים או ש: A שייך ל-S' או ש: ~A שייך ל-S' , כמובן שאם S' מקיימת את זה אז היא מקסימלית) זו כמובן סקיצה של ההוכחה וצריך לרשום את זה מסודר ובפירוט, אם משהו לא מובן אשמח לעזור.

נניח שחלק מהנחש באורך http://www.codecogs.com/gif.latex?x (מתוך http://www.codecogs.com/gif.latex?L) כבר נמצא באוויר. מה התנע שלו? התנע יהיה מסה יחסית של הנחש שכבר נמצאת באוויר כפול מהירות הנחש: http://www.codecogs.com/gif.latex?p=%5Cfrac%7Bmx%7D%20%7BL%7Dv מה זה האורך של הנחש שכבר נמצא באוויר? זה מהירות הנחש כפול זמן: http://www.codecogs.com/gif.latex?x=vt ומקבלים: http://www.codecogs.com/gif.latex?p=%5Cfrac%7Bmv%5E2t%7D%20%7BL%7D מה מראה המשקל? המשקל מראה כוח שמפעיל נחש עליו, כלומר המשקל של הנחש עצמו ועוד תוספת בגלל שהנחש עולה ודוחף את המשקל: http://www.codecogs.com/gif.latex?F=mg+F_%7Bup%7D=mg+%5Cfrac%7Bdp%7D%20%7Bdt%7D=mg+%5Cfrac%7Bmv%5E2%7D%20%7BL%7D=m%20%5Cleft(g+%20%5Cfrac%7Bv%5E2%7D%20%7BL%7D%20%5Cright) כמו שרואים, המשקל שמפעיל נחש לא תלוי בזמן, כל עוד http://www.codecogs.com/gif.latex?0%20%5Cle%20t%20%5Cle%20%5Cfrac%7BL%7D%20%7Bv%7D.