# Georgeooga-Harryooga Theorem

# Overview

This is not a legit theorem

*@Sugar rush* Even though this is not a real theorem, it could be useful to use this, so I will bring parts of it back:

# Definition

The Georgeooga-Harryooga Theorem states that if you have distinguishable objects and are kept away from each other, then there are ways to arrange the objects.

# Proof

Let our group of objects be represented like so , , , ..., , . Let the last objects be the ones we can't have together.

Then we can organize our objects like so .

We have ways to arrange the objects in that list.

Now we have blanks and other objects so we have ways to arrange the objects we can't put together.

By fundamental counting principal our answer is .

Proof by RedFireTruck

# A side note by aryabhata000:

This can also be done by stars and bars like so: Let us call the people

Let the number of people before in line be , between be , ... after b3 . We have

The number of ways to determine is equivalent to the number of positive integer solutions to: where and .

So, by stars and bars, the number of ways to determine is

Furthermore, after picking positions for the people, we have ways to order the people who can be together, and ways to order the people who cannot be together. So for each , we have orderings.

Therefore, the final answer is

# Application

Alice, Bob, Carl, David, Eric, Fred, George, and Harry want to stand in a line to buy ice cream. Fred and George are identical twins, so they are indistinguishable. Alice, Bob, and Carl had a serious disagreement in 6th grade, so none of them can be together in the line. With these conditions, how many different ways can you arrange these kids in a line?

Problem by Math4Life2020

## Solution

If Eric and Fred were distinguishable we would have ways to arrange them by the Georgeooga-Harryooga Theorem. However, Eric and Fred are indistinguishable so we have to divide by . Therefore, our answer is .

Solution by RedFireTruck

**ALL THINGS ABOVE EXCEPT FOR THE OVERVIEW TAB AND THE PROBLEM IS MADE BY RedFireTruck **