In the geometry of curves, an orthoptic is the set of points for which two tangents of a given curve meet at a right angle.
Examples:
Generalizations:
The ellipse with equation
can be represented by the unusual parametric representation
where m is the slope of the tangent at a point of the ellipse. c→+(m) describes the upper half and c→−(m) the lower half of the ellipse. The points (±a, 0)) with tangents parallel to the y-axis are excluded. But this is no problem, because these tangents meet orthogonal the tangents parallel to the x-axis in the ellipse points (0, ±b) Hence the points (±a, ±b) are points of the desired orthoptic (the circle x2 + y2 = a2 + b2).
The tangent at point c→±(m) has the equation
If a tangent contains the point (x0, y0), off the ellipse, then the equation
holds. Eliminating the square root leads to
which has two solutions m1 and m2 corresponding to the two tangents passing (x0, y0). The free term of a reduced quadratic equation is always the product of its solutions. Hence, if the tangents meet at (x0, y0) orthogonally, the following equations hold:
The last equation is equivalent to
This means that:
The ellipse case can be adopted nearly exactly to the hyperbola case. The only changes to be made are to replace b2 with −b2 and to restrict m to |m| > b/a. Therefore: