Proof without words: The third power sum
Loading the math board and drawing, please wait…
This example demonstrates the proof of the sum of cubes through geometric figures. It involves concepts such as cubes, parabolas, geometric means, and symmetry. Using GeoGebra commands like Midpoint and Expand, it constructs multiple points and objects to illustrate the geometric meaning of the sum of cubes. Suitable for high school and above students to learn the geometric proof of the sum of cubes.
GeoGebra Commands & Parameters
If(Angle[F1, G1, H1] < 180°, Polygon[F1, G1, H1, I1]) → J1If(Angle[F1, G1, H1] < 180°, Polygon[F1, G1, H1, I1]) → K1If(Angle[F2, G2, H2] < 180°, Polygon[F2, G2, H2, I2]) → J2If(Angle[F2, G2, H2] < 180°, Polygon[F2, G2, H2, I2]) → K2If(Angle[F3, G3, H3] < 180°, Polygon[F3, G3, H3, I3]) → J3If(Angle[F3, G3, H3] < 180°, Polygon[F3, G3, H3, I3]) → K3If(Angle[L1, M1, N1] < 180°, Polygon[L1, M1, N1, O1]) → P1If(Angle[L1, M1, N1] < 180°, Polygon[L1, M1, N1, O1]) → Q1If(Angle[L2, M2, N2] < 180°, Polygon[L2, M2, N2, O2]) → P2If(Angle[L2, M2, N2] < 180°, Polygon[L2, M2, N2, O2]) → Q2If(Angle[L3, M3, N3] < 180°, Polygon[L3, M3, N3, O3]) → P3If(Angle[L3, M3, N3] < 180°, Polygon[L3, M3, N3, O3]) → Q3If(Angle[F4, G4, H4] < 180°, Polygon[F4, G4, H4, I4]) → J4If(Angle[F4, G4, H4] < 180°, Polygon[F4, G4, H4, I4]) → K4If(Angle[F5, G5, H5] < 180°, Polygon[F5, G5, H5, I5]) → J5If(Angle[F5, G5, H5] < 180°, Polygon[F5, G5, H5, I5]) → K5If(Angle[F6, G6, H6] < 180°, Polygon[F6, G6, H6, I6]) → J6If(Angle[F6, G6, H6] < 180°, Polygon[F6, G6, H6, I6]) → K6If(Angle[L4, M4, N4] < 180°, Polygon[L4, M4, N4, O4]) → P4If(Angle[L4, M4, N4] < 180°, Polygon[L4, M4, N4, O4]) → Q4If(Angle[L5, M5, N5] < 180°, Polygon[L5, M5, N5, O5]) → P5If(Angle[L5, M5, N5] < 180°, Polygon[L5, M5, N5, O5]) → Q5If(Angle[L6, M6, N6] < 180°, Polygon[L6, M6, N6, O6]) → P6If(Angle[L6, M6, N6] < 180°, Polygon[L6, M6, N6, O6]) → Q6If(Angle[F7, G7, H7] < 180°, Polygon[F7, G7, H7, I7]) → J7If(Angle[F7, G7, H7] < 180°, Polygon[F7, G7, H7, I7]) → K7If(Angle[F8, G8, H8] < 180°, Polygon[F8, G8, H8, I8]) → J8If(Angle[F8, G8, H8] < 180°, Polygon[F8, G8, H8, I8]) → K8If(Angle[F9, G9, H9] < 180°, Polygon[F9, G9, H9, I9]) → J9If(Angle[F9, G9, H9] < 180°, Polygon[F9, G9, H9, I9]) → K9If(Angle[L7, M7, N7] < 180°, Polygon[L7, M7, N7, O7]) → P7If(Angle[L7, M7, N7] < 180°, Polygon[L7, M7, N7, O7]) → Q7If(Angle[L8, M8, N8] < 180°, Polygon[L8, M8, N8, O8]) → P8If(Angle[L8, M8, N8] < 180°, Polygon[L8, M8, N8, O8]) → Q8If(Angle[L9, M9, N9] < 180°, Polygon[L9, M9, N9, O9]) → P9If(Angle[L9, M9, N9] < 180°, Polygon[L9, M9, N9, O9]) → Q9If(Angle[F10, G10, H10] < 180°, Polygon[F10, G10, H10, I10]) → J10If(Angle[F10, G10, H10] < 180°, Polygon[F10, G10, H10, I10]) → K10If(Angle[F11, G11, H11] < 180°, Polygon[F11, G11, H11, I11]) → J11If(Angle[F11, G11, H11] < 180°, Polygon[F11, G11, H11, I11]) → K11If(Angle[F12, G12, H12] < 180°, Polygon[F12, G12, H12, I12]) → J12If(Angle[F12, G12, H12] < 180°, Polygon[F12, G12, H12, I12]) → K12If(Angle[L10, M10, N10] < 180°, Polygon[L10, M10, N10, O10]) → P10If(Angle[L10, M10, N10] < 180°, Polygon[L10, M10, N10, O10]) → Q10If(Angle[L11, M11, N11] < 180°, Polygon[L11, M11, N11, O11]) → P11If(Angle[L11, M11, N11] < 180°, Polygon[L11, M11, N11, O11]) → Q11If(Angle[L12, M12, N12] < 180°, Polygon[L12, M12, N12, O12]) → P12If(Angle[L12, M12, N12] < 180°, Polygon[L12, M12, N12, O12]) → Q12If(Angle[F13, G13, H13] < 180°, Polygon[F13, G13, H13, I13]) → J13If(Angle[F13, G13, H13] < 180°, Polygon[F13, G13, H13, I13]) → K13If(Angle[F14, G14, H14] < 180°, Polygon[F14, G14, H14, I14]) → J14If(Angle[F14, G14, H14] < 180°, Polygon[F14, G14, H14, I14]) → K14If(Angle[F15, G15, H15] < 180°, Polygon[F15, G15, H15, I15]) → J15If(Angle[F15, G15, H15] < 180°, Polygon[F15, G15, H15, I15]) → K15If(Angle[L13, M13, N13] < 180°, Polygon[L13, M13, N13, O13]) → P13If(Angle[L13, M13, N13] < 180°, Polygon[L13, M13, N13, O13]) → Q13If(Angle[L14, M14, N14] < 180°, Polygon[L14, M14, N14, O14]) → P14If(Angle[L14, M14, N14] < 180°, Polygon[L14, M14, N14, O14]) → Q14If(Angle[L15, M15, N15] < 180°, Polygon[L15, M15, N15, O15]) → P15If(Angle[L15, M15, N15] < 180°, Polygon[L15, M15, N15, O15]) → Q15If(Angle[F16, G16, H16] < 180°, Polygon[F16, G16, H16, I16]) → J16If(Angle[F16, G16, H16] < 180°, Polygon[F16, G16, H16, I16]) → K16If(Angle[F17, G17, H17] < 180°, Polygon[F17, G17, H17, I17]) → J17If(Angle[F17, G17, H17] < 180°, Polygon[F17, G17, H17, I17]) → K17If(Angle[F18, G18, H18] < 180°, Polygon[F18, G18, H18, I18]) → J18If(Angle[F18, G18, H18] < 180°, Polygon[F18, G18, H18, I18]) → K18If(Angle[L16, M16, N16] < 180°, Polygon[L16, M16, N16, O16]) → P16If(Angle[L16, M16, N16] < 180°, Polygon[L16, M16, N16, O16]) → Q16If(Angle[L17, M17, N17] < 180°, Polygon[L17, M17, N17, O17]) → P17If(Angle[L17, M17, N17] < 180°, Polygon[L17, M17, N17, O17]) → Q17If(Angle[L18, M18, N18] < 180°, Polygon[L18, M18, N18, O18]) → P18If(Angle[L18, M18, N18] < 180°, Polygon[L18, M18, N18, O18]) → Q18If(Angle[F19, G19, H19] < 180°, Polygon[F19, G19, H19, I19]) → J19If(Angle[F19, G19, H19] < 180°, Polygon[F19, G19, H19, I19]) → K19If(Angle[F20, G20, H20] < 180°, Polygon[F20, G20, H20, I20]) → J20If(Angle[F20, G20, H20] < 180°, Polygon[F20, G20, H20, I20]) → K20If(Angle[F21, G21, H21] < 180°, Polygon[F21, G21, H21, I21]) → J21If(Angle[F21, G21, H21] < 180°, Polygon[F21, G21, H21, I21]) → K21If(Angle[L19, M19, N19] < 180°, Polygon[L19, M19, N19, O19]) → P19If(Angle[L19, M19, N19] < 180°, Polygon[L19, M19, N19, O19]) → Q19If(Angle[L20, M20, N20] < 180°, Polygon[L20, M20, N20, O20]) → P20If(Angle[L20, M20, N20] < 180°, Polygon[L20, M20, N20, O20]) → Q20If(Angle[L21, M21, N21] < 180°, Polygon[L21, M21, N21, O21]) → P21If(Angle[L21, M21, N21] < 180°, Polygon[L21, M21, N21, O21]) → Q21If(Angle[F22, G22, H22] < 180°, Polygon[F22, G22, H22, I22]) → J22If(Angle[F22, G22, H22] < 180°, Polygon[F22, G22, H22, I22]) → K22If(Angle[F23, G23, H23] < 180°, Polygon[F23, G23, H23, I23]) → J23If(Angle[F23, G23, H23] < 180°, Polygon[F23, G23, H23, I23]) → K23If(Angle[F24, G24, H24] < 180°, Polygon[F24, G24, H24, I24]) → J24If(Angle[F24, G24, H24] < 180°, Polygon[F24, G24, H24, I24]) → K24If(Angle[L22, M22, N22] < 180°, Polygon[L22, M22, N22, O22]) → P22If(Angle[L22, M22, N22] < 180°, Polygon[L22, M22, N22, O22]) → Q22If(Angle[L23, M23, N23] < 180°, Polygon[L23, M23, N23, O23]) → P23If(Angle[L23, M23, N23] < 180°, Polygon[L23, M23, N23, O23]) → Q23If(Angle[L24, M24, N24] < 180°, Polygon[L24, M24, N24, O24]) → P24If(Angle[L24, M24, N24] < 180°, Polygon[L24, M24, N24, O24]) → Q24Defined(P1) → R1Defined(P2) → R2Defined(P3) → R3Defined(P4) → R4Defined(P5) → R5Defined(P6) → R6Defined(P7) → R7Defined(P8) → R8Defined(P9) → R9Defined(P10) → R10Defined(P11) → R11Defined(P12) → R12Defined(P13) → R13Defined(P14) → R14Defined(P15) → R15Defined(P16) → R16Defined(P17) → R17Defined(P18) → R18Defined(P19) → R19Defined(P20) → R20Defined(P21) → R21Defined(P22) → R22Defined(P23) → R23Defined(P24) → R24If(S1 ∨ T1, P1) → U1If(S2 ∨ T2, P2) → U2If(S3 ∨ T3, P3) → U3If(S4 ∨ T4, P4) → U4If(S5 ∨ T5, P5) → U5If(S6 ∨ T6, P6) → U6If(S7 ∨ T7, P7) → U7If(S8 ∨ T8, P8) → U8If(S9 ∨ T9, P9) → U9If(S10 ∨ T10, P10) → U10If(S11 ∨ T11, P11) → U11If(S12 ∨ T12, P12) → U12If(S13 ∨ T13, P13) → U13If(S14 ∨ T14, P14) → U14If(S15 ∨ T15, P15) → U15If(S16 ∨ T16, P16) → U16If(S17 ∨ T17, P17) → U17If(S18 ∨ T18, P18) → U18If(S19 ∨ T19, P19) → U19If(S20 ∨ T20, P20) → U20If(S21 ∨ T21, P21) → U21If(S22 ∨ T22, P22) → U22If(S23 ∨ T23, P23) → U23If(S24 ∨ T24, P24) → U24If(S1 ∨ T1, Q1) → V1If(S2 ∨ T2, Q2) → V2If(S3 ∨ T3, Q3) → V3If(S4 ∨ T4, Q4) → V4If(S5 ∨ T5, Q5) → V5If(S6 ∨ T6, Q6) → V6If(S7 ∨ T7, Q7) → V7If(S8 ∨ T8, Q8) → V8If(S9 ∨ T9, Q9) → V9If(S10 ∨ T10, Q10) → V10If(S11 ∨ T11, Q11) → V11If(S12 ∨ T12, Q12) → V12If(S13 ∨ T13, Q13) → V13If(S14 ∨ T14, Q14) → V14If(S15 ∨ T15, Q15) → V15If(S16 ∨ T16, Q16) → V16If(S17 ∨ T17, Q17) → V17If(S18 ∨ T18, Q18) → V18If(S19 ∨ T19, Q19) → V19If(S20 ∨ T20, Q20) → V20If(S21 ∨ T21, Q21) → V21If(S22 ∨ T22, Q22) → V22If(S23 ∨ T23, Q23) → V23If(S24 ∨ T24, Q24) → V24Defined(U1) → W1Defined(U2) → W2Defined(U3) → W3Defined(U4) → W4Defined(U5) → W5Defined(U6) → W6Defined(U7) → W7Defined(U8) → W8Defined(U9) → W9Defined(U10) → W10Defined(U11) → W11Defined(U12) → W12Defined(U13) → W13Defined(U14) → W14Defined(U15) → W15Defined(U16) → W16Defined(U17) → W17Defined(U18) → W18Defined(U19) → W19Defined(U20) → W20Defined(U21) → W21Defined(U22) → W22Defined(U23) → W23Defined(U24) → W24If(X1 ∨ Y1, U1) → Z1If(X2 ∨ Y2, U2) → Z2If(X3 ∨ Y3, U3) → Z3If(X4 ∨ Y4, U4) → Z4If(X5 ∨ Y5, U5) → Z5If(X6 ∨ Y6, U6) → Z6If(X7 ∨ Y7, U7) → Z7If(X8 ∨ Y8, U8) → Z8If(X9 ∨ Y9, U9) → Z9If(X10 ∨ Y10, U10) → Z10If(X11 ∨ Y11, U11) → Z11If(X12 ∨ Y12, U12) → Z12If(X13 ∨ Y13, U13) → Z13If(X14 ∨ Y14, U14) → Z14If(X15 ∨ Y15, U15) → Z15If(X16 ∨ Y16, U16) → Z16If(X17 ∨ Y17, U17) → Z17If(X18 ∨ Y18, U18) → Z18If(X19 ∨ Y19, U19) → Z19If(X20 ∨ Y20, U20) → Z20If(X21 ∨ Y21, U21) → Z21If(X22 ∨ Y22, U22) → Z22If(X23 ∨ Y23, U23) → Z23If(X24 ∨ Y24, U24) → Z24If(X1 ∨ Y1, V1) → AA1If(X2 ∨ Y2, V2) → AA2If(X3 ∨ Y3, V3) → AA3If(X4 ∨ Y4, V4) → AA4If(X5 ∨ Y5, V5) → AA5If(X6 ∨ Y6, V6) → AA6If(X7 ∨ Y7, V7) → AA7If(X8 ∨ Y8, V8) → AA8If(X9 ∨ Y9, V9) → AA9If(X10 ∨ Y10, V10) → AA10If(X11 ∨ Y11, V11) → AA11If(X12 ∨ Y12, V12) → AA12If(X13 ∨ Y13, V13) → AA13If(X14 ∨ Y14, V14) → AA14If(X15 ∨ Y15, V15) → AA15If(X16 ∨ Y16, V16) → AA16If(X17 ∨ Y17, V17) → AA17If(X18 ∨ Y18, V18) → AA18If(X19 ∨ Y19, V19) → AA19If(X20 ∨ Y20, V20) → AA20If(X21 ∨ Y21, V21) → AA21If(X22 ∨ Y22, V22) → AA22If(X24 ∨ Y24, V24) → AA24Midpoint(G6, F4) → AMidpoint(F7, G7) → BMidpoint(F10, G10) → DMidpoint(G9, F7) → EMidpoint(F1, G2) → FMidpoint(G4, F4) → GMidpoint(F4, G5) → HMidpoint(G18, F16) → I