For a trigonometric limit as x→a where a is a fixed non-zero angle (typically π,π/2,π/3,π/4 or π/6), the substitution x−a=t — so x=a+t and, crucially, t→0 as x→a — converts the problem into a limit at t=0, where the standard corollaries of section 7.4 (all stated for an argument tending to zero) become directly usable after expanding sin(a±t), cos(a±t) or tan(a±t) with the angle-sum identities.\n\nWorked pattern 1: limx→π/2x−π/2cosx: putting t=x−π/2 gives cos(π/2+t)=−sint, so the limit becomes limt→0t−sint=−1.\n\nWorked pattern 2 (a difference-of-cosines needing the sum-to-product identity mid-substitution): limx→ax−acosx−cosa: putting t=x−a, cos(a+t)−cosa=−2sin(a+2t)sin2t, so dividing by t and using sin(t/2)/t→1/2 gives the limit −sina — this is the standard 'derivative of cosine' result reached by pure limit algebra, no calculus needed.\n\nWorked pattern 3 (a double angle-shift with a half-angle-squared identity): limx→1(1−x)21+cosπx: putting 1−x=t, cos(π(1−t))=cos(π−πt)=−cosπt, so 1+cosπx=1−cosπt=2sin2(πt/2), and the limit reduces to 2(2π)2=2π2.\n\nWorked pattern 4 (angle-sum expansion for tangent, needing the tan-subtraction formula): limx→π/3π−3x3−tanx: putting t=π/3−x and expanding tan(π/3−t) with the subtraction formula produces, after simplification …