Además, como la circunferencia rueda sin deslizamiento, los arcos formula_12 y formula_13 son iguales, es decir: