math-exercises 3.0.158 → 3.0.160

package/lib/exercises/math/functions/exponential/definition/isPlausibleExpFromGraph.js

@@ -39,11 +39,14 @@ const getAnswer = (identifiers) => {
     const isPlausible = rand < 2;
     return ["Oui", "Non"][isPlausible ? 0 : 1];
 };
-const getInstruction = () => {
+const getInstruction = (identifiers) => {
+    const { s } = identifiers;
     return `La figure ci-dessous montre une portion 
 de la courbe représentative d'une fonction $f$ (en rouge) 
 et une de ses tangentes (en bleu).
 
+La pente de la tangente vaut environ $${round(s, 2).frenchify()}$.
+
 En considérant ce qui est représenté de $f$, peut-il s'agir de la fonction exponentielle ?`;
 };
 const getHint = () => {
@@ -53,8 +56,6 @@ $$
 \\exp'(x)=\\exp(x) > 0
 $$
 
-Sa courbe représentative est toujours au-dessus de ses tangentes.
-
 `;
 };
 const getCorrection = (identifiers) => {
@@ -69,8 +70,6 @@ pour l'abscisse $x_{0}$ où est tracée la tangente :
 
 - $f'(x_{0})>0$
 
-- la tangente est en dessous de la courbe.
-
 Il peut donc s'agir de la fonction exponentielle.
 
 (Et en effet, ici, $f=\\exp$).
@@ -85,8 +84,6 @@ pour l'abscisse $x_{0}$ où est tracée la tangente :
 
 - $f'(x_{0})>0$
 
-- la tangente est en dessous de la courbe.
-
 Il peut donc s'agir de la fonction exponentielle.
 
 (En fait, ici, $f$ est une parabole).
@@ -159,27 +156,21 @@ const getCorrectionGGBOptions = (identifiers) => {
     });
 };
 const getGGBOptions = (identifiers) => {
-    const { nodeIdsF, nodeIdsT, coordsFrame, s } = identifiers;
+    const { nodeIdsF, nodeIdsT, coordsFrame } = identifiers;
     const nodeF = NodeConstructor.fromIdentifiers(nodeIdsF);
     const nodeT = NodeConstructor.fromIdentifiers(nodeIdsT);
     const [xMin, xMax, yMin, yMax] = coordsFrame;
-    const xCenter = (xMin + xMax) / 2.0;
-    const yCenter = (yMin + yMax) / 2.0;
     const commands = [
         `Cf = ${nodeF.toMathString()}`,
         `SetColor(Cf, "${red}")`,
         `Ct = ${nodeT.toMathString()}`,
         `SetColor(Ct, "${blueLight}")`,
-        //label with slope
-        `Lbl = Text("$\\large \\text{pente}\\approx${round(s, 2).frenchify()}$", (${xCenter},${yCenter}), false, true, 0, 0)`,
-        `SetFixed(Lbl, true, false)`,
     ];
     const ggb = new GeogebraConstructor({
         commands,
         xAxis: {
             hidden: true,
         },
-        hideGrid: true,
         lockedAxesRatio: (xMax - xMin) / (yMax - yMin),
         forbidShiftDragZoom: true,
     });
@@ -190,7 +181,7 @@ const getGGBOptions = (identifiers) => {
 const getIsPlausibleExpFromGraphQuestion = () => {
     let x;
     let nodeF;
-    const rand = random([random([0, 1]), random([2, 3, 4, 5, 6])]);
+    const rand = random([random([0, 1]), random([2, 3 /*4, 5, 6*/])]);
     switch (rand) {
         case 0:
             {

package/lib/exercises/math/functions/exponential/expFactorization.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"expFactorization.d.ts","sourceRoot":"","sources":["../../../../../src/exercises/math/functions/exponential/expFactorization.ts"],"names":[],"mappings":"AAAA,OAAO,EACL,QAAQ,EAcT,MAAM,6BAA6B,CAAC;AAgBrC,KAAK,WAAW,GAAG;IACjB,CAAC,EAAE,MAAM,CAAC;IACV,CAAC,EAAE,MAAM,CAAC;IACV,CAAC,EAAE,MAAM,CAAC;IACV,CAAC,EAAE,MAAM,CAAC;IACV,CAAC,EAAE,MAAM,CAAC;IACV,CAAC,EAAE,MAAM,CAAC;IAEV,EAAE,EAAE,MAAM,CAAC;CACZ,CAAC;AAkKF,eAAO,MAAM,gBAAgB,EAAE,QAAQ,CAAC,WAAW,CAkBlD,CAAC"}
+{"version":3,"file":"expFactorization.d.ts","sourceRoot":"","sources":["../../../../../src/exercises/math/functions/exponential/expFactorization.ts"],"names":[],"mappings":"AAAA,OAAO,EACL,QAAQ,EAgBT,MAAM,6BAA6B,CAAC;AAkBrC,KAAK,WAAW,GAAG;IACjB,CAAC,EAAE,MAAM,CAAC;IACV,CAAC,EAAE,MAAM,CAAC;IACV,CAAC,EAAE,MAAM,CAAC;IACV,CAAC,EAAE,MAAM,CAAC;IACV,CAAC,EAAE,MAAM,CAAC;IACV,CAAC,EAAE,MAAM,CAAC;IAEV,EAAE,EAAE,MAAM,CAAC;CACZ,CAAC;AA8KF,eAAO,MAAM,gBAAgB,EAAE,QAAQ,CAAC,WAAW,CAkBlD,CAAC"}

package/lib/exercises/math/functions/exponential/expFactorization.js

@@ -10,16 +10,23 @@ import { handleVEAError } from "../../../../utils/errors/handleVEAError.js";
 import { parseAlgebraic } from "../../../../tree/parsers/latexParser.js";
 import { AffineConstructor } from "../../../../math/polynomials/affine.js";
 import { isOppositeNode } from "../../../../tree/nodes/functions/oppositeNode.js";
-const getPropositions = (n, { answer, ...identifiers }) => {
-    const propositions = [];
-    const { uA } = identifiers;
-    addValidProp(propositions, answer);
+import { alignTex } from "../../../../utils/latex/alignTex.js";
+const getInstructionNode = (identifiers) => {
+    const { a, b, c, d, e, f, uA } = identifiers;
     const expNode = exp(multiply(uA, "x"));
-    propWhile(propositions, n, () => {
-        const affine = AffineConstructor.random();
-        tryToAddWrongProp(propositions, multiply(affine.toTree(), expNode).toTex());
-    });
-    return shuffleProps(propositions, n);
+    return add(multiply(a, multiply(add(multiply(b, "x"), c).simplify({
+        forbidFactorize: true,
+    }), expNode)), multiply(d, multiply(add(multiply(e, "x"), f).simplify({
+        forbidFactorize: true,
+    }), expNode)));
+};
+const getInstruction = (identifiers) => {
+    const node = getInstructionNode(identifiers);
+    return `Factoriser l'expression suivante :
+  
+$$
+${node.toTex()}
+$$`;
 };
 const getAnswerNode = (identifiers) => {
     const { a, b, c, d, e, f, uA } = identifiers;
@@ -41,40 +48,45 @@ const getAnswerNode = (identifiers) => {
 const getAnswer = (identifiers) => {
     return getAnswerNode(identifiers).toTex();
 };
-const getInstruction = (identifiers) => {
+const getHint = () => {
+    return `Y a-t-il un facteur commun entre les deux termes ?`;
+};
+const getCorrection = (identifiers) => {
     const { a, b, c, d, e, f, uA } = identifiers;
     const expNode = exp(multiply(uA, "x"));
-    const node = add(multiply(a, multiply(add(multiply(b, "x"), c).simplify({
+    const firstTerm = multiply(a, add(multiply(b, "x"), c)).simplify({
+        towardsDistribute: true,
         forbidFactorize: true,
-    }), expNode)), multiply(d, multiply(add(multiply(e, "x"), f).simplify({
+    });
+    const secondTerm = multiply(d, add(multiply(e, "x"), f)).simplify({
+        towardsDistribute: true,
         forbidFactorize: true,
-    }), expNode)));
-    return `Factoriser l'expression suivante :
+    });
+    return `On peut choisir $${expNode.toTex()}$ comme facteur commun.
+
+${alignTex([
+        ["", "", `${getInstructionNode(identifiers).toTex()}`],
+        [
+            "",
+            "=",
+            `${expNode.toTex()}((${firstTerm.toTex()}) + (${secondTerm.toTex()}))`,
+        ],
+        ["", "=", `${getAnswer(identifiers)}`],
+    ])}
   
-$$
-${node.toTex()}
-$$`;
+`;
+};
+const getPropositions = (n, { answer, ...identifiers }) => {
+    const propositions = [];
+    const { uA } = identifiers;
+    addValidProp(propositions, answer);
+    const expNode = exp(multiply(uA, "x"));
+    propWhile(propositions, n, () => {
+        const affine = AffineConstructor.random();
+        tryToAddWrongProp(propositions, multiply(affine.toTree(), expNode).toTex());
+    });
+    return shuffleProps(propositions, n);
 };
-// const getHint: GetHint<Identifiers> = () => {
-//   return `Pour factoriser une expression avec des exponentielles :
-//   1) Repérer le facteur exponentiel commun
-//   2) Mettre en facteur $e^{u(x)}$
-//   3) Factoriser l'expression entre parenthèses`;
-// };
-// const getCorrection: GetCorrection<Identifiers> = (identifiers) => {
-//   const operator = isAdd ? "+" : "-";
-//   const step1 = `(${a}x${b >= 0 ? "+" : ""}${b})e^{${u}} ${operator} (${c}x${
-//     d >= 0 ? "+" : ""
-//   }${d})e^{${u}}`;
-//   const step2 = `e^{${u}}((${a}x${b >= 0 ? "+" : ""}${b}) ${operator} (${c}x${
-//     d >= 0 ? "+" : ""
-//   }${d}))`;
-//   return `${alignTex([
-//     ["", step1],
-//     ["=", step2],
-//   ])}
-// On a mis en facteur $e^{${u}}$ qui est le terme exponentiel commun.`;
-// };
 const getKeys = () => {
     return ["epower", "x"];
 };
@@ -129,8 +141,8 @@ const getQuestionFromIdentifiers = (identifiers) => {
         keys: getKeys(identifiers),
         answerFormat: "tex",
         identifiers,
-        // hint: getHint(identifiers),
-        // correction: getCorrection(identifiers),
+        hint: getHint(identifiers),
+        correction: getCorrection(identifiers),
     };
     return question;
 };
@@ -146,9 +158,9 @@ export const expFactorization = {
     isAnswerValid,
     subject: "Mathématiques",
     getInstruction,
-    // getHint,
-    // getCorrection,
+    getHint,
+    getCorrection,
     getAnswer,
-    // hasHintAndCorrection: true,
+    hasHintAndCorrection: true,
     getQuestionFromIdentifiers,
 };

package/lib/exercises/math/functions/exponential/index.d.ts

@@ -1,4 +1,6 @@
 export * from "./expEquation.js";
 export * from "./expSimplifiying.js";
 export * from "./expFactorization.js";
+export * from "./algebraic/index.js";
+export * from "./definition/index.js";
 //# sourceMappingURL=index.d.ts.map

package/lib/exercises/math/functions/exponential/index.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"index.d.ts","sourceRoot":"","sources":["../../../../../src/exercises/math/functions/exponential/index.ts"],"names":[],"mappings":"AAAA,cAAc,kBAAkB,CAAC;AACjC,cAAc,sBAAsB,CAAC;AACrC,cAAc,uBAAuB,CAAC"}
+{"version":3,"file":"index.d.ts","sourceRoot":"","sources":["../../../../../src/exercises/math/functions/exponential/index.ts"],"names":[],"mappings":"AAAA,cAAc,kBAAkB,CAAC;AACjC,cAAc,sBAAsB,CAAC;AACrC,cAAc,uBAAuB,CAAC;AACtC,cAAc,sBAAsB,CAAC;AACrC,cAAc,uBAAuB,CAAC"}

