Gif
Gif
Gif
November 7, 2009
DEFINITION. The function f : R Z given by f (x) = [x], where [x] denotes the largest
integer not exceeding x, is called the greatest integer function.
EXAMPLES. [2.1] = 2, [4.57] = 4, [8] = 8, [2] = 2, [3.4] = 4, etc.
NOTE. The square bracket notation [x] for the greatest integer function was introduced
by Gauss in 1808 in his third proof of quadratic reciprocity. Some mathematicians use the
notation bxc and the name floor function to stand for the greatest integer function. This
terminology has been introduced by Kenneth E. Iverson in the 1960s.
The graph of the greatest integer function is given below:
FACT (LEGENDRE, 1808). If n is a natural number and p is a prime, then the largest
power of p dividing n! is denoted by p (n) and is given by the formula:
n
n
n
p (n) =
+ 2 + 3 + ...
p
p
p
n
Note that the above sum is a finite sum, since for every given n and p eventually j = 0
p
when pj > n.
As n grows large, factorials begin acquiring tails of trailing zeros. The number of zeros is
given by the exponent of 10 in the prime factorization of n!. Since 10 = 2 5 and 2 shows up
more often than 5, the number of zeros is given by the exponent of 5. Thus, by Legendres
formula, the number of trailing zeros of n! is given by:
hni h n i h n i
+ 2 + 3 + ...
5 (n) =
5
5
5
DEFINITION. The function f : R [0, 1) given by f (x) = {x}, where {x} = x [x] is
called the fractional part function or the sawtooth function.
Since {x} = x [x] x = [x] + {x}. This is very useful in proving various other properties
of the greatest integer function.
The graph of the fractional part function is below:
"
# " #
7
7
1
3
1 5
1. Find the following values:
, ,
+
,
[ 2] + [ 2] = [ 4]
[ 3] + [ 3] = [ 6]
[ 8] + [ 8] = [ 16]
3. (2003 AMC 10 B, ]7) The symbolism bxc denotes the largest integer not exceeding x.
For example, b3c = 3 and b9/2c = 4. Compute
b 1c + b 2c + b 3c + + b 16c
(A) 35 (B) 38 (C) 40 (D) 42 (E) 136
4. Find [x] , {x} , {[x]}, and {{x}}. Justify your answers.
6. Prove or disprove: [nx] = n[x] for all positive integers n > 2. Justify your answer.
8. Show that for any numbers x and y, one of the two situations can occur:
[x + y] = [x] + [y] or [x + y] = [x] + [y] + 1.
9. (1977 AMC 12, ]11) For each real number x, let [x] be the largest integer not exceeding
x (i.e. the integer n such that n x < n + 1). Which of the following statements are
true?
I. [x + 1] = [x] + 1 for all x
II. [x + y] = [x] + [y] for all x and y.
III. [xy] = [x] [y] for all x and y.
(A) none
(B) I only
(E) all
1
10. Show that [2x] = [x] + x +
for all real numbers x.
2
1
2
n1
[nx] = [x] + x +
+ x+
+ + x +
n
n
n
for all real numbers x.
12. Show that for all real numbers x and n, with n a nonzero integer:
h i
[x]
x
=
n
n
x+m
[x] + m
13. Show that if m and n are integers and n > 0, then
=
.
n
n
14. Prove Ramanujans Identities from the Journal of the Indian Mathematical Society,
valid for all positive integers n:
hni n + 2 n + 4 hni n + 3
(a)
+
+
=
+
3
6
6
2
6
"
(b)
(c)
1
+
2
# "
#
r
1
1
1
n+
=
+ n+
2
2
4
n+
n+1 =
4n + 2
h
i
3+ 4
n+ n+1
2+ 3
S = 1+ 2 +
+
+ +
2
3
n
16. (1996 Mathcounts National Team ]2) The greatest integer function, [x], denotes the
largest integer less than or equal to x. For example, [3.5] = 3, [] = 3, and [] = 4.
1
Find the sum of the three smallest positive solutions to x [x] =
. Express your
[x]
answer as a mixed number.
17. (a) Show that [ n2 + n ] = n for every natural number n.
[ 1 2 ] + [ 2 3 ] + [ 3 4 ] + + [ n (n + 1) ] = 496
n+1
log[ 1 2] + log[ 2 3] + + log[ n(n + 1)] < n log
2
10
x+1
x1
+1=
.
2
3
3x + 1
= x + 2.
2
11
3
2
y
+
1
x+3
3
2
3
6
y+2
2x 1
4
3
12
22. If a number ends in zeros, the zeros are called terminal zeros. For example, 520,000
has four terminal zeros, but 502,000 has just three terminal zeros. Let N equal the
product of all natural numbers from 1 through 20:
N = 1 2 3 4 20
How many terminal zeros will N have when it is written in standard form?
23. (2007 Mathcounts Chapter Countdown, ]37) Suppose that 50! is written in the form
N 10x , where N is an integer. What is the largest possible value of x?
24. (1998 Mathcounts Chapter Team, ]7) In how many zeros does 75! end?
13
25. (2002 Mathcounts National Target, ]2) In how many zeros does the decimal representation of the number 2002! end?
26. (2002 Mathcounts National Countdown, ]9) In how many consecutive zeros does the
product 115 116 201 end?
27. (2003 Mathcounts Chapter Team, ]7) How many zeros are at the end of (100!)(200!)(300!)
when multiplied out?
14
28. (2009 Stanford Mathematics Tournament) How many consecutive zeros occur at the
end of the decimal expansion of (8!)!?
29. (2006 AMC 10, ]11) What is the tens digit in the sum 7! + 8! + 9! + + 2006!?
(A) 1 (B) 3 (C) 4 (D) 6 (E) 9
30. Find the sum of the last 100 digits of the number A = 2005! + 2005.
15
32. (2000 Mathcounts National Sprint, ]16) What is the largest integer value of n for which
8n evenly divides 100!?
33. (2003 Mathcounts State Target, ]9) What is the greatest positive integer n such that
3n is a factor of 200!?
34. (2009 Stanford Mathematics Tournament, Team Contest) What is the largest integer
2008!
n for which
is an integer?
31n
16