A proof of Dupin's theorem with some simple illustrations of the method employed.
Before plunging into Dupin's theorem, I think it well to speak of certain infinitesimal rotations which play a part in the proof. By an infinitesimal angle of the first order is meant an angle subtended at the centre of a circle of finite radius by an arc whose length is an infinitesimal of the first order. If we neglect infinitesimals of the second order, equal infinitesimal rotations of the first order about axes which meet and are separated by a small angle of the first order are identical. For instance, if AB and BC be elements of a curve of continuous curvature, an infinitesimal rotation about AB may, if we prefer it, be regarded as taking place about BC; and again, if OA, OB, OC be a set of rectangular axes, small rotations about OA, OB, OC may be regarded as taking place in any order. For if P be a point on a sphere of finite radius, and PQ, PR be the displacements of P due to equal infinitesimal rotations of the first order about two diameters separated by a small angle of the first order, the angle QPR is the angle of separation of the axes, and it follows that QR is an infinitesimal of the second order. Further, if the radius of the sphere is an infinitesimal of the first order, QR is of the third order of small quantities.