Comment by yababa_y
11 hours ago
I was somewhat surprised to learn that phi is _merely_ (1 + √5)/2, I didn't have a good conception of what it was at all but I didn't think it was algebraic.
11 hours ago
I was somewhat surprised to learn that phi is _merely_ (1 + √5)/2, I didn't have a good conception of what it was at all but I didn't think it was algebraic.
Phi is conceptually defined like so:
The diagram is straightforward to set up:
This gives us a system of two equations:
If you substitute b = φa into the other one, you get
And since a is just an arbitrary scaling factor, we have no problem dividing it out:
Since we defined φ by reference to the length of a line, we know that it is the positive solution to this equation and not the negative solution.
(Side note: there are two styles of lowercase phi, fancy φ and plain ϕ. They have their own Unicode points.
HN's text input panel displays φ as fancy and ϕ as plain. This is reversed in ordinary text display (a published comment, as opposed to a comment you are currently composing). And it's reversed again in the monospace formatting.)