math-exercises 3.0.159 → 3.0.160

package/lib/exercises/math/calculLitteral/equation/solveByFactorizingWithIdRmq3.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"solveByFactorizingWithIdRmq3.d.ts","sourceRoot":"","sources":["../../../../../src/exercises/math/calculLitteral/equation/solveByFactorizingWithIdRmq3.ts"],"names":[],"mappings":"AAAA,OAAO,EACL,QAAQ,EAeT,MAAM,6BAA6B,CAAC;AAMrC,OAAO,EACL,eAAe,EAEhB,MAAM,qCAAqC,CAAC;AAW7C,KAAK,WAAW,GAAG;IACjB,IAAI,EAAE,eAAe,CAAC;IACtB,IAAI,EAAE,eAAe,CAAC;CACvB,CAAC;AA0LF,KAAK,OAAO,GAAG;IACb,cAAc,EAAE,OAAO,CAAC;CACzB,CAAC;AAUF,eAAO,MAAM,4BAA4B,EAAE,QAAQ,CAAC,WAAW,EAAE,OAAO,CAsBvE,CAAC"}
+{"version":3,"file":"solveByFactorizingWithIdRmq3.d.ts","sourceRoot":"","sources":["../../../../../src/exercises/math/calculLitteral/equation/solveByFactorizingWithIdRmq3.ts"],"names":[],"mappings":"AAAA,OAAO,EACL,QAAQ,EAeT,MAAM,6BAA6B,CAAC;AAMrC,OAAO,EACL,eAAe,EAEhB,MAAM,qCAAqC,CAAC;AAU7C,KAAK,WAAW,GAAG;IACjB,IAAI,EAAE,eAAe,CAAC;IACtB,IAAI,EAAE,eAAe,CAAC;CACvB,CAAC;AA0LF,KAAK,OAAO,GAAG;IACb,cAAc,EAAE,OAAO,CAAC;CACzB,CAAC;AAUF,eAAO,MAAM,4BAA4B,EAAE,QAAQ,CAAC,WAAW,EAAE,OAAO,CAsBvE,CAAC"}

package/lib/exercises/math/calculLitteral/equation/solveByFactorizingWithIdRmq3.js

