First third — formal limits + classical theorems + complete derivative (~17–18 años)
Highest bar · 🇯🇵 Japón
ε-δ definition of limit (the salto from intuitive to formal), squeeze theorem, classical continuity theorems (Bolzano, IVT formal, EVT, MVT, Rolle, Darboux, inverse function continuity), derivative as a limit with all standard rules (power, product, quotient, chain, implicit, logarithmic), derivatives of all transcendentals (six trig, inverse trig, exp, log, hyperbolic, higher-order), and full curve analysis via the first and second derivative tests + curve sketching complete + MVT/Rolle, modeling with derivative (optimization with constraints, related rates, Newton-Raphson, linear approximation, L'Hôpital formal, differentials).
| Country | Expected topics | Official source |
|---|---|---|
| 🇯🇵Japón | MEXT Math III (微分積分): definición ε-δ de límite explícita, derivada con todas las reglas, derivada implícita, MVT y Rolle formales, optimización y related rates. | MEXT Senior High School Math III (Japan) ↗ |
| 🇰🇷Corea | KICE 2022 Revised — Calculus (미적분): definición formal de límite, continuidad formal, derivada completa con reglas, MVT (평균값 정리), análisis completo de funciones. | KICE 2022 Revised Curriculum — Calculus (미적분) ↗ |
| 🇸🇬Singapur | JC2 H2 9758: límites rigurosos (no ε-δ explícito pero formal), derivada con todas las reglas + implícita, MVT, optimización, related rates. | Singapore JC2 H2 Mathematics 9758 (SEAB) ↗ |
| 🇺🇸Estados Unidos | AP Calculus AB+BC: límites intuitivos, continuidad, derivada con todas las reglas, IVT/MVT/EVT/Rolle, optimización, related rates, L'Hôpital, Newton's method. | AP Calculus AB & BC (College Board CED) ↗ |
| 🌐IB AA HL | Topic 5: límites rigurosos, derivada completa con reglas, implícita, derivadas de orden superior, MVT, análisis de funciones completo. | IB Diploma Mathematics: Analysis and Approaches HL ↗ |
| 🌐Cambridge A2 9709 P3 | Pure 3: derivadas paramétricas/implícitas, MVT, Newton-Raphson formal, aplicaciones a optimización. | Cambridge International A Level Mathematics 9709 (Pure 3) ↗ |
Rodybee skills at this grade
ε-δ definition of limit · Limit existence proof (ε-δ) · Proof of limit properties · Squeeze (sandwich) theorem · Advanced continuity theorems · Uniform continuity (intro) · Bolzano's theorem · IVT formal with proof · Extreme Value Theorem (Weierstrass) · MVT for continuous functions · Darboux's property · Inverse function continuity theorem · Derivative — formal definition (full) · Power rule (real n) · Sum/difference rule · Product rule · Quotient rule · Chain rule · Implicit differentiation · Logarithmic differentiation · Derivatives of all 6 trig functions · Derivatives of inverse trig · Derivative of e^x and a^x · Derivative of ln x and log_a x · Derivatives of sinh, cosh, tanh · Higher-order derivatives · Derivative of an inverse function · Monotonicity from f' · Local vs global extrema · First derivative test classification · Concavity from f'' · Inflection points classification · Second derivative test · Complete curve sketching · Mean Value Theorem (full) · Rolle's theorem · Constrained optimization · Related rates · Linear approximation · Newton-Raphson method · L'Hôpital's rule (formal) · Estimation with differentials