Art of Problem Solving
AoPS Online
Math texts, online classes, and more
for students in grades 5-12.
Visit AoPS Online ‚
Books for Grades 5-12 Online Courses
Beast Academy
Engaging math books and online learning
for students ages 6-13.
Visit Beast Academy ‚
Books for Ages 6-13 Beast Academy Online
AoPS Academy
Small live classes for advanced math
and language arts learners in grades 2-12.
Visit AoPS Academy ‚
Find a Physical Campus Visit the Virtual Campus

Difference between revisions of "Georgeooga-Harryooga Theorem"

(Undo revision 141887 by Redfiretruck (talk))
(Tag: Undo)
(Undo revision 141889 by Jbala (talk))
(Tag: Undo)
Line 1: Line 1:
−
<h1>Overview</h1>
+
=Definition=
−
 
+
The Georgeooga-Harryooga Theorem states that if you have <math>a</math> distinguishable objects and <math>b</math> are kept away from each other, then there are <math>\frac{(a-b)!(a-b+1)!}{(a-2b+1)!}</math> ways to arrange the objects.
−
This is not a legit theorem
 
  
−
<i>@Sugar rush</i> Even though this is not a real theorem, it could be useful to use this, so I will bring parts of it back:
 
  
−
<h1>Definition</h1>
+
Created by George and Harry of [https://www.youtube.com/channel/UC50E9TuLIMWbOPUX45xZPaQ The Ooga Booga Tribe of The Caveman Society]
−
The Georgeooga-Harryooga Theorem states that if you have <math>a</math> distinguishable objects and <math>b</math> are kept away from each other, then there are <math>\frac{(a-b)!(a-b+1)!}{(a-2b+1)!}</math> ways to arrange the objects.
 
  
−
<h1>Proof</h1>
+
=Proofs=
 +
==Proof 1==
 
Let our group of <math>a</math> objects be represented like so <math>1</math>, <math>2</math>, <math>3</math>, ..., <math>a-1</math>, <math>a</math>. Let the last <math>b</math> objects be the ones we can't have together.
 
Let our group of <math>a</math> objects be represented like so <math>1</math>, <math>2</math>, <math>3</math>, ..., <math>a-1</math>, <math>a</math>. Let the last <math>b</math> objects be the ones we can't have together.
  
Line 20: Line 18:
  
  
−
Proof by [[User:Redfiretruck|RedFireTruck]]
+
Proof by [[User:RedFireTruck|RedFireTruck]]
−
 
+
==Proof 2==
−
<h1>A side note by aryabhata000:</h1>
 
−
This can also be done by stars and bars like so:
 
 
Let us call the <math>b</math> people <math>1, 2, ... b</math>
 
Let us call the <math>b</math> people <math>1, 2, ... b</math>
  
−
Let the number of people before <math>1</math> in line be <math>y_1</math>, between <math>1, 2</math> be <math>y_2</math>, ... after <math>b</math> b3 <math>y_{b+1}</math>.
+
Let the number of people before <math>1</math> in line be <math>y_1</math>, between <math>1, 2</math> be <math>y_2</math>, ... after <math>b</math> be <math>y_{b+1}</math>.
 
We have <cmath>y_1 + y_2 + y_3 + \dots y_{b+1} = a-b</cmath>
 
We have <cmath>y_1 + y_2 + y_3 + \dots y_{b+1} = a-b</cmath>
  
Line 38: Line 34:
 
Therefore, the final answer is <cmath>b! (a-b)! F(a,b) = \frac{(a-b)!(a-b+1)!}{(a-2b+1)!}</cmath>
 
Therefore, the final answer is <cmath>b! (a-b)! F(a,b) = \frac{(a-b)!(a-b+1)!}{(a-2b+1)!}</cmath>
  
−
<h1>Application</h1>
 
  
−
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.
+
Proof by Aryabhata000
 +
 
 +
=Applications=
 +
==Application 1==
 +
===Problem===
 +
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?
 
With these conditions, how many different ways can you arrange these kids in a line?
  
−
Problem by Math4Life2020
 
  
−
<h2>Solution</h2>
+
Problem by [https://artofproblemsolving.com/community/c4h2342517p18900597 Math4Life2020]
 +
 
 +
===Solutions===
 +
====Solution 1====
 +
If Eric and Fred were distinguishable we would have <math>\frac{(8-3)!(8-3+1)!}{(8-2\cdot3+1)!}=14400</math> ways to arrange them by the [[Georgeooga-Harryooga Theorem]]. However, Eric and Fred are indistinguishable so we have to divide by <math>2!=2</math>. Therefore, our answer is <math>\frac{14400}2=\boxed{7200}</math>.
 +
 
 +
 
 +
Solution by [[User:RedFireTruck|RedFireTruck]]
 +
 
 +
==Application 2==
 +
===Problem===
 +
Zara has a collection of <math>4</math> marbles: an Aggie, a Bumblebee, a Steelie, and a Tiger. She wants to display them in a row on a shelf, but does not want to put the Steelie and the Tiger next to one another. In how many ways can she do this?
  
−
If Eric and Fred were distinguishable we would have <math>\frac{(8-3)!(8-3+1)!}{(8-2\cdot3+1)!}=14400</math> ways to arrange them by the Georgeooga-Harryooga Theorem. However, Eric and Fred are indistinguishable so we have to divide by <math>2!=2</math>. Therefore, our answer is <math>\frac{14400}2=\boxed{7200}</math>.
+
<math>\textbf{(A) }6 \qquad \textbf{(B) }8 \qquad \textbf{(C) }12 \qquad \textbf{(D) }18 \qquad \textbf{(E) }24</math>
 +
 
 +
 
 +
Problem by [[2020 AMC 8 Problems/Problem 10|The Mathematical Association of America's American Mathematics Competitions]]
 +
 
 +
===Solutions===
 +
====Solution 1====
 +
By the [[Georgeooga-Harryooga Theorem]] there are <math>\frac{(4-2)!(4-2+1)!}{(4-2\cdot2+1)!}=\boxed{\textbf{(C) }12}</math> way to arrange the marbles.
 +
 
 +
 
 +
Solution by [[User:RedFireTruck|RedFireTruck]]
 +
 
 +
====Solution 2====
 +
We can arrange our marbles like so <math>\square A\square B\square</math>.
 +
 
 +
To arrange the <math>A</math> and <math>B</math> we have <math>2!=2</math> ways.
 +
 
 +
To place the <math>S</math> and <math>T</math> in the blanks we have <math>_3P_2=6</math> ways.
 +
 
 +
By fundamental counting principle our final answer is <math>2\cdot6=\boxed{\textbf{(C) }12}</math>
  
  
 
Solution by [[User:Redfiretruck|RedFireTruck]]
 
Solution by [[User:Redfiretruck|RedFireTruck]]
−
<hr>
+
 
−
<strong>ALL THINGS ABOVE EXCEPT FOR THE OVERVIEW TAB AND THE PROBLEM IS MADE BY RedFireTruck </strong>
+
====Solution 3====
 +
Let the Aggie, Bumblebee, Steelie, and Tiger, be referred to by <math>A,B,S,</math> and <math>T</math>, respectively. If we ignore the constraint that <math>S</math> and <math>T</math> cannot be next to each other, we get a total of <math>4!=24</math> ways to arrange the 4 marbles. We now simply have to subtract out the number of ways that <math>S</math> and <math>T</math> can be next to each other. If we place <math>S</math> and <math>T</math> next to each other in that order, then there are three places that we can place them, namely in the first two slots, in the second two slots, or in the last two slots (i.e. <math>ST\square\square, \square ST\square, \square\square ST</math>). However, we could also have placed <math>S</math> and <math>T</math> in the opposite order (i.e. <math>TS\square\square, \square TS\square, \square\square TS</math>). Thus there are 6 ways of placing <math>S</math> and <math>T</math> directly next to each other. Next, notice that for each of these placements, we have two open slots for placing <math>A</math> and <math>B</math>. Specifically, we can place <math>A</math> in the first open slot and <math>B</math> in the second open slot or switch their order and place <math>B</math> in the first open slot and <math>A</math> in the second open slot. This gives us a total of <math>6\times 2=12</math> ways to place <math>S</math> and <math>T</math> next to each other. Subtracting this from the total number of arrangements gives us <math>24-12=12</math> total arrangements <math>\implies\boxed{\textbf{(C) }12}</math>.<br>
 +
 
 +
We can also solve this problem directly by looking at the number of ways that we can place <math>S</math> and <math>T</math> such that they are not directly next to each other. Observe that there are three ways to place <math>S</math> and <math>T</math> (in that order) into the four slots so they are not next to each other (i.e. <math>S\square T\square, \square S\square T, S\square\square T</math>). However, we could also have placed <math>S</math> and <math>T</math> in the opposite order (i.e. <math>T\square S\square, \square T\square S, T\square\square S</math>). Thus there are 6 ways of placing <math>S</math> and <math>T</math> so that they are not next to each other. Next, notice that for each of these placements, we have two open slots for placing <math>A</math> and <math>B</math>. Specifically, we can place <math>A</math> in the first open slot and <math>B</math> in the second open slot or switch their order and place <math>B</math> in the first open slot and <math>A</math> in the second open slot. This gives us a total of <math>6\times 2=12</math> ways to place <math>S</math> and <math>T</math> such that they are not next to each other <math>\implies\boxed{\textbf{(C) }12}</math>.<br>
 +
~[http://artofproblemsolving.com/community/user/jmansuri junaidmansuri]
 +
 
 +
====Solution 4====
 +
Let's try complementary counting. There <math>4!</math> ways to arrange the 4 marbles. However, there are <math>2\cdot3!</math> arrangements where Steelie and Tiger are next to each other. (Think about permutations of the element ST, A, and B or TS, A, and B). Thus, <cmath>4!-2\cdot3!=\boxed{12 \textbf{(C)}}</cmath>
 +
 
 +
====Solution 5====
 +
 
 +
We use complementary counting: we will count the numbers of ways where Steelie and Tiger are together and subtract that from the total count. Treat the Steelie and the Tiger as a "super marble." There are <math>2!</math> ways to arrange Steelie and Tiger within this "super marble." Then there are <math>3!</math> ways to arrange the "super marble" and Zara's two other marbles in a row. Since there are <math>4!</math> ways to arrange the marbles without any restrictions, the answer is given by <math>4!-2!\cdot 3!=\textbf{(C) }12</math>
 +
 
 +
-franzliszt
 +
 
 +
====Solution 6====
 +
 
 +
We will use the following
 +
 
 +
<math>\textbf{Georgeooga-Harryooga Theorem:}</math> The [[Georgeooga-Harryooga Theorem]] states that if you have <math>a</math> distinguishable objects and <math>b</math> of them cannot be together, then there are <math>\frac{(a-b)!(a-b+1)!}{(a-2b+1)!}</math> ways to arrange the objects.
 +
 
 +
<math>\textit{Proof. (Created by AoPS user RedFireTruck)}</math>
 +
 
 +
Let our group of <math>a</math> objects be represented like so <math>1</math>, <math>2</math>, <math>3</math>, ..., <math>a-1</math>, <math>a</math>. Let the last <math>b</math> objects be the ones we can't have together.
 +
 
 +
Then we can organize our objects like so <math>\square1\square2\square3\square...\square a-b-1\square a-b\square</math>.
 +
 
 +
We have <math>(a-b)!</math> ways to arrange the objects in that list.
 +
 
 +
Now we have <math>a-b+1</math> blanks and <math>b</math> other objects so we have <math>_{a-b+1}P_{b}=\frac{(a-b+1)!}{(a-2b+1)!}</math> ways to arrange the objects we can't put together.
 +
 
 +
By fundamental counting principal our answer is <math>\frac{(a-b)!(a-b+1)!}{(a-2b+1)!}</math>.
 +
 
 +
 
 +
Proof by [[User:RedFireTruck|RedFireTruck]]
 +
 
 +
 
 +
Back to the problem. By the [[Georgeooga-Harryooga Theorem]], our answer is <math>\frac{(4-2)!(4-2+1)!}{(4-2\cdot2+1)!}=\textbf{(C) }12</math>.
 +
 
 +
-franzliszt
 +
 
 +
====Solution 7====
 +
https://youtu.be/pB46JzBNM6g
 +
 
 +
~savannahsolver
 +
 
 +
=Testimonials=
 +
"Thanks for rediscovering our theorem [[User:Redfiretruck|RedFireTruck]]" - George and Harry of [https://www.youtube.com/channel/UC50E9TuLIMWbOPUX45xZPaQ The Ooga Booga Tribe of The Caveman Society]
 +
 
 +
"Wow! George and Harry are alive???" ~ samrocksnature
 +
 
 +
"Hi" ~ jasperE3
 +
 
 +
"I used this theorem on the AMC 8. Very useful!" - [[User:Redfiretruck|RedFireTruck]]
 +
 
 +
"This is very complicated, but great." - Jiseop55406
 +
 
 +
I used this theorem on the AMC 8 too! ~ ilp
 +
 
 +
"Very nice theorem" ~ IdkHowToAddNumbers
 +
 
 +
"This theorem is really worth of being used in the AMC 8! Very useful!" ~ [[User:Aops-g5-gethsemanea2|Aops-g5-gethsemanea2]] ([[User talk:Aops-g5-gethsemanea2|talk]]) 20:48, 21 December 2020 (EST)

Revision as of 19:51, 11 January 2021

Definition

The Georgeooga-Harryooga Theorem states that if you have $a$ distinguishable objects and $b$ are kept away from each other, then there are $\frac{(a-b)!(a-b+1)!}{(a-2b+1)!}$ ways to arrange the objects.


Created by George and Harry of The Ooga Booga Tribe of The Caveman Society

Proofs

Proof 1

Let our group of $a$ objects be represented like so $1$, $2$, $3$, ..., $a-1$, $a$. Let the last $b$ objects be the ones we can't have together.

Then we can organize our objects like so $\square1\square2\square3\square...\square a-b-1\square a-b\square$.

We have $(a-b)!$ ways to arrange the objects in that list.

Now we have $a-b+1$ blanks and $b$ other objects so we have $_{a-b+1}P_{b}=\frac{(a-b+1)!}{(a-2b+1)!}$ ways to arrange the objects we can't put together.

By fundamental counting principal our answer is $\frac{(a-b)!(a-b+1)!}{(a-2b+1)!}$.


Proof by RedFireTruck

Proof 2

Let us call the $b$ people $1, 2, ... b$

Let the number of people before $1$ in line be $y_1$, between $1, 2$ be $y_2$, ... after $b$ be $y_{b+1}$. We have \[y_1 + y_2 + y_3 + \dots y_{b+1} = a-b\]

The number of ways to determine $y_1, y_2, \dots$ is equivalent to the number of positive integer solutions to: \[x_1 + x_2 + .. + x_{b+1}\] where $(x_2, ... x_b) = (y_2, ..., y_b)$ and $(x_1, x_{b+1}) = (y_1 +1, y_{b+1})$.

So, by stars and bars, the number of ways to determine $(y_2, ..., y_b)$ is \[F(a,b) = \dbinom{a-b+1}{b} = \frac {(a-b+1)!}{b!(a-2b+1)!}\]

Furthermore, after picking positions for the people, we have $(a-b)!$ ways to order the $(a-b)$ people who can be together, and $b!$ ways to order the $b$ people who cannot be together. So for each $(y_1, y_2, ... y_{b+1}$, we have $b! (a-b)!$ orderings.

Therefore, the final answer is \[b! (a-b)! F(a,b) = \frac{(a-b)!(a-b+1)!}{(a-2b+1)!}\]


Proof by Aryabhata000

Applications

Application 1

Problem

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

Solutions

Solution 1

If Eric and Fred were distinguishable we would have $\frac{(8-3)!(8-3+1)!}{(8-2\cdot3+1)!}=14400$ ways to arrange them by the Georgeooga-Harryooga Theorem. However, Eric and Fred are indistinguishable so we have to divide by $2!=2$. Therefore, our answer is $\frac{14400}2=\boxed{7200}$.


Solution by RedFireTruck

Application 2

Problem

Zara has a collection of $4$ marbles: an Aggie, a Bumblebee, a Steelie, and a Tiger. She wants to display them in a row on a shelf, but does not want to put the Steelie and the Tiger next to one another. In how many ways can she do this?

$\textbf{(A) }6 \qquad \textbf{(B) }8 \qquad \textbf{(C) }12 \qquad \textbf{(D) }18 \qquad \textbf{(E) }24$


Problem by The Mathematical Association of America's American Mathematics Competitions

Solutions

Solution 1

By the Georgeooga-Harryooga Theorem there are $\frac{(4-2)!(4-2+1)!}{(4-2\cdot2+1)!}=\boxed{\textbf{(C) }12}$ way to arrange the marbles.


Solution by RedFireTruck

Solution 2

We can arrange our marbles like so $\square A\square B\square$.

To arrange the $A$ and $B$ we have $2!=2$ ways.

To place the $S$ and $T$ in the blanks we have $_3P_2=6$ ways.

By fundamental counting principle our final answer is $2\cdot6=\boxed{\textbf{(C) }12}$


Solution by RedFireTruck

Solution 3

Let the Aggie, Bumblebee, Steelie, and Tiger, be referred to by $A,B,S,$ and $T$, respectively. If we ignore the constraint that $S$ and $T$ cannot be next to each other, we get a total of $4!=24$ ways to arrange the 4 marbles. We now simply have to subtract out the number of ways that $S$ and $T$ can be next to each other. If we place $S$ and $T$ next to each other in that order, then there are three places that we can place them, namely in the first two slots, in the second two slots, or in the last two slots (i.e. $ST\square\square, \square ST\square, \square\square ST$). However, we could also have placed $S$ and $T$ in the opposite order (i.e. $TS\square\square, \square TS\square, \square\square TS$). Thus there are 6 ways of placing $S$ and $T$ directly next to each other. Next, notice that for each of these placements, we have two open slots for placing $A$ and $B$. Specifically, we can place $A$ in the first open slot and $B$ in the second open slot or switch their order and place $B$ in the first open slot and $A$ in the second open slot. This gives us a total of $6\times 2=12$ ways to place $S$ and $T$ next to each other. Subtracting this from the total number of arrangements gives us $24-12=12$ total arrangements $\implies\boxed{\textbf{(C) }12}$.

We can also solve this problem directly by looking at the number of ways that we can place $S$ and $T$ such that they are not directly next to each other. Observe that there are three ways to place $S$ and $T$ (in that order) into the four slots so they are not next to each other (i.e. $S\square T\square, \square S\square T, S\square\square T$). However, we could also have placed $S$ and $T$ in the opposite order (i.e. $T\square S\square, \square T\square S, T\square\square S$). Thus there are 6 ways of placing $S$ and $T$ so that they are not next to each other. Next, notice that for each of these placements, we have two open slots for placing $A$ and $B$. Specifically, we can place $A$ in the first open slot and $B$ in the second open slot or switch their order and place $B$ in the first open slot and $A$ in the second open slot. This gives us a total of $6\times 2=12$ ways to place $S$ and $T$ such that they are not next to each other $\implies\boxed{\textbf{(C) }12}$.
~junaidmansuri

Solution 4

Let's try complementary counting. There $4!$ ways to arrange the 4 marbles. However, there are $2\cdot3!$ arrangements where Steelie and Tiger are next to each other. (Think about permutations of the element ST, A, and B or TS, A, and B). Thus, \[4!-2\cdot3!=\boxed{12 \textbf{(C)}}\]

Solution 5

We use complementary counting: we will count the numbers of ways where Steelie and Tiger are together and subtract that from the total count. Treat the Steelie and the Tiger as a "super marble." There are $2!$ ways to arrange Steelie and Tiger within this "super marble." Then there are $3!$ ways to arrange the "super marble" and Zara's two other marbles in a row. Since there are $4!$ ways to arrange the marbles without any restrictions, the answer is given by $4!-2!\cdot 3!=\textbf{(C) }12$

-franzliszt

Solution 6

We will use the following

$\textbf{Georgeooga-Harryooga Theorem:}$ The Georgeooga-Harryooga Theorem states that if you have $a$ distinguishable objects and $b$ of them cannot be together, then there are $\frac{(a-b)!(a-b+1)!}{(a-2b+1)!}$ ways to arrange the objects.

$\textit{Proof. (Created by AoPS user RedFireTruck)}$

Let our group of $a$ objects be represented like so $1$, $2$, $3$, ..., $a-1$, $a$. Let the last $b$ objects be the ones we can't have together.

Then we can organize our objects like so $\square1\square2\square3\square...\square a-b-1\square a-b\square$.

We have $(a-b)!$ ways to arrange the objects in that list.

Now we have $a-b+1$ blanks and $b$ other objects so we have $_{a-b+1}P_{b}=\frac{(a-b+1)!}{(a-2b+1)!}$ ways to arrange the objects we can't put together.

By fundamental counting principal our answer is $\frac{(a-b)!(a-b+1)!}{(a-2b+1)!}$.


Proof by RedFireTruck


Back to the problem. By the Georgeooga-Harryooga Theorem, our answer is $\frac{(4-2)!(4-2+1)!}{(4-2\cdot2+1)!}=\textbf{(C) }12$.

-franzliszt

Solution 7

https://youtu.be/pB46JzBNM6g

~savannahsolver

Testimonials

"Thanks for rediscovering our theorem RedFireTruck" - George and Harry of The Ooga Booga Tribe of The Caveman Society

"Wow! George and Harry are alive???" ~ samrocksnature

"Hi" ~ jasperE3

"I used this theorem on the AMC 8. Very useful!" - RedFireTruck

"This is very complicated, but great." - Jiseop55406

I used this theorem on the AMC 8 too! ~ ilp

"Very nice theorem" ~ IdkHowToAddNumbers

"This theorem is really worth of being used in the AMC 8! Very useful!" ~ Aops-g5-gethsemanea2 (talk) 20:48, 21 December 2020 (EST)

Retrieved from "https://artofproblemsolving.com/wiki/index.php?title=Georgeooga-Harryooga_Theorem&oldid=141925"