math-exercises 3.0.158 → 3.0.160

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

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

@@ -6,3 +6,5 @@ export * from "./extremumTypeFromAlgebricForm.js";
 export * from "./summitAbscissFromDevForm.js";
 export * from "./summitAbscissFromRoots.js";
 export * from "./summitReading.js";
+export * from "./summitAbscissFromSymetricPoints.js";
+export * from "./devFormFromSummitAndPoint.js";

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

@@ -11,7 +11,7 @@ const getInstruction = (identifiers) => {
     const { a, b, c } = identifiers;
     const trinom = new Trinom(a, b, c);
     const roots = trinom.getRoots();
-    return `Soit $f(x) = ax^2+bx+c$ une fonction polynôme du second degé, dont les racines sont $${roots[0]}$ et $${roots[1]}$. 
+    return `Soit $f(x) = ax^2+bx+c$ une fonction polynôme du second degré, dont les racines sont $${roots[0]}$ et $${roots[1]}$. 
   
 Quelle est l'abscisse du sommet de la parabole représentant $f$ ?`;
 };

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

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

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

@@ -0,0 +1 @@
+{"version":3,"file":"summitAbscissFromSymetricPoints.d.ts","sourceRoot":"","sources":["../../../../../../src/exercises/math/functions/trinoms/summitAndCanonical/summitAbscissFromSymetricPoints.ts"],"names":[],"mappings":"AAAA,OAAO,EACL,QAAQ,EAeT,MAAM,6BAA6B,CAAC;AAGrC,OAAO,EAGL,gBAAgB,EACjB,MAAM,8BAA8B,CAAC;AAMtC,KAAK,WAAW,GAAG;IACjB,SAAS,EAAE,gBAAgB,CAAC;IAC5B,SAAS,EAAE,gBAAgB,CAAC;CAC7B,CAAC;AAuFF,eAAO,MAAM,+BAA+B,EAAE,QAAQ,CAAC,WAAW,CAsBjE,CAAC"}

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

