Comment by yababa_y
13 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.
13 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. (Which matches the input display.)
The ordinary text display appears to be incorrect, going by the third usage note at https://en.wiktionary.org/wiki/%CF%95 )