تعریف تابع : مجموعه ای از زوجهای مرتب است که مولفه های اول آن برابر نباشد .
نکته : در صورتی که مولفه اول برابر باشد ، باید مولفه دوم هم برابر باشد .
مثال تابع با مولفه غیر برابر: {(2,5),(3,8),(6,9)} تابع است چون مولفه های اول آن 6 و 3 و 2 برابر هم نیستند ، پس لازم نیست که موبفه های دوم هم یکی باشد .
مثال غیر تابع : {(1,2),(5,3),(5,1)} تابع نیست چون مولفه اول در پرانتز دوم و سوم که 5 است برابر است و مولفه دوم آنها یعنی 1 و 3 مساوی نیستند .
مثال تابع با مولفه برابر : {(2,8),(3,5),(3,5)} انجا هم تابع است چون مولفه اول در پرانتز های دوم و سوم یکی و مولفه دوم آنها نیز یکی است .
پس اگر مولفه اول یکی باشد باید مولفه های دوم برابر باشند . x=y
طبق این اثبات یک مرد نمی تواند دو زن بگیرد مگر آنکه واقعا بتواند تساوی را بین آنها رعایت کند . مثال :
{(علی,لیلا),(حسین,مریم),(علی,اکرم)}
در اینجا چون مولفه اول در پرانتز اول و سوم یکی است یعنی علی ، پس باید اکرم و لیلا مساوی باشند . یعنی تمام حقوق اکرم و لیلا مساوی باشد .
پس بدین ترتیب از طریق ریاضی این حدیث پیامبر که هیچک از شما بیش از یک زن نمی گیرد مگر آنکه تساوی را بین آنها رعایت کند .
اگر کسی نظری بر خلاف این داره تو نظرات بنویسه . راستی این اثبات رو پسر داییم تو کاشان اثبات کرده . دمش گرم .
یکی از دوستان چند وقت پیش رفته بود خواستگاری . از دختره پرسیده بود که هدفت از ازدواج چیه ؟ دختره گفته بود : بابام میگه ، اگه ازدواج کنی زندگیت هدفمند میشه !
کلی خندیدیم .گفتم بد نیست شما هم یه خورده بخندید .
دیروز تو رستوران دختری تو تلفن گفت التماس دعا . پسره که کنارش نشسته بود گفت این حرفا چیه که می زنی ؟
نامش محمد بود ولی محمد (ص) را قبول نداشت .
وفاتش تسلیت.
وارد اتاق می شوم ، پسرک موبوری را می بینم که تنها نشسته و به نوای غم انگیزی که از اسپیکرهای لپ تاپش حارج می شود ، گوش می دهد .
«ای ساربان ، ای کاروان ، لیلای من کجا می بری»
احساس می کنم پسرک عاشق است ، ولی آنطور که دیده ام و شنیده ام ، عشق بی تاب می کند . پسرک آرام است . پردازنده دوهسته ای شرکت «دل» با همکاری رم قطعه ای را از هارد کامپیوتر پخش می کند .
«با بردن لیلای من جان و دل مرا می بری»
پسرک نمی تواند آرام باشد . فرار را به قرار ترجیح می دهد . لعنت به «دل» که «دل» واسه آدم نمی ذاره . لعنت به «چت» که «چت» می کندمون .
بر عقل من که د چشمت ببرد لعنتم نثار