Speechless mathematical proofs.
$begingroup$
Do you have proofs without word?
Your proofs are not necessary has zero word, you may add a bit explanations.
As an example, I has a "Speechless proof" for
$$frac{1}{4}+frac{1}{4^2}+frac{1}{4^3}+...=frac{1}{3}$$
I welcome all aspects of mathematical proofs. Thank you.
recreational-mathematics
$endgroup$
|
show 2 more comments
$begingroup$
Do you have proofs without word?
Your proofs are not necessary has zero word, you may add a bit explanations.
As an example, I has a "Speechless proof" for
$$frac{1}{4}+frac{1}{4^2}+frac{1}{4^3}+...=frac{1}{3}$$
I welcome all aspects of mathematical proofs. Thank you.
recreational-mathematics
$endgroup$
12
$begingroup$
These are usually called proofs without words. MathOverflow has a nice list of them.
$endgroup$
– Rahul
Nov 5 '12 at 9:05
$begingroup$
Please feel please to post your proof even it's similar to those in MathsOverFlow, because we are here in MathStackExchange.
$endgroup$
– A. Chu
Nov 5 '12 at 9:58
1
$begingroup$
For this question, what's really important are imaginative answers.
$endgroup$
– A. Chu
Nov 5 '12 at 10:27
1
$begingroup$
In fact, this particular example is not obvious without some words (at least to me)!
$endgroup$
– NoChance
Nov 5 '12 at 10:40
1
$begingroup$
@NoChance, you are right. Also, there is a nice proof without words for the same result here: (mathoverflow.net/a/163807). This is in the list mentioned in the comment above by Rahul.
$endgroup$
– Cyriac Antony
Jan 17 at 5:14
|
show 2 more comments
$begingroup$
Do you have proofs without word?
Your proofs are not necessary has zero word, you may add a bit explanations.
As an example, I has a "Speechless proof" for
$$frac{1}{4}+frac{1}{4^2}+frac{1}{4^3}+...=frac{1}{3}$$
I welcome all aspects of mathematical proofs. Thank you.
recreational-mathematics
$endgroup$
Do you have proofs without word?
Your proofs are not necessary has zero word, you may add a bit explanations.
As an example, I has a "Speechless proof" for
$$frac{1}{4}+frac{1}{4^2}+frac{1}{4^3}+...=frac{1}{3}$$
I welcome all aspects of mathematical proofs. Thank you.
recreational-mathematics
recreational-mathematics
asked Nov 5 '12 at 9:02
A. ChuA. Chu
6,99593283
6,99593283
12
$begingroup$
These are usually called proofs without words. MathOverflow has a nice list of them.
$endgroup$
– Rahul
Nov 5 '12 at 9:05
$begingroup$
Please feel please to post your proof even it's similar to those in MathsOverFlow, because we are here in MathStackExchange.
$endgroup$
– A. Chu
Nov 5 '12 at 9:58
1
$begingroup$
For this question, what's really important are imaginative answers.
$endgroup$
– A. Chu
Nov 5 '12 at 10:27
1
$begingroup$
In fact, this particular example is not obvious without some words (at least to me)!
$endgroup$
– NoChance
Nov 5 '12 at 10:40
1
$begingroup$
@NoChance, you are right. Also, there is a nice proof without words for the same result here: (mathoverflow.net/a/163807). This is in the list mentioned in the comment above by Rahul.
$endgroup$
– Cyriac Antony
Jan 17 at 5:14
|
show 2 more comments
12
$begingroup$
These are usually called proofs without words. MathOverflow has a nice list of them.
$endgroup$
– Rahul
Nov 5 '12 at 9:05
$begingroup$
Please feel please to post your proof even it's similar to those in MathsOverFlow, because we are here in MathStackExchange.
$endgroup$
– A. Chu
Nov 5 '12 at 9:58
1
$begingroup$
For this question, what's really important are imaginative answers.
$endgroup$
– A. Chu
Nov 5 '12 at 10:27
1
$begingroup$
In fact, this particular example is not obvious without some words (at least to me)!
$endgroup$
– NoChance
Nov 5 '12 at 10:40
1
$begingroup$
@NoChance, you are right. Also, there is a nice proof without words for the same result here: (mathoverflow.net/a/163807). This is in the list mentioned in the comment above by Rahul.
$endgroup$
– Cyriac Antony
Jan 17 at 5:14
12
12
$begingroup$
These are usually called proofs without words. MathOverflow has a nice list of them.
$endgroup$
– Rahul
Nov 5 '12 at 9:05
$begingroup$
These are usually called proofs without words. MathOverflow has a nice list of them.
$endgroup$
– Rahul
Nov 5 '12 at 9:05
$begingroup$
Please feel please to post your proof even it's similar to those in MathsOverFlow, because we are here in MathStackExchange.
$endgroup$
– A. Chu
Nov 5 '12 at 9:58
$begingroup$
Please feel please to post your proof even it's similar to those in MathsOverFlow, because we are here in MathStackExchange.
$endgroup$
– A. Chu
Nov 5 '12 at 9:58
1
1
$begingroup$
For this question, what's really important are imaginative answers.
$endgroup$
– A. Chu
Nov 5 '12 at 10:27
$begingroup$
For this question, what's really important are imaginative answers.
$endgroup$
– A. Chu
Nov 5 '12 at 10:27
1
1
$begingroup$
In fact, this particular example is not obvious without some words (at least to me)!
$endgroup$
– NoChance
Nov 5 '12 at 10:40
$begingroup$
In fact, this particular example is not obvious without some words (at least to me)!
$endgroup$
– NoChance
Nov 5 '12 at 10:40
1
1
$begingroup$
@NoChance, you are right. Also, there is a nice proof without words for the same result here: (mathoverflow.net/a/163807). This is in the list mentioned in the comment above by Rahul.
$endgroup$
– Cyriac Antony
Jan 17 at 5:14
$begingroup$
@NoChance, you are right. Also, there is a nice proof without words for the same result here: (mathoverflow.net/a/163807). This is in the list mentioned in the comment above by Rahul.
$endgroup$
– Cyriac Antony
Jan 17 at 5:14
|
show 2 more comments
5 Answers
5
active
oldest
votes
$begingroup$
Part of the proof in my blog post is done with my own ad-hoc diagrams..
The question is: How many "tours" (paths that visit every single square exactly once) are there in a 4x10^12 grid under the condition the tour must start in the top left square and finish in the bottom left square. (Credit to the guys at projecteuler.net for thinking up another great problem)
If we let T(n) be the formula for the number of tours in a 4xn grid, we need to find T(10^12). One approach is to find a recurrence relation. A trick is to realize there are only two possible ending columns. Try follow my working if you can, sorry It's messy :)
$endgroup$
add a comment |
$begingroup$
The best one I have ever seen is to prove $$1 + 2 + 3 + cdots + n = dfrac{n(n+1)}2$$
$endgroup$
1
$begingroup$
Should we just copy the MO answers here - or link to them from here?
$endgroup$
– Old John
Nov 5 '12 at 9:50
2
$begingroup$
Could somebody give me the "with words" version of this proof?
$endgroup$
– littleO
Nov 5 '12 at 10:05
3
$begingroup$
@littleO There's a bijection in there. Look carefully. Perhaps it would be more helpful if we wrote $frac{n(n+1)}{2}$ as $binom{n+1}{2}$
$endgroup$
– EuYu
Nov 5 '12 at 10:09
$begingroup$
Ohh, I see, crazy. Thanks for the hint.
$endgroup$
– littleO
Nov 5 '12 at 12:00
$begingroup$
@OldJohn I don't know. I anyway made my post CW when I posted it.
$endgroup$
– user17762
Nov 5 '12 at 21:48
add a comment |
$begingroup$
Found this great one surfing the web recently.
$$
displaystyle 1/2+1/4+1/8+1/16+ldots =1
$$
$endgroup$
add a comment |
$begingroup$
Reciprocals of squares converge.
$endgroup$
add a comment |
$begingroup$
Here's one showing the area of a disk is $pi R^2$.
$endgroup$
add a comment |
Your Answer
StackExchange.ifUsing("editor", function () {
return StackExchange.using("mathjaxEditing", function () {
StackExchange.MarkdownEditor.creationCallbacks.add(function (editor, postfix) {
StackExchange.mathjaxEditing.prepareWmdForMathJax(editor, postfix, [["$", "$"], ["\\(","\\)"]]);
});
});
}, "mathjax-editing");
StackExchange.ready(function() {
var channelOptions = {
tags: "".split(" "),
id: "69"
};
initTagRenderer("".split(" "), "".split(" "), channelOptions);
StackExchange.using("externalEditor", function() {
// Have to fire editor after snippets, if snippets enabled
if (StackExchange.settings.snippets.snippetsEnabled) {
StackExchange.using("snippets", function() {
createEditor();
});
}
else {
createEditor();
}
});
function createEditor() {
StackExchange.prepareEditor({
heartbeatType: 'answer',
autoActivateHeartbeat: false,
convertImagesToLinks: true,
noModals: true,
showLowRepImageUploadWarning: true,
reputationToPostImages: 10,
bindNavPrevention: true,
postfix: "",
imageUploader: {
brandingHtml: "Powered by u003ca class="icon-imgur-white" href="https://imgur.com/"u003eu003c/au003e",
contentPolicyHtml: "User contributions licensed under u003ca href="https://creativecommons.org/licenses/by-sa/3.0/"u003ecc by-sa 3.0 with attribution requiredu003c/au003e u003ca href="https://stackoverflow.com/legal/content-policy"u003e(content policy)u003c/au003e",
allowUrls: true
},
noCode: true, onDemand: true,
discardSelector: ".discard-answer"
,immediatelyShowMarkdownHelp:true
});
}
});
Sign up or log in
StackExchange.ready(function () {
StackExchange.helpers.onClickDraftSave('#login-link');
});
Sign up using Google
Sign up using Facebook
Sign up using Email and Password
Post as a guest
Required, but never shown
StackExchange.ready(
function () {
StackExchange.openid.initPostLogin('.new-post-login', 'https%3a%2f%2fmath.stackexchange.com%2fquestions%2f229548%2fspeechless-mathematical-proofs%23new-answer', 'question_page');
}
);
Post as a guest
Required, but never shown
5 Answers
5
active
oldest
votes
5 Answers
5
active
oldest
votes
active
oldest
votes
active
oldest
votes
$begingroup$
Part of the proof in my blog post is done with my own ad-hoc diagrams..
The question is: How many "tours" (paths that visit every single square exactly once) are there in a 4x10^12 grid under the condition the tour must start in the top left square and finish in the bottom left square. (Credit to the guys at projecteuler.net for thinking up another great problem)
If we let T(n) be the formula for the number of tours in a 4xn grid, we need to find T(10^12). One approach is to find a recurrence relation. A trick is to realize there are only two possible ending columns. Try follow my working if you can, sorry It's messy :)
$endgroup$
add a comment |
$begingroup$
Part of the proof in my blog post is done with my own ad-hoc diagrams..
The question is: How many "tours" (paths that visit every single square exactly once) are there in a 4x10^12 grid under the condition the tour must start in the top left square and finish in the bottom left square. (Credit to the guys at projecteuler.net for thinking up another great problem)
If we let T(n) be the formula for the number of tours in a 4xn grid, we need to find T(10^12). One approach is to find a recurrence relation. A trick is to realize there are only two possible ending columns. Try follow my working if you can, sorry It's messy :)
$endgroup$
add a comment |
$begingroup$
Part of the proof in my blog post is done with my own ad-hoc diagrams..
The question is: How many "tours" (paths that visit every single square exactly once) are there in a 4x10^12 grid under the condition the tour must start in the top left square and finish in the bottom left square. (Credit to the guys at projecteuler.net for thinking up another great problem)
If we let T(n) be the formula for the number of tours in a 4xn grid, we need to find T(10^12). One approach is to find a recurrence relation. A trick is to realize there are only two possible ending columns. Try follow my working if you can, sorry It's messy :)
$endgroup$
Part of the proof in my blog post is done with my own ad-hoc diagrams..
The question is: How many "tours" (paths that visit every single square exactly once) are there in a 4x10^12 grid under the condition the tour must start in the top left square and finish in the bottom left square. (Credit to the guys at projecteuler.net for thinking up another great problem)
If we let T(n) be the formula for the number of tours in a 4xn grid, we need to find T(10^12). One approach is to find a recurrence relation. A trick is to realize there are only two possible ending columns. Try follow my working if you can, sorry It's messy :)
answered Nov 5 '12 at 9:54
robert kingrobert king
1597
1597
add a comment |
add a comment |
$begingroup$
The best one I have ever seen is to prove $$1 + 2 + 3 + cdots + n = dfrac{n(n+1)}2$$
$endgroup$
1
$begingroup$
Should we just copy the MO answers here - or link to them from here?
$endgroup$
– Old John
Nov 5 '12 at 9:50
2
$begingroup$
Could somebody give me the "with words" version of this proof?
$endgroup$
– littleO
Nov 5 '12 at 10:05
3
$begingroup$
@littleO There's a bijection in there. Look carefully. Perhaps it would be more helpful if we wrote $frac{n(n+1)}{2}$ as $binom{n+1}{2}$
$endgroup$
– EuYu
Nov 5 '12 at 10:09
$begingroup$
Ohh, I see, crazy. Thanks for the hint.
$endgroup$
– littleO
Nov 5 '12 at 12:00
$begingroup$
@OldJohn I don't know. I anyway made my post CW when I posted it.
$endgroup$
– user17762
Nov 5 '12 at 21:48
add a comment |
$begingroup$
The best one I have ever seen is to prove $$1 + 2 + 3 + cdots + n = dfrac{n(n+1)}2$$
$endgroup$
1
$begingroup$
Should we just copy the MO answers here - or link to them from here?
$endgroup$
– Old John
Nov 5 '12 at 9:50
2
$begingroup$
Could somebody give me the "with words" version of this proof?
$endgroup$
– littleO
Nov 5 '12 at 10:05
3
$begingroup$
@littleO There's a bijection in there. Look carefully. Perhaps it would be more helpful if we wrote $frac{n(n+1)}{2}$ as $binom{n+1}{2}$
$endgroup$
– EuYu
Nov 5 '12 at 10:09
$begingroup$
Ohh, I see, crazy. Thanks for the hint.
$endgroup$
– littleO
Nov 5 '12 at 12:00
$begingroup$
@OldJohn I don't know. I anyway made my post CW when I posted it.
$endgroup$
– user17762
Nov 5 '12 at 21:48
add a comment |
$begingroup$
The best one I have ever seen is to prove $$1 + 2 + 3 + cdots + n = dfrac{n(n+1)}2$$
$endgroup$
The best one I have ever seen is to prove $$1 + 2 + 3 + cdots + n = dfrac{n(n+1)}2$$
edited Nov 5 '12 at 9:22
community wiki
2 revs
user17762
1
$begingroup$
Should we just copy the MO answers here - or link to them from here?
$endgroup$
– Old John
Nov 5 '12 at 9:50
2
$begingroup$
Could somebody give me the "with words" version of this proof?
$endgroup$
– littleO
Nov 5 '12 at 10:05
3
$begingroup$
@littleO There's a bijection in there. Look carefully. Perhaps it would be more helpful if we wrote $frac{n(n+1)}{2}$ as $binom{n+1}{2}$
$endgroup$
– EuYu
Nov 5 '12 at 10:09
$begingroup$
Ohh, I see, crazy. Thanks for the hint.
$endgroup$
– littleO
Nov 5 '12 at 12:00
$begingroup$
@OldJohn I don't know. I anyway made my post CW when I posted it.
$endgroup$
– user17762
Nov 5 '12 at 21:48
add a comment |
1
$begingroup$
Should we just copy the MO answers here - or link to them from here?
$endgroup$
– Old John
Nov 5 '12 at 9:50
2
$begingroup$
Could somebody give me the "with words" version of this proof?
$endgroup$
– littleO
Nov 5 '12 at 10:05
3
$begingroup$
@littleO There's a bijection in there. Look carefully. Perhaps it would be more helpful if we wrote $frac{n(n+1)}{2}$ as $binom{n+1}{2}$
$endgroup$
– EuYu
Nov 5 '12 at 10:09
$begingroup$
Ohh, I see, crazy. Thanks for the hint.
$endgroup$
– littleO
Nov 5 '12 at 12:00
$begingroup$
@OldJohn I don't know. I anyway made my post CW when I posted it.
$endgroup$
– user17762
Nov 5 '12 at 21:48
1
1
$begingroup$
Should we just copy the MO answers here - or link to them from here?
$endgroup$
– Old John
Nov 5 '12 at 9:50
$begingroup$
Should we just copy the MO answers here - or link to them from here?
$endgroup$
– Old John
Nov 5 '12 at 9:50
2
2
$begingroup$
Could somebody give me the "with words" version of this proof?
$endgroup$
– littleO
Nov 5 '12 at 10:05
$begingroup$
Could somebody give me the "with words" version of this proof?
$endgroup$
– littleO
Nov 5 '12 at 10:05
3
3
$begingroup$
@littleO There's a bijection in there. Look carefully. Perhaps it would be more helpful if we wrote $frac{n(n+1)}{2}$ as $binom{n+1}{2}$
$endgroup$
– EuYu
Nov 5 '12 at 10:09
$begingroup$
@littleO There's a bijection in there. Look carefully. Perhaps it would be more helpful if we wrote $frac{n(n+1)}{2}$ as $binom{n+1}{2}$
$endgroup$
– EuYu
Nov 5 '12 at 10:09
$begingroup$
Ohh, I see, crazy. Thanks for the hint.
$endgroup$
– littleO
Nov 5 '12 at 12:00
$begingroup$
Ohh, I see, crazy. Thanks for the hint.
$endgroup$
– littleO
Nov 5 '12 at 12:00
$begingroup$
@OldJohn I don't know. I anyway made my post CW when I posted it.
$endgroup$
– user17762
Nov 5 '12 at 21:48
$begingroup$
@OldJohn I don't know. I anyway made my post CW when I posted it.
$endgroup$
– user17762
Nov 5 '12 at 21:48
add a comment |
$begingroup$
Found this great one surfing the web recently.
$$
displaystyle 1/2+1/4+1/8+1/16+ldots =1
$$
$endgroup$
add a comment |
$begingroup$
Found this great one surfing the web recently.
$$
displaystyle 1/2+1/4+1/8+1/16+ldots =1
$$
$endgroup$
add a comment |
$begingroup$
Found this great one surfing the web recently.
$$
displaystyle 1/2+1/4+1/8+1/16+ldots =1
$$
$endgroup$
Found this great one surfing the web recently.
$$
displaystyle 1/2+1/4+1/8+1/16+ldots =1
$$
edited Dec 23 '18 at 20:28
Glorfindel
3,41981830
3,41981830
answered Nov 5 '12 at 9:49
cyclochaoticcyclochaotic
85211429
85211429
add a comment |
add a comment |
$begingroup$
Reciprocals of squares converge.
$endgroup$
add a comment |
$begingroup$
Reciprocals of squares converge.
$endgroup$
add a comment |
$begingroup$
Reciprocals of squares converge.
$endgroup$
Reciprocals of squares converge.
answered Nov 5 '12 at 10:16
EuYuEuYu
30.4k754102
30.4k754102
add a comment |
add a comment |
$begingroup$
Here's one showing the area of a disk is $pi R^2$.
$endgroup$
add a comment |
$begingroup$
Here's one showing the area of a disk is $pi R^2$.
$endgroup$
add a comment |
$begingroup$
Here's one showing the area of a disk is $pi R^2$.
$endgroup$
Here's one showing the area of a disk is $pi R^2$.
answered Apr 16 '18 at 16:42
CharlesCharles
1527
1527
add a comment |
add a comment |
Thanks for contributing an answer to Mathematics Stack Exchange!
- Please be sure to answer the question. Provide details and share your research!
But avoid …
- Asking for help, clarification, or responding to other answers.
- Making statements based on opinion; back them up with references or personal experience.
Use MathJax to format equations. MathJax reference.
To learn more, see our tips on writing great answers.
Sign up or log in
StackExchange.ready(function () {
StackExchange.helpers.onClickDraftSave('#login-link');
});
Sign up using Google
Sign up using Facebook
Sign up using Email and Password
Post as a guest
Required, but never shown
StackExchange.ready(
function () {
StackExchange.openid.initPostLogin('.new-post-login', 'https%3a%2f%2fmath.stackexchange.com%2fquestions%2f229548%2fspeechless-mathematical-proofs%23new-answer', 'question_page');
}
);
Post as a guest
Required, but never shown
Sign up or log in
StackExchange.ready(function () {
StackExchange.helpers.onClickDraftSave('#login-link');
});
Sign up using Google
Sign up using Facebook
Sign up using Email and Password
Post as a guest
Required, but never shown
Sign up or log in
StackExchange.ready(function () {
StackExchange.helpers.onClickDraftSave('#login-link');
});
Sign up using Google
Sign up using Facebook
Sign up using Email and Password
Post as a guest
Required, but never shown
Sign up or log in
StackExchange.ready(function () {
StackExchange.helpers.onClickDraftSave('#login-link');
});
Sign up using Google
Sign up using Facebook
Sign up using Email and Password
Sign up using Google
Sign up using Facebook
Sign up using Email and Password
Post as a guest
Required, but never shown
Required, but never shown
Required, but never shown
Required, but never shown
Required, but never shown
Required, but never shown
Required, but never shown
Required, but never shown
Required, but never shown
12
$begingroup$
These are usually called proofs without words. MathOverflow has a nice list of them.
$endgroup$
– Rahul
Nov 5 '12 at 9:05
$begingroup$
Please feel please to post your proof even it's similar to those in MathsOverFlow, because we are here in MathStackExchange.
$endgroup$
– A. Chu
Nov 5 '12 at 9:58
1
$begingroup$
For this question, what's really important are imaginative answers.
$endgroup$
– A. Chu
Nov 5 '12 at 10:27
1
$begingroup$
In fact, this particular example is not obvious without some words (at least to me)!
$endgroup$
– NoChance
Nov 5 '12 at 10:40
1
$begingroup$
@NoChance, you are right. Also, there is a nice proof without words for the same result here: (mathoverflow.net/a/163807). This is in the list mentioned in the comment above by Rahul.
$endgroup$
– Cyriac Antony
Jan 17 at 5:14