ellipse as envelope of circles and focus-tangent theorem