math-exercises 3.0.157 → 3.0.158

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

@@ -0,0 +1,190 @@
+import { tryToAddWrongProp, propWhile, addValidProp, } from "../../../../../exercises/exercise.js";
+import { getDistinctQuestions } from "../../../../../exercises/utils/getDistinctQuestions.js";
+import { greenMain, red } from "../../../../../geogebra/colors.js";
+import { GeogebraConstructor } from "../../../../../geogebra/geogebraConstructor.js";
+import { Point } from "../../../../../math/geometry/point.js";
+import { randfloat } from "../../../../../math/utils/random/randfloat.js";
+import { round } from "../../../../../math/utils/round.js";
+import { exp } from "../../../../../tree/nodes/functions/expNode.js";
+import { LogNode } from "../../../../../tree/nodes/functions/logNode.js";
+import { substract } from "../../../../../tree/nodes/operators/substractNode.js";
+import { parseAlgebraic } from "../../../../../tree/parsers/latexParser.js";
+import { coinFlip } from "../../../../../utils/alea/coinFlip.js";
+const precision = 2;
+const getInstruction = (identifiers) => {
+    const { a, isExpPrime } = identifiers;
+    return `La courbe représentative de la fonction exponentielle est ci-dessous en rouge.
+
+Résoudre graphiquement l'équation 
+
+$$
+\\exp${isExpPrime ? "'" : ""}(x) = ${a.frenchify()}
+$$
+
+(donner une valeur approchée
+
+avec $${precision}$ décimale${precision > 1 ? "s" : ""}).`;
+};
+const getAnswerNode = (identifiers) => {
+    const { a } = identifiers;
+    return round(new LogNode(a.toTree()).evaluate(), precision).toTree();
+};
+const getAnswer = (identifiers) => {
+    return getAnswerNode(identifiers).toTex();
+};
+const getHint = (identifiers) => {
+    const { a, isExpPrime } = identifiers;
+    if (isExpPrime) {
+        return `La fonction exponentielle vérifie pour tout $x$ réel :
+
+$$
+\\exp'(x)=\\exp(x)
+$$
+
+On cherche donc à résoudre l'équation : 
+
+$$
+\\exp(x)=${a.frenchify()}
+$$
+
+Cela étant dit,
+
+pour résoudre graphiquement $f(x)=${a.frenchify()}$, on cherche l'image ou les antécédents ?`;
+    }
+    else {
+        return `Pour résoudre graphiquement $f(x)=${a.frenchify()}$, on cherche l'image ou les antécédents ?`;
+    }
+};
+const getCorrection = (identifiers) => {
+    const { a, isExpPrime } = identifiers;
+    return `${(() => {
+        if (isExpPrime) {
+            return `La fonction exponentielle vérifie pour tout $x$ réel :
+
+$$
+\\exp'(x)=\\exp(x)
+$$
+
+On cherche donc à résoudre l'équation : 
+
+$$
+\\exp(x)=${a.frenchify()}
+$$
+
+`;
+        }
+        else {
+            return ``;
+        }
+    })()}
+On cherche les antécédents de $${a.frenchify()}$ par $\\exp$.
+  
+La fonction exponentielle est strictement croissante de $\\mathbb{R}$ dans $\\mathbb{R}^{+*}$ 
+
+donc $${a.frenchify()}$ n'a qu'un seul antécédent par $\\exp$ ; on le nomme $x_{0}$. 
+
+On lit : 
+
+$$
+x_{0} \\approx ${getAnswer(identifiers)}
+$$
+
+`;
+};
+const getCorrectionGGBOptions = (identifiers) => {
+    const { a, coordsFrame } = identifiers;
+    const [xMinFrame, xMaxFrame, yMinFrame, yMaxFrame] = coordsFrame;
+    const x = getAnswerNode(identifiers);
+    const y = a;
+    const pointX0 = new Point("PX0", x, 0);
+    const point0Y = new Point("P0Y", 0, y);
+    const pointXY = new Point("PXY", x, y);
+    const commands = [
+        `Cf = exp(x)`,
+        `SetColor(Cf, "${red}")`,
+        `v1 = Vector(${point0Y.toMathString()},${pointXY.toMathString()})`,
+        `SetColor(v1, "${greenMain}")`,
+        `v2 = Vector(${pointXY.toMathString()},${pointX0.toMathString()})`,
+        `SetColor(v2, "${greenMain}")`,
+    ];
+    const ggb = new GeogebraConstructor({
+        commands,
+        lockedAxesRatio: (xMaxFrame - xMinFrame) / (yMaxFrame - yMinFrame),
+    });
+    return ggb.getOptions({
+        coords: coordsFrame,
+    });
+};
+const getGGBOptions = (identifiers) => {
+    const { coordsFrame } = identifiers;
+    const [xMinFrame, xMaxFrame, yMinFrame, yMaxFrame] = coordsFrame;
+    const commands = [`Cf = exp(x)`, `SetColor(Cf, "${red}")`];
+    const ggb = new GeogebraConstructor({
+        commands,
+        lockedAxesRatio: (xMaxFrame - xMinFrame) / (yMaxFrame - yMinFrame),
+    });
+    return ggb.getOptions({
+        coords: coordsFrame,
+    });
+};
+const getPropositions = (n, { answer, ...identifiers }) => {
+    const { a } = identifiers;
+    const propositions = [];
+    addValidProp(propositions, answer);
+    //a
+    {
+        tryToAddWrongProp(propositions, round(a, precision).frenchify());
+    }
+    //exp(a)
+    {
+        tryToAddWrongProp(propositions, round(exp(a).evaluate(), precision).frenchify());
+    }
+    propWhile(propositions, n, () => {
+        tryToAddWrongProp(propositions, randfloat(-1, 2, precision).frenchify());
+    });
+    return propositions;
+};
+const isAnswerValid = (ans, { answer }) => {
+    const nodeAns = parseAlgebraic(ans);
+    const nodeAnswer = parseAlgebraic(answer);
+    return substract(nodeAns, nodeAnswer).evaluate() === 0;
+};
+const getExpAntecedentFromGraphQuestion = () => {
+    const a = randfloat(0.5, 2, precision);
+    const isExpPrime = coinFlip();
+    const coordsFrame = [-1, 2, Math.exp(-1), Math.exp(2)];
+    const identifiers = {
+        a,
+        isExpPrime,
+        coordsFrame,
+    };
+    return getQuestionFromIdentifiers(identifiers);
+};
+const getQuestionFromIdentifiers = (identifiers) => {
+    const question = {
+        answer: getAnswer(identifiers),
+        instruction: getInstruction(identifiers),
+        answerFormat: "tex",
+        identifiers,
+        keys: [],
+        hint: getHint(identifiers),
+        correction: getCorrection(identifiers),
+        correctionGgbOptions: getCorrectionGGBOptions(identifiers),
+        ggbOptions: getGGBOptions(identifiers),
+    };
+    return question;
+};
+export const expAntecedentFromGraph = {
+    id: "expAntecedentFromGraph",
+    label: "Résoudre graphiquement une équation du type $\\exp(x)=a$",
+    isSingleStep: true,
+    generator: (nb, opts) => getDistinctQuestions(() => getExpAntecedentFromGraphQuestion(opts), nb),
+    qcmTimer: 60,
+    freeTimer: 60,
+    getPropositions,
+    subject: "Mathématiques",
+    getQuestionFromIdentifiers,
+    hasGeogebra: true,
+    hasHintAndCorrection: true,
+    isAnswerValid,
+};

