Phyllotaxis
the spirals are counted, not admired
Ladder

Fork angle — the ladder

4 distinct arguments against one idea, from the one that introduces it to the one that assumes the rest.
  1. The fork the cost chooses at a daughter ratio of 1: 37.47 and 37.47 degrees. Three ends held fixed, three weights fixed by the radii, and the branch point put where the total cost is least. At the optimal radius the pumping term is exactly half the upkeep term, so a segment's weight is its own cross-section and the three weights here are 1.5874, 1.0000, 1.0000. Minimising directly over the position — a 41×41 grid re-centred and shrunk 220 times, told nothing about any formula — puts the daughters at 37.4673° and 37.4673° from the parent's own forward direction, against the closed form's 37.4673° and 37.4673°.

    The angle the cost chooses

    Murray's exponent falls out of minimising a cost over the radius of a tube. The same cost minimised over the position of the branch point instead fixes both fork angles, and 281 networks minimised on a grid told nothing about any formula agree with the closed form to under two ten-thousandths of a degree.

    rung 1 · branching
  2. The three weights at an exponent of 2 and 3: one closes a triangle and one is a straight line. A branch point minimising a weighted sum of three lengths has an interior solution only when the three weights close a triangle, and the weight on a segment here is its own cross-section. At an exponent of 3 the three areas clear that condition by 0.4126, and the triangle they close is what the two fork angles are read off. At an exponent of 2 the parent's area is exactly the daughters' areas summed — that is what area conservation says — so the slack is -4.44e-16, the triangle collapses onto a line, and the fork closes to 0.0000 degrees. Leonardo's rule does not predict a different angle here; it predicts no angle.

    A rule that predicts everything

    Leonardo's rule says a fork conserves cross-section, and cross-section is exactly the weight the branch point is minimised against. So the three weights land on the boundary of the triangle inequality, the cosine comes out at one to the last bit, and the rule predicts no angle at all — and the free constant its own derivation leaves behind then walks the prediction across every angle a fork could have.

    rung 2 · branching
  3. What insisting on a fork angle costs: 43.3 degrees for one per cent of the network. The three ends are held where the optimum wants them, the branch point is moved everywhere inside them, and the cheapest network at each total angle is kept. The optimum sits at 74.93°. Everything within one per cent of the least cost runs 55.9° to 99.2° — a span of 43.3°, which read back as exponents covers 2.44 to 5.34 — and within a tenth of a per cent it still runs 13.6°. The prediction is steep in the exponent and the cost is nearly flat in the angle; they are the same curve read along its two axes.

    An optimum too flat to reach

    One per cent of a branching network's cost buys forty-three degrees of fork angle, covering exponents from 2.44 to 5.34, while the angle the theory predicts moves only fourteen and a half degrees across every daughter ratio there is. The prediction is steep and the cost is flat, and those are the same curve read along its two axes.

    rung 3 · branching
  4. The two trees this site draws, at 30° and 32° to a side, against the cost's 37.47° and 37.47°. Two trees of 63 segments each, 5 generations deep and 31 junctions apiece, with every junction's radii taken from r₀³ = r₁³ + r₂³ exactly and every junction's angle taken from a constant. Read as an exponent through cos(θ/2) = 2^(2/p − 1), the drawn angles say 2.5237 and 2.6239, in pictures whose widths are built at exactly 3. The cost that fixed those widths wants 37.47° and 37.47° at this daughter ratio, 74.93° in total, and the misses cost 0.573% and 0.292% of the network — which is why a fixed angle can sit in a figure about a minimisation and never look wrong.

    The trees drawn at no angle

    Two branching figures on this site set every junction's radii from the cube law exactly and every junction's angle from a constant nobody derived. Read as exponents the drawn angles say 2.52 and 2.62, in pictures whose widths say exactly three — and at a lopsided fork the drawing puts a daughter thirty-four degrees from where the same cost puts it.

    rung 4 · branching

All ladders