**Invariants** Part \( 2 \)

Actually, in my honest opinion, this should be post \( 0 \). Moving on..

In this post, we will introduce another method, commonly seen in invariant problems.

Let us begin with our first example:

*Example 0* : \( 23 \) friends wants to play hockey. However, to ensure that the game is fair play, they choose a referee and the rest of the team splits into \( 2 \) teams of \( 11 \) people each. However, because they are a bit eccentric, they want to do this splitting such that the total weight of each team is the same. Suppose now for simplicity sake that they all have integer weights, and we know that this division is **always** possible regardless of who is the referee. Show that they all have the same weight.

*Solution*: Wow, that is a really really long question and to help us understand the context and meaning, we rewrite this in mathematical equations. Let \( w_1, w_2, \ldots, w_23 \) be the weights of the \(23 \) people. Also, let \( S = w_1 + w_2 + \ldots + w_23 \), the motivation behind this definition is that choosing a referee is the same as removing a person with weight \( w_i \) and split the rest into \( 2 \) teams of weight \( k \) each. Now, we can write everything in this compact form: \( S - w_i = 2k (*)\). Remember what we said about parity? Clearly since the RHS is even, \( w_i \) and \( S \) needs to have the same parity. And since \( w_i \) was completely arbitrary, they are all odd or even.

Being odd or even only gives us one clue on how to proceed, which is whether \( 2 \) divides it or not. Because we want to work with simplified things, consider what happens if we divide those that are even by \( 2 \). For instance, if all \( w_i \) are even, if we let \( q_i = \frac{w_i}{2} \), does this simplify the problem to some extent? Well, clearly by definition all \( q_i \) are integers, and writing a equation, \( \frac{S}{2} - \frac{q_i} = 2\frac{k}{2} \) which is unmistakably \( (*) \) so \( q_i \) is a new list of weights that also satisfy the conditions. Analogously, we can conclude for \( w_i \) being odd (don't forget this case!), we can let \( q_i = w_i - 1 \).

Here's the important bit. If the \( w_i \) at the beginning were not all \( 0 \), then the sum of the weights \( q_i \) is strictly smaller. We can always repeat this step (this is sort of an algorithm-like approach - another method that works like induction; you use it if you do not have any idea how to proceed) and reduce the sum of the weights so **eventually we will reach a list of only zeroes**. Now we *backtrack* to see what this implies. So since we are able to do this, we conclude the numbers in the original list were all equal, as desired. □

Please do **NOT** read this until you attempted the problem in the previous post.

*Solution to that problem*: Because we have **square roots** and \( a+b \) and \( a-b \) on the numerator, which reminds me of *difference of squares*, let us *square* the expression to get rid of the nasty square roots. So remark that:

\( a^2 + b^2 = (\frac{a+b}{\sqrt{2}})^2 + (\frac{a-b}{\sqrt{2}})^2 \)

Now, the sum of squares of the numbers in the triple is invariant under the operation. Just notice now that the sum of squares of the first triple is \( \frac{9}{2} \) and that of te second is \( 6 + 2 \sqrt{2} \) so the first triple can never be transformed into the second. ■

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:

TopNewestArgh there are some typos. I wonder if Calvin can be nice enough to help me fix them? Thanks in advance :)

Log in to reply

Thanks

Log in to reply