Prove the following by induction (or otherwise):

Thread starter seeker101
Start date Aug 14, 2010
Tags

Induction

AI Thread Summary

The discussion focuses on proving that the expression ⌈(1/2) * (⌈log2 m⌉)^2⌉ is less than m - 1 for m > 64. Participants suggest starting with a base case for the range 64 < m ≤ 128 and then applying mathematical induction to extend the proof to larger ranges that double in size. The importance of using the properties of logarithms and ceiling functions in the proof is emphasized. The goal is to establish the inequality holds for progressively larger values of m. This approach aims to provide a comprehensive proof through induction.

Aug 14, 2010

seeker101

Does anyone have any suggestions on how to go about proving that

\left\lceil\frac{1}{2}{\lceil \log m\rceil}^2\right\rceil is less than m-1, for m > 64? (using log to the base 2)

Mathematics news on Phys.org

Aug 14, 2010

CRGreathouse

Science Advisor

Homework Helper

Prove that it's true for 64 < m <= 128, then use induction to show that it's true for ranges that are 2, 4, 8, ... times as large.

Aug 15, 2010

seeker101

Much appreciated!
Thank you.

Thread 'Non-orthogonal bases'

Suppose ,instead of the usual x,y coordinate system with an I basis vector along the x -axis and a corresponding j basis vector along the y-axis we instead have a different pair of basis vectors ,call them e and f along their respective axes. I have seen that this is an important subject in maths My question is what physical applications does such a model apply to? I am asking here because I have devoted quite a lot of time in the past to understanding convectors and the dual...

View full post »

Thread 'What Exactly is Dirac’s Delta Function? - Insight'

Insights auto threads is broken atm, so I'm manually creating these for new Insight articles. In Dirac’s Principles of Quantum Mechanics published in 1930 he introduced a “convenient notation” he referred to as a “delta function” which he treated as a continuum analog to the discrete Kronecker delta. The Kronecker delta is simply the indexed components of the identity operator in matrix algebra Source: https://www.physicsforums.com/insights/what-exactly-is-diracs-delta-function/ by...

View full post »

Thread 'Fixing Things Which Can Go Wrong With Complex Numbers'

Greg tells me the feature to generate a new insight announcement is broken, so I am doing this: https://www.physicsforums.com/insights/fixing-things-which-can-go-wrong-with-complex-numbers/

View full post »