problem:
Alle positieve gehele getallen worden rood of groen gekleurd, zodat aan de volgende voorwaarden wordt voldaan:

- Er zijn zowel rode als groene getallen.
- De som van drie (niet noodzakelijk verschillende) rode getallen is rood.
- De som van drie (niet noodzakelijk verschillende) groene getallen is groen.

Vind alle mogelijke kleuringen die hieraan voldoen.

solution:
Stel dat we het getal $k$ rood kleuren. We bewijzen met inductie naar $n$ dat dan ook $(2 n+1) k$ rood is voor alle $n \geq 0$. Voor $n=0$ is dit natuurlijk waar. Stel dat $(2 n-1) k$ rood is voor zekere $n$, dan is ook $k+k+(2 n-1) k=(2 n+1) k$ rood. Dit voltooit de inductie. Analoog geldt dat als $k$ groen gekleurd is, dat dan ook $(2 n+1) k$ groen gekleurd is voor alle $n \geq 0$.
Zonder verlies van algemeenheid kunnen we aannemen dat 1 rood is. Dan zijn dus alle oneven getallen rood. Stel nu dat er ook een even getal $2 m$ is dat rood is. Omdat nu 1 en $2 m$ beide rood zijn, kunnen we weer makkelijk met inductie laten zien dat $2 m+2 n$ rood is voor alle $n \geq 0$. Er zijn nu nog maar eindig veel getallen over die groen kunnen zijn, namelijk de even getallen kleiner dan $2 m$. Echter, als één van die getallen groen is, dan moeten ook alle oneven veelvouden van dat getal groen zijn en dat zijn er oneindig veel, tegenspraak. Als anderzijds geen van die getallen groen is, dan hebben we een tegenspraak met de eerste voorwaarde. We concluderen dat er geen even getal is dat rood is. Dus alle even getallen zijn groen.
Deze kleuring voldoet ook aan alle voorwaarden: de som van drie oneven getallen is altijd oneven en de som van drie even getallen is altijd even, waaruit blijkt dat aan de tweede en derde voorwaarde voldaan is. Aan de eerste voorwaarde is duidelijk ook voldaan.
De enige mogelijke kleuringen zijn dus: alle even getallen groen en alle oneven getallen rood, of alle oneven getallen groen en alle even getallen rood.

problem_match: Opgave 1.

solution_match: Oplossing.


problem:
In de scherphoekige driehoek $A B C$ is $\angle C$ groter dan $\angle A$. Zij $E$ zodat $A E$ een middellijn is van de omgeschreven cirkel $\Gamma$ van $\triangle A B C$. Zij $K$ het snijpunt van $A C$ en de raaklijn in $B$ aan $\Gamma$. Zij $L$ het voetpunt van de loodlijn vanuit $K$ op $A E$ en zij $D$ het snijpunt van $K L$ en $A B$.
Bewijs dat $C E$ de bissectrice van $\angle B C D$ is.

solution:
Door de voorwaarden in de opgave ligt de configuratie vast. Omdat $\angle L A D=$ $\angle E A B=\angle E C B$ vanwege de omtrekshoekstelling op koorde $E B$ van $\Gamma$, geldt

$$
\begin{gathered}
\angle B D K=\angle A D L=180^{\circ}-\angle D L A-\angle L A D=90^{\circ}-\angle L A D=90^{\circ}-\angle E C B \\
=\angle E C A-\angle E C B=\angle B C A=180^{\circ}-\angle B C K .
\end{gathered}
$$

Hieruit volgt dat $B D K C$ een koordenvierhoek is. Dus $\angle B C D=\angle B K D$. We gaan nu bewijzen dat $\angle B K D=2 \angle B C E$, waaruit het gevraagde volgt.
Vanwege de raaklijnomtrekshoekstelling geldt $\angle E B K=\angle B C E$, dus $\angle A B K=\angle A B E+$ $\angle E B K=90^{\circ}+\angle B C E$. Met de hoekensom in driehoek $A B K$ zien we vervolgens dat

$$
\angle A K B=180^{\circ}-\left(90^{\circ}+\angle B C E\right)-\angle B A K=90^{\circ}-\angle B C E-\angle B A K
$$

De omtrekhoekstelling vertelt ons dat $\angle B A K=\angle E A K+\angle B A E=\angle E A K+\angle B C E$, dus we vinden dat