package/lib/exercises/math/functions/exponential/index.js

@@ -1,3 +1,5 @@
 export * from "./expEquation.js";
 export * from "./expSimplifiying.js";
 export * from "./expFactorization.js";
+export * from "./algebraic/index.js";
+export * from "./definition/index.js";

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

@@ -132,3 +132,6 @@ export const secondDegreeInequation = {
     pdfOptions: { shouldSpreadPropositions: true },
     getQuestionFromIdentifiers,
 };
+// export const reuseSecondDegreeInequation = {
+//   getAnswerNode,
+// };

package/lib/exercises/math/functions/trinoms/factoForm/index.d.ts

@@ -1,2 +1,3 @@
 export * from "./factorizedFormFromRoots.js";
+export * from "./trinomDevelopFactorizedForm.js";
 //# sourceMappingURL=index.d.ts.map

package/lib/exercises/math/functions/trinoms/factoForm/index.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"index.d.ts","sourceRoot":"","sources":["../../../../../../src/exercises/math/functions/trinoms/factoForm/index.ts"],"names":[],"mappings":"AAAA,cAAc,8BAA8B,CAAC"}
+{"version":3,"file":"index.d.ts","sourceRoot":"","sources":["../../../../../../src/exercises/math/functions/trinoms/factoForm/index.ts"],"names":[],"mappings":"AAAA,cAAc,8BAA8B,CAAC;AAC7C,cAAc,kCAAkC,CAAC"}

package/lib/exercises/math/functions/trinoms/factoForm/index.js

@@ -1 +1,2 @@
 export * from "./factorizedFormFromRoots.js";
+export * from "./trinomDevelopFactorizedForm.js";

package/lib/exercises/math/functions/trinoms/factoForm/trinomDevelopFactorizedForm.d.ts

@@ -0,0 +1,13 @@
+import { Exercise } from "../../../../../exercises/exercise.js";
+import { NodeIdentifiers } from "../../../../../tree/nodes/nodeConstructor.js";
+type Identifiers = {
+    aIds: NodeIdentifiers;
+    x1Ids: NodeIdentifiers;
+    x2Ids: NodeIdentifiers;
+};
+type Options = {
+    rootsNb: string;
+};
+export declare const trinomDevelopFactorizedForm: Exercise<Identifiers, Options>;
+export {};
+//# sourceMappingURL=trinomDevelopFactorizedForm.d.ts.map

package/lib/exercises/math/functions/trinoms/factoForm/trinomDevelopFactorizedForm.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"trinomDevelopFactorizedForm.d.ts","sourceRoot":"","sources":["../../../../../../src/exercises/math/functions/trinoms/factoForm/trinomDevelopFactorizedForm.ts"],"names":[],"mappings":"AAAA,OAAO,EACL,QAAQ,EAkBT,MAAM,6BAA6B,CAAC;AAGrC,OAAO,EACL,eAAe,EAEhB,MAAM,qCAAqC,CAAC;AAS7C,KAAK,WAAW,GAAG;IACjB,IAAI,EAAE,eAAe,CAAC;IACtB,KAAK,EAAE,eAAe,CAAC;IACvB,KAAK,EAAE,eAAe,CAAC;CACxB,CAAC;AAsIF,KAAK,OAAO,GAAG;IACb,OAAO,EAAE,MAAM,CAAC;CACjB,CAAC;AAYF,eAAO,MAAM,2BAA2B,EAAE,QAAQ,CAAC,WAAW,EAAE,OAAO,CAsBtE,CAAC"}

package/lib/exercises/math/functions/trinoms/factoForm/trinomDevelopFactorizedForm.js

