Feladat: 1966. évi Matematika OKTV II. forduló 3. feladata Korcsoport: 16-17 Nehézségi fok: nehéz
Füzet: 1967/február, 54 - 55. oldal  PDF  |  MathML 
Témakör(ök): Tizes alapú számrendszer, "a" alapú számrendszer (a >1, egész szám), OKTV
Hivatkozás(ok):Feladatok: 1967/február: 1966. évi Matematika OKTV II. forduló 3. feladata

A szöveg csak Firefox böngészőben jelenik meg helyesen. Használja a fenti PDF file-ra mutató link-et a letöltésre.

a) Legyen a keresett szám x, a nála d-vel kisebb szám y, és x2 számjegyeinek száma k. Jelöljük a k darab 1-essel felírt számot C-vel, ekkor a feladat szerint

x2-y2=dC,(1)x-y=d.(2)

A bal oldalon x2-y2=(x-y)(x+y)=d(x+y), tehát d(x+y)=dC, amit d-vel osztva (d>0)
x+y=C.(3)

Így x>y miatt 2x>C, azaz 4x2>C2. Viszont x2 és C jegyeinek száma k, ezért C10k-1, C2102k-2, és 10k>x2, tehát
410k>4x2>C2102k-2.

A két szélső tagból kapott egyenlőtlenség alapján 4>10k-2, amiből következik, hogy k2.  Nem lehet azonban k=1, mert C=x+y>1, tehát k=2, C=11, és x2 kétjegyű szám, tehát x egyjegyű. Mivel így x+y=11, azért 10>x>y, és (2)-re is tekintettel x, y és d szóba jövő értékei:
  x=6,7,8,9,  y=5,4,3,2,  d=1,3,5,7.  

Ezekkel
x2=36,49,64,81,y2=25,16,9,4.  

A harmadik és negyedik értékrendszer esetében x2 második számjegye kisebb d-nél, ezek nem megoldásai a feladatnak. Az első két értékrendszer a feladat minden követelményét kielégíti, a keresett számok tehát 6 és 7.
b) Legyen a számrendszer alapszáma a. Az előző meggondolások egy részét átvehetjük, a többjegyű számokat az a-alapú számrendszerben értve. (1), (2) és (3) továbbra is érvényes, és a 4>10k-2=(1a+0)k-2 egyenlőtlenség is érvényes marad, tehát
ak-2<4,(4)
és k>1, hiszen C=x+y>1 is változatlanul fennáll.
Nem lehet a sem 2, sem 3. Ugyanis a d számjegy a-1-nél kisebb, mert különben x2-ből az ugyanannyi a-1 jegyből álló számot levonva nem kaphatunk pozitív maradékot. Ilyen pozitív d nincs, ha a=2; az a=3 esetben pedig d csak 1 lehetne. Ekkor a (3)-ból és (2)-ből adódó
x=C+d2
összefüggés szerint C páratlan, így k értéke nem lehet 2, tehát (4)-et figyelembe véve k=3, így x=7, és 72 a 3-alapú számrendszerben már több mint 3-jegyű.
Minden a4 alapszám esetében (4) alapján k2, tehát k=2, C=a+1 és x2 kétjegyű, ezért x2<a2, x egyjegyű, azaz x<a.
x+y=a+1(5)
és x>y alapján y szóba jövő értékei 2, 3, 4, ..., a0, ahol a0 az a legnagyobb egész szám, amelyre még a0<a+1-a0, azaz 2a0<a+1.
Ha a páros, a=2u, akkor a0=u=a2, ha a páratlan, a=2u+1, akkor a0=u=a-12, tehát a0 mindenképpen az a legnagyobb egész szám, amelyik még nem nagyobb a2-nél, a szokásos jelöléssel a0=[a2].
Minden ilyen y esetén x=a+1-y és d=x-y=a+1-2y kielégíti (1)-et és (2)-t, továbbá x2 kétjegyű, hiszen x>C2>a2 miatt
x2>a2aa.

Az x, y, d számhármasok akkor megoldásai feladatunknak, ha x2 mindkét számjegye külön-külön d-vel nagyobb y2 megfelelő jegyénél. Ha ez a feltétel a második jegyekre teljesül, vagyis az
x2=y2dC=y2+(d+ad)
összeadást jegyenként végezve (először a d, majd az ad tagot adva hozzá) y2+d első számjegye ugyanaz, mint y2 első jegye, akkor teljesül az első jegyekre is. Így ugyanis nem viszünk át maradékot, az ad tag az y2-nek a helyi értékű jegyét növeli d-vel, és x2 első jegyét adja, mert itt nem lehet maradékátvitel, hiszen x2<a2.
A második jegyek nagyságviszonyának vizsgálatát megkönnyíti a következő észrevétel: Legyen z=y-1, ekkor x2 és z2 második számjegye megegyezik, hiszen így x+z=a, tehát x2-z2=(x+z)(x-z)=a(x-z), különbségük osztható a-val. Elegendő tehát azoknak az y-értékeknek a számát meghatározni, melyek négyzetének második jegye kisebb a náluk 1-gyel kisebb z szám négyzetének második jegyénél. Ez z<y miatt csak úgy lehetséges, hogy z2 első jegye kisebb y2 első jegyénél, mégpedig pontosan 1-gyel, hiszen y2-z2=y+z=2y-1<x+y-1=a.
Eszerint az y=2,3,...,a0 számok négyzetében első jegyként minden számjegy előfordul a02 első jegyéig (a>4 esetén 0 is), és minden előforduló kezdő számjegyhez pontosan 1 megfelelő y-érték tartozik, mégpedig a legkisebb azok közül a számok közül, amelyeknek négyzete az illető számjeggyel kezdődik. Ha y2 első számjegye 0, akkor y-hoz nem tartozik megoldása a feladatnak, hiszen ekkor a z=y-11 szám négyzetének második számjegye mindig kisebb y2 második jegyénél. Így a feladatnak megfelelő y-értékek (és x, y, d értékrendszerek) száma egyenlő a02 első számjegyével. Ezt megadja az a02:a hányados egész része, tehát a megoldások száma
[1aa02]=[1a[a2]2].

Eredményünk megfelel az a) részben kapott eredményünknek, hiszen a=10 esetén a0=5, és a02 első jegye 2.