math-exercises 3.0.166 → 3.0.168

package/lib/exercises/math/functions/trinoms/equation/solveBisquaredEquation.js

@@ -0,0 +1,223 @@
+import { addValidProp, shuffleProps, propWhile, tryToAddWrongProp, } from "../../../../../exercises/exercise.js";
+import { getDistinctQuestions } from "../../../../../exercises/utils/getDistinctQuestions.js";
+import { Trinom, TrinomConstructor } from "../../../../../math/polynomials/trinom.js";
+import { randint } from "../../../../../math/utils/random/randint.js";
+import { round } from "../../../../../math/utils/round.js";
+import { EquationSolutionNode } from "../../../../../tree/nodes/equations/equationSolutionNode.js";
+import { opposite } from "../../../../../tree/nodes/functions/oppositeNode.js";
+import { sqrt } from "../../../../../tree/nodes/functions/sqrtNode.js";
+import { add } from "../../../../../tree/nodes/operators/addNode.js";
+import { frac } from "../../../../../tree/nodes/operators/fractionNode.js";
+import { multiply } from "../../../../../tree/nodes/operators/multiplyNode.js";
+import { power, square } from "../../../../../tree/nodes/operators/powerNode.js";
+import { substract } from "../../../../../tree/nodes/operators/substractNode.js";
+import { DiscreteSetNode } from "../../../../../tree/nodes/sets/discreteSetNode.js";
+import { discreteSetParser } from "../../../../../tree/parsers/discreteSetParser.js";
+import { handleVEAError } from "../../../../../utils/errors/handleVEAError.js";
+import { alignTex } from "../../../../../utils/latex/alignTex.js";
+const getPropositions = (n, { answer }) => {
+    const propositions = [];
+    addValidProp(propositions, answer);
+    propWhile(propositions, n, () => {
+        const trinom = TrinomConstructor.randomNiceRoots(randint(1, 3));
+        tryToAddWrongProp(propositions, getAnswer({ a: trinom.a, b: trinom.b, c: trinom.c }));
+    });
+    return shuffleProps(propositions, n);
+};
+const getAnswer = (identifiers) => {
+    const { a, b, c } = identifiers;
+    const trinom = new Trinom(a, b, c);
+    const roots = trinom.getRootsNode();
+    const pos = roots.filter((r) => r.evaluate() >= 0);
+    const sqrtRoots = pos
+        .map((root) => root.evaluate() === 0
+        ? [(0).toTree()]
+        : [opposite(sqrt(root)).simplify(), sqrt(root).simplify()])
+        .flat();
+    if (!sqrtRoots.length)
+        return "S=\\varnothing";
+    return new EquationSolutionNode(new DiscreteSetNode(sqrtRoots))
+        .simplify()
+        .toTex();
+};
+const getEquation = (identifiers, withX = false) => {
+    const { a, b, c } = identifiers;
+    if (withX) {
+        return add(add(multiply(a, square("X")), multiply(b, "X")), c);
+    }
+    return add(add(multiply(a, power("x", 4)), multiply(b, square("x"))), c);
+};
+const getInstruction = (identifiers) => {
+    return `En posant $X = x^2$, résoudre : 
+  
+$$
+${getEquation(identifiers).toTex()}=0
+$$`;
+};
+const getHint = () => {
+    return `Réécris l'équation en posant $X = x^2$.
+  
+Cela te donnera une équation du second degré d'inconnue $X$.
+
+Résous cette nouvelle équation, puis retrouve $x$ en résolvant l'équation $x^2 = X$.`;
+};
+const getCorrection = (identifiers) => {
+    const { a, b, c } = identifiers;
+    const delta = round(b ** 2 - 4 * a * c, 5);
+    const roots = new Trinom(a, b, c).getRootsNode();
+    const XOrdered = a < 0 ? [roots[1], roots[0]] : roots;
+    return `On réécris l'équation en posant $X = x^2$ : 
+  
+${alignTex([
+        ["", getEquation(identifiers).toTex() + "=0"],
+        ["\\iff", getEquation(identifiers, true).toTex() + "=0"],
+    ])}
+
+On obtient alors une équation du second degré, qu'on résout avec le discriminant : 
+
+$$
+\\Delta = b^2-4ac = ${delta.frenchify()}
+$$
+
+${delta === 0
+        ? `Puisque $\\Delta = 0$, cette équation admet une solution $X_0$ : 
+
+${alignTex([
+            ["X_0", "=", "\\frac{-b}{2a}"],
+            ["", "=", frac(opposite(b), multiply(2, a)).toTex()],
+            ["", "=", frac(opposite(b), multiply(2, a)).simplify().toTex()],
+        ])}`
+        : `Puisque $\\Delta > 0$, cette équation admet deux solutions : 
+
+${alignTex([
+            ["X_1", "=", "\\frac{-b-\\sqrt{\\Delta}}{2a}"],
+            ["", "=", frac(substract(opposite(b), sqrt(delta)), multiply(2, a)).toTex()],
+            [
+                "",
+                "=",
+                frac(substract(opposite(b), sqrt(delta)), multiply(2, a))
+                    .simplify()
+                    .toTex(),
+            ],
+        ])}
+
+${alignTex([
+            ["X_2", "=", "\\frac{-b+\\sqrt{\\Delta}}{2a}"],
+            ["", "=", frac(add(opposite(b), sqrt(delta)), multiply(2, a)).toTex()],
+            [
+                "",
+                "=",
+                frac(add(opposite(b), sqrt(delta)), multiply(2, a))
+                    .simplify()
+                    .toTex(),
+            ],
+        ])}`}
+
+Pour retrouver les solutions de l'équation initiale, on utilise le fait que $X = x^2$, donc $x = \\sqrt{X}$ ou $x = -\\sqrt{X}$ si $X$ est positif, et il n'y a pas de solution si $X$ est négatif.
+
+${delta === 0
+        ? roots[0].evaluate() < 0
+            ? `Or, puisque $X_0<0$, il n'y a pas de solution.`
+            : roots[0].evaluate() === 0
+                ? `Ici, puisque $X_0=0$, il n'y a qu'une solution : $x = 0$.`
+                : `Cela donne donc deux solutions : 
+  
+$$
+x_0 = \\sqrt{X_0} = ${sqrt(roots[0]).simplify().toTex()}
+$$
+
+$$
+x_1 = -\\sqrt{X_0} = ${opposite(sqrt(roots[0])).simplify().toTex()}
+$$`
+        : ""}
+
+${delta > 0
+        ? XOrdered[0].evaluate() < 0
+            ? `Puisque $X_1<0$, l'équation $x^2 = X_1$ n'a pas de solution.`
+            : XOrdered[0].evaluate() === 0
+                ? `Puisque $X_1 = 0$, l'équation $x^2 = X_1$ admet une solution : $x_1 = 0$.`
+                : `Puisque $X_1>0$, cela donne deux solutions : 
+  
+$$
+x_1 = \\sqrt{X_1} = ${sqrt(XOrdered[0]).simplify().toTex()}
+$$
+
+$$
+x_1' = -\\sqrt{X_1} = ${opposite(sqrt(XOrdered[0])).simplify().toTex()}
+$$
+`
+        : ""}
+
+
+${delta > 0
+        ? XOrdered[1].evaluate() < 0
+            ? `Puisque $X_2<0$, l'équation $x^2 = X_2$ n'a pas de solution.`
+            : XOrdered[1].evaluate() === 0
+                ? `Puisque $X_2 = 0$, l'équation $x^2 = X_2$ admet une solution : $x_2 = 0$.`
+                : `Puisque $X_2>0$, cela donne deux solutions : 
+  
+$$
+x_2 = \\sqrt{X_2} = ${sqrt(XOrdered[1]).simplify().toTex()}
+$$
+
+$$
+x_2' = -\\sqrt{X_2} = ${opposite(sqrt(XOrdered[1])).simplify().toTex()}
+$$
+`
+        : ""}
+
+L'ensemble des solutions est donc : 
+
+$$
+${getAnswer(identifiers)}
+$$
+`;
+};
+const getKeys = () => {
+    return ["S", "equal", "lbrace", "semicolon", "rbrace", "varnothing"];
+};
+const isAnswerValid = (ans, { answer }) => {
+    try {
+        const parsed = discreteSetParser(ans);
+        if (!parsed)
+            return false;
+        return ("S=" + parsed.simplify({ decimalToFractions: true }).toTex() === answer);
+    }
+    catch (err) {
+        return handleVEAError(err);
+    }
+};
+const getSolveBisquaredEquationQuestion = () => {
+    const trinom = TrinomConstructor.randomNiceRoots(randint(1, 3));
+    const identifiers = { a: trinom.a, b: trinom.b, c: trinom.c };
+    return getQuestionFromIdentifiers(identifiers);
+};
+const getQuestionFromIdentifiers = (identifiers) => {
+    return {
+        answer: getAnswer(identifiers),
+        instruction: getInstruction(identifiers),
+        keys: getKeys(identifiers),
+        answerFormat: "tex",
+        identifiers,
+        hint: getHint(identifiers),
+        correction: getCorrection(identifiers),
+    };
+};
+export const solveBisquaredEquation = {
+    id: "solveBisquaredEquation",
+    connector: "\\iff",
+    label: "Résoudre une équation bicarrée du type $ax^4+bx^2+c = 0$",
+    isSingleStep: true,
+    generator: (nb, opts) => getDistinctQuestions(() => getSolveBisquaredEquationQuestion(opts), nb),
+    qcmTimer: 60,
+    freeTimer: 60,
+    getPropositions,
+    isAnswerValid,
+    subject: "Mathématiques",
+    getInstruction,
+    getHint,
+    getCorrection,
+    getAnswer,
+    getQuestionFromIdentifiers,
+    hasHintAndCorrection: true,
+};

package/lib/exercises/math/functions/trinoms/equation/trinomSelectEquationWithoutDeltaNeeded.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"trinomSelectEquationWithoutDeltaNeeded.d.ts","sourceRoot":"","sources":["../../../../../../src/exercises/math/functions/trinoms/equation/trinomSelectEquationWithoutDeltaNeeded.ts"],"names":[],"mappings":"AAAA,OAAO,EACL,QAAQ,EAWT,MAAM,6BAA6B,CAAC;AAcrC,KAAK,WAAW,GAAG;IACjB,CAAC,EAAE,MAAM,CAAC;IACV,CAAC,EAAE,MAAM,CAAC;IACV,CAAC,EAAE,MAAM,CAAC;IACV,IAAI,EAAE,KAAK,GAAG,MAAM,GAAG,OAAO,CAAC;CAChC,CAAC;AACF,KAAK,WAAW,GAAG;IACjB,SAAS,EAAE,WAAW,EAAE,CAAC;CAC1B,CAAC;AA6MF,eAAO,MAAM,sCAAsC,EAAE,QAAQ,CAAC,WAAW,CAqBxE,CAAC"}
+{"version":3,"file":"trinomSelectEquationWithoutDeltaNeeded.d.ts","sourceRoot":"","sources":["../../../../../../src/exercises/math/functions/trinoms/equation/trinomSelectEquationWithoutDeltaNeeded.ts"],"names":[],"mappings":"AAAA,OAAO,EACL,QAAQ,EAWT,MAAM,6BAA6B,CAAC;AAcrC,KAAK,WAAW,GAAG;IACjB,CAAC,EAAE,MAAM,CAAC;IACV,CAAC,EAAE,MAAM,CAAC;IACV,CAAC,EAAE,MAAM,CAAC;IACV,IAAI,EAAE,KAAK,GAAG,MAAM,GAAG,OAAO,CAAC;CAChC,CAAC;AACF,KAAK,WAAW,GAAG;IACjB,SAAS,EAAE,WAAW,EAAE,CAAC;CAC1B,CAAC;AA+MF,eAAO,MAAM,sCAAsC,EAAE,QAAQ,CAAC,WAAW,CAqBxE,CAAC"}

package/lib/exercises/math/functions/trinoms/equation/trinomSelectEquationWithoutDeltaNeeded.js

@@ -139,7 +139,9 @@ const getTrinomSelectEquationWithoutDeltaNeededQuestion = () => {
             };
         }
         else {
-            const trinom = TrinomConstructor.randomCanonical();
+            const trinom = TrinomConstructor.randomCanonical(undefined, {
+                excludes: [0],
+            });
             return {
                 a: trinom.a,
                 b: trinom.b,

package/lib/exercises/math/functions/trinoms/roots/niceRootsFromDevForm.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"niceRootsFromDevForm.d.ts","sourceRoot":"","sources":["../../../../../../src/exercises/math/functions/trinoms/roots/niceRootsFromDevForm.ts"],"names":[],"mappings":"AAAA,OAAO,EACL,QAAQ,EAcT,MAAM,6BAA6B,CAAC;AAiBrC,KAAK,WAAW,GAAG;IACjB,CAAC,EAAE,MAAM,CAAC;IACV,CAAC,EAAE,MAAM,CAAC;IACV,CAAC,EAAE,MAAM,CAAC;CACX,CAAC;AA0JF,eAAO,MAAM,oBAAoB,EAAE,QAAQ,CAAC,WAAW,CAatD,CAAC"}
+{"version":3,"file":"niceRootsFromDevForm.d.ts","sourceRoot":"","sources":["../../../../../../src/exercises/math/functions/trinoms/roots/niceRootsFromDevForm.ts"],"names":[],"mappings":"AAAA,OAAO,EACL,QAAQ,EAcT,MAAM,6BAA6B,CAAC;AAiBrC,KAAK,WAAW,GAAG;IACjB,CAAC,EAAE,MAAM,CAAC;IACV,CAAC,EAAE,MAAM,CAAC;IACV,CAAC,EAAE,MAAM,CAAC;CACX,CAAC;AA2JF,eAAO,MAAM,oBAAoB,EAAE,QAAQ,CAAC,WAAW,CAatD,CAAC"}

package/lib/exercises/math/functions/trinoms/roots/niceRootsFromDevForm.js

@@ -111,6 +111,7 @@ ${alignTex([
                     .toTex(),
             ],
         ])}
+
 L'ensemble des solutions est donc : 
 
 $$

package/lib/exercises/math/functions/trinoms/roots/rootsReading.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"rootsReading.d.ts","sourceRoot":"","sources":["../../../../../../src/exercises/math/functions/trinoms/roots/rootsReading.ts"],"names":[],"mappings":"AAAA,OAAO,EACL,QAAQ,EAiBT,MAAM,6BAA6B,CAAC;AAWrC,KAAK,WAAW,GAAG;IACjB,CAAC,EAAE,MAAM,CAAC;IACV,CAAC,EAAE,MAAM,CAAC;IACV,CAAC,EAAE,MAAM,CAAC;CACX,CAAC;AAgHF,KAAK,OAAO,GAAG;IACb,YAAY,EAAE,OAAO,CAAC;CACvB,CAAC;AAUF,eAAO,MAAM,YAAY,EAAE,QAAQ,CAAC,WAAW,EAAE,OAAO,CAcvD,CAAC"}
+{"version":3,"file":"rootsReading.d.ts","sourceRoot":"","sources":["../../../../../../src/exercises/math/functions/trinoms/roots/rootsReading.ts"],"names":[],"mappings":"AAAA,OAAO,EACL,QAAQ,EAmBT,MAAM,6BAA6B,CAAC;AAWrC,KAAK,WAAW,GAAG;IACjB,CAAC,EAAE,MAAM,CAAC;IACV,CAAC,EAAE,MAAM,CAAC;IACV,CAAC,EAAE,MAAM,CAAC;CACX,CAAC;AAkJF,KAAK,OAAO,GAAG;IACb,YAAY,EAAE,OAAO,CAAC;CACvB,CAAC;AAUF,eAAO,MAAM,YAAY,EAAE,QAAQ,CAAC,WAAW,EAAE,OAAO,CAevD,CAAC"}

package/lib/exercises/math/functions/trinoms/roots/rootsReading.js

@@ -9,7 +9,7 @@ import { divide } from "../../../../../tree/nodes/operators/divideNode.js";
 import { multiply } from "../../../../../tree/nodes/operators/multiplyNode.js";
 import { probaLawFlip } from "../../../../../utils/alea/probaLawFlip.js";
 const getInstruction = () => {
-    return `Déterminer graphiquement le ou les racine(s) du polynôme du second degré représenté ci-dessous.
+    return `Déterminer graphiquement la ou les racine(s) du polynôme du second degré représenté ci-dessous.
   
 S'il n'y en a pas, on écrira "Aucun".`;
 };
