Since the golden ratio has popped up twice now more or less by accident I would like to add my own silly proof of the fact that the golden ratio is irrational. Okay, it’s not my proof so much as it is a combination of two separate results which I like.
So just a recap of the concept. The golden ratio is a particular number which to my knowledge was first remarked on in Euclids Elements where it was defined as a particular proportion which could was also equal to which could be read as “a + b is to a as a is to b”..
Algebraically this gives rise to the equation which you can solve for
The fact that this number is irrational is obvious as it is the sum of an irrational number and a rational number and you could also go straight from the definition and find that a and b cannot be integers.
This makes the issue of finding yet another way of proving it to be irrational seem rather redundant but it ties into the fact that you can actually identify the golden ratio as belonging to an absolutely massive class of irrational numbers which might not be well known. The cosines of rational angles.
You see we have the curious fact that
which may been seen to come from the golden ratio being the proportion of the the longer and the shorter side of an isosceles triangle with angles ; the so called golden triangle, (Or we may recover it from trigonometry or viewing the equation of the golden ratio as the real part of a particular trigonometric identity)
Now it actually is the case that almost all cosines of rational angles are actually irrational numbers, all but 3 (and their trigonometric conjugates) to be precise. In case the term rational angle is not familiar it means precisely what it sounds like if we work in degrees instead of radians. is a rational angle, is a rational angle and in general is a rational angle. In radians it is rather taken to mean that the angle is rational with respect to so an angle in radians is rational if it can be written as .
The only angles which have rational cosines are those such that or if we spell the anglesout explicitely in degrees in the range to we get
The golden ratio with its obviously doesn’t fit into this so it is irrational!
A simple proof of the fact that these are the only rational angles with rational cosines can be found in this arxiv article by Jord Jahnel: When is the (co)sine of a rational angle equal to a rational number? along with some other related results.