@@ -0,0 +1,147 @@
+import { addValidProp, shuffleProps, GeneratorOptionTarget, GeneratorOptionType, propWhile, tryToAddWrongProp, } from "../../../../../exercises/exercise.js";
+import { getDistinctQuestions } from "../../../../../exercises/utils/getDistinctQuestions.js";
+import { randint } from "../../../../../math/utils/random/randint.js";
+import { reifyAlgebraic, } from "../../../../../tree/nodes/nodeConstructor.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 { polynomialParser } from "../../../../../tree/parsers/polynomialParser.js";
+import { probaFlip } from "../../../../../utils/alea/probaFlip.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 aIds = randint(-9, 10, [0]).toTree().toIdentifiers();
+        const x1Ids = randint(-9, 10, [0]).toTree().toIdentifiers();
+        const x2Ids = randint(-9, 10, [0]).toTree().toIdentifiers();
+        tryToAddWrongProp(propositions, getAnswer({
+            aIds,
+            x1Ids,
+            x2Ids,
+        }));
+    });
+    return shuffleProps(propositions, n);
+};
+const getAnswer = (identifiers) => {
+    return getFacto(identifiers)
+        .simplify({ towardsDistribute: true, forbidFactorize: true })
+        .toTex();
+};
+const getFacto = (identifiers) => {
+    const { aIds, x1Ids, x2Ids } = identifiers;
+    const a = reifyAlgebraic(aIds);
+    const x1 = reifyAlgebraic(x1Ids);
+    const x2 = reifyAlgebraic(x2Ids);
+    if (x1.evaluate() === x2.evaluate()) {
+        return multiply(a, square(substract("x", x1).simplify()));
+    }
+    return multiply(a, multiply(substract("x", x1).simplify(), substract("x", x2).simplify()));
+};
+const getInstruction = (identifiers) => {
+    return `Soit $f$ la fonction polynôme du second degré dont la forme factorisée est : 
+  
+$$
+f(x) = ${getFacto(identifiers).toTex()}
+$$
+
+Donner la forme dévelopée de $f$.`;
+};
+const getHint = () => {
+    return `Il suffit de développer puis de réduire la forme factorisée de $f$.`;
+};
+const getCorrection = (identifiers) => {
+    const { aIds, x1Ids, x2Ids } = identifiers;
+    const a = reifyAlgebraic(aIds);
+    const x1 = reifyAlgebraic(x1Ids);
+    const x2 = reifyAlgebraic(x2Ids);
+    return `On développe la forme factorisée de $f$ : 
+  
+${alignTex([
+        ["f(x)", "=", getFacto(identifiers).toTex()],
+        [
+            "",
+            "=",
+            multiply(a, multiply(substract("x", x1), substract("x", x2)).simplify({
+                towardsDistribute: true,
+                forbidFactorize: true,
+            })).toTex(),
+        ],
+        ["", "=", getAnswer(identifiers)],
+    ])}
+
+`;
+};
+const getKeys = () => {
+    return ["x"];
+};
+const isAnswerValid = (ans, { answer }) => {
+    try {
+        const parsed = polynomialParser(ans);
+        if (!parsed)
+            return false;
+        return (parsed
+            .simplify({ towardsDistribute: true, forbidFactorize: true })
+            .toTex() === answer);
+    }
+    catch (err) {
+        return handleVEAError(err);
+    }
+};
+const getTrinomDevelopFactorizedFormQuestion = (opts) => {
+    const a = randint(-9, 10, [0, 1]).toTree();
+    const isSameRoot = opts?.rootsNb === "Une"
+        ? true
+        : opts?.rootsNb === "Deux"
+            ? false
+            : probaFlip(0.3);
+    const x1 = randint(-10, 10, [0]);
+    const x2 = isSameRoot ? x1 : randint(-10, 10, [0, x1]);
+    const identifiers = {
+        aIds: a.toIdentifiers(),
+        x1Ids: x1.toTree().toIdentifiers(),
+        x2Ids: x2.toTree().toIdentifiers(),
+    };
+    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),
+    };
+};
+const options = [
+    {
+        id: "rootsNb",
+        label: "Nombre de racines",
+        target: GeneratorOptionTarget.generation,
+        type: GeneratorOptionType.select,
+        values: ["Une", "Deux", "Une ou deux aléatoirement"],
+        defaultValue: "Une ou deux aléatoirement",
+    },
+];
+export const trinomDevelopFactorizedForm = {
+    id: "trinomDevelopFactorizedForm",
+    connector: "=",
+    label: "Développer une forme factorisée du type $a(x-x_1)(x-x_2)$",
+    isSingleStep: true,
+    generator: (nb, opts) => getDistinctQuestions(() => getTrinomDevelopFactorizedFormQuestion(opts), nb),
+    qcmTimer: 60,
+    freeTimer: 60,
+    getPropositions,
+    isAnswerValid,
+    subject: "Mathématiques",
+    getInstruction,
+    getHint,
+    getCorrection,
+    getAnswer,
+    getQuestionFromIdentifiers,
+    hasHintAndCorrection: true,
+    options,
+};

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,EAYT,MAAM,6BAA6B,CAAC;AASrC,KAAK,WAAW,GAAG;IACjB,CAAC,EAAE,MAAM,CAAC;IACV,CAAC,EAAE,MAAM,CAAC;IACV,CAAC,EAAE,MAAM,CAAC;CACX,CAAC;AAkEF,eAAO,MAAM,oBAAoB,EAAE,QAAQ,CAAC,WAAW,CAYtD,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;AA0JF,eAAO,MAAM,oBAAoB,EAAE,QAAQ,CAAC,WAAW,CAatD,CAAC"}

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

@@ -2,9 +2,17 @@ import { addValidProp, propWhile, tryToAddWrongProp, } from "../../../../../exer
 import { getDistinctQuestions } from "../../../../../exercises/utils/getDistinctQuestions.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 { 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 { square } from "../../../../../tree/nodes/operators/powerNode.js";
+import { substract } from "../../../../../tree/nodes/operators/substractNode.js";
 import { discreteSetParser } from "../../../../../tree/parsers/discreteSetParser.js";
 import { shuffle } from "../../../../../utils/alea/shuffle.js";
 import { handleVEAError } from "../../../../../utils/errors/handleVEAError.js";
