Concept

Inflection circle — where it appears

The locus of points of a moving plane whose path is momentarily straight, which is a circle through the pole with its diameter along the pole normal. Its points are where a linkage draws a straight line to second order, which is why every approximate straight-line mechanism is an attempt to keep a tracing point near it.

Named by 10 essays across 2 fields — each of them below, with the objects they name alongside it.

A point, its pole, and the centre it is turning about. The tracing point is on the coupler at (0.45, 0.5) of its length. The cross is the pole, the faint curve is the path the point traces over a whole turn, and the circle is the one that path is momentarily on — centre marked, radius 0.267. The point, the pole and the centre are collinear, which is not an accident of this position: a point's centre of curvature always lies on its own ray from the pole, and Euler and Savary's relation says where on it. Here that relation puts the centre 5.6e-16 of a unit from where differentiating the loop equation three times puts it. positioned by solving, not by drawing.

Every point has a centre

A point of a moving plane traces a curve, and near an instant that curve is a circle. Which circle is decided by one relation with two numbers in it — the same relation for every point of the plane at once, and it was written down in 1830 with no derivatives visible anywhere in it.

curvature · Curvature
The circle of points going straight, at 66°. Every point on this circle is, at this instant, travelling in a straight line: its path has zero curvature there. The circle passes through the pole — where the point is not moving at all — and its diameter is 47.64, which is the pole's own speed divided by the plane's angular rate. Nothing here was assumed to be a circle. The locus is the zero set of a quadratic whose |w|² coefficient is φ′³, a real number with no cross term and no difference between its two square terms, and a general conic fitted to the sampled locus returns those coefficients at 8.1e-15 and 6.4e-15. At this position the coupler is close to translating, the pole has run off the canvas and the circle with it — the figure is the size of the mechanism, and δ here is 13.6 coupler lengths. positioned by solving, not by drawing.

The circle of points going straight

At any instant some points of a moving plane are travelling in a straight line. They form a circle — not nearly a circle, a circle — and the reason is one real coefficient in a quadratic. A coupler curve has an inflection exactly when that circle sweeps over the tracing point, which turns out to be rare.

curvature · Curvature
The collineation axis at 66°. The coupler line extended and the frame line extended meet at Q, and the line from the pole through Q is the collineation axis. Bobillier's theorem is that the axis and the pole tangent make equal angles with the two rays PA and PB, in opposite senses — so having the axis gives the pole tangent, which is otherwise the one quantity here that needs the motion differentiated. Measured over 50 pairs of conjugate points the relation holds to 2.5e-14 radians. positioned by solving, not by drawing.

A construction with no arithmetic in it

Everything in this field so far has needed the motion differentiated. Bobillier's theorem gets the pole tangent — the one quantity that otherwise needs a derivative — out of two lines that are already drawn on the mechanism, and the inflection circle follows from three points and a pair of compasses.

curvature · Curvature
Where the curvature is standing still, at 66°. The cubic of stationary curvature: every point on it traces a path whose curvature has stopped changing at this instant, so its osculating circle fits for one order longer than an ordinary point's. It passes through the pole — twice, with a double point there — and through both moving pins, which is the plainest case there is, since a pin traces an exact circle and a constant curvature is certainly a stationary one. The expression whose zero set this is looks like a quartic and its fourth-degree terms cancel to 1.2e-14 of the third-degree ones. positioned by solving, not by drawing.

Where the curvature stands still

One derivative further on there is a second locus: the points whose path curvature has momentarily stopped changing. The expression whose zero set it is looks like a quartic, its fourth-degree terms cancel, and the cancellation is measured at ten to the minus fourteen rather than assumed.

curvature · Curvature
Ball's point at 66°. Two curves and one point. The circle is the locus of points whose path is momentarily straight; the cubic is the locus of points whose path curvature is momentarily not changing. A point on both has a path that is straight and staying straight — four-point contact with its own tangent line, one order better than anything else in the plane. That is Ball's point. Walking the circle and looking for a zero of κ′ turned up 1 sign changes here and 1 of them survived being checked for continuity — the others are the asymptote the pole itself produces. Its measured order of contact with the line is 3.95. positioned by solving, not by drawing.

The straightest point there is

Where the circle of points going straight meets the cubic of points whose curvature is standing still, there is one point whose path is straight and staying straight. Neither Watt nor Chebyshev put their tracing point there, and moving Watt's to it more than halves the error over the whole stroke.

curvature · Curvature
Two circles, and an exact straight line. The moving centrode of this motion is a circle of radius 1.5 and the fixed one is a circle of radius 3.0, measured to 8.9e-16. The small circle rolls inside the large one, and a point on its rim traces a diameter of the large one — exactly, with no error term. Watt's linkage is straight to nine per cent of its span and Chebyshev's to twelve; this is straight to 0.0e+0, and the difference is not one of degree. It is the difference between a curve that approximates a line and two centrodes whose rolling produces one. positioned by solving, not by drawing.