package/lib/exercises/math/functions/exponential/definition/expImageFromGraph.d.ts

@@ -0,0 +1,9 @@
+import { Exercise } from "../../../../../exercises/exercise.js";
+type Identifiers = {
+    a: number;
+    isExpPrime: boolean;
+    coordsFrame: number[];
+};
+export declare const expImageFromGraph: Exercise<Identifiers>;
+export {};
+//# sourceMappingURL=expImageFromGraph.d.ts.map

package/lib/exercises/math/functions/exponential/definition/expImageFromGraph.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"expImageFromGraph.d.ts","sourceRoot":"","sources":["../../../../../../src/exercises/math/functions/exponential/definition/expImageFromGraph.ts"],"names":[],"mappings":"AAAA,OAAO,EACL,QAAQ,EAeT,MAAM,6BAA6B,CAAC;AAgBrC,KAAK,WAAW,GAAG;IACjB,CAAC,EAAE,MAAM,CAAC;IACV,UAAU,EAAE,OAAO,CAAC;IACpB,WAAW,EAAE,MAAM,EAAE,CAAC;CACvB,CAAC;AA0MF,eAAO,MAAM,iBAAiB,EAAE,QAAQ,CAAC,WAAW,CAenD,CAAC"}

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

@@ -0,0 +1,190 @@
+import { tryToAddWrongProp, propWhile, addValidProp, } from "../../../../../exercises/exercise.js";
+import { getDistinctQuestions } from "../../../../../exercises/utils/getDistinctQuestions.js";
+import { greenMain, red } from "../../../../../geogebra/colors.js";
+import { GeogebraConstructor } from "../../../../../geogebra/geogebraConstructor.js";
+import { Point } from "../../../../../math/geometry/point.js";
+import { randfloat } from "../../../../../math/utils/random/randfloat.js";
+import { randint } from "../../../../../math/utils/random/randint.js";
+import { round } from "../../../../../math/utils/round.js";
+import { exp } from "../../../../../tree/nodes/functions/expNode.js";
+import { LogNode } from "../../../../../tree/nodes/functions/logNode.js";
+import { substract } from "../../../../../tree/nodes/operators/substractNode.js";
+import { parseAlgebraic } from "../../../../../tree/parsers/latexParser.js";
+import { coinFlip } from "../../../../../utils/alea/coinFlip.js";
+const precision = 2;
+const getInstruction = (identifiers) => {
+    const { a, isExpPrime } = identifiers;
+    return `La courbe représentative de la fonction exponentielle est ci-dessous en rouge.
+
+Résoudre graphiquement l'équation 
+
+$$
+\\exp${isExpPrime ? "'" : ""}(${a.frenchify()}) = x 
+$$
+
+(donner une valeur approchée
+
+avec $${precision}$ décimale${precision > 1 ? "s" : ""}).`;
+};
+const getAnswerNode = (identifiers) => {
+    const { a } = identifiers;
+    return round(exp(a).evaluate(), precision).toTree();
+};
+const getAnswer = (identifiers) => {
+    return getAnswerNode(identifiers).toTex();
+};
+const getHint = (identifiers) => {
+    const { a, isExpPrime } = identifiers;
+    if (isExpPrime) {
+        return `La fonction exponentielle vérifie pour tout $x$ réel :
+
+$$
+\\exp'(x)=\\exp(x)
+$$
+
+On cherche donc à résoudre l'équation : 
+
+$$
+\\exp(x)=${a.frenchify()}
+$$
+
+Cela étant dit,
+
+ici, on cherche l'image ou les antécédents ?`;
+    }
+    else {
+        return `Ici, on cherche l'image ou les antécédents ?`;
+    }
+};
+const getCorrection = (identifiers) => {
+    const { a, isExpPrime } = identifiers;
+    return `${(() => {
+        if (isExpPrime) {
+            return `La fonction exponentielle vérifie pour tout $x$ réel :
+
+$$
+\\exp'(x)=\\exp(x)
+$$
+
+`;
+        }
+        else {
+            return ``;
+        }
+    })()}
+On cherche l'image de $${a.frenchify()}$ par $\\exp$
+
+On lit : 
+
+$$
+\\exp(${a.frenchify()}) \\approx ${getAnswer(identifiers)}
+$$
+
+`;
+};
+const getCorrectionGGBOptions = (identifiers) => {
+    const { a, coordsFrame } = identifiers;
+    const [xMinFrame, xMaxFrame, yMinFrame, yMaxFrame] = coordsFrame;
+    const x = a;
+    const y = exp(a);
+    const pointX0 = new Point("PX0", x, 0);
+    const point0Y = new Point("P0Y", 0, y);
+    const pointXY = new Point("PXY", x, y);
+    const commands = [
+        `Cf = exp(x)`,
+        `SetColor(Cf, "${red}")`,
+        `v1 = Vector(${pointX0.toMathString()},${pointXY.toMathString()})`,
+        `SetColor(v1, "${greenMain}")`,
+        `v2 = Vector(${pointXY.toMathString()},${point0Y.toMathString()})`,
+        `SetColor(v2, "${greenMain}")`,
+    ];
+    const ggb = new GeogebraConstructor({
+        commands,
+        lockedAxesRatio: (xMaxFrame - xMinFrame) / (yMaxFrame - yMinFrame),
+    });
+    return ggb.getOptions({
+        coords: coordsFrame,
+    });
+};
+const getGGBOptions = (identifiers) => {
+    const { coordsFrame } = identifiers;
+    const [xMinFrame, xMaxFrame, yMinFrame, yMaxFrame] = coordsFrame;
+    const commands = [`Cf = exp(x)`, `SetColor(Cf, "${red}")`];
+    const ggb = new GeogebraConstructor({
+        commands,
+        lockedAxesRatio: (xMaxFrame - xMinFrame) / (yMaxFrame - yMinFrame),
+    });
+    return ggb.getOptions({
+        coords: coordsFrame,
+    });
+};
+const getPropositions = (n, { answer, ...identifiers }) => {
+    const { a } = identifiers;
+    const propositions = [];
+    addValidProp(propositions, answer);
+    //a
+    {
+        tryToAddWrongProp(propositions, round(a, precision).frenchify());
+    }
+    //ln(a)
+    {
+        tryToAddWrongProp(propositions, round(new LogNode(a.toTree()).evaluate(), precision).frenchify());
+    }
+    propWhile(propositions, n, () => {
+        tryToAddWrongProp(propositions, randfloat(0, 1000, precision).frenchify());
+    });
+    return propositions;
+};
+const isAnswerValid = (ans, { answer }) => {
+    const nodeAns = parseAlgebraic(ans);
+    const nodeAnswer = parseAlgebraic(answer);
+    return substract(nodeAns, nodeAnswer).evaluate() === 0;
+};
+const getExpImageFromGraphQuestion = () => {
+    const minA = 1;
+    const maxA = 8;
+    const a = randint(minA, maxA + 1);
+    const isExpPrime = coinFlip();
+    const minXFrame = a - randint(2, 6);
+    const maxXFrame = a + randint(1, 3);
+    const coordsFrame = [
+        minXFrame,
+        maxXFrame,
+        Math.exp(minXFrame),
+        Math.exp(maxXFrame),
+    ];
+    const identifiers = {
+        a,
+        isExpPrime,
+        coordsFrame,
+    };
+    return getQuestionFromIdentifiers(identifiers);
+};
+const getQuestionFromIdentifiers = (identifiers) => {
+    const question = {
+        answer: getAnswer(identifiers),
+        instruction: getInstruction(identifiers),
+        answerFormat: "tex",
+        identifiers,
+        keys: [],
+        hint: getHint(identifiers),
+        correction: getCorrection(identifiers),
+        correctionGgbOptions: getCorrectionGGBOptions(identifiers),
+        ggbOptions: getGGBOptions(identifiers),
+    };
+    return question;
+};
+export const expImageFromGraph = {
+    id: "expImageFromGraph",
+    label: "Lire graphiquement une valeur approchée de $\\exp(a)$ ou de $\\exp'(a)$",
+    isSingleStep: true,
+    generator: (nb, opts) => getDistinctQuestions(() => getExpImageFromGraphQuestion(opts), nb),
+    qcmTimer: 60,
+    freeTimer: 60,
+    getPropositions,
+    subject: "Mathématiques",
+    getQuestionFromIdentifiers,
+    hasGeogebra: true,
+    hasHintAndCorrection: true,
+    isAnswerValid,
+};

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

