Skip to content
  • Categories
  • Recent
  • Tags
  • Popular
  • World
  • Users
  • Groups
Skins
  • Light
  • Cerulean
  • Cosmo
  • Flatly
  • Journal
  • Litera
  • Lumen
  • Lux
  • Materia
  • Minty
  • Morph
  • Pulse
  • Sandstone
  • Simplex
  • Sketchy
  • Spacelab
  • United
  • Yeti
  • Zephyr
  • Dark
  • Cyborg
  • Darkly
  • Quartz
  • Slate
  • Solar
  • Superhero
  • Vapor

  • Default (No Skin)
  • No Skin
Collapse
Code Project
  1. Home
  2. The Lounge
  3. POTD

POTD

Scheduled Pinned Locked Moved The Lounge
questioncomtools
29 Posts 7 Posters 0 Views 1 Watching
  • Oldest to Newest
  • Newest to Oldest
  • Most Votes
Reply
  • Reply as topic
Log in to reply
This topic has been deleted. Only users with topic management privileges can see it.
  • M MoustafaS

    This is a pure math question, but its quite good.

    Prove that for all x>=1

    (x-1)/x <= ln x


    About : Islam
    About : Me

    G Offline
    G Offline
    Graham Shanks
    wrote on last edited by
    #16

    Easy - use the following series expansion[^] ln = (x-1)/x + 1/2 ((x-1)/x)^2 + 1/3 ((x-1)/x)^3 + ... which is valid for x > 1/2 when x > 1 the second and subsequent terms are positive. For x = 0 all terms are zero QED

    Graham My signature is not black, just a very, very dark blue

    M R 3 Replies Last reply
    0
    • G Graham Shanks

      Easy - use the following series expansion[^] ln = (x-1)/x + 1/2 ((x-1)/x)^2 + 1/3 ((x-1)/x)^3 + ... which is valid for x > 1/2 when x > 1 the second and subsequent terms are positive. For x = 0 all terms are zero QED

      Graham My signature is not black, just a very, very dark blue

      M Offline
      M Offline
      MoustafaS
      wrote on last edited by
      #17

      Very very complete and accurate proof.;)


      About : Islam
      About : Me

      1 Reply Last reply
      0
      • G Graham Shanks

        Easy - use the following series expansion[^] ln = (x-1)/x + 1/2 ((x-1)/x)^2 + 1/3 ((x-1)/x)^3 + ... which is valid for x > 1/2 when x > 1 the second and subsequent terms are positive. For x = 0 all terms are zero QED

        Graham My signature is not black, just a very, very dark blue

        R Offline
        R Offline
        Ravi Bhavnani
        wrote on last edited by
        #18

        You brought back some excruciatingly painful memories. :) /ravi

        This is your brain on Celcius Home | Music | Articles | Freeware | Trips ravib(at)ravib(dot)com

        1 Reply Last reply
        0
        • G Graham Shanks

          Easy - use the following series expansion[^] ln = (x-1)/x + 1/2 ((x-1)/x)^2 + 1/3 ((x-1)/x)^3 + ... which is valid for x > 1/2 when x > 1 the second and subsequent terms are positive. For x = 0 all terms are zero QED

          Graham My signature is not black, just a very, very dark blue

          M Offline
          M Offline
          MoustafaS
          wrote on last edited by
          #19

          Graham Shanks wrote:

          when x > 1 the second and subsequent terms are positive.

          Right

          Graham Shanks wrote:

          For x = 0 all terms are zero

          For x = 1, not 0, because x cannot be zero.


          About : Islam
          About : Me

          1 Reply Last reply
          0
          • M MoustafaS

            dnh wrote:

            1 <= ln(x) + 1/x

            That doesn't mean anything, you must prove the whole side : (x-1)/x <= ln x


            About : Islam
            About : Me

            J Offline
            J Offline
            Jorgen Sigvardsson
            wrote on last edited by
            #20

            Yes it does.

            -- Raaaaaaaaaaaaaaaaaaaaa!

            1 Reply Last reply
            0
            • D DavidNohejl

              1<=ln(x)+1/x is equivalent to (x-1)/x <= ln x. I am proving 1<=ln(x)+1/x... And my proof is that for x = 1, ln(x) + 1/x = 1. for x>1, ln(x) + 1/x > 1 because it's raising function, as I proved by showing it's derivation is > 0 on interval (1,e). for x>e, I proved it before.


              "Throughout human history, we have been dependent on machines to survive. Fate, it seems, is not without a sense of irony. " - Morpheus "Real men use mspaint for writing code and notepad for designing graphics." - Anna-Jayne Metcalfe

              J Offline
              J Offline
              Jorgen Sigvardsson
              wrote on last edited by
              #21

              You are correct. I don't know what he's been smoking. :confused:

              -- Raaaaaaaaaaaaaaaaaaaaa!

              1 Reply Last reply
              0
              • M MoustafaS

                This is a pure math question, but its quite good.

                Prove that for all x>=1

                (x-1)/x <= ln x


                About : Islam
                About : Me

                C Offline
                C Offline
                Chris Maunder
                wrote on last edited by
                #22

                Expand as a power series and compare terms.

                cheers, Chris Maunder

                CodeProject.com : C++ MVP

                M J 2 Replies Last reply
                0
                • C Chris Maunder

                  Expand as a power series and compare terms.

                  cheers, Chris Maunder

                  CodeProject.com : C++ MVP

                  M Offline
                  M Offline
                  MoustafaS
                  wrote on last edited by
                  #23

                  Perfect, nice.


                  About : Islam
                  About : Me

                  1 Reply Last reply
                  0
                  • C Chris Maunder

                    Expand as a power series and compare terms.

                    cheers, Chris Maunder

                    CodeProject.com : C++ MVP

                    J Offline
                    J Offline
                    Jorgen Sigvardsson
                    wrote on last edited by
                    #24

                    Why, when it is far simpler to do what dnh did? He basically said that:

                    (x-1)/x <= ln x is equivalent to 1<=ln(x)+1/x

                    Since we know the properties of ln and ^-1, it's easy to show (by induction) that for all x >= 1, that ln(x) + 1/x >= 1. Series are creepy. :~

                    -- Raaaaaaaaaaaaaaaaaaaaa!

                    G 1 Reply Last reply
                    0
                    • J Jorgen Sigvardsson

                      Why, when it is far simpler to do what dnh did? He basically said that:

                      (x-1)/x <= ln x is equivalent to 1<=ln(x)+1/x

                      Since we know the properties of ln and ^-1, it's easy to show (by induction) that for all x >= 1, that ln(x) + 1/x >= 1. Series are creepy. :~

                      -- Raaaaaaaaaaaaaaaaaaaaa!

                      G Offline
                      G Offline
                      Graham Shanks
                      wrote on last edited by
                      #25

                      Can't use mathematical induction. That only works on the natural numbers (one of the steps is to prove that if it works on x then it works for x+1). The real numbers are not countable and therefore induction will not work. New POTD: prove that the real numbers are uncountable POTD #2: prove that the rational numbers are countable POTD #3: prove that there are exactly the same number of rational numbers as there are positive integers

                      Graham My signature is not black, just a very, very dark blue

                      D J C 3 Replies Last reply
                      0
                      • G Graham Shanks

                        Can't use mathematical induction. That only works on the natural numbers (one of the steps is to prove that if it works on x then it works for x+1). The real numbers are not countable and therefore induction will not work. New POTD: prove that the real numbers are uncountable POTD #2: prove that the rational numbers are countable POTD #3: prove that there are exactly the same number of rational numbers as there are positive integers

                        Graham My signature is not black, just a very, very dark blue

                        D Offline
                        D Offline
                        DavidNohejl
                        wrote on last edited by
                        #26

                        Graham Shanks wrote:

                        Can't use mathematical induction.

                        That's reason why I asked if x was real. But you can easily show that f(x) > f(y) <=> x>y with first derivation of f.


                        "Throughout human history, we have been dependent on machines to survive. Fate, it seems, is not without a sense of irony. " - Morpheus "Real men use mspaint for writing code and notepad for designing graphics." - Anna-Jayne Metcalfe

                        1 Reply Last reply
                        0
                        • G Graham Shanks

                          Can't use mathematical induction. That only works on the natural numbers (one of the steps is to prove that if it works on x then it works for x+1). The real numbers are not countable and therefore induction will not work. New POTD: prove that the real numbers are uncountable POTD #2: prove that the rational numbers are countable POTD #3: prove that there are exactly the same number of rational numbers as there are positive integers

                          Graham My signature is not black, just a very, very dark blue

                          J Offline
                          J Offline
                          Jorgen Sigvardsson
                          wrote on last edited by
                          #27

                          Graham Shanks wrote:

                          That only works on the natural numbers (one of the steps is to prove that if it works on x then it works for x+1). The real numbers are not countable and therefore induction will not work.

                          Maybe I used the wrong term (didn't know induction was reserved for natural numbers only). If you can show that f(x + dx) > f(x) where dx >, that equation which dnh originally proposed, must be equally valid as any series... right? :~ We know that ln(x+dx) > ln(x) for all x > 1, and we also know that 1/x > 0 for all x > 1. The initial number x = 1 yields ln(1) + 1/1 = 1. I just don't see why you have to bring in fancy pants series to solve this problem. That seems to me like using the sledgehammer just to hit tiny nails...

                          -- Not a substitute for human interaction

                          C 1 Reply Last reply
                          0
                          • J Jorgen Sigvardsson

                            Graham Shanks wrote:

                            That only works on the natural numbers (one of the steps is to prove that if it works on x then it works for x+1). The real numbers are not countable and therefore induction will not work.

                            Maybe I used the wrong term (didn't know induction was reserved for natural numbers only). If you can show that f(x + dx) > f(x) where dx >, that equation which dnh originally proposed, must be equally valid as any series... right? :~ We know that ln(x+dx) > ln(x) for all x > 1, and we also know that 1/x > 0 for all x > 1. The initial number x = 1 yields ln(1) + 1/1 = 1. I just don't see why you have to bring in fancy pants series to solve this problem. That seems to me like using the sledgehammer just to hit tiny nails...

                            -- Not a substitute for human interaction

                            C Offline
                            C Offline
                            cp9876
                            wrote on last edited by
                            #28

                            I proved it like dnh - using derivatives - seems perfectly valid to me.


                            Peter "Until the invention of the computer, the machine gun was the device that enabled humans to make the most mistakes in the smallest amount of time."

                            1 Reply Last reply
                            0
                            • G Graham Shanks

                              Can't use mathematical induction. That only works on the natural numbers (one of the steps is to prove that if it works on x then it works for x+1). The real numbers are not countable and therefore induction will not work. New POTD: prove that the real numbers are uncountable POTD #2: prove that the rational numbers are countable POTD #3: prove that there are exactly the same number of rational numbers as there are positive integers

                              Graham My signature is not black, just a very, very dark blue

                              C Offline
                              C Offline
                              cp9876
                              wrote on last edited by
                              #29

                              I don't think these are good POTD puzzles, they are straight from a pure maths text. Answers would go like: #1: I think it is Cauchy's famous construction, if they are countable, write them down in order, then construct a new number that is different from the first one in the first decimal place, the second one in the second .... You need a little care to prevent some repeated patterns (9s mainly I htink) you can guarantee to get a number not on the list, QED #2: go around a spiral in Z2 #3: see #2 It is interesting that mathematicians think that there are the same number of rational numbers (that is any number p/q where p and q are integers) as there are integers. There are more real numbers than rational numbers though. You can do funny things with infinities.


                              Peter "Until the invention of the computer, the machine gun was the device that enabled humans to make the most mistakes in the smallest amount of time."

                              1 Reply Last reply
                              0
                              Reply
                              • Reply as topic
                              Log in to reply
                              • Oldest to Newest
                              • Newest to Oldest
                              • Most Votes


                              • Login

                              • Don't have an account? Register

                              • Login or register to search.
                              • First post
                                Last post
                              0
                              • Categories
                              • Recent
                              • Tags
                              • Popular
                              • World
                              • Users
                              • Groups