======Paritás====== **Definíció:** Az //f// függvényt **páros** [[függvények|függvény]]nek nevezzük, ha forall x in D_f: ~ -x in D_f wedge f(x)=f(-x). Az //páros// elnevezés a páros kitevős [[hatványsor]]okra vezethető vissza. ((Pontosabban arra tételre, hogy: T. Ha f páros/páratlan és létezik MacLaurin-sora (nulla-körüli Taylor-sora), akkor abban csak páros/páratlan fokú tagok fordulnak elő.)) Nevezetes páros függvények még: * x right x^{2n}, n in bbN^{+} * x right cos{x} * x right delim{|}{x}{|} **Következmény:** A páros függvények grafikonja az //y// tengelyre [[matematika:geometria:szimmetrikus]]. **Definíció:** Az //f// függvényt **páratlan** [[függvények|függvény]]nek nevezzük, ha forall x in D_f: ~ -x in D_f wedge -f(x)=f(-x). Az //páratlan// elnevezés a páratlan kitevős [[hatványsor]]okra vezethető vissza. Nevezetes páratlan függvények még: * x right x^{2n+1}, n in bbN * x right sin{x} * x right tg(x) * x right 1/x **Következmény:** A páratlan függvények grafikonja az origóra középpontosan [[matematika:geometria:szimmetrikus]]. =====Műveletek páros és páratlan függvényekkel===== **Állítás:** Ha //f// és //g// páros függvények és közös az értelmezési tartományuk, akkor //f+g//, //f-g//, //fg//, és ha //g//-nek nincs zérushelye, akkor //f/g// is páros függvény. Ha //f// és //g// páratlan függvények és közös az értelmezési tartományuk, akkor //f+g//, //f-g// páratlan, //fg// és ha //g//-nek nincs zérushelye, akkor //f/g// páros függvény. Ha //f// páros, //g// páratlan függvény és közös az értelmezési tartományuk, akkor //fg// és ha //g//-nek nincs zérushelye, akkor //f/g// páratlan függvény.