@@ -10,7 +10,6 @@ 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 { 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 }) => {
@@ -123,7 +122,7 @@ const getKeys = (_identifiers, options) => {
 const isAnswerValid = (ans, { answer, ...identifiers }, opts) => {
     try {
         if (opts?.useSetAsAnswer) {
-            const setParsed = discreteSetParser(ans);
+            // const setParsed = discreteSetParser(ans);
             //!!!TODO
             return false;
         }

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"}

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

@@ -2,15 +2,21 @@ 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);
-    return `Soit $f$ la fonction définie par : 
+    return `Soit $f$ la fonction polynôme du second degré définie par : 
   
 $$
 f(x) = ${trinom.toTree().toTex()}
@@ -18,6 +24,91 @@ $$
 
 Résoudre l'équation $f(x) = 0$.`;
 };
+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 getAnswer = (identifiers) => {
     const { a, b, c } = identifiers;
     const trinom = new Trinom(a, b, c);
@@ -35,6 +126,8 @@ const getQuestionFromIdentifiers = (identifiers) => {
         keys: ["S", "equal", "lbrace", "semicolon", "rbrace", "varnothing"],
         answerFormat: "tex",
         identifiers,
+        hint: getHint(identifiers),
+        correction: getCorrection(identifiers),
     };
     return question;
 };
@@ -102,4 +195,5 @@ export const rootsFromDevForm = {
     subject: "Mathématiques",
     pdfOptions: { shouldSpreadPropositions: true },
     getQuestionFromIdentifiers,
+    hasHintAndCorrection: true,
 };

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

@@ -0,0 +1,9 @@
+import { Exercise } from "../../../../../exercises/exercise.js";
+import { PointIdentifiers } from "../../../../../math/geometry/point.js";
+type Identifiers = {
+    summitIds: PointIdentifiers;
+    pointIds: PointIdentifiers;
+};
+export declare const devFormFromSummitAndPoint: Exercise<Identifiers>;
+export {};
+//# sourceMappingURL=devFormFromSummitAndPoint.d.ts.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"devFormFromSummitAndPoint.d.ts","sourceRoot":"","sources":["../../../../../../src/exercises/math/functions/trinoms/summitAndCanonical/devFormFromSummitAndPoint.ts"],"names":[],"mappings":"AAAA,OAAO,EACL,QAAQ,EAeT,MAAM,6BAA6B,CAAC;AAErC,OAAO,EAGL,gBAAgB,EACjB,MAAM,8BAA8B,CAAC;AAWtC,KAAK,WAAW,GAAG;IACjB,SAAS,EAAE,gBAAgB,CAAC;IAC5B,QAAQ,EAAE,gBAAgB,CAAC;CAC5B,CAAC;AAyLF,eAAO,MAAM,yBAAyB,EAAE,QAAQ,CAAC,WAAW,CAmB3D,CAAC"}

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

@@ -0,0 +1,173 @@
+import { addValidProp, shuffleProps, propWhile, tryToAddWrongProp, } from "../../../../../exercises/exercise.js";
+import { getDistinctQuestions } from "../../../../../exercises/utils/getDistinctQuestions.js";
+import { Point, PointConstructor, } from "../../../../../math/geometry/point.js";
+import { randint } from "../../../../../math/utils/random/randint.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 { parseAlgebraic } from "../../../../../tree/parsers/latexParser.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 summit = PointConstructor.random("S");
+        const a = randint(-10, 10, [0]);
+        const pointX = randint(-10, 10, [summit.x.evaluate()]);
+        const pointY = add(multiply(a, square(substract(pointX, summit.x))), summit.y).simplify();
+        const point = new Point("A", pointX, pointY);
+        const fakeIds = {
+            pointIds: point.toIdentifiers(),
+            summitIds: summit.toIdentifiers(),
+        };
+        tryToAddWrongProp(propositions, getAnswer(fakeIds));
+    });
+    return shuffleProps(propositions, n);
+};
+const getAnswer = (identifiers) => {
+    const { pointIds, summitIds } = identifiers;
+    const point = PointConstructor.fromIdentifiers(pointIds);
+    const summit = PointConstructor.fromIdentifiers(summitIds);
+    const a = frac(substract(point.y, summit.y), square(substract(point.x, summit.x))).simplify();
+    const cano = add(multiply(a, square(substract("x", summit.x))), summit.y);
+    return cano
+        .simplify({ towardsDistribute: true, forbidFactorize: true })
+        .toTex();
+};
+const getInstruction = (identifiers) => {
+    const { pointIds, summitIds } = identifiers;
+    const point = PointConstructor.fromIdentifiers(pointIds);
+    const summit = PointConstructor.fromIdentifiers(summitIds);
+    return `On considère une fonction polynôme du second degré $f$. Sa parabole passe par le point $${point.toTexWithCoords()}$, et son sommet est $${summit.toTexWithCoords()}$. 
+  
+Déterminer la forme développée de $f$.`;
+};
+const getHint = (identifiers) => {
+    return `La forme canonique d'une fonction polynôme du second degré $f$ est : 
+  
+$$
+f(x) = a(x-\\alpha)^2 + \\beta
+$$
+
+où $\\alpha$ est l'abscisse du sommet de la parabole, et $\\beta$ son ordonnée.
+
+Utilise cette formule ici, puis le fait que le point $${PointConstructor.fromIdentifiers(identifiers.pointIds).toTexWithCoords()}$ est un point de la parabole pour déterminer $a$.`;
+};
+const getCorrection = (identifiers) => {
+    const { pointIds, summitIds } = identifiers;
+    const point = PointConstructor.fromIdentifiers(pointIds);
+    const summit = PointConstructor.fromIdentifiers(summitIds);
+    const beta = summit.y;
+    const alpha = summit.x;
+    const a = frac(substract(point.y, summit.y), square(substract(point.x, summit.x))).simplify();
+    return `Puisque le sommet de la parabole est $${summit.toTexWithCoords()}$, la forme canonique de $f$ est : 
+  
+$$
+f(x) = ${add(multiply("a", square(substract("x", alpha).simplify())), beta).toTex()}
+$$
+
+Puisque $${point.toTexWithCoords()}$ est un point de la parabole, on a : 
+
+${alignTex([
+        [`f(${point.x.toTex()})`, "=", `${point.y.toTex()}`],
+        [
+            add(multiply("a", square(substract(point.x, alpha).simplify())), beta).toTex(),
+            "=",
+            `${point.y.toTex()}`,
+        ],
+        [
+            add(multiply("a", square(substract(point.x, alpha))), beta)
+                .simplify()
+                .toTex(),
+            "=",
+            `${point.y.toTex()}`,
+        ],
+        ["a", "=", a.simplify().toTex()],
+    ])}
+
+Il ne reste plus qu'à développer la forme canonique de $f$ :
+
+${alignTex([
+        [
+            "f(x)",
+            "=",
+            add(multiply(a, square(substract("x", alpha))), beta)
+                .simplify()
+                .toTex(),
+        ],
+        [
+            "",
+            "=",
+            add(multiply(a, square(substract("x", alpha)).simplify({
+                towardsDistribute: true,
+                forbidFactorize: true,
+            })), beta).toTex(),
+        ],
+        [
+            "",
+            "=",
+            add(multiply(a, square(substract("x", alpha))), beta)
+                .simplify({ towardsDistribute: true, forbidFactorize: true })
+                .toTex(),
+        ],
+    ])}
+`;
+};
+const getKeys = () => {
+    return ["xsquare", "x"];
+};
+const isAnswerValid = (ans, { answer }) => {
+    try {
+        const parsed = parseAlgebraic(ans);
+        return (parsed
+            .simplify({ towardsDistribute: true, forbidFactorize: true })
+            .toTex() === answer);
+    }
+    catch (err) {
+        return handleVEAError(err);
+    }
+};
+const getDevFormFromSummitAndPointQuestion = () => {
+    const summit = PointConstructor.random("S");
+    const a = randint(-10, 10, [0]);
+    const pointX = randint(-10, 10, [summit.x.evaluate()]);
+    const pointY = add(multiply(a, square(substract(pointX, summit.x))), summit.y).simplify();
+    const point = new Point("A", pointX, pointY);
+    const identifiers = {
+        pointIds: point.toIdentifiers(),
+        summitIds: summit.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),
+    };
+};
+export const devFormFromSummitAndPoint = {
+    id: "devFormFromSummitAndPoint",
+    connector: "=",
+    label: "Déterminer la forme développée d'un trinôme en connaissant un point et le sommet de la parabole",
+    isSingleStep: true,
+    generator: (nb, opts) => getDistinctQuestions(() => getDevFormFromSummitAndPointQuestion(opts), nb),
+    qcmTimer: 60,
+    freeTimer: 60,
+    getPropositions,
+    isAnswerValid,
+    subject: "Mathématiques",
+    getInstruction,
+    getHint,
+    getCorrection,
+    getAnswer,
+    getQuestionFromIdentifiers,
+    hasHintAndCorrection: true,
+};

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

