Mi az a n legkisebb egész szám, hogy n! = m cdot 10 ^ (2016)?

Mi az a n legkisebb egész szám, hogy n! = m cdot 10 ^ (2016)?
Anonim

Válasz:

# N = 8075 #

Magyarázat:

enged #v_p (k) # legyen a sokaság # P # mint tényező # K #. Ez az, #v_p (k) # a legnagyobb egész szám így # P ^ (v_p (k)) | k #.

Észrevételek:

  • Bármilyen #k ZZ ^ + # és # P # elsődleges, van #v_p (k!) = összeg_ (i = 1) ^ k v_p (i) #

    (Ez könnyen indukálható)

  • Minden egész számra #k> 1 #, nekünk van # v_2 (k!)> v_5 (k!) #.

    (Ez intuitív, mint a hatalom többszöröse #2# gyakrabban fordulnak elő, mint az egyenértékű hatáskörök többszörösére #5#, és hasonló érvvel szigorúan bizonyítható)

  • mert #j, k ZZ ^ + #, nekünk van #j | k <=> v_p (j) <= v_p (k) # bármely elsődleges osztó számára # P # nak,-nek # J #.

Célunk, hogy megtaláljuk a legkisebb egész számot # N # oly módon, hogy # 10 ^ 2016 | n! #. Mint # 10 ^ 2016 = 2 ^ 2016xx5 ^ 2016 #, majd a harmadik megfigyeléssel csak ezt kell megerősítenünk # 2016 <= v_2 (n!) # és # 2016 <= v_5 (n!) #. A második megfigyelés azt jelenti, hogy ez utóbbi magában foglalja az előbbit. Így elegendő a legkisebb egész szám megtalálása # N # oly módon, hogy # v_5 (n!) = sum_ (i = 1) ^ nv_5 (i)> = 2016 #.

Megtalálni # N # megfigyelést fogunk tenni, amely lehetővé teszi számunkra, hogy kiszámítsuk # V_5 (5 ^ k!) #.

Között #1# és # 5 ^ k #, vannak # 5 ^ K / 5 # többszörösei #5#amelyek mindegyike legalább hozzájárul #1# az összeget #sum_ (i = 1) ^ (5 ^ k) v_5 (i) #. Vannak még # 5 ^ K / 25 # többszörösei #25#amelyek mindegyike járulékos hozzájárulást jelent #1# az összeget az első szám után. Ilyen módon folytathatjuk, amíg el nem érjük a többszöröseit # 5 ^ k # (ami # 5 ^ k # maga is), amely hozzájárult # K # az összeget. Az összeg kiszámítása így van

# v_5 (5 ^ k!) = összeg_ (i = 1) ^ (5 ^ k) v_5 (i) = összeg_ (i = 1) ^ (k) 5 ^ k / 5 ^ i = összeg_ (i = 1) ^ k5 ^ (Ki) = sum_ (i = 0) ^ (k-1) 5 ^ i = (5 ^ k-1) / (5-1) #

Így azt találjuk # v_5 (5 ^ k!) = (5 ^ k-1) / 4 #

Végül megtaláljuk # N # oly módon, hogy # v_5 (n!) = 2016 #. Ha kiszámítjuk # V_5 (5 ^ k!) # több értékre # K #, találunk

# v_5 (5 ^ 1) = 1 #

# v_5 (5 ^ 2) = 6 #

# v_5 (5 ^ 3) = 31 #

# v_5 (5 ^ 4) = 156 #

# v_5 (5 ^ 5) = 781 #

Mint #2016 = 2(781)+2(156)+4(31)+3(6)#, # N # két "blokkot" igényel #5^5#, kettő #5^4#, négy #5^3#, és három közül #5^2#. Így kapunk

#n = 2 (5 ^ 5) +2 (5 ^ 4) +4 (5 ^ 3) +3 (5 ^ 2) = 8075 #

A számítógép gyorsan ellenőrizheti #sum_ (i = 1) ^ (8075) v_5 (i) = 2016 #. És így #10^2016 | 8075!#, és mint #5|8075!# sokasággal #2016# és #5|8075#, nyilvánvaló, hogy nem lesz kisebb érték.