math-exercises 3.0.177 → 3.0.179

package/lib/exercises/math/derivation/variations/signVarTableProductFExp.js

@@ -0,0 +1,451 @@
+import { GeneratorOptionType, GeneratorOptionTarget, } from "../../../../exercises/exercise.js";
+import { getDistinctQuestions } from "../../../../exercises/utils/getDistinctQuestions.js";
+import { varSignTableVEA } from "../../../../exercises/vea/varSignTableVEA.js";
+import { InequationSymbol, } from "../../../../math/inequations/inequation.js";
+import { AffineConstructor } from "../../../../math/polynomials/affine.js";
+import { Trinom, TrinomConstructor } from "../../../../math/polynomials/trinom.js";
+import { randint } from "../../../../math/utils/random/randint.js";
+import { exp } from "../../../../tree/nodes/functions/expNode.js";
+import { opposite } from "../../../../tree/nodes/functions/oppositeNode.js";
+import { InequationSolutionNode } from "../../../../tree/nodes/inequations/inequationSolutionNode.js";
+import { MinusInfinityNode, PlusInfinityNode, } from "../../../../tree/nodes/numbers/infiniteNode.js";
+import { frac } from "../../../../tree/nodes/operators/fractionNode.js";
+import { isMultiplyNode, multiply, } from "../../../../tree/nodes/operators/multiplyNode.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 { isUnionIntervalNode, UnionIntervalNode, } from "../../../../tree/nodes/sets/unionIntervalNode.js";
+import { zip } from "../../../../utils/arrays/arrayZip.js";
+import { handleVEAError } from "../../../../utils/errors/handleVEAError.js";
+import { alignTex } from "../../../../utils/latex/alignTex.js";
+const _simplifyMore = (node) => {
+    if (isMultiplyNode(node)) {
+        const nodeLeft = node.leftChild;
+        const nodeRight = node.rightChild;
+        try {
+            return multiply(nodeLeft.simplify({ forbidFactorize: true, towardsDistribute: true }), nodeRight.simplify({ forbidFactorize: true, towardsDistribute: true }));
+        }
+        catch (_) {
+            return node;
+        }
+    }
+    else {
+        return node;
+    }
+};
+const getInstructionNode = (a, b, c) => {
+    const nodeF = getNodeF(a, b, c);
+    const nodeG = "x".toTree();
+    const nodeExpG = exp(nodeG);
+    return multiply(nodeF, nodeExpG);
+};
+const getNodeF = (a, b, c) => {
+    if (a !== undefined) {
+        return TrinomConstructor.fromCoeffs([c, b, a]).toTree().simplify();
+    }
+    else if (b !== undefined) {
+        return AffineConstructor.fromCoeffs([c, b]).toTree().simplify();
+    }
+    else {
+        return c.toTree();
+    }
+};
+const getRootNodesOfDerivative = (a, b, c) => {
+    //get coeffs
+    let coeffs;
+    if (a !== undefined) {
+        coeffs = zip([c, b, a], [b, 2 * a, 0]).map(([c1, c2]) => c1 + c2);
+    }
+    else {
+        coeffs = zip([c, b], [b, 0]).map(([c1, c2]) => c1 + c2);
+    }
+    //get roots
+    if (coeffs.length === 3) {
+        const trinom = TrinomConstructor.fromCoeffs(coeffs);
+        return trinom.getRootsNode();
+    }
+    else {
+        const [c, b] = coeffs;
+        return [frac(opposite(c), b).simplify()];
+    }
+};
+const getTrinomInequationSolutionNode = (coeffs, ineqType) => {
+    const [c, b, a] = coeffs;
+    const ineq = new InequationSymbol(ineqType);
+    const trinom = new Trinom(a, b, c);
+    const roots = trinom.getRootsNode();
+    const aPositive = a > 0;
+    const insideInterval = new IntervalNode(roots[0], roots[1], ineq.isStrict ? ClosureType.OO : ClosureType.FF);
+    const outsideUnion = new UnionIntervalNode([
+        new IntervalNode(MinusInfinityNode, roots[0], ineq.isStrict ? ClosureType.OO : ClosureType.OF),
+        new IntervalNode(roots[1], PlusInfinityNode, ineq.isStrict ? ClosureType.OO : ClosureType.FO),
+    ]);
+    const tree = ineq.isSup
+        ? aPositive
+            ? outsideUnion
+            : insideInterval
+        : aPositive
+            ? insideInterval
+            : outsideUnion;
+    return new InequationSolutionNode(tree);
+};
+const getInstruction = (identifiers) => {
+    const { coeffsF } = identifiers;
+    const [c, b, a] = coeffsF;
+    const nodeH = getInstructionNode(a, b, c);
+    return `Soit $f$ la fonction définie sur $\\mathbb{R}$ par : 
+
+$$
+h(x) = ${nodeH.toTex()}
+$$
+
+Dresser le tableau de signes de $h'$ et de variations de $h$.
+
+`;
+};
+const getInitTable = (identifiers) => {
+    const { coeffsF } = identifiers;
+    const [c, b, a] = coeffsF;
+    const nbRoots = getRootNodesOfDerivative(a, b, c).length;
+    if (nbRoots === 1) {
+        return [
+            ["$x$", "", "\\ ", "", "\\ ", ""],
+            //sign
+            ["$h'(x)$", "\\ ", "", "", "", "\\ "],
+            //var
+            ["$\\ $", "\\ ", "\\ ", "\\ ", "\\ ", "\\ "],
+            ["$h(x)$", "\\ ", "", "", "", "\\ "],
+            ["$\\ $", "\\ ", "\\ ", "\\ ", "\\ ", "\\ "],
+        ];
+    }
+    else {
+        return [
+            ["$x$", "", "\\ ", "", "\\ ", "", "\\ ", ""],
+            //sign
+            ["$h'(x)$", "\\ ", "", "", "", "", "", "\\ "],
+            //var
+            ["$\\ $", "\\ ", "\\ ", "\\ ", "\\ ", "\\ ", "\\ ", "\\ "],
+            ["$h(x)$", "\\ ", "", "", "", "", "", "\\ "],
+            ["$\\ $", "\\ ", "\\ ", "\\ ", "\\ ", "\\ ", "\\ ", "\\ "],
+        ];
+    }
+};
+const getAnswerTable = (identifiers) => {
+    const { coeffsF } = identifiers;
+    const [c, b, a] = coeffsF;
+    const rootNodes = getRootNodesOfDerivative(a, b, c);
+    const nodeH = getInstructionNode(a, b, c);
+    const nodeHPrime = nodeH.derivative();
+    if (rootNodes.length === 1) {
+        const [rootNode] = rootNodes;
+        const rootNodeMinus1 = substract(rootNode, 1);
+        const hPrimeRootMinus1 = nodeHPrime.evaluate({
+            x: rootNodeMinus1.evaluate(),
+        });
+        const [strSignHPrimeRootMinus1, strSignHPrimeRootPlus1] = hPrimeRootMinus1 > 0 ? ["+", "-"] : ["-", "+"];
+        const nodeHRoot = nodeH
+            .toDetailedEvaluation({
+            x: rootNode,
+        })
+            .simplify();
+        return [
+            ["$x$", "-\\infty", "\\ ", rootNode.toTex(), "\\ ", "+\\infty"],
+            //sign
+            [
+                "$h'(x)$",
+                "\\ ",
+                strSignHPrimeRootMinus1,
+                "0",
+                strSignHPrimeRootPlus1,
+                "\\ ",
+            ],
+            //var
+            ...(strSignHPrimeRootMinus1 === "+"
+                ? [
+                    ["$\\ $", "\\ ", "\\ ", nodeHRoot.toTex(), "\\ ", "\\ "],
+                    ["$h(x)$", "\\ ", "\\nearrow", "\\ ", "\\searrow", "\\ "],
+                    ["$\\ $", "\\ ", "\\ ", "\\ ", "\\ ", "\\ "],
+                ]
+                : [
+                    ["$\\ $", "\\ ", "\\ ", "\\ ", "\\ ", "\\ "],
+                    ["$h(x)$", "\\ ", "\\searrow", "\\ ", "\\nearrow", "\\ "],
+                    ["$\\ $", "\\ ", "\\ ", nodeHRoot.toTex(), "\\ ", "\\ "],
+                ]),
+        ];
+    }
+    else {
+        const [rootNode1, rootNode2] = rootNodes;
+        const root1Minus1 = substract(rootNode1, 1);
+        const hPrimeRoot1Minus1 = nodeHPrime.evaluate({
+            x: root1Minus1.evaluate(),
+        });
+        const [strSignHPrimeRoot1Minus1, strSignHPrimeRootAvg, strSignHPrimeRoot2Plus1,] = hPrimeRoot1Minus1 > 0 ? ["+", "-", "+"] : ["-", "+", "-"];
+        const [nodeHRoot1, nodeHRoot2] = [rootNode1, rootNode2].map((nodeX) => nodeH
+            .toDetailedEvaluation({
+            x: nodeX,
+        })
+            .simplify());
+        return [
+            [
+                "$x$",
+                "-\\infty",
+                "\\ ",
+                rootNode1.toTex(),
+                "\\ ",
+                rootNode2.toTex(),
+                "\\ ",
+                "+\\infty",
+            ],
+            //sign
+            [
+                "$h'(x)$",
+                "\\ ",
+                strSignHPrimeRoot1Minus1,
+                "0",
+                strSignHPrimeRootAvg,
+                "0",
+                strSignHPrimeRoot2Plus1,
+                "\\ ",
+            ],
+            //var
+            ...(strSignHPrimeRoot1Minus1 === "+"
+                ? [
+                    [
+                        "$\\ $",
+                        "\\ ",
+                        "\\ ",
+                        nodeHRoot1.toTex(),
+                        "\\ ",
+                        "\\ ",
+                        "\\ ",
+                        "\\ ",
+                    ],
+                    [
+                        "$h(x)$",
+                        "\\ ",
+                        "\\nearrow",
+                        "\\ ",
+                        "\\searrow",
+                        "\\ ",
+                        "\\nearrow",
+                        "\\ ",
+                    ],
+                    [
+                        "$\\ $",
+                        "\\ ",
+                        "\\ ",
+                        "\\ ",
+                        "\\ ",
+                        nodeHRoot2.toTex(),
+                        "\\ ",
+                        "\\ ",
+                    ],
+                ]
+                : [
+                    [
+                        "$\\ $",
+                        "\\ ",
+                        "\\ ",
+                        "\\ ",
+                        "\\ ",
+                        nodeHRoot2.toTex(),
+                        "\\ ",
+                        "\\ ",
+                    ],
+                    [
+                        "$h(x)$",
+                        "\\ ",
+                        "\\searrow",
+                        "\\ ",
+                        "\\nearrow",
+                        "\\ ",
+                        "\\searrow",
+                        "\\ ",
+                    ],
+                    [
+                        "$\\ $",
+                        "\\ ",
+                        "\\ ",
+                        nodeHRoot1.toTex(),
+                        "\\ ",
+                        "\\ ",
+                        "\\ ",
+                        "\\ ",
+                    ],
+                ]),
+        ];
+    }
+};
+const getHint = () => {
+    return `Commence par déterminer la fonction dérivée $h'$ de $h$. Puis, étudie le signe de $h'$ en résolvant l'inéquation $h'(x)\\geq 0$.
+  
+Enfin, sers-toi de la propriété suivante : 
+
+- si $h'$ est positive sur un intervalle $I$, alors $h$ est croissante sur $I$;
+- si $h'$ est négative sur un intervalle $I$, alors $h$ est décroissante sur $I$.`;
+};
+const getCorrection = (identifiers) => {
+    const { coeffsF } = identifiers;
+    const [c, b, a] = coeffsF;
+    const rootNodes = getRootNodesOfDerivative(a, b, c);
+    const nodeH = getInstructionNode(a, b, c);
+    const nodeHPrime = nodeH.derivative();
+    if (rootNodes.length === 1) {
+        const [rootNode] = rootNodes;
+        const rootTex = rootNode.toTex();
+        const rootNodeMinus1 = substract(rootNode, 1);
+        const hPrimeRootMinus1 = nodeHPrime.evaluate({
+            x: rootNodeMinus1.evaluate(),
+        });
+        const signs = hPrimeRootMinus1 > 0 ? ["+", "-"] : ["-", "+"];
+        const signWords = signs.map((strSign) => strSign === "+" ? "positive" : "négative");
+        const words = signs.map((strSign) => strSign === "+" ? "croissante" : "décroissante");
+        const image = nodeH
+            .toDetailedEvaluation({
+            x: rootNode,
+        })
+            .simplify();
+        return `On calcule $h'$ :
+  
+$$
+h'(x) = ${nodeHPrime.simplify().toTex()}
+$$
+
+On détermine ensuite le signe de $h'(x)$ : 
+
+${alignTex([
+            ["", "h'(x) \\geq 0"],
+            ["\\iff", nodeHPrime.simplify().toTex() + "\\geq 0"],
+            ["\\iff", "x" + (b > 0 ? "\\geq" : "\\leq") + rootTex],
+        ])}
+
+$h'$ est donc ${signWords[0]} sur $]-\\infty; ${rootTex}]$, puis ${signWords[1]} sur $[${rootTex}; +\\infty[$.
+
+On en conclut que $h$ est ${words[0]} sur $]-\\infty; ${rootTex}]$, puis ${words[1]} sur $[${rootTex}; +\\infty[$.
+  
+Pour compléter le tableau, il ne reste plus qu'à calculer l'image par $h$ de $${rootTex}$ : 
+
+$$
+h\\left(${rootTex}\\right) = ${image.toTex()} = ${image.simplify().toTex()}
+$$`;
+    }
+    else {
+        const coeffs = zip([c, b, a], [b, 2 * a, 0]).map(([c1, c2]) => c1 + c2);
+        const inequationSolutionNode = getTrinomInequationSolutionNode(coeffs, "\\ge");
+        const arrIntervalNode = (() => {
+            if (isUnionIntervalNode(inequationSolutionNode.intervalSolution)) {
+                return inequationSolutionNode.intervalSolution.sets;
+            }
+            else {
+                return [inequationSolutionNode.intervalSolution];
+            }
+        })();
+        return `On calcule $h'$ :
+  
+$$
+h'(x) = ${nodeHPrime.simplify().toTex()}
+$$
+
+On détermine ensuite le signe de $h'(x)$ : 
+
+${alignTex([
+            ["", "h'(x) \\geq 0"],
+            ["\\iff", nodeHPrime.simplify().toTex() + "\\geq 0"],
+            ["\\iff", frac(nodeHPrime, exp("x".toTree())).simplify().toTex() + "\\geq 0"],
+        ])}
+
+On résout l'inéquation :
+
+$$
+${inequationSolutionNode.toTex()}
+$$
+
+$h$ est donc croissante sur ${arrIntervalNode
+            .map((node) => `$${node.toTex()}$`)
+            .join(" et ")}.
+
+On calcule enfin les extrema locaux de $h$.
+
+`;
+    }
+};
+const getKeys = () => {
+    return ["infty"];
+};
+const isAnswerTableValid = (ans, { answerTable }) => {
+    try {
+        return varSignTableVEA(ans, answerTable);
+    }
+    catch (err) {
+        return handleVEAError(err);
+    }
+};
+const getSignVarTableProductFExpQuestion = (optsIn) => {
+    const opts = optsIn ?? optsDefault;
+    const { typeF } = opts;
+    const coeffsF = (() => {
+        switch (typeF) {
+            case "affine": {
+                const b = randint(-8, 9, [0]);
+                const c = randint(-4, 5) * b;
+                return [c, b];
+            }
+            case "second degré": {
+                // return TrinomConstructor.randomNiceRoots().coefficients;
+                //we want integer roots for h'
+                const b = randint(1, 11);
+                return [1, b, 1];
+            }
+            default:
+                throw new Error("Unsupported typeF: " + typeF);
+        }
+    })();
+    const identifiers = {
+        coeffsF,
+    };
+    return getQuestionFromIdentifiers(identifiers, opts);
+};
+const getQuestionFromIdentifiers = (identifiers, opts) => {
+    return {
+        answerTable: getAnswerTable(identifiers),
+        instruction: getInstruction(identifiers),
+        keys: getKeys(identifiers),
+        answerFormat: "tex",
+        identifiers,
+        options: opts,
+        hint: getHint(identifiers),
+        correction: getCorrection(identifiers),
+        initTable: getInitTable(identifiers),
+    };
+};
+const optsDefault = {
+    typeF: "affine",
+};
+const options = [
+    {
+        id: "typeF",
+        label: "Fonction $f$",
+        type: GeneratorOptionType.select,
+        target: GeneratorOptionTarget.generation,
+        values: ["affine", "second degré"],
+        defaultValue: optsDefault.typeF,
+    },
+];
+export const signVarTableProductFExp = {
+    id: "signVarTableProductFExp",
+    label: "Dresser le tableau de variations de $x \\mapsto f(x)\\exp(x)$",
+    isSingleStep: true,
+    generator: (nb, opts) => getDistinctQuestions(() => getSignVarTableProductFExpQuestion(opts), nb),
+    options,
+    qcmTimer: 60,
+    freeTimer: 60,
+    isAnswerTableValid,
+    subject: "Mathématiques",
+    getInstruction,
+    getHint,
+    getCorrection,
+    getAnswerTable,
+    getQuestionFromIdentifiers,
+    hasHintAndCorrection: true,
+    answerType: "signVarTable",
+};