@@ -0,0 +1,97 @@
+import { addValidProp, shuffleProps, propWhile, tryToAddWrongProp, } from "../../../../../exercises/exercise.js";
+import { getDistinctQuestions } from "../../../../../exercises/utils/getDistinctQuestions.js";
+import { rationalVEA } from "../../../../../exercises/vea/rationalVEA.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 { handleVEAError } from "../../../../../utils/errors/handleVEAError.js";
+const getPropositions = (n, { answer }) => {
+    const propositions = [];
+    addValidProp(propositions, answer);
+    propWhile(propositions, n, () => {
+        tryToAddWrongProp(propositions, randint(-10, 10) + "");
+    });
+    return shuffleProps(propositions, n);
+};
+const getAnswer = (identifiers) => {
+    const { pointAIds, pointBIds } = identifiers;
+    const A = PointConstructor.fromIdentifiers(pointAIds);
+    const B = PointConstructor.fromIdentifiers(pointBIds);
+    return frac(add(A.x, B.x), 2).simplify().toTex();
+};
+const getInstruction = (identifiers) => {
+    const { pointAIds, pointBIds } = identifiers;
+    const A = PointConstructor.fromIdentifiers(pointAIds);
+    const B = PointConstructor.fromIdentifiers(pointBIds);
+    return `On considère une parabole passant par les points $${A.toTexWithCoords()}$ et $${B.toTexWithCoords()}$. 
+  
+Quelle est l'abscisse du sommet de cette parabole ?`;
+};
+const getHint = () => {
+    return `On sait que la parabole admet comme axe de symétrie la droite verticale passant par son sommet.`;
+};
+const getCorrection = (identifiers) => {
+    const { pointAIds, pointBIds } = identifiers;
+    const A = PointConstructor.fromIdentifiers(pointAIds);
+    const B = PointConstructor.fromIdentifiers(pointBIds);
+    return `$A$ et $B$ ont la même ordonnée, ils sont donc symétriques par rapport à l'axe de symétrie de la parabole. 
+  
+L'abscisse du sommet de la parabole est donc la moyenne des abscisses des deux points : 
+
+$$
+${frac(add(A.x, B.x), 2).toTex()} = ${frac(add(A.x, B.x).simplify(), 2).toSimplificationTex()}
+$$`;
+};
+const getKeys = () => {
+    return [];
+};
+const isAnswerValid = (ans, { answer }) => {
+    try {
+        return rationalVEA(ans, answer);
+    }
+    catch (err) {
+        return handleVEAError(err);
+    }
+};
+const getSummitAbscissFromSymetricPointsQuestion = () => {
+    const y = randint(-10, 10);
+    const x = randint(-10, 10);
+    const x2 = x + randint(2, 10);
+    const A = new Point("A", x, y);
+    const B = new Point("B", x2, y);
+    const identifiers = {
+        pointAIds: A.toIdentifiers(),
+        pointBIds: B.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 summitAbscissFromSymetricPoints = {
+    id: "summitAbscissFromSymetricPoints",
+    connector: "=",
+    label: "Déterminer l'abscisse du sommet d'une parabole en connaissant deux points symétriques",
+    isSingleStep: true,
+    generator: (nb, opts) => getDistinctQuestions(() => getSummitAbscissFromSymetricPointsQuestion(opts), nb),
+    qcmTimer: 60,
+    freeTimer: 60,
+    getPropositions,
+    isAnswerValid,
+    subject: "Mathématiques",
+    getInstruction,
+    getHint,
+    getCorrection,
+    getAnswer,
+    getQuestionFromIdentifiers,
+    hasHintAndCorrection: true,
+};

package/lib/exercises/math/functions/variations/exp/varOfAEXPlusB.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"varOfAEXPlusB.d.ts","sourceRoot":"","sources":["../../../../../../src/exercises/math/functions/variations/exp/varOfAEXPlusB.ts"],"names":[],"mappings":"AAAA,OAAO,EACL,QAAQ,EAYT,MAAM,6BAA6B,CAAC;AAkBrC,KAAK,WAAW,GAAG;IACjB,CAAC,EAAE,MAAM,CAAC;IACV,CAAC,EAAE,MAAM,CAAC;IACV,kBAAkB,EAAE,MAAM,CAAC;CAC5B,CAAC;AAwFF,eAAO,MAAM,aAAa,EAAE,QAAQ,CAAC,WAAW,CAiB/C,CAAC"}
+{"version":3,"file":"varOfAEXPlusB.d.ts","sourceRoot":"","sources":["../../../../../../src/exercises/math/functions/variations/exp/varOfAEXPlusB.ts"],"names":[],"mappings":"AAAA,OAAO,EACL,QAAQ,EAYT,MAAM,6BAA6B,CAAC;AAerC,KAAK,WAAW,GAAG;IACjB,CAAC,EAAE,MAAM,CAAC;IACV,CAAC,EAAE,MAAM,CAAC;IACV,kBAAkB,EAAE,MAAM,CAAC;CAC5B,CAAC;AAuFF,eAAO,MAAM,aAAa,EAAE,QAAQ,CAAC,WAAW,CAiB/C,CAAC"}

package/lib/exercises/math/functions/variations/exp/varOfAEXPlusB.js

@@ -1,13 +1,10 @@
 import { addValidProp, shuffleProps, tryToAddWrongProp, } from "../../../../../exercises/exercise.js";
 import { getDistinctQuestions } from "../../../../../exercises/utils/getDistinctQuestions.js";
-import { AffineConstructor } from "../../../../../math/polynomials/affine.js";
 import { randint } from "../../../../../math/utils/random/randint.js";
 import { exp } from "../../../../../tree/nodes/functions/expNode.js";
-import { MinusInfinityNode, PlusInfinityNode, } from "../../../../../tree/nodes/numbers/infiniteNode.js";
 import { add } from "../../../../../tree/nodes/operators/addNode.js";
 import { multiply } from "../../../../../tree/nodes/operators/multiplyNode.js";
-import { ClosureType } from "../../../../../tree/nodes/sets/closure.js";
-import { IntervalNode } from "../../../../../tree/nodes/sets/intervalNode.js";
+import { NamedIntervalIds, NamedIntervalNodeConstructor, } from "../../../../../tree/nodes/sets/namedIntervalNode.js";
 const createNodeAEXPlusB = (a, b) => {
     return add(multiply(a, exp("x".toTree())), b);
 };
@@ -23,21 +20,15 @@ const getAnswer = (identifiers) => {
     const { a } = identifiers;
     return a > 0 ? "$f$ est croissante" : "$f$ est décroissante";
 };
-const getInterval = (identifiers) => {
-    const { intervalAskedIndex, a, b } = identifiers;
-    const interval = intervalAskedIndex === 0
-        ? new IntervalNode(MinusInfinityNode, a.toTree(), ClosureType.OF)
-        : intervalAskedIndex === 1
-            ? new IntervalNode(a.toTree(), b.toTree(), ClosureType.FF)
-            : new IntervalNode(b.toTree(), PlusInfinityNode, ClosureType.FO);
-    return interval;
+const getInterval = () => {
+    return NamedIntervalNodeConstructor.fromName(NamedIntervalIds.R);
 };
 const getInstructionNode = (identifiers) => {
     const { a, b } = identifiers;
     return createNodeAEXPlusB(a, b);
 };
 const getInstruction = (identifiers) => {
-    const interval = getInterval(identifiers);
+    const interval = getInterval();
     const nodeInstruction = getInstructionNode(identifiers);
     return `Soit la fonction $f$ définie sur $\\mathbb{R}$ par :
 
@@ -47,19 +38,23 @@ $$
 
 Quel est le sens de variation de $f$ sur $${interval.toTex()}$ ?`;
 };
-const getHint = (identifiers) => {
-    const interval = getInterval(identifiers);
-    return `Observe comment varient les valeurs de $f(x)$ pour les valeurs de $x$ comprises dans l'intervalle $${interval.toTex()}$.`;
+const getHint = () => {
+    return `Dérive et étudie le signe.`;
 };
 const getCorrection = (identifiers) => {
-    const { a, b } = identifiers;
-    const interval = getInterval(identifiers);
-    const nodeAffine = AffineConstructor.fromCoeffs([b, a]).toTree();
-    return `On sait que :
-- $x \\mapsto e^x$ est strictement croissante sur $\\mathbb{R}$
-- $x \\mapsto ${nodeAffine.toTex()}$ est strictement ${a > 0 ? "croissante" : "décroissante"} sur $\\mathbb{R}$
+    const { a } = identifiers;
+    const interval = getInterval();
+    const nodeInstruction = getInstructionNode(identifiers);
+    const isDerivativePositive = a > 0;
+    return `On calcule la dérivée. Soit $x$ dans $${interval.toTex()}$.
+
+$$
+f'(x) = ${nodeInstruction.derivative().simplify().toTex()}
+$$
+
+$${a > 0 ? `${a.frenchify()} > 0` : `${a.frenchify()} < 0`}$ et $e^x >0$ donc $f'(x) ${isDerivativePositive ? ">" : "<"} 0$.
 
-Par composition, on en conclut que ${getAnswer(identifiers).toLocaleLowerCase()} sur $${interval.toTex()}$.`;
+Conclusion : ${getAnswer(identifiers).toLocaleLowerCase()} sur $${interval.toTex()}$.`;
 };
 const getVarOfAEXPlusBQuestion = () => {
     const a = randint(-10, 11, [0]);

package/lib/exercises/math/functions/variations/exp/varOfAEXPlusBOverCEXPlusD.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"varOfAEXPlusBOverCEXPlusD.d.ts","sourceRoot":"","sources":["../../../../../../src/exercises/math/functions/variations/exp/varOfAEXPlusBOverCEXPlusD.ts"],"names":[],"mappings":"AAAA,OAAO,EACL,QAAQ,EAYT,MAAM,6BAA6B,CAAC;AAyBrC,KAAK,WAAW,GAAG;IACjB,CAAC,EAAE,MAAM,CAAC;IACV,CAAC,EAAE,MAAM,CAAC;IACV,CAAC,EAAE,MAAM,CAAC;IACV,CAAC,EAAE,MAAM,CAAC;IACV,kBAAkB,EAAE,MAAM,CAAC;CAC5B,CAAC;AAsMF,eAAO,MAAM,yBAAyB,EAAE,QAAQ,CAAC,WAAW,CAiB3D,CAAC"}
+{"version":3,"file":"varOfAEXPlusBOverCEXPlusD.d.ts","sourceRoot":"","sources":["../../../../../../src/exercises/math/functions/variations/exp/varOfAEXPlusBOverCEXPlusD.ts"],"names":[],"mappings":"AAAA,OAAO,EACL,QAAQ,EAYT,MAAM,6BAA6B,CAAC;AAwBrC,KAAK,WAAW,GAAG;IACjB,CAAC,EAAE,MAAM,CAAC;IACV,CAAC,EAAE,MAAM,CAAC;IACV,CAAC,EAAE,MAAM,CAAC;IACV,CAAC,EAAE,MAAM,CAAC;IACV,kBAAkB,EAAE,MAAM,CAAC;CAC5B,CAAC;AAgMF,eAAO,MAAM,yBAAyB,EAAE,QAAQ,CAAC,WAAW,CAiB3D,CAAC"}

package/lib/exercises/math/functions/variations/exp/varOfAEXPlusBOverCEXPlusD.js

@@ -2,14 +2,13 @@ import { addValidProp, shuffleProps, tryToAddWrongProp, } from "../../../../../e
 import { getDistinctQuestions } from "../../../../../exercises/utils/getDistinctQuestions.js";
 import { randint } from "../../../../../math/utils/random/randint.js";
 import { exp } from "../../../../../tree/nodes/functions/expNode.js";
-import { MinusInfinityNode, PlusInfinityNode, } from "../../../../../tree/nodes/numbers/infiniteNode.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 } from "../../../../../tree/nodes/operators/powerNode.js";
 import { substract } from "../../../../../tree/nodes/operators/substractNode.js";
-import { ClosureType } from "../../../../../tree/nodes/sets/closure.js";
-import { IntervalNode } from "../../../../../tree/nodes/sets/intervalNode.js";
+import { NamedIntervalIds, NamedIntervalNodeConstructor, } from "../../../../../tree/nodes/sets/namedIntervalNode.js";
+import { alignTex } from "../../../../../utils/latex/alignTex.js";
 const createNodeAEXPlusB = (a, b) => {
     return add(multiply(a, exp("x".toTree())), b);
 };
@@ -36,14 +35,8 @@ const getAnswer = (identifiers) => {
     const discr = substract(multiply(a, d), multiply(c, b)).evaluate();
     return discr > 0 ? "$f$ est croissante" : "$f$ est décroissante";
 };
-const getInterval = (identifiers) => {
-    const { intervalAskedIndex, a, b } = identifiers;
-    const interval = intervalAskedIndex === 0
-        ? new IntervalNode(MinusInfinityNode, a.toTree(), ClosureType.OF)
-        : intervalAskedIndex === 1
-            ? new IntervalNode(a.toTree(), b.toTree(), ClosureType.FF)
-            : new IntervalNode(b.toTree(), PlusInfinityNode, ClosureType.FO);
-    return interval;
+const getInterval = () => {
+    return NamedIntervalNodeConstructor.fromName(NamedIntervalIds.R);
 };
 const getInstructionNode = (identifiers) => {
     const { a, b, c, d } = identifiers;
@@ -52,9 +45,9 @@ const getInstructionNode = (identifiers) => {
     return frac(nodeNum, nodeDen);
 };
 const getInstruction = (identifiers) => {
-    const interval = getInterval(identifiers);
+    const interval = getInterval();
     const nodeInstruction = getInstructionNode(identifiers);
-    return `Soit la fonction $f$ définie sur $\\mathbb{R}$ par :
+    return `Soit la fonction $f$ définie sur $${interval.toTex()}$ par :
 
 $$
 f(x) = ${nodeInstruction.toTex()}
@@ -62,8 +55,8 @@ $$
 
 Quel est le sens de variation de $f$ sur $${interval.toTex()}$ ?`;
 };
-const getHint = (identifiers) => {
-    const interval = getInterval(identifiers);
+const getHint = () => {
+    const interval = getInterval();
     return `Calcule la dérivée de $f$ pour en déduire les variations de $f$ sur $${interval.toTex()}$.`;
 };
 const getCorrection = (identifiers) => {
@@ -73,8 +66,10 @@ const getCorrection = (identifiers) => {
     const nodeUPrime = nodeU.derivative().simplify();
     const nodeVPrime = nodeV.derivative().simplify();
     const discr = substract(multiply(a, d), multiply(c, b)).evaluate();
-    const interval = getInterval(identifiers);
-    return `On va calculer la dérivée du quotient.
+    const interval = getInterval();
+    return `Soit $x$ dans $${interval.toTex()}$.
+  
+On va calculer la dérivée du quotient.
     
 Ici, on a : 
 
@@ -98,17 +93,20 @@ $$
 
 Donc :
 
-$$
-f'(x) = (\\frac{u}{v})'(x) = ${frac(substract(multiply(nodeUPrime, nodeV), multiply(nodeU, nodeVPrime)), power(nodeV, 2)).toTex()}
-$$
+${alignTex([
+        [`f'(x)`, "=", `(\\frac{u}{v})'(x)`],
+        [
+            `f'(x)`,
+            "=",
+            `${frac(substract(multiply(nodeUPrime, nodeV), multiply(nodeU, nodeVPrime)), power(nodeV, 2)).toTex()}`,
+        ],
+        [`f'(x)`, "=", `${getDerivativeNodeSimplified1(identifiers).toTex()}`],
+        [`f'(x)`, "=", `${getDerivativeNodeSimplified2(identifiers).toTex()}`],
+    ])}
 
-$$
-f'(x) = (\\frac{u}{v})'(x) = ${getDerivativeNodeSimplified1(identifiers).toTex()}
-$$
+Le dénominateur est positif car c'est un carré. 
 
-$$
-f'(x) = (\\frac{u}{v})'(x) = ${getDerivativeNodeSimplified2(identifiers).toTex()}
-$$
+Le numérateur est ${discr > 0 ? "positif" : "négatif"} car $e^x > 0$
 
 Conclusion : Pour tout $x$ réel :
 

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

@@ -6,4 +6,5 @@ export * from "./varTableFromSentences.js";
 export * from "./readVarOnGraph.js";
 export * from "./readVarOnGraph2.js";
 export * from "./readExtremaOnGraph.js";
+export * from "./exp/index.js";
 //# sourceMappingURL=index.d.ts.map

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

@@ -1 +1 @@
-{"version":3,"file":"index.d.ts","sourceRoot":"","sources":["../../../../../src/exercises/math/functions/variations/index.ts"],"names":[],"mappings":"AAAA,cAAc,6BAA6B,CAAC;AAC5C,cAAc,wBAAwB,CAAC;AACvC,cAAc,8BAA8B,CAAC;AAC7C,cAAc,+BAA+B,CAAC;AAC9C,cAAc,4BAA4B,CAAC;AAC3C,cAAc,qBAAqB,CAAC;AACpC,cAAc,sBAAsB,CAAC;AACrC,cAAc,yBAAyB,CAAC"}
+{"version":3,"file":"index.d.ts","sourceRoot":"","sources":["../../../../../src/exercises/math/functions/variations/index.ts"],"names":[],"mappings":"AAAA,cAAc,6BAA6B,CAAC;AAC5C,cAAc,wBAAwB,CAAC;AACvC,cAAc,8BAA8B,CAAC;AAC7C,cAAc,+BAA+B,CAAC;AAC9C,cAAc,4BAA4B,CAAC;AAC3C,cAAc,qBAAqB,CAAC;AACpC,cAAc,sBAAsB,CAAC;AACrC,cAAc,yBAAyB,CAAC;AACxC,cAAc,gBAAgB,CAAC"}