$$
\angle A K B=90^{\circ}-2 \angle B C E-\angle E A K=90^{\circ}-2 \angle B C E-\angle L A K .
$$

Uit de hoekensom in driehoek $A K L$ volgt dat $\angle A K L=90^{\circ}-\angle L A K$, dus

$$
\angle A K B=\angle A K L-2 \angle B C E .
$$

Dit geeft

$$
\angle B K D=\angle A K L-\angle A K B=2 \angle B C E,
$$

wat is wat we wilden bewijzen.

problem_match: Opgave 2.

solution_match: Oplossing I.


solution:
Omdat $A E$ een middellijn is, geldt wegens de stelling van Thales dat $\angle E B A=90^{\circ}$ en ook $\angle E C A=90^{\circ}$. Verder geldt natuurlijk $\angle K L A=90^{\circ}$. Dus volgens de stelling van Thales liggen $B$ en $L$ op de cirkel met middellijn $D E$, dus is $B D L E$ een koordenvierhoek. Wegens de rechte hoeken bij $C$ en $L$ is zo ook $C K L E$ een koordenvierhoek.
We passen de machtstelling toe op het punt $A$ en de koordenvierhoek $B D L E$ : er geldt $A B \cdot A D=A E \cdot A L$. De machtstelling op punt $A$ en koordenvierhoek $C K L E$ geeft juist $A E \cdot A L=A C \cdot A K$. Combineren van beide geeft dat $A B \cdot A D=A C \cdot A K$. Daaruit volgt met alweer de machtstelling vanuit punt $A$ dat $B D K C$ een koordenvierhoek is. Vanaf hier kunnen we het bewijs vervolgen als in oplossing 1.

solution_match: Oplossing II.


problem:
Vind alle drietallen reële getallen $(x, y, z)$ die voldoen aan

$$
x^{2}+y^{2}+z^{2}+1=x y+y z+z x+|x-2 y+z|
$$

solution:
We herschrijven de gegeven vergelijking als

$$
\frac{1}{2} x^{2}-x y+\frac{1}{2} y^{2}+\frac{1}{2} y^{2}-y z+\frac{1}{2} z^{2}+\frac{1}{2} z^{2}-z x+\frac{1}{2} x^{2}+1=|x-2 y+z|,
$$

oftewel als

$$
\frac{1}{2}(x-y)^{2}+\frac{1}{2}(y-z)^{2}+\frac{1}{2}(z-x)^{2}+1=|(x-y)+(z-y)| .
$$

Substitueer nu $a=x-y$ en $b=z-y$. Dan geldt $x-z=a-b$, dus krijgen we

$$
\frac{1}{2} a^{2}+\frac{1}{2} b^{2}+\frac{1}{2}(a-b)^{2}+1=|a+b| .
$$

Uit $(a-b)^{2} \geq 0$ volgt $a^{2}-2 a b+b^{2} \geq 0$, dus $2 a^{2}+2 b^{2} \geq a^{2}+b^{2}+2 a b$, wat betekent dat $a^{2}+b^{2} \geq \frac{(a+b)^{2}}{2}$ met gelijkheid dan en slechts dan als $a=b$. Verder geldt natuurlijk ook $(a-b)^{2} \geq 0$. Dus

$$
|a+b|=\frac{1}{2} a^{2}+\frac{1}{2} b^{2}+\frac{1}{2}(a-b)^{2}+1 \geq \frac{(a+b)^{2}}{4}+1
$$

Schrijf nu $c=|a+b|$, dan staat hier

$$
c \geq \frac{c^{2}}{4}+1
$$

Dit kunnen we herschrijven naar $c^{2}-4 c+4 \leq 0$, oftewel $(c-2)^{2} \leq 0$. Omdat links een kwadraat staat, moet hier wel gelijkheid gelden, dus $c=2$. Verder moet nu ook in onze eerdere afschatting gelijkheid gelden, dus $a=b$. Dit invullen in (2) geeft $a^{2}+1=2$, dus $a= \pm 1$. Zo vinden we de drietallen $(y+1, y, y+1)$ en $(y-1, y, y-1)$ voor willekeurige $y \in \mathbb{R}$. Invullen in de vergelijking (1) (die equivalent is aan de oorspronkelijke vergelijking) laat zien dat deze drietallen inderdaad oplossingen zijn voor alle $y \in \mathbb{R}$. Alle oplossingen worden dus gegeven door $(y+1, y, y+1)$ en $(y-1, y, y-1)$ met $y \in \mathbb{R}$.

