Most useful theorems when dealing with math olympiad problems?

I'm sure I'm not the only one who has bought a solution before (or even gotten a question right and went to the solution page to see how other people did it) and was amazed by the supposedly obscure theorems that people cite for their answers (most recently, this happened with Lucas' theorem).

So I ask, what are some more obscure theorems and such that come in use? What kinds of problems would they be applied to? (try to stay away from mentioning theorems that most people already know, e.g. stars and bars, vieta's formulas, or what have you)

One theorem I've found personally that comes in handy is the Sophie-Germain identity. It's not too obscure, but at the same time, not that many people know it. The identity is:

$a^4 + 4b^4 = ((a+b)^2 + b^2)((a-b)^2 + b^2) = (a^2 + 2ab + 2b^2)(a^2 - 2ab + 2b^2)$

And it can be applied to problems such as these (credit: AOPS)

For what integer values of $n$ is $n^4 + 4^n$ composite?

Find the largest prime divisor of $25^2 + 72^2$ .

And there was a problem from $1987 AIME$ and a similar one was featured on brilliant on the past. The problem was to compute $\frac{10^4 + 324)(22^4 + 324)(34^4 + 324)(46^4 + 324)(58^4+324)}{4^4 + 324)(16^4 + 324)(28^4 + 324)(40^4 + 324)(52^4 + 324)}$

Markdown

Appears as

*italics* or _italics_

italics

**bold** or __bold__

bold


- bulleted
- list

bulleted
list


1. numbered
2. list

numbered
list

Note: you must add a full line of space before and after lists for them to show up correctly

paragraph 1

paragraph 2

paragraph 1

paragraph 2

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

example link

> This is a quote

This is a quote

    # I indented these lines
    # 4 spaces, and now they show
    # up as a code block.

    print "hello world"

# I indented these lines
# 4 spaces, and now they show
# up as a code block.

print "hello world"

Math

Appears as

Remember to wrap math in $ ... $ or \[ ... \] to ensure proper formatting.

2 \times 3

2 \times 3

2^{34}

2^{34}

a_{i-1}

a_{i-1}

\frac{2}{3}

\frac{2}{3}

\sqrt{2}

\sqrt{2}

\sum_{i=1}^3

\sum_{i=1}^3

\sin \theta

\sin \theta

\boxed{123}

\boxed{123}

Easy Math Editor

This discussion board is a place to discuss our Daily Challenges and the math and science related to those challenges. Explanations are more than just a solution — they should explain the steps and thinking strategies that you used to obtain the solution. Comments should further the discussion of math and science.

When posting on Brilliant:

Use the emojis to react to an explanation, whether you're congratulating a job well done , or just really confused .
Ask specific questions about the challenge or the steps in somebody's explanation. Well-posed questions can add a lot to the discussion, but posting "I don't understand!" doesn't help anyone.
Try to contribute something new to the discussion, whether it is an extension, generalization or other idea related to the challenge.
Stay on topic — we're all here to learn more about math and science, not to hear about your favorite get-rich-quick scheme or current world events.

Markdown	Appears as
`italics` or `_italics_`	italics
`bold` or `__bold__`	bold
- bulleted - list	bulleted list
1. numbered 2. list	numbered list
Note: you must add a full line of space before and after lists for them to show up correctly
paragraph 1 paragraph 2	paragraph 1 paragraph 2
`[example link](https://brilliant.org)`	example link
`> This is a quote`	This is a quote
# I indented these lines # 4 spaces, and now they show # up as a code block. print "hello world"	# I indented these lines # 4 spaces, and now they show # up as a code block. print "hello world"

Math	Appears as
Remember to wrap math in `$` ... `$` or `\[` ... `\]` to ensure proper formatting.
`2 \times 3`	$2 \times 3$
`2^{34}`	$2^{34}$
`a_{i-1}`	$a_{i-1}$
`\frac{2}{3}`	$\frac{2}{3}$
`\sqrt{2}`	$\sqrt{2}$
`\sum_{i=1}^3`	$\sum_{i=1}^3$
`\sin \theta`	$\sin \theta$
`\boxed{123}`	$\boxed{123}$

Comments

One of the things that I have learned from solving problems on Brilliant is that you don't have to know what a theorem is called to use it. I have used the Sophie-Germain identity without knowing what it's called for a really long time. I just used it as a factorization tool that helped me solve a lot of problems.

And it is not true that most people know things like 'stars & bars' and 'Vieta's formulas'. I, for one, had to learn what these are from solutions and posts on Brilliant. Our textbooks cover 'Vieta's formulas' but our books never mention what these formulas are called. So naturally I had never heard of Vieta's formulas before even though I knew what they were. Thus on Brilliant, I started to learn the names of things I already knew in addition to learning new things.

