Problems
Prove that the product of five consecutive integers is divisible by \(120\).
Most magic tricks rely on some kind of sleight of hand. However, some tricks are powered by maths!
A fruitful way of analyzing card shuffles is by using the idea of “permutations". Permutations are important objects that occur in various parts of maths. Many interesting patterns emerge, and we will only touch the tip of the iceberg today.
Suppose you have a set of ordered objects. A permutation of this set is a reordering of the objects. For example, a permutation of a deck of cards ordered from top to bottom is simply a shuffle of the cards. Note that in general, a permutation can be defined as a relabelling of objects, so an order is not necessary.
Let’s discuss two ways of writing permutations.
The first way is two-line notation. Say you have the cards from top to bottom Ace, two, three. Say Ace is 1. Suppose that after a shuffle \(p\), we have from top to bottom two, three, Ace. The two-line notation keeps the original positions on the first line and the new positions in the second line.
\[p = \left( \begin{array}{ccc} 1 & 2 & 3 \\ 3 & 1 & 2 \\ \end{array} \right).\]
A second way of writing permutations is function notation. In the same situation, we could write \(p(1)=3\), \(p(2)=1\) and \(p(3)=2\).
As a first indication of why permutations give a useful perspective, we note that permutations can be done after another and the result is still a permutation. Let \(q\) be the permutation on the same three cards given by \(q(1)=2\), \(q(2)=3\) and \(q(3)=1\). Consider \(qp\) which is performing \(p\) first and then \(q\). To find out what the effect of this composite permutation is on \(1\), we can visualize it as follows: \[1\mapsto3=p(1)\mapsto q(p(1))=q(3)=1.\]
This shows that the function notation plays very nicely with composing permutations. By the way, if we work out the entire \(qp\) in this fashion, we find that \[qp = \left( \begin{array}{ccc} 1 & 2 & 3 \\ 1 & 2 & 3 \\ \end{array} \right).\]
In other words, \(q\) has “negated" the effect of \(p\)!
We often think of symmetry as a property of shapes. Another way of thinking about it is as something you do to an object which keeps the object looking the same. The example you’ve likely met is reflection. The other one that we’ll consider today is rotation. An important feature is that we consider ‘doing nothing’ as a symmetry - we call this the identity.
Let \(n\ge3\) be a positive integer. A regular \(n\)-gon is a polygon with \(n\) sides where every side has the same length, and every angle is the same. For example, a regular \(3\)-gon is an equilateral triangle, and a regular \(4\)-gon is a square.
What symmetries does a regular \(n\)-gon have, and how many?
The set of symmetries of an object (e.g. a square) form an object called a group. We can formally define a group \(G\) as follows.
A is a non-empty set \(G\) with a binary operation \(*\) satisfying the following axioms (you can think of them as rules). A binary operation takes two elements of \(G\) and gives another element of \(G\).
Closure: For all \(g\) and \(h\) in \(G\), \(g*h\) is also in \(G\).
Identity: There is an element \(e\) of \(G\) such that \(e*g=g=g*e\) for all \(g\) in \(G\).
Associativity: For all \(g\), \(h\) and \(k\) in \(G\), \((g*h)*k=g*(h*k)\).
Inverses: For every \(g\) in \(G\), there exists a \(g^{-1}\) in \(G\) such that \(g*g^{-1}=e\).
Prove that the symmetries of the ‘reduce-reuse-recycle’ symbol form a group.
Let \(u\) and \(v\) be two positive integers, with \(u>v\). Prove that a triangle with side lengths \(u^2-v^2\), \(2uv\) and \(u^2+v^2\) is right-angled.
We call a triple of natural numbers (also known as positive integers) \((a,b,c)\) satisfying \(a^2+b^2=c^2\) a Pythagorean triple. If, further, \(a\), \(b\) and \(c\) are relatively prime, then we say that \((a,b,c)\) is a primitive Pythagorean triple.
Show that every primitive Pythagorean triple can be written in the form \((u^2-v^2,2uv,u^2+v^2)\) for some coprime positive integers \(u>v\).
What symmetries does a regular hexagon have, and how many?
Let \(X\) be a finite set, and let \(\mathcal{P}X\) be the power set of \(X\) - that is, the set of subsets of \(X\). For subsets \(A\) and \(B\) of \(X\), define \(A*B\) as the symmetric difference of \(A\) and \(B\) - that is, those elements that are in either \(A\) or \(B\), but not both. In formal set theory notation, this is \(A*B=(A\cup B)\backslash(A\cap B)\).
Prove that \((\mathcal{P}X,*)\) forms a group.
The lengths of three sides of a right-angled triangle are all integers.
Show that one of them is divisible by \(5\).