problem_match: Opgave 3.


solution:
Leid net als hierboven vergelijking (2) af. Merk nu op dat $|a+b| \leq|a|+|b|$ volgens de driehoeksongelijkheid, dus

$$
\frac{1}{2} a^{2}+\frac{1}{2} b^{2}+\frac{1}{2}(a-b)^{2}+1=|a+b| \leq|a|+|b| .
$$

Dit kunnen we herschrijven als

$$
\frac{1}{2}(|a|-1)^{2}+\frac{1}{2}(|b|-1)^{2}+\frac{1}{2}(a-b)^{2} \leq 0 .
$$

Links staat de som van drie kwadraten, dus deze moeten allemaal gelijk aan 0 zijn. Dus $|a|=1,|b|=1$ en $a=b$. Zo vinden we weer de drietallen $(y+1, y, y+1)$ en $(y-1, y, y-1)$ voor willekeurige $y \in \mathbb{R}$. Zie verder eerste oplossing.


solution:
We onderscheiden twee gevallen: $x-2 y+z \geq 0$ of $x-2 y+z<0$. In het eerste geval wordt de vergelijking

$$
x^{2}+y^{2}+z^{2}+1=x y+y z+z x+x-2 y+z .
$$

We kunnen dit beschouwen als kwadratische vergelijking in $x$ :

$$
x^{2}+(-y-z-1) x+\left(y^{2}+z^{2}+1-y z+2 y-z\right)=0 .
$$

We berekenen hiervan de discriminant:

$$
\begin{gathered}
D=(-y-z-1)^{2}-4\left(y^{2}+z^{2}+1-y z+2 y-z\right)=-3 y^{2}-3 z^{2}-3+6 y z-6 y+6 z \\
=-3\left(y^{2}+z^{2}+1-2 y z+2 y-2 z\right)=-3(y-z+1)^{2} .
\end{gathered}
$$

We zien dat $D \leq 0$, terwijl de kwadratische vergelijking alleen een oplossing heeft als $D \geq 0$. Er moet dus gelden $D=0$. Hieruit volgt $y-z+1=0$, dus $z=y+1$. We krijgen dan met abc-formule $x=\frac{-(-y-z-1) \pm \sqrt{0}}{2}=y+1$. Zo vinden we het drietal $(y+1, y, y+1)$ voor willekeurige $y \in \mathbb{R}$. We moeten hiervoor nog controleren dat $x-2 y+z \geq 0$. Dit geldt inderdaad, want $x-2 y+z=2$. Dus dit drietal is een oplossing.
Nu bekijken we het geval $x-2 y+z<0$. We krijgen weer een kwadratische vergelijking in $x$ :

$$
x^{2}+(-y-z+1) x+\left(y^{2}+z^{2}+1-y z-2 y+z\right)=0 .
$$

Deze heeft als discriminant

$$
\begin{gathered}
D=(-y-z+1)^{2}-4\left(y^{2}+z^{2}+1-y z-2 y+z\right)=-3 y^{2}-3 z^{2}-3+6 y z+6 y-6 z \\
=-3\left(y^{2}+z^{2}+1-2 y z-2 y+2 z\right)=-3(y-z-1)^{2} .
\end{gathered}
$$

We zien weer $D \leq 0$, waaruit weer volgt dat $D=0$, dus $z=y-1$. We vinden vervolgens $x=\frac{-(-y-z+1) \pm \sqrt{0}}{2}=y-1$. Zo vinden we het drietal $(y-1, y, y-1)$ voor willekeurige $y \in \mathbb{R}$. Er geldt nu $x-2 y+z=-2<0$, dus dit drietal is een oplossing.
Al met al zijn de enige oplossingen $(y+1, y, y+1)$ en $(y-1, y, y-1)$ voor willekeurige $y \in \mathbb{R}$.

solution_match: Oplossing III.


problem: Zij $n \geq 2$ een geheel getal. Zij $a$ het grootste positieve gehele getal waarvoor geldt $2^{a} \mid 5^{n}-3^{n}$. Zij $b$ het grootste positieve gehele getal waarvoor geldt $2^{b} \leq n$. Bewijs dat $a \leq b+3$.

