Formula For Arc Length

The goal of this GeoGebra applet is to demonstrate that secant PQ approaches arc length PQ for a curve as Q approaches P. This results in a formula for infinitesimal arc length ds. Formula is derived. For more on arc length check my online book "Flipped Classroom Calculus of Single Variable"