remarks on some of the smarandache's problems. part 1

8/12/2019 REMARKS ON SOME OF THE SMARANDACHE'S PROBLEMS. Part 1

1/17

REMARKS ON SOME OF THE SMARANDACHE'S PROBLEMS. Part 1Krassimir T. Atanassov

CLBME - Bulgarian Academy of SciencesBulgaria, Sofia-I113, P.O.Box 12

e-mail: [email protected]

n 1996 the author of this remarks wrote reviews for Zentralblatt fur Mathematik forbooks [1) and [2) and this was his first contact with the Smarandache's problems. He solvedsome of them and he published his solutions in [3]. The present paper contains some of theresults from 3).

n [1) Florentin Smarandache formulated 105unsolved problems, while in [2] C. Dumitrescu and V. Seleacu formulated 140 unsolved problems of his. The second book contains almostall the problems from [1 J but now each problem has unique number and by this reason theauthor will use the numeration of the problems from [2]. Also, in [2J there are some problems,which are not included in [IJ.

When the text of [3] was ready, the author received Charles Ashbacher s book [4) and hecorrected a part of the prepared results having in mind [4J.

We shall use the usual notations: [xJ and l for the integer part of the real number xand for the least integer x respectively.

The 4-th problem from [2] (see also IS-th problem from [1]) is the following:Smarandache s deconstructive sequence:

Let the n-th term of the above sequence be an. Then we can see that the first digits ofthe first nine members are, respectively: 1, 2, 4, 7, 2, 7, 4, 2, 1. Let us define the functionw as follows:

12:3456789w r) 1 1 2 4 7 2 7 4 2 1

Here we shall use the arithmetic function tjJ discussed shortly in the Appendix anddetailed in the author's paper [5] .

82


2/17

In [3] it is proved that the form of the n th member of the above sequence is

where nb = w n - [9]n= tjJ(w(n - [-J) + 19

nbn = tjJ(w(n - [9] +n - 1).0 0 0 0

To the above sequence {an} we can juxtapose the sequence {tjJ( an)}n=I n=

we can prove as above) that its basis is [1 5 6 7 2 :3 4 8 9].The problem can be generalized, e.g., to the following form:

Study the sequence {an} :=1 with its th member of the formwhere ...b .k E {I 2, ... , 9} and

, [8b = (s - 9], 8= 1jJ(w (s - [9] + 1

b k = t/J(w (s - [ ~ ] +s.k - 1),and here

r 2 3 4 5 6w r) 1 1jJ(k + 1 1f,(:3k + 1 1jJ(6k + 1 1jJ(10k + 1 1jJ(15k + 1

r 7 8 9w r) V,(21k + 1 1jJ(28k + 1 tjJ(36k + 1

for which

To the last sequence {an} :=1 we can juxtapose again the sequence {1jJ an)} :=1 for whichwe can prove as above) that its basis is [3 9 3 6.3 6 9 8 9].

83


3/17

The 16-th problem from [2J (see also 21-st problem from [1] is the following:Digital sum:

0,1,2,3,4,5,6,7,8,9,1,2,3,4,5,6, 7,8,9,10,2,3,4,5,6, 7,8,9,10,11,, 'V y ... . J

3,4,5,6,7,8,9,10,11,12,4,5,6,7,8,9,10,11,12,13,5,6, 7,8,9,10,11,12,13,14, ..., V .I\

d n) is the sum of digits.) Study this sequence.The form of the general term an of the sequence is:

00

an = n - 9.k=l

I t is not always true that equality ds m) + ds n) = ds m + n) is valid. For example,ds 2) + d 3) = 2+ 3 = 5 = ds 5),

butd 52) + d 53) = 7+ 8 = 15 i 6 = ds105).

The following assertion is true

1 d m) d n)Jds m) +ds n), If ds m) +ds n) ; 9 . m a x [ ~ ] , [ g )

ds m +n) = d m) den) .ds m) + ds n) - 9 . m a x [ ~ ] , [--T-])' otherwIseThe sum of the first n members of the sequence is

n n n n l nS = 5.[-]. [-] +8 + (n - 1 0 . [ - ] ) . - - 4.[-]).n 10 10 10 2 10

The 37-th and 38-th problems from [2J (see also :39-th problem from [1] are the following:Inferior) prime part:2,3,3,5,5,7,7,7, 7,11,11,13,13,13,13,17, 17,19,19,19,19,23,23,23,23,23,23,29,29,31,31,31,31,31,31,37,37,37,37,41,41,43,43,4:3,43,47, 47, 47, 47, 47, 47,53,53,53,53,53, ...

84


4/17

For any positive real number n one defines pp n as the largest prime number less than orequal to n.Superior) prime part:2,2,2,3,5,5, 7, 7,11,11,11,11,13,13,17,17,17,17,19,19,23,23,23,23,29,29,29,29,29,29,31,31,37,37,37,37,37,37,41,41,41,41,43;43,47,47,47,47,53,53,53,53,53,53,59,59, ...