Exact because two circles roll

Watt's straight line is straight to nine parts in a hundred and Chebyshev's to twelve. Here is one that is straight to nothing at all — no error term, no working range, no approximation anywhere — and the reason is that its two centrodes are circles, one rolling inside the other at exactly half its radius.

curvature · Curvature
The circle of points going straight, at 66°. Every point on this circle is, at this instant, travelling in a straight line: its path has zero curvature there. The circle passes through the pole — where the point is not moving at all — and its diameter is 47.64, which is the pole's own speed divided by the plane's angular rate. Nothing here was assumed to be a circle. The locus is the zero set of a quadratic whose |w|² coefficient is φ′³, a real number with no cross term and no difference between its two square terms, and a general conic fitted to the sampled locus returns those coefficients at 8.1e-15 and 6.4e-15. At this position the coupler is close to translating, the pole has run off the canvas and the circle with it — the figure is the size of the mechanism, and δ here is 13.6 coupler lengths. positioned by solving, not by drawing.

A curvature is a size with a minus sign

Everything in the curvature field is a similarity invariant in shape and a reciprocal length in value. Scale a moving plane and its inflection circle scales, its cubic of stationary curvature scales, and every curvature it computes is divided by the factor — so a bigger machine traces gentler paths than its drawing suggests.

curvature · Curvature
The body points whose three images are in a line. The three prescribed poses, faint, and a curve through them. At every point of a 110×110 grid over the moving body, the point is placed in all three poses and the signed height of its image triangle is measured; the curve is where that length is zero. Those are the points whose three images lie on a line, so the dyad they want is a slide rather than a crank. The curve is a circle. Refined onto the contour, its points lie on the circle through the three image poles to 2e-15, where the pole triangle's own circle misses them by up to 1.98. Its radius is 8.767, so inside a window three units across it reads as a gentle arc; 2 of the three image poles are in the frame and the third, P₁₃, is 6.8 units away.

Where a pin becomes a slide

Three-position synthesis gives every point of the moving body a fixed pivot, except the points whose three images fall in a line. Those want a slide, and they are not scattered: they lie on one circle, the circle through the three image poles, which a single line of algebra predicts and a contour of a measured length draws to 10⁻¹⁵.

synthesis · Synthesis
Three circles at one point, at 50°. The osculating circle of the fixed centrode at the pole, the osculating circle of the moving centrode there, and the inflection circle. All three pass through the pole and all three have their centres on the common normal — which is what makes the relation between them a relation between three numbers on a line. The two centrode radii are 16.180 and 9.730, signed along that normal, and the inflection circle's diameter is 24.398 against the 24.409 the other two give. Nothing in that arithmetic knows there is a linkage. The window is 30.25 wide and the larger osculating circle is 32.36 across, so it is cut at the edge: what is drawn is the neighbourhood of the pole, where the three curvatures are the same three numbers however far the circles carrying them reach.

The two numbers are the curves' own

Every essay in this field runs on the inflection circle and the pole tangent, and every one has taken them from the motion's derivatives. They are the two centrodes' radii of curvature at the pole, combined harmonically — measurable off the curves with no mechanism in the arithmetic, and carrying a sign that changes eight times in a turn.

curvature · Curvature
Holding the coupler still: the frame's inflection circle is the mirror of the coupler's. The four-bar with ground 4, crank 1, coupler 3.5 and rocker 3 at a crank angle of 225°, redrawn in the coupler's own frame, so the coupler is the horizontal bar and the ground link is what moves. The circle on one side of the pole is the ordinary inflection circle — coupler points travelling straight — carried into this frame. The circle on the other side is the inverse motion's: frame points travelling straight when the coupler is held. It is computed by differentiating the swap and, separately, by solving the coupler-held four-bar, and both routes put it at the first circle reflected through the pole, to 7e-15 on a radius of 4.45. The line through the pole is the common tangent. Dragging the crank angle moves both circles and they stay mirror images.

The frame seen from the coupler

Hold a four-bar's coupler still and let its frame move, and every construction of the curvature field has a counterpart. The frame's points that travel straight lie on the ordinary inflection circle reflected through the pole — found by differentiating the swap and, independently, by solving the coupler-held four-bar, both to 10⁻¹⁴ — and a point and the centre of curvature of its path trade places exactly. The inverse motion of one four-bar is the ordinary motion of another.

curvature · Curvature

Named alongside it

The objects these essays reach for when they reach for this one.

Path curvatureEuler savaryInstantaneous centrePole tangentCentrodeInstant centreConjugate pointOsculating circleCollineation axisConic fitContact orderCoupler curve

All concepts