| توابع زوج و فرد : |
فرض کنید f تابعی با دامنه با شد و برای هر آنگاه باشد(در اصطلاح دامنه تابع f متقارن باشد). در این صورت:
بقیه مطالب را می خواهی به ادامه مطلب برو فرض کنید f تابعی با دامنه با شد و برای هر آنگاه باشد(در اصطلاح دامنه تابع f متقارن باشد). در این صورت:
![]() و اگر شرط فوق برقرار نباشد در مورد زوج یا فرد بودن تابع بحث نمی شود.(چرا؟) به عنوان مثال تابع تابعی است نه زوج و نه فرد چرا که دامنه اش برابر است با که متقارن نمی باشد چون 1- عضو دامنه بوده ولی 1 عضو دامنه نمی باشد و شرط اولیه برای زوج یا فرد بودن تابع برقرار نمی باشد. به عنوان مثال تابع تابعی زوج است چرا که اولا وامنه اش مجموعه اعداد حقیقی بوده پس متقارن است و همچنین داریم:
![]() و همچنین تابع تابعی فرد است چرا که دامنه اش مجموعه اعداد حقیقی بوده و متقارن است و همچنین:
![]() تابع هم تابعی نه زوج و نه فرد است زیرا:(البته شرط اولیه یعنی متقارن بودن دامنه برقرار است) که در هیچ یک از شراط تابع زوج یا فرد صدق نمی کند.
زمانی نسبت به محور y ها متقارن است که با تبدیل x به x- تابع تغییری نکند. پس در چنین تابعی داریم: که این همان تعریف تابع زوج است. به عنوان مثال نمودار تابعی که در بالا زوج بودنش را نشان دادیم به این صورت است: مشاهده می کنید این تابع نسبت به محور Y ها متقارن است.
هنگامی نسبت به مبدا متقارن است که با تبدیل x به x- تابع از (f(x به (f(x- تغییر کند. پس در چنین تابعی داریم: که این همان تعریف تابع فرد است. به عنوان مثال نمودار تابعی که در بالا فرد بودنش را بررسی کردیم به این صورت است: مشاهده می شود این تابع نسبت به مبدا متقارن است. تابعی که هیچ یک از این ویژگی ها را نداشته باشد نه زوج و نه فرد است. به عنوان مثال نمودار های زیر نمونه ای از نمودار های توابع نه زوج و نه فرد است: از معروف ترین توابع نه زوج و نه فرد می توان به تابع هموگرافیک و تابع لگاریتم اشاره کرد.
اگر چنین تابعی موجود باشد خاصیت زوج بودن و فرد بودن را با هم دارد. فرض کنید تابع با دامنه دارای چنین خاصیتی باشد و داریم: ![]() ![]() حال با جمع کردن طرفین: ![]() پس تابع (محور Xها) تنها تابعی است که هم زوج و هم فرد است و نمودار آن به این صورت است: مشاهده می کنید که نمودار این تابع هم نسبت به مبدا مختصات و هم نسبت به محور Y ها متقارن است پس هم زوج و هم فرد است.
برهان: باید نشان دهیم: ![]() چون f و g دو تابع زوج هستند طبق فرض داریم: ![]() پس: ![]() لذا تابع fog زوج است به همین روش می توان نشان داد gof هم زوج است.
برهان: باید نشان دهیم: ![]() چون f و g دو تابع فرد هستند داریم: ![]() پس: ![]() لذا تابع fog تابعی فرد است. به همین روش می توان اثبات نمود gof هم تابعی فرد است.
برهان: فرض می کنیم f تابعی زوج دلخواه و g تابعی فرد دلخواه باشد. نشان می دهیم تابع حاصل از ترکیب این دو تابع تابعی فرد است. طبق فرض داریم: ![]() ابتدا نشان می دهیم تابع fog تابعی فرد است. ![]() پس fog تابعی زوج است. حال نشان می دهیم که gof هم زوج است. ![]() پس gof تابعی زوج است. لذا حکم برقرار است.
(البته در مورد تقسیم دو تابع باید در نظر داشت که حکم فوق همواره کلی نمی باشد و به دامنه مخرج بستگی دارد، چرا که ممکن است شرط متقارن بودن تابع حاصل از تقسیم برقرار نباشد.) برهان: برای نمونه یک حالت زوج بودن را اثبات می کنیم. سایر حالات به طریقی مشابه اثبات می شوند. چون f و g دو تابع زوج هستند داریم:
![]() پس: ![]() لذا تابع f+g تابعی زوج است.
(البته در مورد تقسیم دو تابع باید در نظر داشت که حکم فوق همواره کلی نمی باشد و به دامنه مخرج بستگی دارد، چرا که ممکن است شرط متقارن بودن تابع حاصل از تقسیم برقرار نباشد.) برهان: ابتدا نشان می دهیم تابعی فرد است. چون دو تابع f و g توابعی فرد هستند داریم:
![]() پس: ![]() ![]() لذا دو تابع مذکور فرد می باشند. حال نشان می دهیم دو تابع زوج می باشند. ![]() ![]() (اثبات فوق در باره تقسیم دو تابع با فرض مساعد بودن دامنه f/g برای زوج و فرد بودن نوشته شده است) پس دو تابع مذکور زوج می باشند.
برهان: ابتدا به بررسی تابع پردازیم. چون f زوج و g فرد است داریم:
![]() پس: ![]() ![]() پس دو تابع فوق در شرایط تابع زوج یا فرد صدق نمی کنند لذا نه زوج و نه فرد هستند. حال نشان می دهیم در تابع فرد هستند: ![]() ![]() (اثبات فوق در باره تقسیم دو تابع با فرض مساعد بودن دامنه f/g برای زوج و فرد بودن نوشته شده است) پس دو تابع فوق فرد می باشند. |