@@ -0,0 +1,5 @@
+export * from "./isPlausibleExpFromGraph.js";
+export * from "./approxExpAPlusH.js";
+export * from "./expAntecedentFromGraph.js";
+export * from "./expImageFromGraph.js";
+//# sourceMappingURL=index.d.ts.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"index.d.ts","sourceRoot":"","sources":["../../../../../../src/exercises/math/functions/exponential/definition/index.ts"],"names":[],"mappings":"AAAA,cAAc,8BAA8B,CAAC;AAC7C,cAAc,sBAAsB,CAAC;AACrC,cAAc,6BAA6B,CAAC;AAC5C,cAAc,wBAAwB,CAAC"}

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

@@ -0,0 +1,4 @@
+export * from "./isPlausibleExpFromGraph.js";
+export * from "./approxExpAPlusH.js";
+export * from "./expAntecedentFromGraph.js";
+export * from "./expImageFromGraph.js";

package/lib/exercises/math/functions/exponential/definition/isPlausibleExpFromGraph.d.ts

@@ -0,0 +1,13 @@
+import { Exercise } from "../../../../../exercises/exercise.js";
+import { NodeIdentifiers } from "../../../../../tree/nodes/nodeConstructor.js";
+type Identifiers = {
+    nodeIdsF: NodeIdentifiers;
+    nodeIdsT: NodeIdentifiers;
+    x: number;
+    s: number;
+    coordsFrame: number[];
+    rand: number;
+};
+export declare const isPlausibleExpFromGraph: Exercise<Identifiers>;
+export {};
+//# sourceMappingURL=isPlausibleExpFromGraph.d.ts.map

package/lib/exercises/math/functions/exponential/definition/isPlausibleExpFromGraph.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"isPlausibleExpFromGraph.d.ts","sourceRoot":"","sources":["../../../../../../src/exercises/math/functions/exponential/definition/isPlausibleExpFromGraph.ts"],"names":[],"mappings":"AAAA,OAAO,EACL,QAAQ,EAaT,MAAM,6BAA6B,CAAC;AAQrC,OAAO,EAEL,eAAe,EAChB,MAAM,qCAAqC,CAAC;AAmB7C,KAAK,WAAW,GAAG;IACjB,QAAQ,EAAE,eAAe,CAAC;IAC1B,QAAQ,EAAE,eAAe,CAAC;IAC1B,CAAC,EAAE,MAAM,CAAC;IACV,CAAC,EAAE,MAAM,CAAC;IACV,WAAW,EAAE,MAAM,EAAE,CAAC;IACtB,IAAI,EAAE,MAAM,CAAC;CAQd,CAAC;AA4XF,eAAO,MAAM,uBAAuB,EAAE,QAAQ,CAAC,WAAW,CAczD,CAAC"}