establish the formulas d/dx sin x = cos x and d/dx(cosx)=−sinx by numerical estimations of the limits and informal proofs based on geometric constructions