微积分可视化:体积与面积
几何画板及绘图内容加载中,请稍等……
这个范例演示了如何使用 GeoGebra 可视化微积分中的体积和面积计算。涉及的核心数学概念包括积分、求和、函数图像以及各种几何图形的截面。作图要点包括使用 Line, Plane, Integral, TrapezoidalSum, Sequence, Segment, Sum, Polygon, Function 等命令和对象来构建图形和动画。适合高中及以上学生用于学习和理解微积分中的体积和面积计算方法。
GeoGebra 命令及参数
If(showDisksHorizontal ∨ showDisksVertical ∨ showShellsHorizontal ∨ showShellsVertical, (b - a) / 50, (b - a) / n) → dxIf(showInverse, Sequence[(f(i), i), i, a + dx / 2, b - dx / 2, dx], Sequence[(i, f(i)), i, a + dx / 2, b - dx / 2, dx]) → areaMRAMPointsF_{all}If(showInverse, Sequence[(f(i), i), i, a, b, dx], Sequence[(i, f(i)), i, a, b, dx]) → areaTRAPPointsF_{all}If(showInverse, Sequence[(g(i), i), i, a, b, dx], Sequence[(i, g(i)), i, a, b, dx]) → areaTRAPPointsG_{all}Line((0, 0), (1, 1)) → reflectionLineIf(showInverse, Sequence[Mirror[Polygon[(i, g(i)), (i, f(i)), (i + dx, f(i)), (i + dx, g(i))], reflectionLine], i, a, b, dx], Sequence[Polygon[(i, g(i)), (i, f(i)), (i + dx, f(i)), (i + dx, g(i))], i, a, b - dx, dx]) → areaLRAM_{all}If(showInverse, Sequence[(f(i), i, 0), i, a, b, dx], Sequence[(i, f(i), 0), i, a, b, dx]) → pointFIf(showInverse, Sequence[(f(i), i, abs(f(i) - g(i))), i, a, b, dx], Sequence[(i, f(i), abs(f(i) - g(i))), i, a, b, dx]) → pointF_{square}If(showInverse, Sequence[(g(i), i, abs(f(i) - g(i))), i, a, b, dx], Sequence[(i, g(i), abs(f(i) - g(i))), i, a, b, dx]) → pointG_{square}If(showInverse, Sequence[(g(i), i, 0), i, a, b, dx], Sequence[(i, g(i), 0), i, a, b, dx]) → pointGZip(Polygon[A, B, C, D], A, pointF, B, pointG, C, pointG_{square}, D, pointF_{square}) → squareSection_{all}Plane((0, 0, 0), (1, 0, 0), (0, 0, 1)) → xOzPlanePlane((0, 0, 0), (0, 0, 1), (0, 1, 0)) → yOzPlaneIf(showInverse, Sequence[((g(i) - f(i)) / 2 + f(i), i, abs(f(i) - g(i)) / 2), i, a, b, dx], Sequence[(i, (g(i) - f(i)) / 2 + f(i), abs(f(i) - g(i)) / 2), i, a, b, dx]) → pointD_{top}If(showInverse, Sequence[((g(i) - f(i)) / 2 + f(i), i, ((-abs(f(i) - g(i)))) / 2), i, a, b, dx], Sequence[(i, (g(i) - f(i)) / 2 + f(i), ((-abs(f(i) - g(i)))) / 2), i, a, b, dx]) → pointD_{bottom}If(showInverse, Sequence[((g(i) - f(i)) / 2 + f(i), i, (abs(f(i) - g(i)) / 2 * sqrt(3))), i, a, b, dx], Sequence[(i, (g(i) - f(i)) / 2 + f(i), (abs(f(i) - g(i)) / 2 * sqrt(3))), i, a, b, dx]) → pointEIf(showInverse, Sequence[(f(i), i, h(i)), i, a, b, dx], Sequence[(i, f(i), h(i)), i, a, b, dx]) → pointF_{rect}If(showInverse, Sequence[(g(i), i, h(i)), i, a, b, dx], Sequence[(i, g(i), h(i)), i, a, b, dx]) → pointG_{rect}Mirror(f, reflectionLine) → f_1Mirror(g, reflectionLine) → g_1Textfield(function_f) → inputFunction_fTextfield(function_g) → inputFunction_gLine((revAxisXequals, 0), (revAxisXequals, 1)) → revolutionAxis_vLine((0, revAxisYequals), (1, revAxisYequals)) → revolutionAxis_hTextfield(revAxisXequals) → inputXaxisTextfield(revAxisYequals) → inputYaxisMirror(h, reflectionLine) → h_1Textfield(function_h) → inputFunction_hElement(squareSection_{all}, dxNum + 1) → highlightSquareIntegral(f(x) - g(x), a, b) → sumIntegralTrapezoidalSum(f(x) - g(x), a, b, n) → sumTRAPZip(Polygon[A, B, C], A, pointG, B, pointF, C, pointE) → equilateralSection_{all}If(showInverse, Sequence[Polygon[((f(i) + g(i)) / 2, i, (abs(f(i) - g(i)) / 2 * sqrt(3))), ((f(i) + g(i)) / 2 + (abs(f(i) - g(i)) * 3 / 4), i, (((-abs(f(i) - g(i)))) / 4 * sqrt(3))), ((f(i) + g(i)) / 2 - (abs(f(i) - g(i)) * 3 / 4), i, (((-abs(f(i) - g(i)))) / 4 * sqrt(3)))], i, a, b, dx], Sequence[Polygon[(i, (f(i) + g(i)) / 2, (abs(f(i) - g(i)) / 2 * sqrt(3))), (i, (f(i) + g(i)) / 2 + (abs(f(i) - g(i)) * 3 / 4), (((-abs(f(i) - g(i)))) / 4 * sqrt(3))), (i, (f(i) + g(i)) / 2 - (abs(f(i) - g(i)) * 3 / 4), (((-abs(f(i) - g(i)))) / 4 * sqrt(3)))], i, a, b, dx]) → equilateralSectionCentroid_{all}If(showInverse, Sequence[Polygon[((f(i) + g(i)) / 2, i, abs(f(i) - g(i)) / 2), ((abs(f(i) - g(i)) * 3 / 4) + (f(i) + g(i)) / 2, i, ((-abs(f(i) - g(i)))) / 4), (((-abs(f(i) - g(i))) * 3 / 4) + (f(i) + g(i)) / 2, i, ((-abs(f(i) - g(i)))) / 4)], i, a, b, dx], Sequence[Polygon[(i, (f(i) + g(i)) / 2, abs(f(i) - g(i)) / 2), (i, ((-abs(f(i) - g(i))) * 3 / 4) + (f(i) + g(i)) / 2, ((-abs(f(i) - g(i)))) / 4), (i, (abs(f(i) - g(i)) * 3 / 4) + (f(i) + g(i)) / 2, ((-abs(f(i) - g(i)))) / 4)], i, a, b, dx]) → isoscelesSectionCentroid_{all}Zip(Polygon[A, B, C, D], A, pointF, B, pointG, C, pointG_{rect}, D, pointF_{rect}) → rectangleSection_{all}If(showInverse, Sequence[Polygon[(f(i), i, ((-h(i))) / 2), (f(i), i, h(i) / 2), (g(i), i, h(i) / 2), (g(i), i, ((-h(i))) / 2)], i, a, b, dx], Sequence[Polygon[(i, f(i), ((-h(i))) / 2), (i, f(i), h(i) / 2), (i, g(i), h(i) / 2), (i, g(i), ((-h(i))) / 2)], i, a, b, dx]) → rectangleSectionCentroid_{all}If(showInverse, Sequence[Polygon[(f(i), i, ((-abs(f(i) - g(i)))) / 2), (f(i), i, abs(f(i) - g(i)) / 2), (g(i), i, abs(f(i) - g(i)) / 2), (g(i), i, ((-abs(f(i) - g(i)))) / 2)], i, a, b, dx], Sequence[Polygon[(i, f(i), ((-abs(f(i) - g(i)))) / 2), (i, f(i), abs(f(i) - g(i)) / 2), (i, g(i), abs(f(i) - g(i)) / 2), (i, g(i), ((-abs(f(i) - g(i)))) / 2)], i, a, b, dx]) → squareSectionCentroid_{all}Sequence(Element[isoscelesSectionCentroid_{all}, i], i, 1, Length[isoscelesSectionCentroid_{all}], 2) → isoscelesSectionCentroid_1Sequence(Element[isoscelesSectionCentroid_{all}, i], i, 2, Length[isoscelesSectionCentroid_{all}], 2) → isoscelesSectionCentroid_2Sequence(Element[rectangleSectionCentroid_{all}, i], i, 1, Length[rectangleSectionCentroid_{all}], 2) → rectangleSectionCentroid_1Sequence(Element[rectangleSectionCentroid_{all}, i], i, 2, Length[rectangleSectionCentroid_{all}], 2) → rectangleSectionCentroid_2Sequence(Element[squareSectionCentroid_{all}, i], i, 2, Length[squareSectionCentroid_{all}], 2) → squareSectionCentroid_2Sequence(Element[areaMRAMPointsF_{all}, i], i, 1, Length[areaMRAMPointsF_{all}], 2) → areaMRAMPointsF_1Sequence(Element[areaTRAPPointsG_{all}, i], i, 1, Length[areaTRAPPointsG_{all}], 2) → areaTRAPPointsG_1Sequence(Element[areaTRAPPointsF_{all}, i], i, 2, Length[areaTRAPPointsF_{all}], 2) → areaTRAPPointsF_2Sequence(Element[areaTRAPPointsG_{all}, i], i, 2, Length[areaTRAPPointsG_{all}], 2) → areaTRAPPointsG_2Sequence(If[(f(i) - g(i) < 0) ∧ (b > a) ∨ (f(i) - g(i) > 0) ∧ (b < a), Polygon[(i, g(i)), (i, f(i)), (i + (b - a) / 500, f(i + (b - a) / 500)), (i + (b - a) / 500, g(i + (b - a) / 500))]], i, a, b - (b - a) / 500, (b - a) / 500) → areaFTC_{negative}Sequence(If[(f(i) - g(i) > 0) ∧ (b > a) ∨ (f(i) - g(i) < 0) ∧ (b < a), Polygon[(i, g(i)), (i, f(i)), (i + (b - a) / 500, f(i + (b - a) / 500)), (i + (b - a) / 500, g(i + (b - a) / 500))]], i, a, b - (b - a) / 500, (b - a) / 500) → areaFTC_{positive}Mirror(areaFTC_{positive}, reflectionLine) → areaFTCInverse_{positive}Mirror(areaFTC_{negative}, reflectionLine) → areaFTCInverse_{negative}Sequence((i, f(i)), i, a, b, (2 * dx)) → arcLengthPoints_1Sequence((i, f(i)), i, a + dx, b, (2 * dx)) → arcLengthPoints_2Mirror(arcLengthPoints_1, reflectionLine) → arcLengthInversePoints_1Mirror(arcLengthPoints_2, reflectionLine) → arcLengthInversePoints_2Sequence(Segment[(i, f(i)), (i + dx, f(i + dx))], i, a, b - dx, (2 * dx)) → arcLengthSegments_1Sequence(Segment[(i, f(i)), (i + dx, f(i + dx))], i, a + dx, b - dx, (2 * dx)) → arcLengthSegments_2Mirror(arcLengthSegments_2, reflectionLine) → arcLengthInverseSegments_2Mirror(arcLengthSegments_1, reflectionLine) → arcLengthInverseSegments_1If(showInverse, Sequence[Circle[((f(i) + g(i)) / 2, i, 0), abs(f(i) - g(i)) / 2, yAxis], i, a, b, dx], Sequence[Circle[(i, (f(i) + g(i)) / 2, 0), abs(f(i) - g(i)) / 2, xAxis], i, a, b, dx]) → circleSection_{all}If(showInverse, (g(dxBar), dxBar), (dxBar, g(dxBar))) → dxAnchorIf(showInverse, Segment[(f(dxBar), dxBar), (g(dxBar), dxBar)], Segment[(dxBar, f(dxBar)), (dxBar, g(dxBar))]) → highlightSegmentBottomElement(equilateralSectionCentroid_{all}, dxNum + 1) → highlightEquilateralCentroidSegment((dxBar, f(dxBar)), (dxBar + dx, f(dxBar + dx))) → highlightArcLengthSegmentSegment((f(dxBar), dxBar), (f(dxBar + dx), dxBar + dx)) → highlightArcLengthSegmentInverseZip(Polygon[A, B, C, D], A, pointF, B, pointD_{top}, C, pointG, D, pointD_{bottom}) → diamondSection_{all}Mirror(highlightSegmentBottom, revolutionAxis_h) → highlightSegmentBottom_hMirror(highlightSegmentBottom, revolutionAxis_v) → highlightSegmentBottom_vSegment((dxBar, f(dxBar)), Mirror[(dxBar, f(dxBar)), revolutionAxis_h]) → highlightRevolutionX_fSegment((dxBar, g(dxBar)), Mirror[(dxBar, g(dxBar)), revolutionAxis_h]) → highlightRevolutionX_gSegment((dxBar, f(dxBar)), Mirror[(dxBar, f(dxBar)), revolutionAxis_v]) → highlightShellsX_fSegment((dxBar, g(dxBar)), Mirror[(dxBar, g(dxBar)), revolutionAxis_v]) → highlightShellsX_gSegment((f(dxBar), dxBar), Mirror[(f(dxBar), dxBar), revolutionAxis_v]) → highlightRevolutionY_fSegment((g(dxBar), dxBar), Mirror[(g(dxBar), dxBar), revolutionAxis_v]) → highlightRevolutionY_gSegment((f(dxBar), dxBar), Mirror[(f(dxBar), dxBar), revolutionAxis_h]) → highlightShellsY_fSegment((g(dxBar), dxBar), Mirror[(g(dxBar), dxBar), revolutionAxis_h]) → highlightShellsY_gTextfield(n) → inputNSum(Sequence[(dx * (f(i) - g(i))), i, a, b - dx, dx]) → sumLRAMSum(Sequence[(dx * (f(i) - g(i))), i, a + dx / 2, b, dx]) → sumMRAMSum(Sequence[(dx * (f(i) - g(i))), i, a + dx, b, dx]) → sumRRAMPolygon((a, 0), (b, 0), (b, averageValue), (a, averageValue)) → averageValueRectangle, averageValueSegment_2, averageValueSegment_1, averageValueSegment_3, averageValueSegment_4Mirror(averageValueRectangle, reflectionLine) → averageValueRectangleInverseTextfield(a) → boundLeftTextfield(b) → boundRightFunction(f, a, b) → f2Function(g, a, b) → g2Mirror(f2, reflectionLine) → f_{reflected}2Mirror(g2, reflectionLine) → g_{reflected}2Polygon(PointList[Union[Sequence[{i, f(i)}, i, a, b, (b - a) / 100], Sequence[{i, g(i)}, i, b, a, (a - b) / 100]]]) → functionBaseMirror(functionBase, reflectionLine) → functionBaseInverseMirror(functionBaseInverse, revolutionAxis_h) → functionBaseInverse_hMirror(functionBaseInverse, revolutionAxis_v) → functionBaseInverse_vMirror(functionBase, revolutionAxis_h) → functionBase_hMirror(functionBase, revolutionAxis_v) → functionBase_vIntegral(abs(f(x) - g(x))^(2), a, b) → integralFminusGsquaredIntegral(abs((h(x) * (f(x) - g(x)))), a, b) → integralRectangleIntegral(abs(f(x) - revAxisYequals)^(2) - abs(g(x) - revAxisYequals)^(2), a, b) → volumeDisks_{dx}Integral(abs(f(x) - revAxisXequals)^(2) - abs(g(x) - revAxisXequals)^(2), a, b) → volumeDisks_{dy}Integral((abs(x - revAxisXequals) * (f(x) - g(x))), a, b) → volumeShells_{dx}Integral((abs(x - revAxisYequals) * (f(x) - g(x))), a, b) → volumeShells_{dy}Integral((((2 * π) * (f(x) - revAxisYequals)) * sqrt(1 + Derivative[f]^(2))), a, b) → surfaceArea_xIntegral((((2 * π) * (f(x) - revAxisXequals)) * sqrt(1 + Derivative[f]^(2))), a, b) → surfaceArea_yIntegral(sqrt(1 + Derivative[f]^(2)), a, b) → arcLength_fSelectedIndex(exampleList) → exampleNumberSequence(Element[squareSectionCentroid_{all}, i], i, 3, Length[squareSectionCentroid_{all}], 2) → squareSectionCentroid_1Sequence(Element[circleSection_{all}, i], i, 2, Length[circleSection_{all}], 2) → circleSectionSequence(Element[circleSection_{all}, i], i, 1, Length[circleSection_{all}], 2) → circleSection_2Sequence(Element[diamondSection_{all}, i], i, 2, Length[diamondSection_{all}], 2) → diamondSection_1Sequence(Element[diamondSection_{all}, i], i, 1, Length[diamondSection_{all}], 2) → diamondSection_2Sequence(Element[equilateralSectionCentroid_{all}, i], i, 2, Length[equilateralSectionCentroid_{all}], 2) → equilateralSectionCentroid_1Sequence(Element[equilateralSectionCentroid_{all}, i], i, 1, Length[equilateralSectionCentroid_{all}], 2) → equilateralSectionCentroid_2Sequence(Element[equilateralSection_{all}, i], i, 1, Length[equilateralSection_{all}], 2) → equilateralSection_2Sequence(Element[equilateralSection_{all}, i], i, 2, Length[equilateralSection_{all}], 2) → equilateralSection_{1}Sequence(Element[rectangleSection_{all}, i], i, 2, Length[rectangleSection_{all}], 2) → rectangleSection_1Sequence(Element[rectangleSection_{all}, i], i, 1, Length[rectangleSection_{all}], 2) → rectangleSection_2Sequence(Element[squareSection_{all}, i], i, 1, Length[squareSection_{all}], 2) → squareSection_2Sequence(Element[squareSection_{all}, i], i, 2, Length[squareSection_{all}], 2) → squareSection_1Zip(Polygon[A, B, C], A, pointG, B, pointF, C, pointF_{square}) → isoscelesSectionF_{all}Zip(Polygon[A, B, C], A, pointF, B, pointG, C, pointG_{square}) → isoscelesSectionG_{all}Sequence(Element[isoscelesSectionG_{all}, i], i, 1, Length[isoscelesSectionG_{all}], 2) → isoscelesSectionG_2Sequence(Element[isoscelesSectionG_{all}, i], i, 2, Length[isoscelesSectionG_{all}], 2) → isoscelesSectionG_1Sequence(Element[isoscelesSectionF_{all}, i], i, 2, Length[isoscelesSectionF_{all}], 2) → isoscelesSectionF_2Sequence(Element[isoscelesSectionF_{all}, i], i, 1, Length[isoscelesSectionF_{all}], 2) → isoscelesSectionF_1If(showInverse, Sequence[Segment[(g(i), i), (f(i), i)], i, a, b, dx], Sequence[Segment[(i, g(i)), (i, f(i))], i, a, b, dx]) → segmentBottom_{all}Sequence(Element[segmentBottom_{all}, i], i, 1, Length[segmentBottom_{all}], 2) → segmentBottom_2Sequence(Element[segmentBottom_{all}, i], i, 2, Length[segmentBottom_{all}], 2) → segmentBottom_1If(showInverse, Sequence[Sector[Circle[((f(i) + g(i)) / 2, i, 0), abs(f(i) - g(i)) / 2, xOzPlane], 0, 3.141592653589793], i, a, b, dx], Sequence[Sector[Circle[(i, (f(i) + g(i)) / 2, 0), abs(f(i) - g(i)) / 2, yOzPlane], 0, 3.141592653589793], i, a, b, dx]) → semiCircleSection_{all}Sequence(Element[semiCircleSection_{all}, i], i, 2, Length[semiCircleSection_{all}], 2) → semiCircleSection_1Sequence(Element[semiCircleSection_{all}, i], i, 1, Length[semiCircleSection_{all}], 2) → semiCircleSection_2If(showInverse, Sequence[Sector[Circle[((f(i) + g(i)) / 2, i, (((-abs((f(i) - g(i)) / 2))) / sqrt(1 - 16 / ((9 * π^(2)))) * 4 / 3 / π)), abs((f(i) - g(i)) / 2) / sqrt(1 - 16 / ((9 * π^(2)))), xOzPlane], 0, 3.141592653589793], i, a, b, dx], Sequence[Sector[Circle[(i, (f(i) + g(i)) / 2, (((-abs((f(i) - g(i)) / 2))) / sqrt(1 - 16 / ((9 * π^(2)))) * 4 / 3 / π)), abs((f(i) - g(i)) / 2) / sqrt(1 - 16 / ((9 * π^(2)))), yOzPlane], 0, 3.141592653589793], i, a, b, dx]) → semiCircleSectionCentroid_{all}Sequence(Element[semiCircleSectionCentroid_{all}, i], i, 2, Length[semiCircleSectionCentroid_{all}], 2) → semiCircleSectionCentroid_1Sequence(Element[semiCircleSectionCentroid_{all}, i], i, 1, Length[semiCircleSectionCentroid_{all}], 2) → semiCircleSectionCentroid_2Element(diamondSection_{all}, dxNum + 1) → highlightDiamondElement(equilateralSection_{all}, dxNum + 1) → highlightEquilateralElement(isoscelesSectionCentroid_{all}, dxNum + 1) → higlightIsoscelesCentroidElement(isoscelesSectionG_{all}, dxNum + 1) → highlightIsosceles2_GElement(isoscelesSectionF_{all}, dxNum + 1) → highlightIsosceles2_FElement(rectangleSection_{all}, dxNum + 1) → highlightRectangleElement(rectangleSectionCentroid_{all}, dxNum + 1) → highlightRectangleCentroidElement(squareSectionCentroid_{all}, dxNum + 1) → highlightSquareCentroidElement(circleSection_{all}, dxNum + 1) → highlightSectionCircleElement(semiCircleSection_{all}, dxNum + 1) → highlightSemiCircleElement(semiCircleSectionCentroid_{all}, dxNum + 1) → highlightSemiCircleCentroidElement(areaLRAM_{all}, dxNum + 1) → highlightAreaLRAMSequence(Element[areaLRAM_{all}, i], i, 2, Length[areaLRAM_{all}], 2) → areaLRAM_2Sequence(Element[areaLRAM_{all}, i], i, 1, Length[areaLRAM_{all}], 2) → areaLRAM_1If(showInverse, Sequence[Mirror[Polygon[(i, g(i + dx / 2)), (i, f(i + dx / 2)), (i + dx, f(i + dx / 2)), (i + dx, g(i + dx / 2))], reflectionLine], i, a, b - dx, dx], Sequence[Polygon[(i, g(i + dx)), (i, f(i + dx)), (i + dx, f(i + dx)), (i + dx, g(i + dx))], i, a, b - dx, dx]) → areaRRAM_{all}Sequence(Element[areaRRAM_{all}, i], i, 1, Length[areaRRAM_{all}], 2) → areaRRAM_1Sequence(Element[areaRRAM_{all}, i], i, 2, Length[areaRRAM_{all}], 2) → areaRRAM_2Element(areaRRAM_{all}, dxNum + 1) → highlightAreaRRAMIf(showInverse, Sequence[Mirror[Polygon[(i, g(i + dx / 2)), (i, f(i + dx / 2)), (i + dx, f(i + dx / 2)), (i + dx, g(i + dx / 2))], reflectionLine], i, a, b - dx, dx], Sequence[Polygon[(i, g(i + dx / 2)), (i, f(i + dx / 2)), (i + dx, f(i + dx / 2)), (i + dx, g(i + dx / 2))], i, a, b - dx, dx]) → areaMRAM_{all}Sequence(Element[areaMRAM_{all}, i], i, 1, Length[areaMRAM_{all}], 2) → areaMRAM_1Sequence(Element[areaMRAM_{all}, i], i, 2, Length[areaMRAM_{all}], 2) → areaMRAM_2Element(areaMRAM_{all}, dxNum + 1) → highlightAreaMRAMIf(showInverse, Sequence[Mirror[Polygon[(i, g(i)), (i, f(i)), (i + dx, f(i + dx)), (i + dx, g(i + dx))], reflectionLine], i, a, b - dx, dx], Sequence[Polygon[(i, g(i)), (i, f(i)), (i + dx, f(i + dx)), (i + dx, g(i + dx))], i, a, b - dx, dx]) → areaTRAP_{all}Sequence(Element[areaTRAP_{all}, i], i, 1, Length[areaTRAP_{all}], 2) → areaTRAP_1Sequence(Element[areaTRAP_{all}, i], i, 2, Length[areaTRAP_{all}], 2) → areaTRAP_2Element(areaTRAP_{all}, dxNum + 1) → highlightAreaTRAPIf(showInverse, Sequence[(g(i), i), i, a + dx, b, dx], Sequence[(i, g(i)), i, a + dx, b, dx]) → areaRRAMPointsG_{all}If(showInverse, Sequence[(f(i), i), i, a + dx, b, dx], Sequence[(i, f(i)), i, a + dx, b, dx]) → areaRRAMPointsF_{all}If(showInverse, Sequence[(g(i), i), i, a + dx / 2, b - dx / 2, dx], Sequence[(i, g(i)), i, a + dx / 2, b - dx / 2, dx]) → areaMRAMPointsG_{all}If(showInverse, Sequence[(f(i), i), i, a, b - dx, dx], Sequence[(i, f(i)), i, a, b - dx, dx]) → areaLRAMPointsF_{all}If(showInverse, Sequence[(g(i), i), i, a, b - dx, dx], Sequence[(i, g(i)), i, a, b - dx, dx]) → areaLRAMPointsG_{all}Sequence(Element[areaTRAPPointsF_{all}, i], i, 1, Length[areaTRAPPointsF_{all}], 2) → areaTRAPPointsF_1Sequence(Element[areaMRAMPointsF_{all}, i], i, 2, Length[areaMRAMPointsF_{all}], 2) → areaMRAMPointsF_2Sequence(Element[areaMRAMPointsG_{all}, i], i, 1, Length[areaMRAMPointsG_{all}], 2) → areaMRAMPointsG_1Sequence(Element[areaMRAMPointsG_{all}, i], i, 2, Length[areaMRAMPointsG_{all}], 2) → areaMRAMPointsG_2Sequence(Element[areaRRAMPointsF_{all}, i], i, 2, Length[areaRRAMPointsF_{all}], 2) → areaRRAMPointsF_2Sequence(Element[areaRRAMPointsF_{all}, i], i, 1, Length[areaRRAMPointsF_{all}], 2) → areaRRAMPointsF_1Sequence(Element[areaRRAMPointsG_{all}, i], i, 1, Length[areaRRAMPointsG_{all}], 2) → areaRRAMPointsG_1Sequence(Element[areaRRAMPointsG_{all}, i], i, 2, Length[areaRRAMPointsG_{all}], 2) → areaRRAMPointsG_2Sequence(Element[areaLRAMPointsG_{all}, i], i, 1, Length[areaLRAMPointsG_{all}], 2) → areaLRAMPointsG_1Sequence(Element[areaLRAMPointsG_{all}, i], i, 2, Length[areaLRAMPointsG_{all}], 2) → areaLRAMPointsG_2Sequence(Element[areaLRAMPointsF_{all}, i], i, 2, Length[areaLRAMPointsF_{all}], 2) → areaLRAMPointsF_2Sequence(Element[areaLRAMPointsF_{all}, i], i, 1, Length[areaLRAMPointsF_{all}], 2) → areaLRAMPointsF_1If(showInverse, CurveCartesian[revAxisXequals + ((f(dxBar) - revAxisXequals) * cos(v)), dxBar, (((-f(dxBar)) + revAxisXequals) * sin(v)), v, 0, rotationAngle], CurveCartesian[dxBar, revAxisYequals + ((f(dxBar) - revAxisYequals) * cos(v)), (((-f(dxBar)) + revAxisYequals) * sin(v)), v, 0, rotationAngle]) → highlightSurfaceAreaSurface(revAxisXequals + ((dxBar - revAxisXequals) * cos(t)), u, ((dxBar - revAxisXequals) * sin(t)), t, 0, rotationAngle, u, g(dxBar), f(dxBar)) → highlightShellsVerticalSurface(u, revAxisYequals + ((dxBar - revAxisYequals) * cos(t)), ((dxBar - revAxisYequals) * sin(t)), t, 0, rotationAngle, u, g(dxBar), f(dxBar)) → highlightShellsHorizontalSequence(CurveCartesian[revAxisYequals + ((j - revAxisYequals) * cos(v)), dxBar, ((-((-j) + revAxisYequals)) * sin(v)), v, 0, rotationAngle], j, f(dxBar), g(dxBar), ((-(f(dxBar) - g(dxBar)))) / 25) → disksHighlight_{dy}Sequence(CurveCartesian[dxBar, revAxisYequals + ((j - revAxisYequals) * cos(v)), ((-((-j) + revAxisYequals)) * sin(v)), v, 0, rotationAngle], j, f(dxBar), g(dxBar), ((-(f(dxBar) - g(dxBar)))) / 25) → disksHighlight_{dx}Sequence(Circle[(i, revAxisYequals), abs(f(i) - revAxisYequals), xAxis], i, a, b, (b - a) / n) → disksF_{all}Sequence(Circle[(i, revAxisYequals), abs(g(i) - revAxisYequals), xAxis], i, a, b, (b - a) / n) → disksG_{all}Sequence(Element[disksF_{all}, i], i, 1, Length[disksF_{all}], 2) → disksF_1Sequence(Element[disksF_{all}, i], i, 2, Length[disksF_{all}], 2) → disksF_2Sequence(Element[disksG_{all}, i], i, 1, Length[disksG_{all}], 2) → disksG_1Sequence(Element[disksG_{all}, i], i, 2, Length[disksG_{all}], 2) → disksG_2Sequence(Circle[(revAxisXequals, i), abs(f(i) - revAxisXequals), yAxis], i, a, b, (b - a) / n) → disksInverseF_{all}Sequence(Circle[(revAxisXequals, i), abs(g(i) - revAxisXequals), yAxis], i, a, b, (b - a) / n) → disksInverseG_{all}Sequence(Element[disksInverseF_{all}, i], i, 1, Length[disksInverseF_{all}], 2) → disksInverseF_1Sequence(Element[disksInverseF_{all}, i], i, 2, Length[disksInverseF_{all}], 2) → disksInverseF_2Sequence(Element[disksInverseG_{all}, i], i, 1, Length[disksInverseG_{all}], 2) → disksInverseG_1Sequence(Element[disksInverseG_{all}, i], i, 2, Length[disksInverseG_{all}], 2) → disksInverseG_2Sequence(QuadricSide[Cylinder[(revAxisXequals, f(i)), (revAxisXequals, g(i)), i - revAxisXequals]], i, a, b, (b - a) / n) → shells_{all}Sequence(Element[shells_{all}, i], i, 1, Length[shells_{all}], 2) → shells_1Sequence(Element[shells_{all}, i], i, 2, Length[shells_{all}], 2) → shells_2Sequence(QuadricSide[Cylinder[(f(i), revAxisYequals), (g(i), revAxisYequals), i - revAxisYequals]], i, a, b, (b - a) / n) → shellsInverse_{all}Sequence(Element[shellsInverse_{all}, i], i, 1, Length[shellsInverse_{all}], 2) → shellsInverse_1Sequence(Element[shellsInverse_{all}, i], i, 2, Length[shellsInverse_{all}], 2) → shellsInverse_2If(showInverse, Sequence[Segment[(f(i), i), (g(i), i)], i, a, b, dx], Sequence[Segment[(i, f(i)), (i, g(i))], i, a, b, dx]) → segmentSectionElement(segmentSection, dxNum + 1) → highlightSegmentSections2
AI 绘图提示语参考
画一个函数图形,展示积分和面积计算。包含两个函数的图像,以及它们之间的区域。用多个小矩形和梯形来近似这个区域,展示左黎曼和、右黎曼和、梯形求和的近似效果。还包含函数图像关于一条直线的对称图像,以及基于对称图像生成的几何形状,如正方形、等边三角形和矩形,用于展示体积和面积的计算。最后,用这些形状的集合来可视化积分和面积的计算过程。
以上提示语为根据原始绘图命令整理而来,仅供参考。