[This theorem was proven long ago, in other ways, but this is my way to prove it.]
Let x and y be two rational numbers on the number line. Since both x and y are rational, both x and y can be written as fractions. All fractions, when written in decimal form, either terminate (such as ¼ = 0.25) or form a repeating pattern (such as 1/3 = 0.333…, repeating). To find an infinite number of irrational numbers between x and y on the number line, simply write both x and y in the form of decimals, and then follow the decimal expansion until the two digits no longer match, as is the case for 0.1111172 and 0.1111173, which match each other, up to the digit 7 in the millionths place, but no further. To generate an infinite number of irrational numbers between x and y, simply examine the part of the decimal expansion of the smaller of the two numbers, x or y, which does not match the other number, and randomly jumble up all of the digits (including trailing zeroes) of the smaller of the two numbers, x or y, after the match-point, changing these digits as well (in random ways), which will result in the creation of an irrational number between x and y. Since there is no limit to the number of decimal places a number may have, this may be done in an infinite number of ways.
[I have now fulfilled my ambition to use the phrase “randomly jumble up” in a formal proof.]
There is more than one way to construct a golden rectangle using the Euclidean rules, but all the ones I have seen before use circles with irrational radii. This construction, which I believe to be new, does not use that shortcut, which helps explain its length. The cost of avoiding circles of irrational radius is decreased efficiency, as measured by the number of steps required for the entire construction.
In the diagram below, the distance between points A and B is set at one. All of the green circles have this radius, while the magenta circles have a radius exactly twice as long.
To make following the construction from the diagram above easier, I named the points in alphabetical order, as they appear, as the construction proceeds. The yellow rectangle is the resulting golden rectangle. The blue right triangle is what I used to get a segment with a length equal to the square root of five, which is a necessary step, given that this irrational number is part of the numerical definition of the exact value of the golden ratio (one-half of the sum of one and the square root of five). In order to make the hypotenuse have a length equal to the square root of five, by the Pythagorean Theorem, the two legs of this triangle have lengths of one and two.