For any positive real number n one defines Pp n) as the smallest prime number greater thanor equal to n.Study these sequences.

First, we should note that in the first sequence n : 2, while in the second one n : 0. Itwould be better if the first two members of the second sequence are omit ted. Let everywherebelow n 2: 2.

Second, let us denote by

the set of all prime numbers. Let o 1, and let 7r n) be the number of the prime numbersless or equal to n.

Then the n-th member of the first sequence is

and of the second sequence is

whereB n) { 0,1,

see [7] .

if n is a prime numberotherwise

The checks of these equalities are straightforward, or by induction.Therefore, the values of the n-th partial sums of the two sequences are, respectively,

k=l k=2

8


5/17

n ,..(n)Yn = I Pp(k) = E Pk - Pk-l) Pk + n - P,..(n))P,..(n)+8{n)

k=l k=l

The 39-th and 40-th problems from [2J (see also 40-th problem from [1] are the following:(Inferior) square part:

0 1 1 1 4 4 4 4 4 9 9 9 9 9 9 9 16 16 16 16 16, 16 16 16 16 25 25 25 25 25 2525 25 25 25 25 36 36 36 36 36 36 36 36 36 36 36 36, 36,49,49, , .

(the largest square less than or equal to n.(Superior) square part:

0 1 4 4 4 9 9 9 9 9 16 16 16 16 16 16, 16,25,25,25,25,25,25,25 25 25 36 36 36 36 36 36 36 36 36 :36, 36, 36, 36, 49, 49, ...

(the smallest square greater than or equal to n. Study these sequences.The 41-st and 42-nd problems from [1] (see also 41-st problem from [1] are the following:

(Inferior) cu e part:0,1,1,1,1,1,1,1,8,8,8,8,8,8,8,8,8,8,8,8,8,8,8,8,8,8,8,27,27,27,27,27,27,27,27,27, ...(the largest cu e less than or equal to n.(Superior) cube part:

0,1,8,8,8,8,8,8,8,27,27,27,27,27,27,27,27,27,27,27,27,27,27,27,27,27,27,27,64, ...(the smallest cube g1 eater than or equal to n. Study these sequences.

The n-th term of each of the above sequences is, respectively

The values of the n-th partial sums of these sequences are:A - [y n - 1]([y n - J + 1)(3[y n - ]2 + 5[y n - ] + 1 ( [v n]2 [v nFn - 6 + n - n +1 nJ

86


6/17

c _ ~ 1] [.yn -1] + 1) 5[.yn - 1]4 16[.yn - 1]3n - 1014[{in - 1]2 + [.y1i 1] -1. _ [.yn]3 1 [ ~ n J10 n n + . n

The 43-rd and 44-th problems from [2J (see also 42-nd problem from [1] are the following:(Inferior) factorial part:

1,2,2,2,2,6,6,6,6,6,6,6,6,6,6,6,6,6,6,6,6,6,6,24,24,24,24,24,24,24,24,24,24, ...(Fp(n) is the largest factorial less than or equal to n.}(Superior) factorial part:

1,2,6,6,6,6,24,24,24,24,24,24,24,24,24,24,24,24,24,24,24,24,24,24,120, ...(fp(n is the smallest factorial greater than or equal to n. Study these sequences.

t must be noted immediately that p is not an index in Fp and fp.First, we shall extend the definition of the function factorial (possibly, it is already

defined, but the author does not know this), t is defined only for natural numbers and fora given such number n it has the form:

n = 1.2. , . .n.Let the new form of the function factorial be the following for the real positive number

y:y = y.(y - 1).(y - 2 ...(y - [V] 1),

where [y] denotes the integer part of y.87


7/17

Therefore, for the real number y > :(y I) = y .(y 1).

This new factorial has r -representation, r y 1y = r y - [y] 1

and representation by the Pochhammer symbolY = Y)[y]

(see, e.g., [8]).Obviously, if y is a natural number, y is the standard function "factorial".t can be easily seen that the extended function has the properties similar to these of the

standard function.Second, we shall define a new function (possibly, it is already defined, too, but the author

does not know this). It is an inverse function of the function "factorial" and for the arbitratypositive real numbers x and y it has the form:

x? = y iff y = x.Let us show only one of its integer properties.For every positive real number x

[x?] 1, if there exists a natural number n such[(x I)?] = that n = x 1

[x?], otherwiseFrom the above discussion it is clear that we can ignore the new factorial, using the

definitionx? = y iff Y)[yj = .r.

Practically, everywhere below y is a na.tural number, but at some places x will be apositive real number but not an integer).

Then the n th member of the first sequence is

88


8/17

and of the second sequence it is

The checks of these equalities is direct, or by the method of induction.Therefore, the values of the n-th partial sums of the two above Smarandache's sequences

are, respectively,n [n?]

Xn = 1 : Fp(k) = 1 : (k - k - l) ).(k - 1 1 + (n - [n?] + 1).[n?]k=l k=l

n [n?]n = 1 : fp(k) = 1 : (k - (k - 1) ).k n - [n?]l l).rn?ll

k=l k l

The 100-th problem from [2J (see also 80-th problem from [ID is the following:Square roots:

0 1 1 1 2 2 2 2 2 3 3 3 3 3 3 3 4 4 4 4 4 4 4 4 4 5 5 5 5 5 5 ...Sq n) is the superior integer part of square root of n.)

Remark: this sequence is the natural sequence, where each number is repeated 2n 1 times,because between n2 included) and n+l)2 excluded) there are n+l)2- n2 different numbers.Study this sequence.

The 101-st problem from [2J (see also 81-st problem from [1] is the following:Cubical roots:

0, 1, 1, 1, 1, 1, 1, 1 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 3 3 3 3 ...cq n) is the superior integer part of cubical root ofn.}

Remark: this sequence is the natural sequence, where each number is repeated 3n2 3n 1times, because between n 3 included) and n 1 3 excluded) there are n 1 3 - n3 differentnumbers.Study this sequence.

The 102-nd problem from [2] (see also 82-nd problem from [1] is the following:power roots:89


9/17

(mq{n) is the superior integer part of m-power root of n.)Remark: this sequence is the natural sequence, where each number is repeated (n + )m - nmtimes.Study this sequence.

The n-th term of each of the above sequences is, respectively,Xn = [v n), Yn = [ifrl), Zn = [yin]

and the values of the n-th partial sums are, respectively,n

Xn = E Xk, = ([v n]- 1 ) [ ~ ( 4 [ v n ] +1 + - [v n)2 +1).[v n),k=1

[ijn -1)[ijnJ2 3[ijn + 1 ( [3D 3 1 [ DYn = E k = 4 + n - y n j + . yn jk=1

n n

k=1 k=1

The l1S-th Smarandache s problem (see [2]) is:Smarandache's criterion for coprimes :

If a b are strictly positive integers, then: a and bare cop rimes if and only ifa'P(b)+1 + b P(a)+l a + b mod ab),

where < p is Euler's totient.For the natural number

k= I I p ~ i

;=1

90


10/17

where PbPZ, ,PI< are different prime numbers and aI, a2, ak 2: 1 are natural numbers,the Euler's totient is defined by:

Icp n) = II pfi-1.(Pi - 1).

i I

Below we shall introduce a solution of one direction of this problem and we shall introducea counterexample to the other direction of the problem.

Let a, b are strictly positive integers for which (a, b) = 1. Hence, from one of the Euler'stheorems:

If m and n are natural numbers and m, n) = 1, thenm P(n) l(mod 11,

(see, e.g., [6]) it follows thata P(b) l(mod b)

andb P(b) l(mod a).

Therefore,a P(b)+l a( mod ab)

andb P(b)+l b(mod ab)

from where it follows that reallya P(b)+l b P(a)+l a b(mod ab).

I t can be easily seen that the other direction of the Smarandache's problem is not valid.For example, if a = 6 and b= 10, and, therefore, (a, b = 2, then:

6 P(lO)+l 10 P(6)+l = 65 10 3 = 7776 1000 = 8776 16(mod 60).Therefore, the Smarandache's criterion for coprimes is valid only in the form:If a, b are str ictly positive coprime intege1 s, then

a P(b)+l bCP(a)+l a b(mod ab).91


11/17

The 125-th Smarandache's problem (see [2]) is the following:To prove that

k l .n > kn-kH II [n t]

;=

for any non-null positive integers nand k.Below we shall introduce a solution to the problem.First, let us define for every negative integer m : m = oLet everywhere k be a fixed natural number. Obviously, if for some n: k > n, then the

inequality (*) is obvious, because its right side is equal to o Also, it can be easily seen that(*) is valid for n = 1 Let us assume that (*) is valid for some natural number n. Then,

k- l(n + I) - kn -k 2 II [11 - + I]

;=

(by the induction assumption)k-l k l

;= ;=

k-2[n- i ] , ) [n -k+ I] , k[n+I],II k n + 1 . k . - . k 0,

;=

becausen + l .[n - + I] _ k.[n; I]

_ n - k + 1 , _ n - k + I ,(n +1 .[ k ] k.[ k + 1]_ n - k + 1 , . n+1- [ k J . (n + 1 - k k D O

Thus the problem is solved.Finally, we shall formulate two new problems:

9


12/17

1. Let y > 0 be a real number and let k be a natural number. Will the inequalityk-1 .

y > p - k 1 II y z]i=O

be valid again?2. For the same y and k will the inequality

be valid?

k l Y - zy > ky -k 1 II - k -i=O

The paper and the book [ ] are based on the author s papes [9-16J.

PPENDIX

Here we shall describe two arithmetic functions which were used below, following [5].For

m

;=

where ai is a natural number and 0 ai 9 1 i m) let (see [5] :

P(n) =

o , if n 0m

L: ai ,otherwise;=

a.nd for the sequence of functions 'Po, PI, 'P2, ... , where (l is a natural number)'PO(n) = n,

93


13/17

let the function IjJ be defined byIjJ(n) = Pl(n),

in whichPI+1(n) = Pl(n).

This function has the following and other) properties see 5]):IjJ(m n) = IjJ( ljJ(m) ljJ(n)),

IjJ{m.n) = ljJ( IjJ(m).1/;(n)) = 7j;(m.1/;(n)) = 1/;(7j;(m).n),1/;(mn) = 1/;( v., mr),

7j;(n 9) = Ij;(n),Ij;(9n) =9.

Let the sequence aI, az, ... with members - natural numbers, be given and let

c; = 7j;(ai) i = 1,2, ... .Hence, we deduce the sequence CI, C2, from the former sequence. If k and 1exist, so that1 0,

for 1 i k, then we shall say that

is a base of the sequence CI, C2, with a length of k and with respect to function 1/;.For example, the Fibonacci sequence { F ; } ~ o for which

Fo = 0, FI = 1, Fn 2 = Fn Fn (n 2 : 0)has a base with a length of 24 with respect to the function Ij; and it is the following:

1,1,2,3,5,8,4,3,7,1,8,9,8,8,7,6,4,1,5,6,2,8,1,9];

the Lucas sequence { L i } ~ o for which

9


14/17

also has a base with a length of 24 with respect to the function 7 J and it is the following:[2 1 3 4 7 2 9 2 2 4 6 1 7 8 6 5 2 7 9 7 7 5 3 8];

even the Lucas-Lehmer sequence { l ; } ~ o for which

has a base with a length of 1 with respect to the function 7 J and it is [5].The k - t triangular number t is defined by the formula

k k + 1tk = ---'------"-2

and it has a base with a length of 9 with the form[1 3 6 1 5 3 1 9 9].

It is directly checked that the bases of the sequences {n }k:l for n = 1, 2, ... , 9 are theones introduced in the following table.

n a base of a sequence { n k } ~ l a length of the base1 1 12 2,4,8,7,5,1 63 9 14 4,7,1 35 5,7,8,4,2,1 66 9 17 7,4,1 38 8,1 29 9 1

On the other hand, the sequence { n n } ~ = 1 has a base with a length of 9 with the form[1 4 9 1 2 9 7 1 9]

and the sequence {kn } := has a base with a length of 9 with the form

{[1]

[ ]

, if k f 3m for some natural number m

, if k = 3m for some natural number m95


15/17

We must note that in [5J there are some misprints, corrected here.An obvious, but unpublished up to now result is that the sequence {1,b(n )}:=l has a base

with a length of 1 with respect to the function 7/J and it is [9]. The first members of thissequence are

1 2 6 6 3 9 9 9 ...We shall finish with two new results related to the concept "factorial" which occur in

some places in this book.The concepts of n is already introduced and there are some problems in [1,2] related to

it. Let us define the new factorial n only for numbers with the forms 3k + 1 and 3k + 2:n = 1.2.4.5.7.8.10.11...n

We shall prove that the sequence { 1 , b ( n ) } ~ = l has a base with a length of 12 with respectto the function 1 b and it is

[1 2 8 4 1 8 8 7 1 5 8,1].Really, the validity of the assertion for the first 12 natural numbers with the above

mentioned forms, i.e., the numbers1,2,4,5,7,8,10,11,13,14,16,17,

is directly checked. Let us assume that the assertion is valid for the numbers

Then

(18k I) , (18k 2) , (18k 4)11 , (18k 5) , (18k 7) , (18k 8)11 ,(18k + 10) , (18k 11) , (18k 13) , (18k 14) , {18k 16) ,

(18k 17) .

1,b((18k 19) 1) = 1,b((18k 17) .(18k 19))= 1,b 1,b 1Sk 17)1 .lj;(1SI.: 19))

= 7/>(1.1) = 1;7/>((18k + 20) 1) = 7/>((18k + 19)111.(18k + 20))

1,b(7/>(18k 19) 1.1,['(181.: 20))96


16/17

= l/J(1.2) = 2;1jJ((18k + 22) ) = 1jJ((lSk + 20) '(18k + 22))

= 1jJ(1jJ(lSk 20) .1jJ(lSk 22))= 1jJ(2.4) = S,

etc., with which the assertion is proved.Having in mind that every natural number. has exactly one of the forms 3k 3, 3k 1

and 3k 2, for the natural number n = 3k m, where m E {I, 2, 3} and k 1 is a naturalnumber, we can define:

1.4 ...(3k 1), if n = 3k 1 and m = 1n m = 2 5 ... (3k + 2), if n = 3k 2 and m = 2

3.6 ... (3k 3), if n = 3k 3 and m = 3As above, we can prove that:

for the natural number n with the form 3k 1, the sequence {1jJ( n l)};::='=l has a base witha length of 3 with respect to the function 1/1 and it is

[1, ?/;(3k 1), 1J; for the natural number n with the form 3k 2, the sequence {1jJ( n d };::= =1 has a base witha length of 6 with respect to the function jJ and it is

[2, 1jJ(6k 4), 8,7, 1jJ(3k 5), 1J; for the natural number n with the form 3k + :3 the sequence {1jJ(n l)};::='=l has a base witha length of 1 with respect to the function 1/1 and it is [9J and only its first member is 3.

Now we can see that

n l {if n = 3k 1 and k 1

(3k 1)h. 3k + 2) 2, if n = 3k 2 and k 1

97


17/17

REFERENCES[1] F. Smarandache, Only Problems, Not Solutions . Xiquan Publ . House, Chicago,

1993.[2] C. Dumitrescu, V. Seleacu, Some Sotions and Questions in Number Theory, Erhus

Univ. Press, Glendale, 1994.[3] Atanassov K. On Some of the Smarandache's Problems. American Research Press, Lup-

ton, 1999.[4] C. Ashbacher, Pluckings from the Tree of Smarandache Sequences and Functions. American Research Press, Lupton, 1998.[ J K Atanassov, An arithmetic function and some of its applications. Bull. of Number

Theory and Related Topics, Vol. IX (1985), No.1 18-27.[6] T. Nagell, Introduction to Number Theory. John Wiley Sons, Inc New York, 1950.[7] K Atanassov, Remarks on prime numbers, Notes on Number Theory and Discrete

Mathematics, Vol. 2 (1996), No.4 49 - 51.[8] 1. Comtet, Advanced Combinatorics, D. Reidel Pub . Co., Dordrecht-Holland, 1974.[9] Atanassov K On the 4-th Smarandache's problem Notes on Number Theory and Dis

crete Mathematics, Vol. 5 (1999), No.1 :3:3-35.[10] Atanassov K On the 16-th Smarandache's problem Notes on Number Theory and Dis

crete Mathematics, Vol. 5 (1999), No.1 :36-38.[11] Atanassov K On the 37-th and the 38-th Smarandache's problems. Notes on NumberTheory and Discrete Mathematics, Vol. 5 (1999), No.2 83-85.[12] Radeva V., Atanassov K On the 40-th and 41-th Smarandache 's problems. Notes on

Number Theory and Discrete Mathematics, Vol. 4 (1998), No.3 101-104.[13] Atanassova V., K Atanassov, On the 43-rd and the 44-th Smarandache's problems.

Notes on Number Theory and Discrete Mathematics, Vol. 5 (1999), No.2 86-88.[14] Atanassov K On the 100-th, the 101-st, and the 102-nd Smarandache's problems. Notes

on Number Theory and Discrete Mathematics, Vol. 5 (1999), No.3 94-96.[15] Atanassov K On the lI8-th Smarandache's problem. Notes on Number Theory and

Discrete Mathematics, Vol. 5 (1999), No. :3 99.[16] Atanassov K On the 125-th Smarandache's problem. Notes on Number Theory and

Discrete Mathematics, Vol. 5 (1999), No. :3 124.

98

remarks on some of the smarandache's problems. part 1

Documents