אני מצליח להוכיח שזה נכון כאשר y2 זהותית שווה לאפס או y2 שונה מאפס בכל הקטע. אבל אם y2 מתאפסת רק בנק' אחת אני לא מצליח. האם נכון להניח כי y1 ו-y2 הן פתרונות של מד"ר (אחרת אני לא מוצא דרך לפתור את השאלה)
: אין צורך להניח את זה --[[משתמש:Michael|Michael]] 10:30, 20 בנובמבר 2012 (IST)
:: האם ניתן להניח ש-y1,y2 שתיהן חיוביות (ליתר דיוק, שאינן מחליפות סימן) בכל הקטע? כי אם לא ואכן y2 תלויה ב-y1 אז היא כפולה שלה, ולכן גם היא לא יכולה להתאפס (כי אם היא מתאפסת בנקודה אז קבוע הפרופורציה גם חייב יהיה להתאפס).
:: האם הכוונה ש-y1 אינה זהותית אפס? כי אז אפשר להפריך ע"י <math>|x|^3</math> ו-<math>x^3</math> למשל בקטע <math>(-1,1)</math>.