Klopt: het linker lid = 3c is deelbaar door 3, het rechter lid = [latex]2^n[/latex] is niet deelbaar door 3, beide kunnen dus nooit gelijk zijn aan elkaar.

En het eerste deel van het bewijs:

(1) Verzaging van een plank met lengte [latex]\frac{c\cdot a}{2^n}[/latex] levert 2 planken met lengte [latex]\frac{c\cdot a}{2^{n+1}}[/latex]

(2) Plakken van een plank met lengte [latex]\frac{c\cdot a}{2^n}[/latex] aan een plank met lengte [latex]\frac{d\cdot a}{2^m}[/latex] levert een plank met lengte
[latex]\frac{c\cdot a}{2^n} + \frac{d\cdot a}{2^m} = \frac{2^m \cdot c\cdot a}{2^{n+m}} + \frac{2^n \cdot d\cdot a}{2^{n+m}}=\frac{(2^m \cdot c + 2^n \cdot d)\cdot a}{2^{n+m}}[/latex]

Dus wat je ook (een eindig aantal keren) doet, de lengte van elke plank is altijd uit te drukken in de vorm [latex]\frac{c\cdot a}{2^n}[/latex] voor constanten c en n.

Ik denk het niet.

Je begint met houten planken met lengte [latex]a = \frac{a}{2^0}[/latex] (a = 90 cm)

Bewijs dat de lengte van elk resultaat van (1) je verzagingen en (2) je plakkingen te schrijven is in de vorm [latex]\frac{c\cdot a}{2^n}[/latex] voor c en n natuurlijke getallen.

Daarna wil je dat
[latex]\frac{c\cdot a}{2^n} = \frac{a}{3}[/latex]
ofwel:
[latex]3\cdot c \cdot a = 2^n \cdot a[/latex]
ofwel ([latex]a \neq 0):[/latex]
[latex]3\cdot c = 2^n [/latex]

Bestaan er een c en n waarvoor dit mogelijk is?

Jos heeft een eindig aantal houten planken van exact 90 centimeter lang. Hij kan hiermee 2 dingen doen:

ˆ Een stuk plank van eender welke lengte kan in 2 perfect gelijke delen gezaagd worden.
ˆ Twee planken van eender welke lengte kunnen met hun uiteindes aan elkaar gelijmd worden (zonder te overlappen dus).
Jos zou graag een plank maken van exact 30 centimeter lang. Uiteraard kan hij slechts een eindig aantal
keer zagen en lijmen. Is dat mogelijk? Geef een bewijs.