solution:
We bewijzen dit allereerst voor oneven getallen $n$. Hiervoor geldt modulo 4 dat $5^{n} \equiv 1^{n}=1$ en $3^{n} \equiv(-1)^{n} \equiv-1$, dus $5^{n}-3^{n} \equiv 2 \bmod 4$. Dus als $n$ oneven is, geldt $a=1$. Omdat $b \geq 1$, is nu voldaan aan $a \leq b+3$.
Stel nu dat $n \equiv 2 \bmod 4$. Schrijf $n=2 k$ met $k$ een oneven positief geheel getal. Merk op dat $5^{2 k}-3^{2 k}=\left(5^{k}-3^{k}\right)\left(5^{k}+3^{k}\right)$. We hebben net laten zien dat $5^{k}-3^{k}$ precies één factor 2 bevat, aangezien $k$ oneven is. We bekijken nu $5^{k}+3^{k}$ modulo 16 . Voor $m=1,2,3,4$ geldt dat $5^{m}$ modulo 16 congruent is aan respectievelijk $5,9,13,1$. Omdat $5^{4} \equiv 1 \bmod 16$, geldt dat $5^{k} \equiv 5$ voor alle $k \equiv 1 \bmod 4$ en $5^{k} \equiv 13$ voor alle $k \equiv 3 \bmod 4$. Voor $m=1,2,3,4$ geldt dat $3^{m}$ modulo 16 congruent is aan respectievelijk $3,9,11,1$. Omdat $3^{4} \equiv 1 \bmod 16$, geldt dat $3^{k} \equiv 3$ voor alle $k \equiv 1 \bmod 4$ en $3^{k} \equiv 11$ voor alle $k \equiv 3 \bmod 4$. Al met al zien we dat $5^{k}+3^{k} \equiv 5+3 \equiv 8 \bmod 16$ als $k \equiv 1 \bmod 4$ en $5^{k}+3^{k} \equiv 13+11=24 \equiv 8$ $\bmod 16$ als $k \equiv 3 \bmod 4$. In beide gevallen bevat $5^{k}+3^{k}$ precies 3 factoren 2 .
We concluderen dat voor $n \equiv 2 \bmod 4$ geldt: $a=4$. Omdat $b \geq 1$, is nu voldaan aan $a \leq b+3$.
We bewijzen nu met inductie naar $m$ dat $a \leq b+3$ voor alle positieve gehele getallen $n$ met precies $m \geq 1$ factoren 2 . De inductiebasis is $m=1$, oftewel het geval $n \equiv 2 \bmod 4$. Hiervoor hebben we dit al bewezen.
Zij nu $m \geq 1$ en neem als inductiehypothese aan dat we al $a \leq b+3$ hebben laten zien voor alle getallen $n$ met precies $m$ factoren 2 . Bekijk nu een getal $n$ met $m+1$ factoren 2. We schrijven $n=2 k$, waarbij $k$ precies $m$ factoren 2 heeft. Laat voor de duidelijkheid $a(k)$ en $b(k)$ de $a$ en $b$ zijn die horen bij $k$, en $a(n)$ en $b(n)$ de $a$ en $b$ die horen bij $n$. De inductiehypothese zegt dat $a(k) \leq b(k)+3$. We willen bewijzen dat $a(n) \leq b(n)+3$.
Er geldt $5^{n}-3^{n}=5^{2 k}-3^{2 k}=\left(5^{k}-3^{k}\right)\left(5^{k}+3^{k}\right)$. Omdat $k$ even is (hij bevat $m \geq 1$ factoren 2) geldt modulo 4 dat $5^{k}+3^{k} \equiv 1^{k}+(-1)^{k} \equiv 2 \bmod 4$. Dus $5^{k}+3^{k}$ bevat precies één factor 2. Verder bevat $5^{k}-3^{k}$ precies $a(k)$ factoren 2 . Dus $a(n)=a(k)+1$. We weten daarnaast dat $2^{b(k)} \leq k$ en $2^{b(k)+1}>k$, waaruit volgt dat $2^{b(k)+1} \leq 2 k$ en $2^{b(k)+2}>2 k$. Dus $b(n)=b(k)+1$. Nu kunnen we concluderen: $a(n)=a(k)+1 \leq b(k)+3+1=b(n)+3$, waarmee de inductie voltooid is.
Dit bewijst dat $a \leq b+3$ voor alle gehele getallen $n \geq 2$.

