An orthogonal trajectory of a family of plane curves is a curve that intersects every member of the family at a right angle. If the family has a differential equation
then its orthogonal trajectories satisfy wherever
is finite and nonzero. Equivalently, if the given family consists
of level curves
, its orthogonal trajectories follow the gradient
field
.