Math stuff that hasn't been proven

  • Thread starter micromass
  • Start date
In summary, the conversation discusses the frustration of not having proofs or explanations for mathematical concepts taught in elementary and high school. The speakers mention specific examples, such as the uniqueness of prime factorization, the quadratic formula, and the use of the normal distribution in statistics. They also discuss the importance of proofs and rigorous understanding in mathematics, and the speaker shares their approach as a math tutor to prove as much as possible.
  • #36
micromass said:
In elementary school or high school, we often use stuff that has never actually been proven (in that class). For example

- Pythagoras' theorem.
- Addition of natural numbers is associative.
- Every number can be uniquely (up to order) decomposed in prime factors.

Accepting such a things really annoyed me, I would always ask why something is true. The answer that most teachers gave me was "can you find an example where it doesn't work," sigh. I had to wait until university to actually see a proof for such a things...

So, were you ever annoyed that something wasn't proven in school?? And what would have liked to see a proof/reason of??
I'd like to see a proof for the 2nd and 3rd. They're just true, there is no proof other than: It's true, by definition. Can you even imagine what terrible effect that would have on a high school student asking why? They wouldn't get it, and would likely be offended by its resemblance to how parents tell their kids "just because" when they don't feel like explaining something.

I once had a high school algebra teacher who thought .999... != 1. I would have appreciated a proof of that. :biggrin:

Since we're basically looking back on elementary math with higher math prospective, I think this is related. I really wish my teachers would have taken the time to explain how the associative/commutative/identity/etc. properties of the arithmetic operators are generalized in higher math. The aforementioned teacher started down that road when I asked him why those properties are useful (other than their blatantly obvious application to elementary algebra). But, when I asked him what a set is, he gave up. (Which is rather annoying to think of now. How hard would have been to just say: "a collection of objects/stuff"?)
 
Mathematics news on Phys.org
  • #37
micromass said:
In elementary school or high school, we often use stuff that has never actually been proven (in that class). For example

- Pythagoras' theorem.
- Addition of natural numbers is associative.
- Every number can be uniquely (up to order) decomposed in prime factors.

Accepting such a things really annoyed me, I would always ask why something is true. The answer that most teachers gave me was "can you find an example where it doesn't work," sigh. I had to wait until university to actually see a proof for such a things...

So, were you ever annoyed that something wasn't proven in school?? And what would have liked to see a proof/reason of??

Not really, but I always felt I didn't understand something well if I didn't have at least an intuition of how to deduce some math stuff. What annoyed me were some formulas that we used in physics without deducing them, but that doesn't annoy me anymore, because, who cares? :smile:
 
  • #38
dalcde said:
I'm not saying that you can't learn about logarithms. Looking at that definition, you won't even know that it is a logarithm. Why not define it as a logarithm with base e?
I did define it to be the logarithm to the base e. :wink:



This process of coming up with the rigorous definition for transcendental functions usually comes after you have already learned the basic facts -- in particular I already know the equation [itex]\log x = \int_1^x dt/t[/itex].

But, even if I was learning about transcendental functions for the first time, all of the basic properties of [itex]\log[/itex], [itex]\exp[/itex], and real exponentiation will be presented around the same time. Pedagogically, choosing one of a myriad of facts to be given the title of "definition" (if any are chosen at all) should be done to simplify the exposition. (unless, of course, you're writing for an audience that reads far too much into the word "definition")


Anyways, to define [itex]\log(x)[/itex] as the inverse of [itex]\exp(x)[/itex] requires you to define [itex]\exp(x)[/itex]. To define it as the inverse of [itex]e^x[/itex] requires you to define [itex]e[/itex] and to define [itex]x^y[/itex].
 
  • #39
Any discussion regarding whether log(x) should be defined as the integral of 1/x or as the inverse function of e^x is pure preference-but a preference based on what? I can't tell.
 
  • #40
disregardthat said:
Any discussion regarding whether log(x) should be defined as the integral of 1/x or as the inverse function of e^x is pure preference-but a preference based on what? I can't tell.
The one I'm familiar with is sheer simplicity, as I already mentioned.

If we're operating at this level of rigor and technical detail, then there are five things we need to do:
  • Define [itex]\log(x)[/itex]
  • Define [itex]\exp(x)[/itex]
  • Define [itex]e[/itex]
  • Define [itex]x^y[/itex]
  • Derive all of the usual identities satisfied by these three operations

By far the simplest programme I know of is to start with [itex]\log(x) = \int_1^x dt/t[/itex], use change-of-variable to derive [itex]\log(xy) = \log(x) + \log(y)[/itex], define [itex]\exp = \log^{-1}[/itex], [itex]e = \exp(1)[/itex], [itex]x^y = \exp(y \log(x))[/itex], and then uses these to derive everything else.

What are the alternatives? I've mentioned the starting points of the main ones I recall. Do you need to see the sketch of how I recall that they proceed?
 
  • #41
Another one (using our knowledge of absolutely converging power series) is to define exp(x) = 1+x+x^2/2 + ..., and define e = exp(1). It is simple algebra + binomial theorem to show that exp(x)exp(y) = exp(x+y). From here it is obvious that exp is positive and increasing, and we can define log = exp^-1, and it follows easily that log(xy) = log(x) + log(y).

At last we define x^y = exp(ylog(x)) for positive x.

(Note that showing that exp(x) = exp(1)^x never came into question here (showing that this coincides with x^n for integer n is trivial)).

It also follows easily from the definition that exp(x)' = exp(x).

EDIT: I can see you have mentioned this before.
 
Last edited:
  • #42
micromass said:
Yes, but why is the ratio a constant?? That seems nontrivial to me...
I remember asking this question in my high school geometry course and was told “what makes you think it wouldn’t be?”
 
  • #43
pi can be calculated for a circle of radius r, and finding it's a constant independent of r answers the question.
 
  • #44
TylerH said:
I'd like to see a proof for the 2nd.



The abstract way that I've learned in class is:

First show that [itex](N, s(n), 1)[/itex] to be a Peano space.

By the Recursion Theorem we can define for each [itex]m\in N[/itex] the function [itex]f_m : N\to N[/itex] as follows: [itex]f_m (1)=s(m)[/itex], and [itex]f_m (s(n))=s(f_m(n)),\, \forall n\in N[/itex]. We then define a binary operation on N, which we call [itex]addition[/itex] and denote by "[itex]+[/itex]". For each [itex](m,n)\in P\times P[/itex], we define [itex]m+n[/itex] to be [itex]f_m (n)[/itex]. We also call [itex]m+n[/itex] the [itex]sum[/itex] of [itex]m[/itex] and [itex]n[/itex].

Note we have then: [itex]f_m (1)=s(m)=m+1[/itex] and [itex]m+(n+1)=f_m (s(n))=s(f_m (n))=(f_m (n))+1=(m+n)+1[/itex]

(We're almost there)

Claim: [itex]k+(m+n)=(k+m)+n,\,\,\forall k,m,n\in N[/itex] (Associativity of Addition)

[itex]Proof.[/itex] We will use induction on [itex]n[/itex]. Let [itex]P(n):=k+(m+n)=(k+m)+n[/itex]. [itex]P(1)[/itex] is true by definition. So suppose [itex]P(n)[/itex] is true, we must show [itex]P(n)\implies P(n+1)[/itex].

So:
[itex]
k+[m+(n+1)]=k+[(m+n)+1]=[k+(m+n)]+1=[(k+m)+n]+1=(k+m)+(n+1).
[/itex]

Where the first, second, and fourth equality are by definition, and the third is the inductive step.
-----

By showing [itex]N[/itex] to be a Peano space, you can prove that induction 'works' on it, and can therefore show the operation of addition to be associative [itex]\forall n\in N[/itex] by the previous proof.

Obviously this way is too abstract and complicated for elementary or high school. So the most intuitive way would be to just explain what induction is and use it.

EDIT: Definition of a Peano space can be found https://www.physicsforums.com/showthread.php?t=518053", (within PF). The proof that there exist's a Peano space can be typed up if anyone is interested, as well as how [itex](N, s(n)=n+1, 1)[/itex] is a Peano space; which would be sufficient to hold the background to these definitions and claim.

References: https://www.amazon.com/dp/0763727334/?tag=pfamazon01-20
 
Last edited by a moderator:
  • #45
If all we are after is some intuition (nothing rigorous) behind the definition

[tex] e = \lim_{x\to \infty} \left( 1 + \frac{1}{x}\right)^x,[/tex]

here's a nice little argument...

Our goal and motivation: find a base [itex] a[/itex] such that [itex] d/dx (a^x) = a^x.[/itex]

From the definition, we have

[tex] a^x = \lim_{h\to 0} \frac{ a^{x+h} - a^x}{h}.[/tex]

We'll let x=1, so

[tex] a = \lim_{h\to 0} \frac{ a^{1+h} - a}{h}.[/tex]

For small h,

[tex] a \approx \frac{ a^{1+h} - a}{h},[/tex]

or

[tex] a^{1+h} \approx a(1+h).[/tex]

But this simplifies to

[tex] a \approx (1+h)^{1/h}.[/tex]

This approximation becomes more and more accurate as h goes to zero. Equivalently, put h=1/x and send x to infinity. We get

[tex] a = \lim_{x\to \infty} \left(1+\frac{1}{x}\right)^x.[/tex]

Put e=a. I would have liked to have seen something like this when I was first learning calculus with the promise that it'll all be made more rigorous later on.
 
Last edited:
  • #46
The problem with this kind of argument is that a^(1+h) is approximately equal to a(1+2h) for small h as well.
 
  • #47
It's not meant to be an ironclad argument. Of course you can poke holes in it. But you're missing the point. If a Calc 1 student points at the definition and asks, "Why?," you could show them this. If they ask a lot of questions, then it's a good segue into discussing their future enrollment in your university's analysis course. :smile:
 
  • #48
I thought that was pretty awesome, stringy.
 
  • #49
Thank you, but I can't take credit for it. I got that out of a GRE study guide. It was the same guide that started with things like basic analytic geometry, trig identities, and logarithms...and ended with stuff like Lebesgue measure, point-set topology, and group theory. Evidently I remember more from the first half than I do the second. Lol!
 
  • #50
disregardthat said:
pi can be calculated for a circle of radius r, and finding it's a constant independent of r answers the question.

No, it doesn't. The only way to "calculate" pi from a circle is to actually measure the circumference and divide by the diameter. Doing that for any number of circles and finding that you always get the same thing does NOT show that is true for all circles.
 
  • #51
HallsofIvy said:
No, it doesn't. The only way to "calculate" pi from a circle is to actually measure the circumference and divide by the diameter. Doing that for any number of circles and finding that you always get the same thing does NOT show that is true for all circles.

What are you talking about? What do you mean by "actually measure"?

Surely we can calculate (mathematically) the circumference by means of mathematical methods for a circle with radius r, must I show it to you?

A circle is, by the way, in this regard, a mathematical object.
 
  • #52
I also find HallsofIvy's complaint a bit strange, but I have one of my own. Edit: Not anymore. See the next few posts after this one.

I would define the length of a differentiable curve [itex]C:[a,b]\rightarrow\mathbb R^2[/itex] as [tex]L(C)=\int_a^b\sqrt{C_1'(t)^2+C_2'(t)}\, dt.[/tex] A circle around (a,b) with radius r is the range of the curve C defined by \begin{align}
x(t) &=a+r\cos t\\
y(t) &=b+r\sin t\\
C(t) &=(x(t),y(t))
\end{align} for all [itex]t\in[0,2\pi)[/itex]. So the circumference of that circle is [tex]L(C)=\int_0^{2\pi}\sqrt{x'(t)^2+y'(t)^2}\, dt=r\int_0^{2\pi}dt=2\pi r[/tex] Yes, we can see that [itex]L(C)/2r[/itex] is independent of a,b and r, but the argument looks circular. You might be able to fix it, but I don't immediately see how.
 
Last edited:
  • #53
Your argument depends on cosine, sine, and pi, whose definitions should not be readily used.

A simple fix is using [itex]y(x) = \sqrt{r^2 - x^2}[/itex]
[tex]L(C) = \int_{-r}^{+r} \sqrt{1 + y'(x)^2} dx[/tex]

This integral measures half the circumference of a circle.
Calculate it and you will find [itex]\pi r[/itex].
 
  • #54
Fredrik said:
but the argument looks circular

I see what you did there
 
  • #55
I like Serena said:
A simple fix is using [itex]y(x) = \sqrt{r^2 - x^2}[/itex]
Cool. That approach looks correct and non-circular. \begin{align}
x(t) &=a+t\\
y(t) &=b+\sqrt{r^2-(x(t)-a)^2}=b+\sqrt{r^2-t^2}
\end{align} We want to show that L(C)/2r is independent of a,b and r.
\begin{align}
\frac{L(C)}{2r} &= \frac{1}{r}\int_{-r}^{r}\sqrt{x'(t)^2+y'(t)^2}\,dt =\frac{1}{r}\int_{-r}^{r}\sqrt{1+\frac{t^2}{r^2-t^2}}\,dt =\frac{1}{r}\int_{-r}^{r}\sqrt{\frac{r^2}{r^2-t^2}}\,dt \\
&=\frac{1}{r}\int_{-r}^{r}\frac{1}{\sqrt{1-\frac{t^2}{r^2}}}\,dt =\left[\text{Variable change: }s=\frac{t}{r}\right] = \int_{-1}^1\frac{1}{\sqrt{1-s^2}} ds
\end{align}That last integral is clearly independent of a,b and r, and Wolfram alpha says that it's equal to [itex]\pi[/itex].
 
  • #56
Yes, but to calculate that last integral, we need cosines, sines and pi again. But we need to be careful to use these concepts here.
 
  • #57
We don't need to do the calculation. We just need to see that it's independent of a,b and r.
 
  • #58
Hmm, I think you need to add "a" in the limits of the integrals.
Otherwise that looks correct. :smile:
 
Last edited:
  • #59
So would you just define [itex]\pi = \int_{-1}^1 \frac{1}{\sqrt{1-s^2}} ds[/itex] with [itex]s=\frac{t}{r} [/itex] and leave the approximation to someone else?
 
  • #60
micromass said:
Yes, but to calculate that last integral, we need cosines, sines and pi again. But we need to be careful to use these concepts here.

Noooo. :wink:
If you want you can define a special function called micromass(x) that happens to be the result of that integral (and that happens to work out to pi).

Oh, and not entirely by coincidence micromass(x) = arcsin(x).

So we found in a mathematically sound argument a definition for arcsin, as well as for pi! Yay! :smile:
 
  • #61
I like Serena said:
Noooo. :wink:
If you want you can define a special function called micromass(x) that happens to be the result of that integral (and that happens to work out to pi).

Oh, and not entirely by coincidence micromass(x) = arcsin(x).

So we found in a mathematically sound argument a definition for arcsin, as well as for pi! Yay! :smile:

Yes, but how do you know that that integral even exists?? :biggrin:

Math people are annoying, I know.
 
  • #62
If you show [itex]\frac{1}{\sqrt{1-x^2}}[/itex] to be continuous between ]-1,1[, then its Riemann integrable. Would that work? Then just do the improper integral as [itex]x\to 1[/itex].

And it is continuous, so the improper integral should exist. I think at least, I could very well be wrong.
 
  • #63
Fredrik said:
We don't need to do the calculation. We just need to see that it's independent of a,b and r.
No, you first have to show that integral exists- and it is an improper integral so that is non-trivial.
 
  • #64
micromass said:
Yes, but how do you know that that integral even exists?? :biggrin:

Math people are annoying, I know.

Ah, are you really forcing me to brush off my rusty integral theorems?
Reminds me of a glass bead necklace! :biggrin:

What about:
"A function on a compact interval [a,b] is Riemann integrable if and only if it is bounded and continuous almost everywhere (the set of its points of discontinuity has measure zero, in the sense of Lebesgue measure). "

And if you really want, we can adjust the boundaries of the integral to [itex]\pm \frac 1 2 \sqrt 2[/itex] to eliminate the singularities.
 
Last edited:
  • #65
micromass said:
- Every number can be uniquely (up to order) decomposed in prime factors.

It's my impression that this is a matter of definition rather than proof: we've co-defined "prime numbers" along with this axiom in the same sense that we co-define the speed of light and the length of a meter.

That is, they are understood together.
 
  • #66
KingNothing said:
It's my impression that this is a matter of definition rather than proof: we've co-defined "prime numbers" along with this axiom in the same sense that we co-define the speed of light and the length of a meter.

That is, they are understood together.

To my knowledge, the fundamental theorem of arithmetic isn't taken as an axiom and infact has a proof found http://en.wikipedia.org/wiki/Fundamental_theorem_of_arithmetic" .
 
Last edited by a moderator:
  • #67
I like Serena said:
Ah, are you really forcing me to brush off my rusty integral theorems?
Reminds me of a glass bead necklace! :biggrin:

What about:
"A function on a compact interval [a,b] is Riemann integrable if and only if it is bounded and continuous almost everywhere (the set of its points of discontinuity has measure zero, in the sense of Lebesgue measure). "

And if you really want, we can adjust the boundaries of the integral to [itex]\pm \frac 1 2 \sqrt 2[/itex] to eliminate the singularities.

But the function is not bounded. And the function can never be Riemann integrable since it has poles in 1 and -1. So you're working with improper Riemann integrals...
 
  • #68
Fredrik said:
Cool. That approach looks correct and non-circular.

Only semi-circular! HAHA LOLlkasfksdlkvcslamc
 
  • #69
micromass said:
But the function is not bounded. And the function can never be Riemann integrable since it has poles in 1 and -1. So you're working with improper Riemann integrals...

All right, so let's adjust the boundaries of the integrals.
Let's only integrate the circumference of a quarter of a circle instead of half of a circle.
This is achieved by integration from [itex](a - \frac 1 2 r \sqrt 2)[/itex] to [itex](a + \frac 1 2 r \sqrt 2)[/itex].
The resulting integral becomes:
[tex]\int_{-\frac 1 2 \sqrt 2}^{+\frac 1 2 \sqrt 2} \frac 1 {\sqrt{1-s^2}} ds[/tex]

This integral has no singular points and it is bounded.
Furthermore, it is still the same micromass(x) although we have clipped its extremities. :devil:

It will evaluate to [itex]\frac \pi 2[/itex].
 
  • #70
I like Serena said:
All right, so let's adjust the boundaries of the integrals.
Let's only integrate the circumference of a quarter of a circle instead of half of a circle.
This is achieved by integration from [itex](a - \frac 1 2 r \sqrt 2)[/itex] to [itex](a + \frac 1 2 r \sqrt 2)[/itex].
The resulting integral becomes:
[tex]\int_{-\frac 1 2 \sqrt 2}^{+\frac 1 2 \sqrt 2} \frac 1 {\sqrt{1-s^2}} ds[/tex]

This integral has no singular points and it is bounded.
Furthermore, it is still the same micromass(x) although we have clipped its extremities. :devil:

It will evaluate to [itex]\frac \pi 2[/itex].


Seems ok :smile:

\begin{Annoying-mathematician}
Of course, this only shows that the length of a quarter of a circle is independent of pi. Nothing is said about the entire circle.
\end{Annoying-mathematician}
 
Back
Top