Olympiad Maths Prep

Track / Stage 8 / 171 of 180 #1871 of 2000

Problem 1871

IMO Shortlist mid-range; USAMO P2/P5
Number theory Difficulty 8.9 Prove it 1. IMO-Auswahlklausur · Germany

Problem:
Lassen sich für jede positive ganze Zahl nn nicht-negative ganze Zahlen a,b,c,d,e,f,g,ha, b, c, d, e, f, g, h mit

n=2a2b2c2d2e2f2g2h n=\frac{2^{a}-2^{b}}{2^{c}-2^{d}} \cdot \frac{2^{e}-2^{f}}{2^{g}-2^{h}}

finden? Die Antwort ist zu begründen.

This one wants a proof. Work it on paper, read the official solution, then mark yourself honestly — the ladder only means something if the record is true.

Official solution

Solution:
Vorbemerkung: Im Folgenden sei nn ungerade. Ohne Einschränkung ist a>b,c>d,e>f,g>ha>b, c>d, e>f, g>h. Die Bedingungsgleichung ist dann äquivalent zu
n2d+hbf(2cd1)(2gh1)=(2ab1)(2ef1). n 2^{d+h-b-f}\left(2^{c-d}-1\right)\left(2^{g-h}-1\right)=\left(2^{a-b}-1\right)\left(2^{e-f}-1\right).
Da nn ungerade ist, gilt d+hbf=0d+h-b-f=0, und man kann ohne Einschränkung d=h=b=f=0d=h=b=f=0 setzen:
n(2c1)(2g1)=(2a1)(2e1) n\left(2^{c}-1\right)\left(2^{g}-1\right)=\left(2^{a}-1\right)\left(2^{e}-1\right)

1. Lösung (skizziert): Die Zahlen der Form n=19+64kn=19+64k mit ganzzahligem k0k \geqq 0 lassen sich nicht darstellen. Für x>1x>1 liefert 2x12^{x}-1 Rest 3 bei Division durch 4, für x=1x=1 Rest 1. Nur wenn eine ungerade Anzahl der Variablen a,c,e,ga, c, e, g Wert 1 hat, kann Gleichung (*) erfüllt sein. Haben drei der Variablen Wert 1, kann die Gleichung nicht gelten, da nn nicht die Form 2x12^{x}-1 hat. Also hat genau eine der Klammern in ()(*) Wert 1. Durch entsprechende Überlegungen und Fallunterscheidungen zu Resten bei Division durch 8, 16, 32, 64 kann man die Werte der restlichen Klammern festlegen und jeweils zum Widerspruch führen.

2. Lösung (skizziert): Die Zahl n=19n=19 ist nicht darstellbar. Man nutzt die Beziehung gcd(2x1,2y1)=2gcd(x,y)1\gcd(2^{x}-1, 2^{y}-1)=2^{\gcd(x, y)}-1, um zu zeigen: Aus (2x1)(2y1)(2z1)(2^{x}-1) \mid (2^{y}-1)(2^{z}-1) folgt xyx \mid y oder xzx \mid z.
Hieraus folgt mit ()(*), dass sich 19 als
19=2a12c12e12g1oder19=2a1(2c1)(2g1)(2e1) 19=\frac{2^{a}-1}{2^{c}-1} \cdot \frac{2^{e}-1}{2^{g}-1} \quad \text{oder} \quad 19=\frac{2^{a}-1}{(2^{c}-1)(2^{g}-1)} \cdot (2^{e}-1)
als Produkt zweier ganzzahliger Faktoren schreiben lässt. Da 19 eine Primzahl ist und nicht die Form 2e12^{e}-1 hat, genügt es zu zeigen, dass die Gleichung
19=2a1(2c1)(2g1) 19=\frac{2^{a}-1}{(2^{c}-1)(2^{g}-1)}
nicht gelten kann. Der Zähler enthält den Primfaktor 19, was nur für a18a \geq 18 möglich ist. Die Zahlen cc und gg teilen aa, ohne Einschränkung ist cgc \geq g. Für c=g=a/2c=g=a/2 hat der Bruch den nichtganzzahligen Wert 1+2/(2a/21)1+2/(2^{a/2}-1), für ca/3,ga/3c \leq a/3, g \leq a/3 oder für c=a/2,ga/4c=a/2, g \leq a/4 ist der Wert zu groß. Damit ist c=a/2,g=a/3c=a/2, g=a/3, und der Bruch hat den nicht ganzzahligen Wert 2a/6+1/(2a/61)2^{a/6}+1/(2^{a/6}-1).

Bemerkung: Nicht immer ist nn Produkt zweier ganzzahliger Faktoren der Form (2x1)/(2y1)(2^{x}-1)/(2^{y}-1). Beispielsweise ist 13=(2121)(221)(261)(241)13=\frac{(2^{12}-1)(2^{2}-1)}{(2^{6}-1)(2^{4}-1)}, aber man kann wie bei der 2. Lösung zeigen, dass 13 nicht in der Form (2x1)/(2y1)(2^{x}-1)/(2^{y}-1) darstellbar ist.

Source: MathNet, licensed CC-BY-4.0. Statement and solution reproduced as published; topic, difficulty and ordering added by this site.