Proving even and odd functions

  • Context: High School 
  • Thread starter Thread starter darthxepher
  • Start date Start date
  • Tags Tags
    even Functions
Click For Summary

Discussion Overview

The discussion revolves around the algebraic proof of even and odd functions, focusing on definitions and the nature of proofs in mathematics. Participants explore how to establish the properties of even and odd functions without relying solely on examples, particularly in the context of trigonometric functions.

Discussion Character

  • Exploratory
  • Debate/contested
  • Mathematical reasoning

Main Points Raised

  • One participant requests a formal proof of even and odd functions rather than examples.
  • Another participant emphasizes the need for definitions of even and odd functions, stating that a function is even if f(-x) = f(x) and odd if f(-x) = -f(x).
  • Some participants question whether using definitions constitutes a proof, with differing opinions on what constitutes a valid proof.
  • There is a suggestion to start with specific functions to test for evenness and oddness based on definitions.
  • Discussion includes the idea that axioms can be used to derive properties of functions, with a focus on the absolute value function as a potential example.
  • Participants discuss the implications of definitions such as "reflection in the y-axis" and "symmetry about the origin" in relation to even and odd functions.

Areas of Agreement / Disagreement

Participants do not reach a consensus on the necessity of a formal proof versus the sufficiency of definitions. There are competing views on what constitutes a proof and how to approach the concept of even and odd functions.

Contextual Notes

Participants highlight the importance of precise definitions in mathematics and the potential limitations of using informal reasoning. The discussion reflects varying interpretations of mathematical proof and its requirements.

Who May Find This Useful

This discussion may be useful for students and educators in mathematics, particularly those interested in the foundational concepts of function properties and the nature of mathematical proofs.

darthxepher
Messages
56
Reaction score
0
Can someone prove even and odd functions for me not through examples but by actually proving them?

Thanks
 
Mathematics news on Phys.org
Well how do you define even and how do you define odd functions?
 
DEFINITION. A function f is even if the graph of f is symmetric with respect to the y-axis. Algebraically, f is even if and only if f(-x) = f(x) for all x in the domain of f.

A function f is odd if the graph of f is symmetric with respect to the origin. Algebraically, f is odd if and only if f(-x) = -f(x) for all x in the domain of f

I need an algebraic proof using angles and algebra... its for my trig class.
 
Angles and algebra? Why don't you do it by plugging -x in? Like you said if f(-x) = f(x) then f is even if f(-x) = -f(x) then f is odd. Where are you getting lost?
 
Is that a proof though?
 
Yes... you are taking a definition and using it. What's a proof in your opinion?
 
You are defining even and odd functions to have those properties. There is no need for a proof.
 
IS there a way to prove an even and odd function?
 
How can you prove in general what an even or odd function is? First you have to define what you mean by that, but once you do that, there is no need for a proof.
 
  • #10
darthxepher said:
Can someone prove even and odd functions for me not through examples but by actually proving them?

Thanks

Start with a specific function and test it for identity of evenness and oddness according to the definition for even and odd functions.
 
  • #11
I'm not sure you understand what a proof is. You have a bunch of axioms, and you use those to arrive from part A to part B. Your axiom is what an even and what an odd function are. Using them, you show that some functions are even, some are odd, some are neither.
 
  • #12
so could an axiom be f(x)=|x|?
 
  • #13
What axiom would that be? If you are trying to DEFINE an absolute value function then you can say, f(x) = |x| means f(x) = x for x >= 0 and -x for x <= 0
 
  • #14
darthxepher said:
so could an axiom be f(x)=|x|?

USE the Definitions of EVEN functions and ODD functions. Does one statement or the other become an identity?

Check:
|-x|=|x|

Check:
|-x|=-|x|

It one of those or both of those or neither of those true? What is the meaning?
 
  • #15
What about proving that if an even function by definition being f(x)=f(-x) is a reflection in the y-axis and an odd function defined as f(-x)=-f(x) has symmetry about the origin?
 
  • #16
Then you have to start with definitions of "reflection in the y-axis" and "symmetry about the origin"! It should be obvious that you can't prove anything about "X" if you don't know what "X" means and, further, math definitions are "working definitions"- you use the precise words of the definitions themselves in working with the concepts.

The reflection of (x,y) in the y-axis is the point (-x, y). If f is an even function and y= f(x), what are (x, y) and (-x, y) in terms of the graph of f? Are they both on the graph?

The point "symmetric" to (x, y) in the origin is (-x, -y). If f is an odd function and y= f(x), what are (x, y) and (-x, -y) in terms of the graph of f? Are they both on the graph?
 

Similar threads

  • · Replies 10 ·
Replies
10
Views
3K
  • · Replies 28 ·
Replies
28
Views
7K
  • · Replies 28 ·
Replies
28
Views
5K
  • · Replies 8 ·
Replies
8
Views
3K
  • · Replies 1 ·
Replies
1
Views
2K
  • · Replies 9 ·
Replies
9
Views
2K
  • · Replies 10 ·
Replies
10
Views
2K
  • · Replies 20 ·
Replies
20
Views
4K
  • · Replies 17 ·
Replies
17
Views
2K
  • · Replies 8 ·
Replies
8
Views
3K