Difference between revisions of "Infinite Defenestration"

(Created page with "'''Infinite Defenestration''' is a method of proof which utilizes repeatedly thowing members of a party out a window. It relies on that given <math>n</math> people at a party,...")
 
m (Made a few things a bit clearer.)
 
(2 intermediate revisions by 2 users not shown)
Line 1: Line 1:
'''Infinite Defenestration''' is a method of proof which utilizes repeatedly thowing members of a party out a window. It relies on that given <math>n</math> people at a party, it is possible to throw <math>1</math> member out the window, leaving <math>n - 1</math> members remaining.
+
'''Infinite Defenestration''' is a method of proof which utilizes repeatedly throwing members of a party out a window. It relies on that given <math>n</math> people at a party, it is possible to throw <math>1</math> member out the window, leaving <math>n - 1</math> members remaining.
  
'''Problem 1'''. Prove that given <math>n</math> attendees of a party, one can defenestrate a member <math>n</math> times.
+
==Problem 1==
 +
Prove that given <math>n</math> attendees of a party, one can defenestrate <math>n</math> members.
 +
===Solution===
 +
'''Proof'''
  
Proof.
+
<math>\textbf{Lemma:} \textit{ Given integer }k; 0\le k\le n, k \textit{ members of a party of size }n.</math>
Lemma: Given integer <math>k; 0\le k\le n</math>, <math>k</math> members of a party of size <math>n</math>.
+
 
We use the induction rule. We start with <math>k = 0</math>, which is trivial.
+
We use [[mathematical induction]]. We start with <math>k = 0</math>, which is trivial.
 
We induct; give <math>i < n</math> members defenestrated, <math>n - i</math> remain. We throw out <math>1</math> member, leaving us with <math>i + 1</math> members defenestrated and <math>n - (i + 1)</math> members remaining.
 
We induct; give <math>i < n</math> members defenestrated, <math>n - i</math> remain. We throw out <math>1</math> member, leaving us with <math>i + 1</math> members defenestrated and <math>n - (i + 1)</math> members remaining.
  
Thus lemma is true. Plugging in <math>k = 0,1,2,3\cdots</math>, we have Q.E.D.
+
Thus lemma is true. Plugging in <math>k = 0,1,2,3\cdots</math>, we have <math>\mathbb{Q.E.D.}</math>
  
 
Try your hand at the following problems:
 
Try your hand at the following problems:
  
'''Problem 2'''. Prove that given <math>n</math> couples, you can defenestrate <math>1</math> couple <math>n</math> times.
+
==Problem 2==
 +
Prove that given <math>n</math> couples, you can defenestrate <math>n</math> couples.
  
'''Problem 3'''. Jim and his wife Jeri attend a party with 4 other married couples. As they enter, Jim and Jeri shake hands with some of the guests, but not with each other. During the evening, each person except 1 shakes hands with some of the guests, but not with their spouse. After the party, Jim asks each guest how many people they shook hands with and got answers 0,1,2,3,4,5,6,7,8. How many people did Jeri shake hands with?
+
==Problem 3==
 +
Jim and his wife Jeri attend a party with 4 other married couples. As they enter, Jim and Jeri shake hands with some of the guests, but not with each other. During the evening, each person except 1 shakes hands with some of the guests, but not with their spouse. After the party, Jim asks each guest how many people they shook hands with and got answers 0,1,2,3,4,5,6,7,8. How many people did Jeri shake hands with?

Latest revision as of 19:30, 29 June 2022

Infinite Defenestration is a method of proof which utilizes repeatedly throwing members of a party out a window. It relies on that given $n$ people at a party, it is possible to throw $1$ member out the window, leaving $n - 1$ members remaining.

Problem 1

Prove that given $n$ attendees of a party, one can defenestrate $n$ members.

Solution

Proof

$\textbf{Lemma:} \textit{ Given integer }k; 0\le k\le n, k \textit{ members of a party of size }n.$

We use mathematical induction. We start with $k = 0$, which is trivial. We induct; give $i < n$ members defenestrated, $n - i$ remain. We throw out $1$ member, leaving us with $i + 1$ members defenestrated and $n - (i + 1)$ members remaining.

Thus lemma is true. Plugging in $k = 0,1,2,3\cdots$, we have $\mathbb{Q.E.D.}$

Try your hand at the following problems:

Problem 2

Prove that given $n$ couples, you can defenestrate $n$ couples.

Problem 3

Jim and his wife Jeri attend a party with 4 other married couples. As they enter, Jim and Jeri shake hands with some of the guests, but not with each other. During the evening, each person except 1 shakes hands with some of the guests, but not with their spouse. After the party, Jim asks each guest how many people they shook hands with and got answers 0,1,2,3,4,5,6,7,8. How many people did Jeri shake hands with?