That being said, it is actually useful to know names of certain formulas and theorems. It helps you understand what people are saying and it reduces a lot of work. If I say, "because $ABCD$ is a tangential quadrilateral, from the Pitot theorem [another example of something I'd known without knowing what it's called], we can say that $AB+CD=AD+BC$ ...", it's hard for someone to understand what I'm trying to stay if they don't know what the Pitot theorem is. So 'knowledge is power!'

And the Lucas' theorem thing happened to me too.

Mursalin Habib - 7 years, 6 months ago

Can you give me link to the problem that used Lucas theorem ?

Abhijeeth Babu - 7 years, 6 months ago

Not yet; it's still a live problem, and so for people who do have this problem (which may be you) they'd immediately know the solution.

Mike Kong - 7 years, 6 months ago

@Mike Kong – That's why I asked for the link, not the solution ?

@Abhijeeth Babu – I know, but if I told you which problem used it, then you (and possibly others with this as one of their live problems) would know how to solve it -- just apply Lucas' theorem. Wait till this week's problems aren't live.

@Mike Kong – Oh that's why, it's ok, but please give it after this week.

Well, I haven't really applied some of these to brilliant problems, but I suppose it will be good to keep in mind the following non-exhausted list of convoluted theorems:

Hölder's Inequality (If you aren't familiar with inequalities)
Jensen's Inequality (same comments as above)
Schur's Inequality (when used along with Hölder, can be quite sharp and hence powerful)
Desargue's Theorem (extremely useful in projective geometry)
Monge D'Alembert's Theorem (same comments as above)
Hensel's Lemma (Has quite some usage in algebra-like number theory problems)

The last few aren't really for brilliant level problems - they are geared towards usage in IMO-standard problems.

EDIT: Well, I think Cauchy isn't that obscure. (Maybe my judgement is very biased because I don't think Hölder of Jensen is obscure either)

Anqi Li - 7 years, 6 months ago

And to add to the list of inequalities, of course there is Cauchy-Schwarz.

Though you're right, these don't really tend to be useful in brilliant problems. The only applications of inequalities I've really seen is AM-GM and then using that to find equality and there's no geometry section currently.

Another theorem I thought of was Stewart's Theorem. Useful for when you have arbitrary cevians in a triangle.

Given a triangle ABC, draw a cevian from A to BC. Call the intersection D. Then, let $AB = b, AC = c, BD = n, BC = m, AD = d$ , and the following equality holds:

$amn + ad^2 = b^2m + c^2n$

And if you think you'll have a problem memorizing this, a handy mnemonic is $man + dad = bmb + cnc$ -- "a man and a dad puts a bomb in the sink"

You should get the book The Secrets of Triangles. Hundreds of awesome theorems and crazy properties.

Finn Hulse - 7 years, 6 months ago

Where it is available?Please tell me !!!

Divyansh Singhal - 7 years, 6 months ago

http://www.flipkart.com/secrets-triangles-mathematical-journey/p/itmd5agqdfycfwgq

Akshit Soota - 7 years, 6 months ago

hey mursalin me too from Notre Dame College. Is there anyway we can contact through phone??I guess you could help me get through some problems as you are much experienced and better than me :')

jawwad shadman siddique - 7 years, 6 months ago

Trust me, I'm not experienced. I've always been in love with math but my interest in problem solving began no more than 6-7 months ago. In the beginning, I used to stare at problems doing absolutely nothing! And then things started to work out. I began solving problems!

I'm still a novice problem solver and I'm still learning.

I don't want to post my phone number here. You can send me a private message in the BdMO online forum. My username is Mursalin.

Another one that hasn't seemed to be mentioned yet is Pascal's Theorem, which states that for a cyclic hexagon $ABCDEF$ , the points determined by the intersections $AB\cap DE$ , $BC\cap EF$ , and $CD\cap FA$ are collinear. Note that this also applies to degenerate hexagons as well; when there are double letters, as in degenerate hexagon $AABCDE$ , the line $AA$ is meant to be the tangent to the circumcircle at point $A$ . An example of a problem that uses the degenerate form would be the following:

"Let $ABCD$ be a convex cyclic quadrilateral with circumcircle $\gamma$ , and let $P$ denote the intersection of its diagonals. Let $X$ be the intersection of the tangents to $\gamma$ from $A$ and $B$ , and let $Y$ be the intersection of the tangents to $\gamma$ from points $C$ and $D$ . Prove that line $XY$ passes through $P$ ."

Try it!

David Altizio - 7 years, 6 months ago

Jensen's inequality is great.

Siddharth Kumar - 7 years, 6 months ago

Math	Appears as
Remember to wrap math in `\(` ... `\)` or `\[` ... `\]` to ensure proper formatting.
`2 \times 3`	$2 \times 3$
`2^{34}`	$2^{34}$
`a_{i-1}`	$a_{i-1}$
`\frac{2}{3}`	$\frac{2}{3}$
`\sqrt{2}`	$\sqrt{2}$
`\sum_{i=1}^3`	$\sum_{i=1}^3$
`\sin \theta`	$\sin \theta$
`\boxed{123}`	$\boxed{123}$