u35In this Proposition, and Case 2 of the foregoing, the constructions are the same, whether the right line XY cut the trajectory in X and Y, or not; neither do they depend upon that section. But the constructions being demonstrated where that right line does cut the trajectory, the constructions where it does not are also known; and therefore, for brevity's sake, I omit any farther demonstration of them.

LEMMA XXII.

To transform figures into other figures of the same kind.

Suppose that any figure HGI is to be transformed. Draw, at pleasure, two parallel lines AO, BL, cutting any third line AB, given by position, in A and B, and from any point G of the figure, draw out any right line GD, parallel to OA, till it meet the right line AB. Then from any given point O in the line OA, draw to the point D the right line OD, meeting BL in d; and from the point of concourse raise the right line dg containing any given angle with the right line BL, and having such ratio to Od as DG has to OD; and g will be the point in the new figure hgi, corresponding to the point G. And in like manner the several points of the first figure will give as many correspondent points of the new figure. If we therefore conceive the point G to be carried along by a continual motion through all the points of the first figure, the point g will be likewise carried along by a continual motion through all the points of the new figure, and describe the same. For distinction's sake, let us call DG the first ordinate, dg the new ordinate, AD the first abscissa, ad the new abscissa; O the pole, OD the abscinding radius, OA the first ordinate radius, and Oa (by which the parallelogram OABa is completed) the new ordinate radius.

I say, then, that if the point G is placed in a right line given by position, the point g will be also placed in a right line given by position. If the point G is placed in a conic section, the point g will be likewise placed[Pg 142] in a conic section. And here I understand the circle as one of the conic sections. But farther, if the point G is placed in a line of the third analytical order, the point g will also be placed in a line of the third order, and so on in curve lines of higher orders. The two lines in which the points G, g, are placed, will be always of the same analytical order. For as ad is to OA, so are Od to OD, dg to DG, and AB to AD; and therefore AD is equal to , and DG equal to . Now if the point G is placed in a right line, and therefore, in any equation by which the relation between the abscissa AD and the ordinate GD is expressed, those indetermined lines AD and DG rise no higher than to one dimension, by writing this equation in place of AD, and in place of DG, a new equation will be produced, in which the new abscissa ad and new ordinate dg rise only to one dimension; and which therefore must denote a right line. But if AD and DG (or either of them) had risen to two dimensions in the first equation, ad and dg would likewise have risen to two dimensions in the second equation. And so on in three or more dimensions. The indetermined lines, ad, dg in the second equation, and AD, DG, in the first, will always rise to the same number of dimensions; and therefore the lines in which the points G, g, are placed are of the same analytical order.

I say farther, that if any right line touches the curve line in the first figure, the same right line transferred the same way with the curve into the new figure will touch that curve line in the new figure, and vice versa. For if any two points of the curve in the first figure are supposed to approach one the other till they come to coincide, the same points transferred will approach one the other till they come to coincide in the new figure; and therefore the right lines with which those points are joined will become together tangents of the curves in both figures. I might have given demonstrations of these assertions in a more geometrical form; but I study to be brief.

Wherefore if one rectilinear figure is to be transformed into another, we need only transfer the intersections of the right lines of which the first figure consists, and through the transferred intersections to draw right lines in the new figure. But if a curvilinear figure is to be transformed, we must transfer the points, the tangents, and other right lines, by means of which the curve line is defined. This Lemma is of use in the solution of the more difficult Problems; for thereby we may transform the proposed figures, if they are intricate, into others that are more simple. Thus any right lines converging to a point are transformed into parallels, by taking for the first ordinate radius any right line that passes through the point of concourse of the converging lines, and that because their point of concourse[Pg 143] is by this means made to go off in infinitum; and parallel lines are such as tend to a point infinitely remote. And after the problem is solved in the new figure, if by the inverse operations we transform the new into the first figure, we shall have the solution required.

This Lemma is also of use in the solution of solid problems. For as often as two conic sections occur, by the intersection of which a problem may be solved, any one of them may be transformed, if it is an hyperbola or a parabola, into an ellipsis, and then this ellipsis may be easily changed into a circle. So also a right line and a conic section, in the construction of plane problems, may be transformed into a right line and a circle.

PROPOSITION XXV. PROBLEM XVII.

To describe a trajectory that shall pass through two given points, and touch three right lines given by position.

Through the concourse of any two of the tangents one with the other, and the concourse of the third tangent with the right line which passes through the two given points, draw an indefinite right line; and, taking this line for the first ordinate radius, transform the figure by the preceding Lemma into a new figure. In this figure those two tangents will become parallel to each other, and the third tangent will be parallel to the right line that passes through the two given points. Suppose hi, kl to be those two parallel tangents, ik the third tangent, and hl a right line parallel thereto, passing through those points a, b, through which the conic section ought to pass in this new figure; and completing the parallelogram hikl, let the right lines hi, ik, kl be so cut in c, d, e, that hc may be to the square root of the rectangle ahb, ic, to id, and ke to kd, as the sum of the right lines hi and kl is to the sum of the three lines, the first whereof is the right line ik, and the other two are the square roots of the rectangles ahb and alb; and c, d, e, will be the points of contact. For by the properties of the conic sections, hc2 to the rectangle ahb, and ic2 to id2, and ke2 to kd2, and el2 to the rectangle alb, are all in the same ratio; and therefore hc to the square root of ahb, ic to id, ke to kd, and el to the square root of alb, are in the subduplicate of that ratio; and by composition, in the given ratio of the sum of all the antecedents hi + kl, to the sum of all the consequents . Wherefore from that given ratio we have the points of contact c, d, e, in the new figure. By the inverted operations of the last Lemma, let those points be transferred into the first figure, and the trajectory will be there described by Prob. XIV. Q.E.F. But according as the points a, b, fall between the points h, l, or without them, the points c, d, e, must be taken[Pg 144] either between the points, h, i, k, l, or without them. If one of the points a, b, falls between the points h, i, and the other without the points h, l, the Problem is impossible.

PROPOSITION XXVI. PROBLEM XVIII.

To describe a trajectory that shall pass through a given point, and touch four right lines given by position.

From the common intersections, of any two of the tangents to the common intersection of the other two, draw an indefinite right line; and taking this line for the first ordinate radius, transform the figure (by Lem. XXII) into a new figure, and the two pairs of tangents, each of which before concurred in the first ordinate radius, will now become parallel. Let hi and kl, ik and hl, be those pairs of parallels completing the parallelogram hikl. And let p be the point in this new figure corresponding to the given point in the first figure. Through O the centre of the figure draw pq: and Oq being equal to Op, q will be the other point through which the conic section must pass in this new figure. Let this point be transferred, by the inverse operation of Lem. XXII into the first figure, and there we shall have the two points through which the trajectory is to be described. But through those points that trajectory may be described by Prop. XVII.