BuyFindarrow_forward

Discrete Mathematics With Applicat...

5th Edition
EPP + 1 other
ISBN: 9781337694193

Solutions

Chapter
Section
BuyFindarrow_forward

Discrete Mathematics With Applicat...

5th Edition
EPP + 1 other
ISBN: 9781337694193
Textbook Problem
1 views

Exercises 12—15 refer to the following algorithm segment. For each positive integer n, let b n be the number of iterations of the while loop.

while ( n > 0 ) n : = n d i v 3

end while
14. a. Use iteration to guess an explicit formula for b n .

b. Prove that if k is an integer and x is a real number with 3 k x < 3 k then log 3 x .
c. Prove that for every integer m 1 , log 3 ( 3 m ) = log 3 ( 3 m + 1 ) = log 3 ( 3 m + 2 ) .

d. Prove the correctness of the formula you found in part (a).

To determine

(a)

Use iteration to guess an explicit formula for bn.

Explanation

Given information:

For each positive integer n, let bn be the number of iterations of the while loop. while ( n > 0)

n := n div 3

end whileCalculation:

Result previous exercise:

bn=bn/3+1 for all integers n2b1=1b2=1

Let us determine the first terms of the given recurrence relation:

b1=1=1+log31

b2=1=1+log32

b3=b3/3+1=b1+1=1+1=2=1+log33

b4=b4/3+1=b1+1=1+1=2=1+log34

b5=b5/3+1=b1+1=1+1=2=1+log35

b6=b6/3+1=b2+1=1+1=2=1+log3</

To determine

(b)

Prove that if k is an integer and x is a real number with 3kx<3k+1, then log3x=k.

To determine

(c)

Prove that for all integers m1,

log3(3m)=log3(3m+1)=log3(3m+2).

To determine

(d)

Prove the correctness of the formula you found in part (a).

Still sussing out bartleby?

Check out a sample textbook solution.

See a sample solution

The Solution to Your Study Problems

Bartleby provides explanations to thousands of textbook problems written by our experts, many with advanced degrees!

Get Started

Chapter 11 Solutions

