Envelope of lines
A family of lines is given by three functions a, b, c, defining the lines a(t)x+b(t)y=c(t). A cursor allows to draw the line for a given t, as well as the point on the associated envelope.
Show that the point is where is the matrix .