+import { alignTex } from "../../../../../utils/latex/alignTex.js";
 const getInstruction = (identifiers) => {
     const { a, b, c } = identifiers;
     const trinom = new Trinom(a, b, c);
@@ -27,6 +35,91 @@ const getRootsFromDevFormQuestion = () => {
     const identifiers = { a: trinom.a, b: trinom.b, c: trinom.c };
     return getQuestionFromIdentifiers(identifiers);
 };
+const getHint = () => {
+    return `Calcule le déterminant $\\Delta$ de $f$ : 
+  
+$$
+\\Delta = b^2 -4ac
+$$
+
+Alors, l'équation $f(x) = 0$ : 
+- n'admet pas de solution réelle si $\\Delta<0$;
+- admet une solution $x_0 = \\frac{-b}{2a}$ si $\\Delta=0$;
+- admet deux solutions $x_1 = \\frac{-b-\\sqrt{\\Delta}}{2a}$ et $x_2 = \\frac{-b+\\sqrt{\\Delta}}{2a}$ si $\\Delta>0$.
+`;
+};
+const getCorrection = (identifiers) => {
+    const { a, b, c } = identifiers;
+    const delta = substract(square(b), multiply(4, multiply(a, c))).simplify();
+    const deltaEv = delta.evaluate();
+    const hasNoSol = deltaEv < 0;
+    const hasOneSol = deltaEv === 0;
+    let corr = `On calcule le discriminant : 
+  
+${alignTex([
+        ["\\Delta", "=", "b^2 - 4ac"],
+        ["", "=", substract(square(b), multiply(4, multiply(a, c))).toTex()],
+        ["", "=", delta.toTex()],
+    ])}`;
+    if (hasNoSol) {
+        corr += `
+  
+Puisque $\\Delta<0$, l'équation $f(x) = 0$ n'admet donc pas de solution réelle.`;
+    }
+    else if (hasOneSol) {
+        corr += `
+  
+Puisque $\\Delta = 0$, l'équation $f(x)=0$ 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()],
+        ])}
+
+L'ensemble des solutions est donc : 
+
+$$
+${getAnswer(identifiers)}
+$$`;
+    }
+    else {
+        corr += `
+  
+Puisque $\\Delta > 0$, l'équation $f(x)=0$ 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(),
+            ],
+        ])}
+L'ensemble des solutions est donc : 
+
+$$
+${getAnswer(identifiers)}
+$$
+`;
+    }
+    return corr;
+};
 const getQuestionFromIdentifiers = (identifiers) => {
     const question = {
         answer: getAnswer(identifiers),
@@ -34,6 +127,8 @@ const getQuestionFromIdentifiers = (identifiers) => {
         keys: ["S", "equal", "lbrace", "semicolon", "rbrace", "varnothing"],
         identifiers,
         answerFormat: "tex",
+        hint: getHint(identifiers),
+        correction: getCorrection(identifiers),
     };
     return question;
 };
@@ -72,4 +167,5 @@ export const niceRootsFromDevForm = {
     freeTimer: 60,
     subject: "Mathématiques",
     getQuestionFromIdentifiers,
+    hasHintAndCorrection: true,
 };

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

@@ -1 +1 @@
-{"version":3,"file":"rootsFromDevForm.d.ts","sourceRoot":"","sources":["../../../../../../src/exercises/math/functions/trinoms/roots/rootsFromDevForm.ts"],"names":[],"mappings":"AAAA,OAAO,EACL,QAAQ,EAYT,MAAM,6BAA6B,CAAC;AAYrC,KAAK,WAAW,GAAG;IACjB,CAAC,EAAE,MAAM,CAAC;IACV,CAAC,EAAE,MAAM,CAAC;IACV,CAAC,EAAE,MAAM,CAAC;CACX,CAAC;AA4GF,eAAO,MAAM,gBAAgB,EAAE,QAAQ,CAAC,WAAW,CAalD,CAAC"}
+{"version":3,"file":"rootsFromDevForm.d.ts","sourceRoot":"","sources":["../../../../../../src/exercises/math/functions/trinoms/roots/rootsFromDevForm.ts"],"names":[],"mappings":"AAAA,OAAO,EACL,QAAQ,EAcT,MAAM,6BAA6B,CAAC;AAkBrC,KAAK,WAAW,GAAG;IACjB,CAAC,EAAE,MAAM,CAAC;IACV,CAAC,EAAE,MAAM,CAAC;IACV,CAAC,EAAE,MAAM,CAAC;CACX,CAAC;AAqMF,eAAO,MAAM,gBAAgB,EAAE,QAAQ,CAAC,WAAW,CAclD,CAAC"}