@@ -59,6 +59,29 @@ const getRootsReadingQuestion = (opts) => {
     const identifiers = { a: trinom.a, b: trinom.b, c: trinom.c };
     return getQuestionFromIdentifiers(identifiers);
 };
+const getHint = () => {
+    return `Les racines d'un polynôme du second degré $f$ sont les valeurs de $x$ telles que $f(x) = 0$. 
+  
+Graphiquement, ce sont donc les abscisse à l'intersection de la parabole et de l'axe des abscisses.`;
+};
+const getCorrection = (identifiers) => {
+    const answer = getAnswer(identifiers);
+    const nbRoots = answer === "\\text{Aucun}" ? 0 : answer.includes("et") ? 2 : 1;
+    const roots = getAnswer(identifiers).split("\\text{ et }");
+    return `Les racines d'un polynôme du second degré $f$ sont les valeurs de $x$ telles que $f(x) = 0$. 
+  
+Graphiquement, ce sont donc les abscisse à l'intersection de la parabole et de l'axe des abscisses.
+
+${nbRoots === 0
+        ? `Ici, la parabole ne coupe pas l'axe des abscisses. Ce polynôme n'a donc pas de racine.`
+        : ""}
+${answer.includes("et")
+        ? `Ici, la parabole coupe l'axe des abscisses deux fois : aux abscisses $${roots[0]}$ et $${roots[1]}$. Ce sont donc les deux racines du polynôme.`
+        : ""}
+${nbRoots === 1
+        ? `Ici, la parabole coupe l'axe des abscisses une seule fois, en son sommet : c'est à l'abscisse $${getAnswer(identifiers)}$. C'est donc la seule racine du polynôme.`
+        : ""}`;
+};
 const getQuestionFromIdentifiers = (identifiers) => {
     const question = {
         answer: getAnswer(identifiers),
@@ -67,6 +90,8 @@ const getQuestionFromIdentifiers = (identifiers) => {
         answerFormat: "tex",
         ggbOptions: getGGBOptions(identifiers),
         identifiers,
+        hint: getHint(identifiers),
+        correction: getCorrection(identifiers),
     };
     return question;
 };
@@ -121,4 +146,5 @@ export const rootsReading = {
     subject: "Mathématiques",
     getQuestionFromIdentifiers,
     options,
+    hasHintAndCorrection: true,
 };

package/lib/exercises/math/functions/trinoms/summitAndCanonical/alphaBetaFromDevForm.d.ts

@@ -3,6 +3,9 @@ type Identifiers = {
     param: string;
     coeffs: number[];
 };
-export declare const alphaBetaFromDevForm: Exercise<Identifiers>;
+type Options = {
+    correctionType: "Mise sous forme canonique" | "Formule $\\alpha=\\frac{-b}{2a}$";
+};
+export declare const alphaBetaFromDevForm: Exercise<Identifiers, Options>;
 export {};
 //# sourceMappingURL=alphaBetaFromDevForm.d.ts.map

package/lib/exercises/math/functions/trinoms/summitAndCanonical/alphaBetaFromDevForm.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"alphaBetaFromDevForm.d.ts","sourceRoot":"","sources":["../../../../../../src/exercises/math/functions/trinoms/summitAndCanonical/alphaBetaFromDevForm.ts"],"names":[],"mappings":"AAAA,OAAO,EACL,QAAQ,EAaT,MAAM,6BAA6B,CAAC;AAOrC,KAAK,WAAW,GAAG;IACjB,KAAK,EAAE,MAAM,CAAC;IACd,MAAM,EAAE,MAAM,EAAE,CAAC;CAClB,CAAC;AA8DF,eAAO,MAAM,oBAAoB,EAAE,QAAQ,CAAC,WAAW,CAatD,CAAC"}
+{"version":3,"file":"alphaBetaFromDevForm.d.ts","sourceRoot":"","sources":["../../../../../../src/exercises/math/functions/trinoms/summitAndCanonical/alphaBetaFromDevForm.ts"],"names":[],"mappings":"AAAA,OAAO,EACL,QAAQ,EAiBT,MAAM,6BAA6B,CAAC;AAcrC,KAAK,WAAW,GAAG;IACjB,KAAK,EAAE,MAAM,CAAC;IACd,MAAM,EAAE,MAAM,EAAE,CAAC;CAClB,CAAC;AAuNF,KAAK,OAAO,GAAG;IACb,cAAc,EACV,2BAA2B,GAC3B,kCAAkC,CAAC;CACxC,CAAC;AAYF,eAAO,MAAM,oBAAoB,EAAE,QAAQ,CAAC,WAAW,EAAE,OAAO,CAgB/D,CAAC"}

package/lib/exercises/math/functions/trinoms/summitAndCanonical/alphaBetaFromDevForm.js

@@ -1,13 +1,20 @@
-import { addValidProp, propWhile, tryToAddWrongProp, } from "../../../../../exercises/exercise.js";
+import { GeneratorOptionTarget, GeneratorOptionType, addValidProp, propWhile, tryToAddWrongProp, } from "../../../../../exercises/exercise.js";
 import { getDistinctQuestions } from "../../../../../exercises/utils/getDistinctQuestions.js";
-import { TrinomConstructor } from "../../../../../math/polynomials/trinom.js";
+import { Trinom, TrinomConstructor } from "../../../../../math/polynomials/trinom.js";
 import { randint } from "../../../../../math/utils/random/randint.js";
+import { opposite } from "../../../../../tree/nodes/functions/oppositeNode.js";
+import { add } from "../../../../../tree/nodes/operators/addNode.js";
+import { frac } from "../../../../../tree/nodes/operators/fractionNode.js";
+import { multiply } from "../../../../../tree/nodes/operators/multiplyNode.js";
+import { square } from "../../../../../tree/nodes/operators/powerNode.js";
+import { substract } from "../../../../../tree/nodes/operators/substractNode.js";
 import { coinFlip } from "../../../../../utils/alea/coinFlip.js";
 import { shuffle } from "../../../../../utils/alea/shuffle.js";
+import { alignTex } from "../../../../../utils/latex/alignTex.js";
 const getInstruction = (identifiers) => {
     const { param, coeffs } = identifiers;
     const trinom = TrinomConstructor.fromCoeffs(coeffs);
-    return `Soit $f$ la fonction polynôme du second degré définie par 
+    return `Soit $f$ la fonction polynôme du second degré définie par :
   
 $$
 f(x) = ${trinom.toTree().toTex()}
@@ -27,22 +34,125 @@ const getStartStatement = (identifiers) => {
     const { param } = identifiers;
     return param;
 };
-const getQuestionFromIdentifiers = (identifiers) => {
-    const question = {
+const getHint = (identifiers, opts) => {
+    const { coeffs, param } = identifiers;
+    const [c, b, a] = coeffs;
+    const trinom = new Trinom(a, b, c);
+    let hint = `La forme canonique d'un polynôme du second degré $f$ est la forme : 
+  
+$$
+f(x) = a(x-\\alpha)^2 + \\beta
+$$
+
+où $\\alpha$ est l'abscisse du sommet de la parabole, et $\\beta$ son ordonnée.
+
+`;
+    if (opts?.correctionType === "Mise sous forme canonique") {
+        hint += `Pour obtenir cette forme afin de déterminer $${param}$, il faut compléter l'égalité suivante : 
+    
+$$
+${trinom.toTree().toTex()} = ${add(multiply(a, square(substract("x", "\\ldots"))), "\\ldots").toTex()}
+$$`;
+    }
+    else {
+        hint += `On sait d'après le cours que $\\alpha$ se calcule par la formule : 
+    
+$$
+\\alpha = \\frac{-b}{2a}
+$$
+
+On peut ensuite calculer $\\beta = f(\\alpha)$.`;
+    }
+    return hint;
+};
+const getCorrection = (identifiers, opts) => {
+    const { coeffs, param } = identifiers;
+    const [c, b, a] = coeffs;
+    const trinom = new Trinom(a, b, c);
+    const alpha = trinom.getAlphaNode();
+    const beta = trinom.getBetaNode();
+    let corr = `La forme canonique d'un polynôme du second degré $f$ est la forme : 
+  
+$$
+f(x) = a(x-\\alpha)^2 + \\beta
+$$
+
+où $\\alpha$ est l'abscisse du sommet de la parabole, et $\\beta$ son ordonnée.
+
+`;
+    if (opts?.correctionType === "Mise sous forme canonique") {
+        const isAdd = frac(b, a).evaluate() > 0;
+        corr += `Pour l'obtenir, on fait apparaître une identité remarquable : 
+    
+${alignTex([
+            ["", trinom.toTree().toTex()],
+            // a(x^2 + b/ax)+c
+            [
+                "=",
+                add(multiply(a, add(square("x"), multiply(frac(b, a).simplify(), "x"))), c).toTex(),
+            ],
+            // a(x^2 + 2*b/2a*x)+c
+            [
+                "=",
+                add(multiply(a, (isAdd ? add : substract)(square("x"), multiply(multiply(2, frac(b, multiply(isAdd ? 2 : -2, a)).simplify()), "x"))), c).toTex(),
+            ],
+            // a(x^2 + 2*b/2a*x + (b/2a)^2)+c - a*(b/2a)^2
+            [
+                "=",
+                add(multiply(a, add((isAdd ? add : substract)(square("x"), multiply(multiply(2, frac(b, multiply(isAdd ? 2 : -2, a)).simplify()), "x")), square(frac(b, multiply(isAdd ? 2 : -2, a)).simplify()))), substract(c, multiply(a, square(frac(b, multiply(isAdd ? 2 : -2, a)).simplify())))).toTex(),
+            ],
+            // a(x-(b/2a))^2 + c - a*(b/2a)^2
+            [
+                "=",
+                add(multiply(a, square(add("x", frac(b, multiply(2, a))).simplify())), substract(c, multiply(a, square(frac(b, multiply(2, a))))).simplify()).toTex(),
+            ],
+        ])}
+
+On a donc $${param}=${getAnswer(identifiers)}$.`;
+    }
+    else {
+        corr += `On sait que : 
+    
+$$
+\\alpha = \\frac{-b}{2a}
+$$
+
+donc 
+
+$$
+\\alpha = ${frac(opposite(b), multiply(2, a)).toSimplificationTex()}
+$$
+
+${param === "\\beta"
+            ? `
+On retrouve alors $\\beta = f(\\alpha)$ : 
+
+${alignTex([
+                ["\\beta", "=", `f(${alpha.toTex()})`],
+                ["", "=", trinom.toTree().toDetailedEvaluation({ x: alpha }).toTex()],
+                ["", "=", beta.toTex()],
+            ])}`
+            : ""}`;
+    }
+    return corr;
+};
+const getQuestionFromIdentifiers = (identifiers, opts) => {
+    return {
         answer: getAnswer(identifiers),
-        keys: ["x", "alpha", "beta"],
+        keys: [],
         instruction: getInstruction(identifiers),
         answerFormat: "tex",
         startStatement: getStartStatement(identifiers),
         identifiers,
+        hint: getHint(identifiers, opts),
+        correction: getCorrection(identifiers, opts),
     };
-    return question;
 };
-const getAlphaBetaFromDevFormQuestion = () => {
+const getAlphaBetaFromDevFormQuestion = (opts) => {
     const trinom = TrinomConstructor.randomCanonical();
     const param = coinFlip() ? "\\alpha" : "\\beta";
     const identifiers = { coeffs: trinom.coefficients, param };
-    return getQuestionFromIdentifiers(identifiers);
+    return getQuestionFromIdentifiers(identifiers, opts);
 };
 const getPropositions = (n, { answer }) => {
     const propositions = [];
@@ -55,16 +165,28 @@ const getPropositions = (n, { answer }) => {
 const isAnswerValid = (ans, { answer }) => {
     return ans === answer;
 };
+const options = [
+    {
+        id: "correctionType",
+        label: "Méthode pour la correction",
+        target: GeneratorOptionTarget.correction,
+        type: GeneratorOptionType.select,
+        values: ["Mise sous forme canonique", "Formule $\\alpha=\\frac{-b}{2a}$"],
+        defaultValue: "Formule $\\alpha=\\frac{-b}{2a}$",
+    },
+];
 export const alphaBetaFromDevForm = {
     id: "alphaBetaFromDevForm",
     connector: "=",
-    label: "Déterminer $\\alpha$ ou $\\beta$ à partir de la forme développée",
+    label: "Déterminer $\\alpha$ ou $\\beta$ à partir de la forme développée d'un polynôme du second degré",
     isSingleStep: false,
-    generator: (nb) => getDistinctQuestions(getAlphaBetaFromDevFormQuestion, nb),
+    generator: (nb, opts) => getDistinctQuestions(() => getAlphaBetaFromDevFormQuestion(opts), nb),
     qcmTimer: 60,
     freeTimer: 60,
     getPropositions,
     isAnswerValid,
     subject: "Mathématiques",
     getQuestionFromIdentifiers,
+    hasHintAndCorrection: true,
+    options,
 };

package/lib/exercises/math/functions/trinoms/summitAndCanonical/canonicalFromDevForm.d.ts

@@ -4,6 +4,9 @@ type Identifiers = {
     b: number;
     c: number;
 };
-export declare const canonicalFromDevForm: Exercise<Identifiers>;
+type Options = {
+    correctionType: "Mise sous forme canonique" | "Formule $\\alpha=\\frac{-b}{2a}$";
+};
+export declare const canonicalFromDevForm: Exercise<Identifiers, Options>;
 export {};
 //# sourceMappingURL=canonicalFromDevForm.d.ts.map

package/lib/exercises/math/functions/trinoms/summitAndCanonical/canonicalFromDevForm.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"canonicalFromDevForm.d.ts","sourceRoot":"","sources":["../../../../../../src/exercises/math/functions/trinoms/summitAndCanonical/canonicalFromDevForm.ts"],"names":[],"mappings":"AAAA,OAAO,EACL,QAAQ,EAYT,MAAM,6BAA6B,CAAC;AAKrC,KAAK,WAAW,GAAG;IACjB,CAAC,EAAE,MAAM,CAAC;IACV,CAAC,EAAE,MAAM,CAAC;IACV,CAAC,EAAE,MAAM,CAAC;CACX,CAAC;AA8DF,eAAO,MAAM,oBAAoB,EAAE,QAAQ,CAAC,WAAW,CAatD,CAAC"}
+{"version":3,"file":"canonicalFromDevForm.d.ts","sourceRoot":"","sources":["../../../../../../src/exercises/math/functions/trinoms/summitAndCanonical/canonicalFromDevForm.ts"],"names":[],"mappings":"AAAA,OAAO,EACL,QAAQ,EAgBT,MAAM,6BAA6B,CAAC;AAYrC,KAAK,WAAW,GAAG;IACjB,CAAC,EAAE,MAAM,CAAC;IACV,CAAC,EAAE,MAAM,CAAC;IACV,CAAC,EAAE,MAAM,CAAC;CACX,CAAC;AAqNF,KAAK,OAAO,GAAG;IACb,cAAc,EACV,2BAA2B,GAC3B,kCAAkC,CAAC;CACxC,CAAC;AAWF,eAAO,MAAM,oBAAoB,EAAE,QAAQ,CAAC,WAAW,EAAE,OAAO,CAgB/D,CAAC"}