What we call mathematics is actually a really wide subject with a lot of branches, categories, sub-categories which are sometimes so different from one another that it's hard to believe that they are all coming from the same subject, mathematics. But when you start seeing the same thing from different perspectives, you'll see that somethings in mathematics, no matter how distant they seem, are actually equivalent. You'll see that different things are actually saying the same thing. To demonstrate that we'll see a visual proof of the AM-GM inequality for two variables. We'll learn that things aren't so different after all.

Before we get to the amazing proof of the AM-GM inequality, we'll need to learn a couple of things. First we're going to see how some geometrical constructions are equivalent to mathematical operations. We're going to learn to add, subtract, multiply, divide and take the square root of a number with a compass and a straightedge.

The image above demonstrates addition, subtraction, multiplication and division through geometric construction. Also pay attention to the colors. Addition and subtraction are pretty straightforward. Multiplication and division use the properties of similar figures. So we are able to perform the four basic arithmetic operations with a straightedge and compass. And these constructions aren't that difficult.

Taking the square root is a bit more complicated and it looks like this:

If you want to know why it works, here's the proof:

\(ADC\) is a right angled triangle because all triangles inscribed in a semi-circle are right angled. A little bit of angle-chasing [and the picture shows how to do that] reveals to us that triangles \(ABD\) and \(DBC\) are similar. Thus we have,

\(\frac{BD}{AB}=\frac{BC}{BD}\)

Or, \(BD^2=AB\times BC=x\)

So, \(BD=\sqrt{x}\).

Now that we've equipped ourselves with the knowledge required to prove the two variable case of the AM-GM inequality, let's get on with it.

The two variable case of the Arithmetic mean-Geometric mean inequality tells us given two positive numbers that are not equal, their arithmetic mean is always greater than their geometric mean. In other words, if \(a\) and \(b\) are two unequal positive numbers, then \(\frac{a+b}{2}>\sqrt{ab}\).

If you've understood everything up to this point, this proof's going to be really easy for you. I'm not going to use any words for this! Behold:

The best part about this proof is that you can actually *see* that \(\sqrt{ab}\) is smaller than \(\frac{a+b}{2}\). You really don't need words for this [not entirely true, but the words needed were discussed earlier, so you know what I'm saying].

This was just an example [which is one of my favorites] to demonstrate that you could use different ways to say the same thing.

Note that I said nothing about taking the cubic root or fourth root or higher roots. This is because you can't do that with a straightedge and a compass. That is why you can't trisect an arbitrary angle or double a cube. But we'll discuss about this later someday.

**Sources**: The first two pictures were found through a Google search and then shamelessly stolen and modified. :)

No vote yet

1 vote

×

Problem Loading...

Note Loading...

Set Loading...

Easy Math Editor

`*italics*`

or`_italics_`

italics`**bold**`

or`__bold__`

boldNote: you must add a full line of space before and after lists for them to show up correctlyparagraph 1

paragraph 2

`[example link](https://brilliant.org)`

`> This is a quote`

Remember to wrap math in \( ... \) or \[ ... \] to ensure proper formatting.`2 \times 3`

`2^{34}`

`a_{i-1}`

`\frac{2}{3}`

`\sqrt{2}`

`\sum_{i=1}^3`

`\sin \theta`

`\boxed{123}`

## Comments

Sort by:

TopNewestWe need a tag of #ProofWithoutWords!

Log in to reply

Impressive!!! The image in the proof also follows that when \(a=b\), then obviously \(BD\) and \(EH\) are the same segment and so \(BD=EH ~~~ \Longrightarrow ~~ \dfrac{a+b}{2}=\sqrt{ab}\).

Log in to reply

By drawing a suitable diagram, show that

\[ \sqrt{ \frac{a^2+b^2} { 2} } \geq \frac{ a+b}{2} \geq \sqrt{ab} \geq \frac{ ab}{a+b}. \]

Log in to reply

I think I can do that. Do you want me to post a solution or do you want others to work on it?

Log in to reply

Q.M,A.M,G.Mand so I think the last one should beH.M.Log in to reply

Log in to reply

H.Monly. Also, I think it will be hard to make a diagram with \(\frac{ab}{a+b}\). P.S: I may be wrong.Log in to reply

But you're probably right. He probably meant \(\frac{2ab}{a+b}\) instead of \(\frac{ab}{a+b}\).

Log in to reply

H.Mwould give us the one we need.Log in to reply

Log in to reply

this.

Here's how to do it then. SeeLog in to reply

Nice!

It turns out that the same sort of thing can bridge mathematics and computer science:

https://en.wikipedia.org/wiki/Curry%E2%80%93Howard_correspondence

However it's much less intuitive, it's a bit too complex for me to fully understand. But, the basic idea is that you can use computer programs to construct mathematical proofs. I won't go into it too much detail since this isn't a CS thread and I don't want to derail the discussion, but the idea is basically that, given a language with the correct sort of (very strict) restrictions, if you make certain assertions in your program, and you can get it to compile, you've made a proof.

Log in to reply

Very well written; however, it seems that you got a little sidetracked. Only after I looked at the title after reading the article did I realize that it was about similarity between different fields of Mathematics, not about constructions. It would be more suitable, in my opinion, to have the name be Constructions and an example to be the proof of AM-GM.

Log in to reply

Thanks for your feedback!

The similarity between the different fields of mathematics is a really big subject. I wanted to take a really small part of it and let people appreciate its beauty. I wanted to show people that you could view something in a completely different perspective. Yes, I agree that this post is a little constructions-heavy. But that is exactly what I wanted to do.

As always, your feedback is appreciated!

Log in to reply

Nice..

Log in to reply

It can also be proven using the MVT in Calculus. Nice!

Log in to reply