problem:
Vind alle functies $f: \mathbb{Z}_{>0} \rightarrow \mathbb{Z}_{>0}$ die voldoen aan

$$
f(f(f(n)))+f(f(n))+f(n)=3 n
$$

voor alle $n \in \mathbb{Z}_{>0}$.

solution:
Uit $f(m)=f(n)$ volgt $3 m=3 n$ dus $m=n$. Dus $f$ is injectief. Nu bewijzen we met volledige inductie naar $n$ dat $f(n)=n$ voor alle $n$.
Omdat $f: \mathbb{Z}_{>0} \rightarrow \mathbb{Z}_{>0}$ geldt $f(1) \geq 1, f(f(1)) \geq 1$ en $f(f(f(1))) \geq 1$. Vullen we nu $n=1$ in de functievergelijking in, dan zien we dat

$$
f(f(f(1)))+f(f(1))+f(1)=3,
$$

dus moet overal gelijkheid gelden: $f(1)=f(f(1))=f(f(f(1)))=1$.
Zij nu $k \geq 2$ en stel dat we voor alle $n<k$ bewezen hebben dat $f(n)=n$. Dan volgt uit de injectiviteit van $f$ dat voor alle $m \geq k$ geldt dat $f(m) \geq k$; de lagere functiewaardes worden immers al aangenomen. Dus in het bijzonder geldt $f(k) \geq k$ en dan ook $f(f(k)) \geq k$ en daarom ook $f(f(f(k))) \geq k$. Vullen we nu $n=k$ in de functievergelijking in, dan zien we dat

$$
f(f(f(k)))+f(f(k))+f(k)=3 k
$$

We zien dat ook nu weer overal gelijkheid moet gelden, dus $f(k)=k$. Dit voltooit de inductie.
De enige functie die kan voldoen is dus $f(n)=n$ voor alle $n$. Deze functie voldoet ook daadwerkelijk, want

$$
f(f(f(n)))+f(f(n))+f(n)=n+n+n=3 n
$$

solution_match: Opgave 1.


problem:
Julian en Johan spelen een spel met een even aantal, zeg $2 n$, kaarten ( $n \in \mathbb{Z}_{>0}$ ). Op elke kaart staat een positief geheel getal. De kaarten worden geschud en in een rij op tafel gelegd met de getallen zichtbaar. Een speler die aan de beurt is, mag ofwel de meest linker kaart ofwel de meest rechter kaart pakken. De spelers zijn om en om aan de beurt.
Johan begint, dus Julian pakt uiteindelijk de laatste kaart. De score van Johan is de som van de getallen op de $n$ kaarten die hij heeft gepakt en voor Julian net zo. Bewijs dat Johan altijd een minstens even hoge score als Julian kan behalen.

solution:
Zij $2 n$ het aantal kaarten en ga ervan uit dat de kaarten in de rij achtereenvolgens $a_{1}, a_{2}, \ldots, a_{2 n}$ zijn. We bewijzen met inductie naar $n$ dat Johan dan altijd kan zorgen dat hij naar keuze alle oneven kaarten $a_{1}, a_{3}, a_{5}, \ldots$ pakt of juist alle even kaarten $a_{2}, a_{4}, a_{6}, \ldots$ Voor $n=1$ pakt Johan kaart $a_{1}$ als hij de oneven kaarten wil en kaart $a_{2}$ als hij de even kaarten wil. Stel we hebben het bewezen voor zekere $n$. Bekijk de kaarten $a_{1}$, $a_{2}, \ldots, a_{2 n+2}$. Als Johan de oneven kaarten wil, pakt hij eerst $a_{1}$. Julian pakt vervolgens $a_{2}$ of $a_{2 n+2}$. Daarna blijft over de rij $b_{1}, b_{2}, \ldots, b_{2 n}$. In het eerste geval geldt $b_{i}=a_{i+2}$ voor alle $i$ en kan Johan volgens de inductiehypothese alle oneven $b_{i}$ krijgen, wat hem samen met de kaart $a_{1}$ alle oneven kaarten oplevert. In het tweede geval geldt $b_{i}=a_{i+1}$ voor alle $i$ en kan Johan volgens de inductiehypothese alle even $b_{i}$ krijgen, wat hem samen met de kaart $a_{1}$ alle oneven kaarten oplevert. Johan kan dus zorgen dat hij alle oneven kaarten krijgt. Analoog kan hij ook zorgen dat hij alle even kaarten krijgt. Dit voltooit de inductie. Johan kan nu zorgen dat hij minstens evenveel punten scoort als Julian op de volgende manier: als de som van de getallen op de oneven kaarten minstens even groot is als de som van de getallen op de even kaarten, dan kiest hij alle oneven kaarten. Zo niet, dan kiest hij alle even kaarten.

