258 questions · 16 question types identified
A question is this type if and only if it asks to prove by induction that an expression involving powers (e.g., 7²ⁿ - 1, 5ⁿ + 8n + 3) is divisible by a given integer.
A question is this type if and only if it asks to prove by induction that a sequence defined by a recurrence relation (uₙ₊₁ in terms of uₙ) equals a given explicit formula for uₙ.
A question is this type if and only if it asks to prove by induction that a summation equals a given closed-form expression (e.g., ∑r² = n(n+1)(2n+1)/6).
A question is this type if and only if it asks to prove by induction that Aⁿ equals a given matrix expression involving n.
A question is this type if and only if it asks to prove by induction a summation formula involving exponential or geometric terms (e.g., ∑r·2ʳ⁻¹, ∑4r/3ʳ).
A question is this type if and only if it asks to prove by induction that the nth derivative of a function equals a given expression.
A question is this type if and only if it asks to prove by induction a summation formula where terms are rational expressions (e.g., ∑1/(r(r+1)), ∑(2r+1)/(r²(r+1)²)).
A question is this type if and only if it asks to prove by induction that an inequality holds for all positive integers n (e.g., uₙ > 4, 4ⁿ > 2ⁿ + 3ⁿ).
A question is this type if and only if it asks to first calculate initial terms, suggest a formula for uₙ, then prove the suggestion by induction.
A question is this type if and only if it asks to prove by induction that every term of a sequence has a certain property (e.g., divisibility, being greater than a value) by analyzing uₙ₊₁ - uₙ or similar.
A question is this type if and only if it asks to show (not prove by induction) a summation result using already-known standard formulae for ∑r, ∑r², ∑r³.
A question is this type if and only if it asks to prove (by factorization or other means, not necessarily induction) that a polynomial expression is divisible by an integer for all integer n.
A question is this type if and only if it asks to prove a result by exhaustion (considering all cases modulo some integer) rather than by induction.
A question is this type if and only if it asks to prove by induction that (cos θ + i sin θ)ⁿ = cos nθ + i sin nθ.
A question is this type if and only if it asks to prove by induction a summation formula involving logarithmic terms (e.g., ∑log(2r-1), ∑r·ln((r+1)/r)).
A question is this type if and only if it asks to deduce or show a secondary result using a formula already proven by induction in an earlier part.
Questions not yet assigned to a type.