problem_match: Opgave 4.


problem: Gegeven is een trapezium $A B C D$ met $B C \| A D$. Neem aan dat de bissectrices van de hoeken $B A D$ en $C D A$ elkaar snijden op de middelloodlijn van lijnstuk $B C$. Bewijs dat $|A B|=|C D|$ of $|A B|+|C D|=|A D|$.

solution:
Zij $M$ het midden van $B C$ en zij $P$ het snijpunt van de middelloodlijn van $B C$ met $A D$. Noem $K$ het snijpunt van $M P$ en de twee bissectrices. Laat $L$ en $N$ de voetpunten zijn van $K$ op respectievelijk zijden $A B$ en $D C$. Omdat $A K$ en $D K$ bissectrices zijn, geldt $|K L|=|K P|=|K N|$. Verder ligt $K$ ook op de middelloodlijn van $B C$, dus $|K B|=|K C|$. Omdat driehoeken $B L K$ en $C N K$ ook beide een rechte hoek hebben, zijn ze met (ZZR) congruent.
We onderscheiden nu vier gevallen. Bekijk eerst het geval dat $L$ en $N$ op het inwendige van respectievelijk zijden $A B$ en $D C$ liggen. Merk op dat driehoek $K B C$ gelijkbenig is, zodat $\angle K B C=\angle B C K$. Dus geldt vanwege $\triangle B L K \cong \triangle C N K$ :

$$
\angle A B C=\angle L B K+\angle K B C=\angle N C K+\angle B C K=\angle B C D .
$$

Hieruit volgt dat $A B C D$ een gelijkbenig trapezium is en dat dus geldt $|A B|=|C D|$.
In het geval dat $L$ en $N$ beide op het verlengde van de zijden $A B$ en $D C$ liggen, kunnen we op analoge wijze laten zien dat $|A B|=|C D|$.
Nu bekijken we het geval dat $L$ op het inwendige van zijde $A B$ ligt, maar $N$ op het verlengde van zijde $D C$. Omdat $A K$ en $D K$ bissectrices zijn, geldt $|A L|=|A P|$ en $|D N|=|D P|$. Dus geldt vanwege $\triangle B L K \cong \triangle C N K$ :

$$
|A B|+|C D|=(|A L|+|L B|)+(|D N|-|N C|)=|A P|+|L B|+|D P|-|L B|=|A D|
$$

In het geval dat $L$ juist op het verlengde van $A B$ ligt en $N$ op het inwendige van $D C$, laten we op analoge wijze zien dat $|A B|+|C D|=|A D|$.

problem_match: Opgave 5.


solution:
Zij $K$ het snijpunt van de middelloodlijn van $B C$ en de twee bissectrices. Spiegel $B$ in de lijn $A K$ en noem het beeld $E$. Omdat $A K$ een bissectrice is, ligt $E$ op $A D$, geldt $|A B|=|A E|$ en is $A K$ de middelloodlijn van $B E$, zodat $|K B|=|K E|$. Spiegel nu ook $C$ in $D K$ en noem het beeld $F$. Ook $F$ ligt op $A D$ en verder geldt $|D C|=|D F|$ en $|K C|=|K F|$. Als $E$ en $F$ hetzelfde punt zijn, zien we dat $|A B|+|C D|=|A E|+|F D|=$ $|A D|$.
Stel nu dat $E$ en $F$ niet hetzelfde punt zijn. Omdat $K$ op de middelloodlijn van $B C$ ligt, geldt $|K B|=|K C|$. We wisten al $|K B|=|K E|$ en $|K C|=|K F|$, dus $K$ ligt op gelijke afstand van de vier punten $B, C, E$ en $F$. Dat betekent dat deze vier punten op een cirkel liggen. We nemen aan dat de volgorde van de punten op deze cirkel $B C F E$ is; het geval dat de volgorde $B C E F$ is, gaat analoog. Er geldt nu

$$
\angle F C B=180^{\circ}-\angle F E B=\angle A E B=\angle E B A .
$$

Analoog geldt $\angle E B C=\angle F C D$. Dus

$$
\angle B C D=\angle F C B+\angle F C D=\angle E B A+\angle E B C=\angle A B C .
$$

Hieruit volgt dat $A B C D$ een gelijkbenig trapezium is en dat dus geldt $|A B|=|C D|$.