#

solution_match: Opgave 2.


problem:
Laat $m, n$ positieve gehele getallen zijn. Bekijk een rijtje positieve gehele getallen $a_{1}$, $a_{2}, \ldots, a_{n}$ dat voldoet aan $m=a_{1} \geq a_{2} \geq \cdots \geq a_{n} \geq 1$. Voor $1 \leq i \leq m$ definiëren we

$$
b_{i}=\#\left\{j \in\{1,2, \ldots, n\}: a_{j} \geq i\right\}
$$

dus $b_{i}$ is het aantal getallen $a_{j}$ uit het rijtje waarvoor geldt $a_{j} \geq i$. Voor $1 \leq j \leq n$ definiëren we

$$
c_{j}=\#\left\{i \in\{1,2, \ldots, m\}: b_{i} \geq j\right\}
$$

dus $c_{j}$ is het aantal getallen $b_{i}$ waarvoor geldt $b_{i} \geq j$.
Voorbeeld: bij het a-rijtje 5, 3, 3, 2, 1, 1 hoort het b-rijtje 6, 4, 3, 1, 1 .
(a) Bewijs dat $a_{j}=c_{j}$ voor $1 \leq j \leq n$.
(b) Bewijs dat voor $1 \leq k \leq m$ geldt: $\sum_{i=1}^{k} b_{i}=k \cdot b_{k}+\sum_{j=b_{k}+1}^{n} a_{j}$.

solution:
(a) Oplossing 1. Merk op dat voor $1 \leq i \leq m$ en $1 \leq j \leq n$ geldt:

| $a_{j} \geq i$ | $\Longleftrightarrow$ |
| ---: | :--- |
| $a_{1}, a_{2}, \ldots, a_{j} \geq i$ | $\Longleftrightarrow$ |
| minstens $j$ van de $a^{\prime}$ 'tjes zijn groter of gelijk aan $i$ | $\Longleftrightarrow$ |
| $b_{i} \geq j$ | $\Longleftrightarrow$ |
| $b_{1}, b_{2}, \ldots, b_{i} \geq j$ | $\Longleftrightarrow$ |
| minstens $i$ van de $b^{\prime}$ tjes zijn groter of gelijk aan $j$ | $\Longleftrightarrow$ |
| $c_{j} \geq i$. |  |

Zij nu $j$ gegeven. Neem dan eerst $i=a_{j}$, dan is de eerste regel waar, dus de laatste ook: $c_{j} \geq a_{j}$. Neem andersom $i=c_{j}$, dan is de laatste regel waar, dus de eerste ook: $a_{j} \geq c_{j}$. Nu volgt $a_{j}=c_{j}$.

Oplossing 2. Wegens de niet-stijgendheid geldt $b_{i}=\max \left\{l: a_{l} \geq i\right\}$ en $c_{j}=\max \{i$ : $\left.b_{i} \geq j\right\}$. Dus voor $1 \leq j \leq n$ geldt

$$
c_{j}=\max \left\{i: b_{i} \geq j\right\}=\max \left\{i: \max \left\{l: a_{l} \geq i\right\} \geq j\right\}
$$

Voor een vaste $i$ geldt:

$$
\max \left\{l: a_{l} \geq i\right\} \geq j \quad \Longleftrightarrow \quad a_{j} \geq i
$$

dus $c_{j}=\max \left\{i: a_{j} \geq i\right\}=a_{j}$.
(b) Oplossing 1. Voor $1 \leq k \leq m$ geldt

