Dismiss Notice
Join Physics Forums Today!
The friendliest, high quality science and math community on the planet! Everyone who loves science is here!

Binary numbers and gcd/lcm

  1. Oct 24, 2005 #1
    If n has k digits in its binary numeral, show that there are at most 2^k/2 numbers n. Can there be exactly 2^k/2?

    I tried to understand this question with an example so I took n=36 which has the binary number 100100; k=6 but 2^k/2n gives 2^3 36 but 8 is not less than or equal to 6??? Any help is appreciated for either question.

    Also does anyone know how to prove this:

    Suppose that p_1, p_2, ..., p_k are all the primes that divide a or b, and that a=p_1^m_1 X p_2^m_2 X...X p_k^m_k, b=p_1^n_1 X p_2^n_2 X...Xp_k^n_k

    Deduce that: gcd(a,b) = p_1^min(m_1, n_1)Xp_2^min(m_2,n_2)...Xp_k^min(m_k, n_k),

    lcm(a,b) = p_1^max(m_1, n_1)Xp_2^max(m_2,n_2)...Xp_k^max(m_k, n_k)
  2. jcsd
  3. Oct 24, 2005 #2
    I think the first question should be understood as
    "How many integers are there with k digits in its binary representation?".

    Disregarding the special case n = 0, the first digit in the binary representation of a number n with k digits must always be 1. The rest however can be either 0 or 1. That gives us exactly
    2k-1 = 2k/2 different numbers.
  4. Oct 24, 2005 #3


    User Avatar
    Science Advisor
    Homework Helper

    If [tex]c=p_1^{\min(m_1,n_1)}\ldots p_k^{\min(m_k, n_k)}[/tex] you have a couple of things to show. First show that c divides both a and b. This should be easy.

    Next, if d divides both a and b, you want to show d divides c. Consider the prime factorization of d, and use the assumption that it divides both a and b here.

    The lcm one is similar.
Share this great discussion with others via Reddit, Google+, Twitter, or Facebook