@@ -6,4 +6,6 @@ export * from "./extremumTypeFromAlgebricForm.js";
 export * from "./summitAbscissFromDevForm.js";
 export * from "./summitAbscissFromRoots.js";
 export * from "./summitReading.js";
+export * from "./summitAbscissFromSymetricPoints.js";
+export * from "./devFormFromSummitAndPoint.js";
 //# sourceMappingURL=index.d.ts.map

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

@@ -1 +1 @@
-{"version":3,"file":"index.d.ts","sourceRoot":"","sources":["../../../../../../src/exercises/math/functions/trinoms/summitAndCanonical/index.ts"],"names":[],"mappings":"AAAA,cAAc,2BAA2B,CAAC;AAC1C,cAAc,+BAA+B,CAAC;AAC9C,cAAc,2BAA2B,CAAC;AAC1C,cAAc,gCAAgC,CAAC;AAC/C,cAAc,mCAAmC,CAAC;AAClD,cAAc,+BAA+B,CAAC;AAC9C,cAAc,6BAA6B,CAAC;AAC5C,cAAc,oBAAoB,CAAC"}
+{"version":3,"file":"index.d.ts","sourceRoot":"","sources":["../../../../../../src/exercises/math/functions/trinoms/summitAndCanonical/index.ts"],"names":[],"mappings":"AAAA,cAAc,2BAA2B,CAAC;AAC1C,cAAc,+BAA+B,CAAC;AAC9C,cAAc,2BAA2B,CAAC;AAC1C,cAAc,gCAAgC,CAAC;AAC/C,cAAc,mCAAmC,CAAC;AAClD,cAAc,+BAA+B,CAAC;AAC9C,cAAc,6BAA6B,CAAC;AAC5C,cAAc,oBAAoB,CAAC;AACnC,cAAc,sCAAsC,CAAC;AACrD,cAAc,gCAAgC,CAAC"}