$$
\sum_{i=1}^{k}\left(b_{i}-b_{k}\right)=\sum_{i=1}^{k}\left(\#\left\{l: a_{l} \geq i\right\}-\#\left\{l: a_{l} \geq k\right\}\right)=\sum_{i=1}^{k} \#\left\{l: k>a_{l} \geq i\right\}
$$

Elk element $a_{l}$ uit de rij (met $k>a_{l}$ ) wordt hierin precies $a_{l}$ maal geteld (namelijk voor elke $i \leq a_{l}$ ) dus dit is niets anders dan de som van al dergelijke $a_{l}$. Nu is (zie oplossing 1 van onderdeel a) $k \leq a_{l}$ dan en slechts dan als $l \leq b_{k}$, dus $k>a_{l}$ dan en slechts dan als $l>b_{k}$, dus

$$
\sum_{i=1}^{k}\left(b_{i}-b_{k}\right)=\sum_{l: k>a_{l}} a_{l}=\sum_{l=b_{k}+1}^{n} a_{l}
$$

en hier volgt het te bewijzen direct uit.
Oplossing 2. We bewijzen dit met inductie naar $k$. Voor $k=1$ staat er

$$
b_{1} \stackrel{?}{=} b_{1}+\sum_{j=b_{1}+1}^{n} a_{j}
$$

en dit is waar omdat $b_{1}=\#\left\{j: a_{j} \geq 1\right\}=n$, dus de som aan de rechterkant is leeg. Stel nu dat we het bewezen hebben voor zekere $k$ met $1 \leq k \leq m-1$. Dan geldt

$$
\begin{aligned}
\sum_{i=1}^{k+1} b_{i} & =\sum_{i=1}^{k} b_{i}+b_{k+1} \\
& \stackrel{\mathrm{IH}}{=} k \cdot b_{k}+\sum_{j=b_{k}+1}^{n} a_{j}+b_{k+1} \\
& =(k+1) \cdot b_{k+1}+\sum_{j=b_{k+1}+1}^{n} a_{j}+k\left(b_{k}-b_{k+1}\right)-\sum_{j=b_{k+1}+1}^{b_{k}} a_{j} \\
& =(k+1) \cdot b_{k+1}+\sum_{j=b_{k+1}+1}^{n} a_{j}+k\left(b_{k}-b_{k+1}\right)-\sum_{j=b_{k+1}+1}^{b_{k}} k \\
& =(k+1) \cdot b_{k+1}+\sum_{j=b_{k+1}+1}^{n} a_{j} .
\end{aligned}
$$

solution_match: # Opgave 3.


problem:
Zij $n$ een geheel getal zo dat $\sqrt{1+12 n^{2}}$ een geheel getal is.

Bewijs dat $2+2 \sqrt{1+12 n^{2}}$ het kwadraat van een geheel getal is.

solution:
Zij a zo dat $1+12 n^{2}=a^{2}$. We kunnen dit herschrijven als

$$
12 n^{2}=a^{2}-1=(a+1)(a-1)
$$

De linkerkant is deelbaar door 2, dus de rechterkant ook, dus $a$ is oneven. Omdat links een even aantal factoren 2 staat, moeten zowel $a+1$ en $a-1$ deelbaar zijn door een oneven aantal factoren 2 (de een is namelijk deelbaar door precies één factor 2). Verder geldt $\operatorname{ggd}(a+1, a-1)=2$, dus alle oneven priemfactoren die voorkomen in $n$, komen voor in precies één van $a+1$ en $a-1$. Voor de priemfactoren groter dan 3 geldt dat ze rechts een even aantal keer voorkomen; de priemfactor 3 komt een oneven aantal keer voor. Concluderend zijn er twee mogelijkheden:

$$
a+1=6 b^{2} \quad \text { en } \quad a-1=2 c^{2}
$$

voor zekere gehele $b$ en $c$ met $b c=n$ of

$$
a+1=2 b^{2} \quad \text { en } \quad a-1=6 c^{2}
$$

voor zekere gehele $b$ en $c$ met $b c=n$. Bekijk eerst het eerste geval. Dan is $a+1$ deelbaar door 3 en dus $a-1 \equiv 1 \bmod 3$. Maar daaruit volgt $c^{2} \equiv 2 \bmod 3$ en dat is onmogelijk. Dus het tweede geval moet gelden. Maar dan is

$$
2+2 \sqrt{1+12 n^{2}}=2+2 a=2(a+1)=4 b^{2}=(2 b)^{2},
$$

en dat is wat we moesten bewijzen.

solution_match: Opgave 4.


problem: Laat $\triangle A B C$ een rechthoekige driehoek zijn met $\angle B=90^{\circ}$ en $|A B|>|B C|$; en zij $\Gamma$ de halve cirkel met middellijn $A B$ aan de kant van $A B$ waar ook $C$ ligt. Zij punt $P$ op $\Gamma$ zo dat $|B P|=|B C|$ en zij $Q$ op lijnstuk $A B$ zo dat $|A P|=|A Q|$. Bewijs dat het midden van $C Q$ op $\Gamma$ ligt.

solution:
Oplossing 1. Zij $S$ het snijpunt van $\Gamma$ en $C Q$. We moeten bewijzen dat $|Q S|=|S C|$.
De lijn $B C$ is een raaklijn aan $\Gamma$, dus geldt $\angle C B P=\angle B A P=\angle Q A P$. Omdat de driehoeken $C B P$ en $Q A P$ beide gelijkbenig zijn, zijn ze gelijkvormig. Zij $\alpha=\angle B C P$, dan geldt

$$
\alpha=\angle B C P=\angle C P B=\angle Q P A=\angle A Q P
$$

We zien nu dat

$$
\angle C P Q=\angle C P B+\angle B P Q=\angle Q P A+\angle B P Q=\angle B P A=90^{\circ} .
$$

Dus $P$ ligt, net als $B$, op de cirkel met middellijn $C Q$. Punt $S$ ligt op deze middellijn en we willen laten zien dat $S$ het middelpunt van de cirkel is, dus het is voldoende om te laten zien dat

$$
\angle B S P=2 \alpha=2 \angle B C P .
$$

In koordenvierhoek $Q B C P$ geldt $\angle C P B=\angle C Q B$, dus
$2 \alpha=\angle C Q B+\angle A Q P=180^{\circ}-\angle P Q C=180^{\circ}-\angle P B C=90^{\circ}+\angle Q B C-\angle P B C=90^{\circ}+\angle Q B P$.
In koordenvierhoek $A B S P$, waarin $A B$ de middellijn is, zien we

$$
90^{\circ}+\angle Q B P=90^{\circ}+\angle A B P=\angle B S A+\angle A S P=\angle B S P,
$$

zodat we kunnen concluderen

$$
2 \alpha=\angle B S P
$$

en dat is wat we wilden bewijzen.

Oplossing 2. Merk eerst op (net als in de vorige oplossing) dat de twee gelijkbenige driehoeken gelijkvormig zijn. Omdat $B C$ loodrecht op $A B$ staat, is de ene driehoek $90^{\circ}$ gedraaid ten opzichte van de andere. Zij $l_{1}$ de bissectrice van $\angle P B C$ en $l_{2}$ de bissectrice $\operatorname{van} \angle P A Q$. Deze bissectrices staan nu loodrecht op elkaar. Zij $T$ het snijpunt van $l_{1}$ en $l_{2}$. Dan geldt dus $\angle A T B=90^{\circ}$, dus $T$ ligt op $\Gamma$.
Nu is $P$ het beeld van $C$ onder spiegeling in $l_{1}$ en $Q$ is het beeld van $P$ onder spiegeling in $l_{2}$. De samenstelling van deze twee spiegelingen is de rotatie in $T$ om $2 \cdot 90=180$ graden. Onder deze rotatie gaat $C$ over in $Q$, dus $C T Q$ is een rechte lijn. Dus $T=S$. Wegens de rotatie geldt ook $|T C|=|T Q|$, dus $S$ is het midden van $C Q$.

solution_match: Opgave 5.