package/lib/exercises/math/derivation/variations/signVarTableQuotientFExp.d.ts

@@ -0,0 +1,11 @@
+import { Exercise } from "../../../../exercises/exercise.js";
+type Identifiers = {
+    coeffsF: number[];
+    isFOverExp: boolean;
+};
+type Options = {
+    typeF: string;
+};
+export declare const signVarTableQuotientFExp: Exercise<Identifiers, Options>;
+export {};
+//# sourceMappingURL=signVarTableQuotientFExp.d.ts.map

package/lib/exercises/math/derivation/variations/signVarTableQuotientFExp.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"signVarTableQuotientFExp.d.ts","sourceRoot":"","sources":["../../../../../src/exercises/math/derivation/variations/signVarTableQuotientFExp.ts"],"names":[],"mappings":"AAAA,OAAO,EACL,QAAQ,EAYT,MAAM,6BAA6B,CAAC;AAsIrC,KAAK,WAAW,GAAG;IACjB,OAAO,EAAE,MAAM,EAAE,CAAC;IAClB,UAAU,EAAE,OAAO,CAAC;CACrB,CAAC;AAubF,KAAK,OAAO,GAAG;IACb,KAAK,EAAE,MAAM,CAAC;CACf,CAAC;AAiBF,eAAO,MAAM,wBAAwB,EAAE,QAAQ,CAAC,WAAW,EAAE,OAAO,CAmBnE,CAAC"}