Show all chapter solutions add
Sect-11.1 P-5ESSect-11.1 P-6ESSect-11.1 P-7ESSect-11.1 P-8ESSect-11.1 P-9ESSect-11.1 P-10ESSect-11.1 P-11ESSect-11.1 P-12ESSect-11.1 P-13ESSect-11.1 P-14ESSect-11.1 P-15ESSect-11.1 P-16ESSect-11.1 P-17ESSect-11.1 P-18ESSect-11.1 P-19ESSect-11.1 P-20ESSect-11.1 P-21ESSect-11.1 P-22ESSect-11.1 P-23ESSect-11.1 P-24ESSect-11.1 P-25ESSect-11.1 P-26ESSect-11.1 P-27ESSect-11.1 P-28ESSect-11.2 P-1TYSect-11.2 P-2TYSect-11.2 P-3TYSect-11.2 P-4TYSect-11.2 P-5TYSect-11.2 P-6TYSect-11.2 P-1ESSect-11.2 P-2ESSect-11.2 P-3ESSect-11.2 P-4ESSect-11.2 P-5ESSect-11.2 P-6ESSect-11.2 P-7ESSect-11.2 P-8ESSect-11.2 P-9ESSect-11.2 P-10ESSect-11.2 P-11ESSect-11.2 P-12ESSect-11.2 P-13ESSect-11.2 P-14ESSect-11.2 P-15ESSect-11.2 P-16ESSect-11.2 P-17ESSect-11.2 P-18ESSect-11.2 P-19ESSect-11.2 P-20ESSect-11.2 P-21ESSect-11.2 P-22ESSect-11.2 P-23ESSect-11.2 P-24ESSect-11.2 P-25ESSect-11.2 P-26ESSect-11.2 P-27ESSect-11.2 P-28ESSect-11.2 P-29ESSect-11.2 P-30ESSect-11.2 P-31ESSect-11.2 P-32ESSect-11.2 P-33ESSect-11.2 P-34ESSect-11.2 P-35ESSect-11.2 P-36ESSect-11.2 P-37ESSect-11.2 P-38ESSect-11.2 P-39ESSect-11.2 P-40ESSect-11.2 P-41ESSect-11.2 P-42ESSect-11.2 P-43ESSect-11.2 P-44ESSect-11.2 P-45ESSect-11.2 P-46ESSect-11.2 P-47ESSect-11.2 P-48ESSect-11.2 P-49ESSect-11.2 P-50ESSect-11.2 P-51ESSect-11.3 P-1TYSect-11.3 P-2TYSect-11.3 P-3TYSect-11.3 P-1ESSect-11.3 P-2ESSect-11.3 P-3ESSect-11.3 P-4ESSect-11.3 P-5ESSect-11.3 P-6ESSect-11.3 P-7ESSect-11.3 P-8ESSect-11.3 P-9ESSect-11.3 P-10ESSect-11.3 P-11ESSect-11.3 P-12ESSect-11.3 P-13ESSect-11.3 P-14ESSect-11.3 P-15ESSect-11.3 P-16ESSect-11.3 P-17ESSect-11.3 P-18ESSect-11.3 P-19ESSect-11.3 P-20ESSect-11.3 P-21ESSect-11.3 P-22ESSect-11.3 P-23ESSect-11.3 P-24ESSect-11.3 P-25ESSect-11.3 P-26ESSect-11.3 P-27ESSect-11.3 P-28ESSect-11.3 P-29ESSect-11.3 P-30ESSect-11.3 P-31ESSect-11.3 P-32ESSect-11.3 P-33ESSect-11.3 P-34ESSect-11.3 P-35ESSect-11.3 P-36ESSect-11.3 P-37ESSect-11.3 P-38ESSect-11.3 P-39ESSect-11.3 P-40ESSect-11.3 P-41ESSect-11.3 P-42ESSect-11.3 P-43ESSect-11.4 P-1TYSect-11.4 P-2TYSect-11.4 P-3TYSect-11.4 P-4TYSect-11.4 P-5TYSect-11.4 P-1ESSect-11.4 P-2ESSect-11.4 P-3ESSect-11.4 P-4ESSect-11.4 P-5ESSect-11.4 P-6ESSect-11.4 P-7ESSect-11.4 P-8ESSect-11.4 P-9ESSect-11.4 P-10ESSect-11.4 P-11ESSect-11.4 P-12ESSect-11.4 P-13ESSect-11.4 P-14ESSect-11.4 P-15ESSect-11.4 P-16ESSect-11.4 P-17ESSect-11.4 P-18ESSect-11.4 P-19ESSect-11.4 P-20ESSect-11.4 P-21ESSect-11.4 P-22ESSect-11.4 P-23ESSect-11.4 P-24ESSect-11.4 P-25ESSect-11.4 P-26ESSect-11.4 P-27ESSect-11.4 P-28ESSect-11.4 P-29ESSect-11.4 P-30ESSect-11.4 P-31ESSect-11.4 P-32ESSect-11.4 P-33ESSect-11.4 P-34ESSect-11.4 P-35ESSect-11.4 P-36ESSect-11.4 P-37ESSect-11.4 P-38ESSect-11.4 P-39ESSect-11.4 P-40ESSect-11.4 P-41ESSect-11.4 P-42ESSect-11.4 P-43ESSect-11.4 P-44ESSect-11.4 P-45ESSect-11.4 P-46ESSect-11.4 P-47ESSect-11.4 P-48ESSect-11.4 P-49ESSect-11.4 P-50ESSect-11.4 P-51ESSect-11.5 P-1TYSect-11.5 P-2TYSect-11.5 P-3TYSect-11.5 P-4TYSect-11.5 P-5TYSect-11.5 P-1ESSect-11.5 P-2ESSect-11.5 P-3ESSect-11.5 P-4ESSect-11.5 P-5ESSect-11.5 P-6ESSect-11.5 P-7ESSect-11.5 P-8ESSect-11.5 P-9ESSect-11.5 P-10ESSect-11.5 P-11ESSect-11.5 P-12ESSect-11.5 P-13ESSect-11.5 P-14ESSect-11.5 P-15ESSect-11.5 P-16ESSect-11.5 P-17ESSect-11.5 P-18ESSect-11.5 P-19ESSect-11.5 P-20ESSect-11.5 P-21ESSect-11.5 P-22ESSect-11.5 P-23ESSect-11.5 P-24ESSect-11.5 P-25ESSect-11.5 P-26ES