Direct Proof Terminology: if z is an integer and x is a real number and 3^z <= x < 3
I'm asked to come up with the direct proof of:
if z is an integer and x is a real number and:
3^z <= x < 3^(z+2) then floor( log3(x) ) = z
I think I get how to do it, you just take the log3 of either side which gives you:
z <= log3(x) < z+2
And if you floor log3(x) it would equal z.
However I'm just not sure what's the right terminology to use when explaining this proof.
How to start and end it.
I'm asked to come up with the direct proof of:
if z is an integer and x is a real number and:
3^z <= x < 3^(z+2) then floor( log3(x) ) = z
I think I get how to do it, you just take the log3 of either side which gives you:
z <= log3(x) < z+2
And if you floor log3(x) it would equal z.
However I'm just not sure what's the right terminology to use when explaining this proof.
How to start and end it.