SPM Additional Mathematics: Complete Mathematical Proofs and Formula Derivations Guide

Overview and Compilation Details

  • Purpose and Scope:

    • This study guide provides definitive mathematical proofs and systematic derivations of core formulas and theorems within the SPM Additional Mathematics syllabus (covering both Form 4 and Form 5 curriculums).
    • It serves as a comprehensive reference for educators and students to understand the conceptual origins and mechanical progressions behind standard mathematical formulas rather than relying on rote memorization.
  • Author and Editorial Acknowledgements:

    • Author: Cikgu Muhammad Fazdhly bin Abdul Muttalib, Guru Cemerlang Matematik Tambahan, based in Ipoh, Perak.
    • Reviewers and Collaborators:
    • En Ku Haslizam bin Ku Azmi (Guru Cemerlang Matematik)
    • En Haris Fadzli bin Awang (AMSG Administrator)
    • En Aizuddin bin Yusoff (AMSG Administrator)
    • En Noor Ishak bin Mohd Salleh (AMSG Administrator)
    • En Clemente Chock (AMSG Administrator)
    • Release Information: First released on 28 June 2021 as a continuous charitable contribution (amal jariah) to aid candidates sitting for the SPM examinations.
  • Underlying References:

    • The derivations synthesize personal pedagogical expertise, selected international mathematical references, and local Malaysian educational texts spanning IPTA publications, STPM syllabi, KBSM textbooks, and KSSM secondary school textbooks.

Functions: Inverse Function Verification and Composite Functions

  • Theoretical Invertibility Condition:

    • Two functions f(x)f(x) and g(x)g(x) are strictly inverse to one another if and only if their compositions in both directions yield the identity function:     fg(x)=f[g(x)]=xfg(x) = f[g(x)] = xgf(x)=g[f(x)]=xgf(x) = g[f(x)] = x
    • If either composite condition evaluates to anything other than xx, the function g(x)g(x) cannot be considered the inverse function of f(x)f(x).
  • Counterexample Problem:

    • Given f(x)=x2f(x) = x^2 for x≥0x \ge 0 and g(x)=−xg(x) = -\sqrt{x} for x≥0x \ge 0.
    • Determine fg(x)fg(x) and gf(x)gf(x), and conclude whether g(x)g(x) is the inverse function of f(x)f(x).
  • Step-by-Step Composition Derivation:

    • Evaluating fg(x)fg(x):     fg(x)=f[g(x)]fg(x) = f[g(x)]fg(x)=(−x)2fg(x) = (-\sqrt{x})^2fg(x)=xfg(x) = x
    • Evaluating gf(x)gf(x):     gf(x)=g[f(x)]gf(x) = g[f(x)]gf(x)=−x2gf(x) = -\sqrt{x^2}gf(x)=−xgf(x) = -x
  • Conclusion:

    • Because gf(x)=−x≠xgf(x) = -x \ne x, the function g(x)g(x) is not the inverse function of f(x)f(x).

Quadratic Functions and Equations

  • Derivation of the Quadratic Formula:

    • Given the general quadratic equation:     ax2+bx+c=0ax^2 + bx + c = 0     where aa, bb, and cc are constants, with a≠0a \ne 0.
    • Factor out the coefficient aa or divide through by aa:     x2+bax+ca=0x^2 + \frac{b}{a}x + \frac{c}{a} = 0
    • Apply the method of completing the square by adding and subtracting  (b2a)2\,\left(\frac{b}{2a}\right)^2:     (x+b2a)2−(b2a)2+ca=0\left(x + \frac{b}{2a}\right)^2 - \left(\frac{b}{2a}\right)^2 + \frac{c}{a} = 0
    • Expand and isolate the squared binomial:     (x+b2a)2−b24a2+ca=0\left(x + \frac{b}{2a}\right)^2 - \frac{b^2}{4a^2} + \frac{c}{a} = 0(x+b2a)2=b24a2−ca\left(x + \frac{b}{2a}\right)^2 = \frac{b^2}{4a^2} - \frac{c}{a}
    • Establish a common denominator of 4a24a^2 on the right-hand side:     (x+b2a)2=b2−4ac4a2\left(x + \frac{b}{2a}\right)^2 = \frac{b^2 - 4ac}{4a^2}
    • Take the square root of both sides:     x+b2a=±b2−4ac4a2x + \frac{b}{2a} = \pm \sqrt{\frac{b^2 - 4ac}{4a^2}}x+b2a=±b2−4ac2ax + \frac{b}{2a} = \pm \frac{\sqrt{b^2 - 4ac}}{2a}
    • Solve explicitly for xx to yield the quadratic formula:     x=−b2a±b2−4ac2ax = -\frac{b}{2a} \pm \frac{\sqrt{b^2 - 4ac}}{2a}x=−b±b2−4ac2ax = \frac{-b \pm \sqrt{b^2 - 4ac}}{2a}
  • Derivation of the Sum of Roots (SOR) and Product of Roots (POR):

    • Given that the roots of ax2+bx+c=0ax^2 + bx + c = 0 are α\alpha and β\beta.
    • Divide the quadratic equation by aa to obtain the monic standard form:     x2+bax+ca=0— (1)x^2 + \frac{b}{a}x + \frac{c}{a} = 0 \quad \text{--- (1)}
    • Express the quadratic equation in terms of its linear root factors:     (x−α)(x−β)=0(x - \alpha)(x - \beta) = 0
    • Expand the linear factors:     x2−αx−βx+αβ=0x^2 - \alpha x - \beta x + \alpha\beta = 0x2−(α+β)x+αβ=0— (2)x^2 - (\alpha + \beta)x + \alpha\beta = 0 \quad \text{--- (2)}
    • Equate corresponding coefficients between equation (1) and equation (2):
    • Equating the coefficient of xx:       −(α+β)=ba  ⟹  α+β=−ba-(\alpha + \beta) = \frac{b}{a} \implies \alpha + \beta = -\frac{b}{a}
    • Equating the constant term:       αβ=ca\alpha\beta = \frac{c}{a}

Laws of Logarithms

  • The Product Law of Logarithms:

    • Objective: Prove that log⁡a(mn)=log⁡a(m)+log⁡a(n)\log_a(mn) = \log_a(m) + \log_a(n).
    • Let:     m=ax  ⟹  log⁡a(m)=xm = a^x \implies \log_a(m) = xn=ay  ⟹  log⁡a(n)=yn = a^y \implies \log_a(n) = y
    • Multiply the two terms using the index law for multiplication:     mn=ax×aymn = a^x \times a^ymn=ax+ymn = a^{x+y}
    • Apply the fundamental definition of a logarithm with base aa:     log⁡a(mn)=x+y\log_a(mn) = x + y
    • Substitute back the expressions for xx and yy:     log⁡a(mn)=log⁡a(m)+log⁡a(n)\log_a(mn) = \log_a(m) + \log_a(n)
  • The Quotient Law of Logarithms:

    • Objective: Prove that log⁡a(mn)=log⁡a(m)−log⁡a(n)\log_a\left(\frac{m}{n}\right) = \log_a(m) - \log_a(n).
    • Let:     m=ax  ⟹  log⁡a(m)=xm = a^x \implies \log_a(m) = xn=ay  ⟹  log⁡a(n)=yn = a^y \implies \log_a(n) = y
    • Divide the two terms using the index law for division:     mn=axay\frac{m}{n} = \frac{a^x}{a^y}mn=ax−y\frac{m}{n} = a^{x-y}
    • Apply the fundamental definition of a logarithm with base aa:     log⁡a(mn)=x−y\log_a\left(\frac{m}{n}\right) = x - y
    • Substitute back xx and yy:     log⁡a(mn)=log⁡a(m)−log⁡a(n)\log_a\left(\frac{m}{n}\right) = \log_a(m) - \log_a(n)
  • The Change of Base Formula:

    • Objective: For positive real numbers aa, bb, and cc, where a≠1a \ne 1 and c≠1c \ne 1, prove:     log⁡a(b)=log⁡c(b)log⁡c(a)\log_a(b) = \frac{\log_c(b)}{\log_c(a)}
    • Let:     log⁡a(b)=x\log_a(b) = x
    • Convert into equivalent index/exponential form:     ax=ba^x = b
    • Take the logarithm of base cc on both sides:     log⁡c(ax)=log⁡c(b)\log_c(a^x) = \log_c(b)
    • Apply the power rule of logarithms on the left-hand side:     xlog⁡c(a)=log⁡c(b)x\log_c(a) = \log_c(b)
    • Isolate xx by dividing by log⁡c(a)\log_c(a):     x=log⁡c(b)log⁡c(a)x = \frac{\log_c(b)}{\log_c(a)}
    • Since x=log⁡a(b)x = \log_a(b), substitution gives:     log⁡a(b)=log⁡c(b)log⁡c(a)\log_a(b) = \frac{\log_c(b)}{\log_c(a)}

Arithmetic and Geometric Progressions

  • Sum of the First nn Terms of an Arithmetic Progression (SnS_n):

    • Let an arithmetic progression have first term aa and common difference dd.
    • The sum of the first nn terms is written in ascending order of terms:     Sn=T1+T2+T3+⋯+TnS_n = T_1 + T_2 + T_3 + \dots + T_nSn=a+[a+d]+[a+2d]+⋯+[a+(n−1)d]— (1)S_n = a + [a + d] + [a + 2d] + \dots + [a + (n-1)d] \quad \text{--- (1)}
    • Rewrite the exact sum in descending order of terms:     Sn=[a+(n−1)d]+[a+(n−2)d]+[a+(n−3)d]+⋯+a— (2)S_n = [a + (n-1)d] + [a + (n-2)d] + [a + (n-3)d] + \dots + a \quad \text{--- (2)}
    • Add equations (1) and (2) term by term:     2Sn=[2a+(n−1)d]+[2a+(n−1)d]+[2a+(n−1)d]+⋯+[2a+(n−1)d]2S_n = [2a + (n-1)d] + [2a + (n-1)d] + [2a + (n-1)d] + \dots + [2a + (n-1)d]
    • Because there are exactly nn identical terms in the summation:     2Sn=n[2a+(n−1)d]2S_n = n[2a + (n-1)d]
    • Divide by 22:     Sn=n2[2a+(n−1)d]S_n = \frac{n}{2}[2a + (n-1)d]
  • Alternative Form of SnS_n Using the Last Term (ll):

    • Beginning from the derived formula:     Sn=n2[2a+(n−1)d]S_n = \frac{n}{2}[2a + (n-1)d]
    • Decompose the term 2a2a into a+aa + a:     Sn=n2[a+a+(n−1)d]S_n = \frac{n}{2}[a + a + (n-1)d]
    • Recognize that Tn=a+(n−1)d=lT_n = a + (n-1)d = l, where ll is the last term of the sequence:     Sn=n2[a+Tn]S_n = \frac{n}{2}[a + T_n]Sn=n2[a+l]S_n = \frac{n}{2}[a + l]
  • Sum of the First nn Terms of a Geometric Progression (SnS_n for r>1r > 1):

    • Let a geometric progression have first term aa and common ratio rr.
    • Express the sum of nn terms:     Sn=a+ar+ar2+⋯+arn−1— (1)S_n = a + ar + ar^2 + \dots + ar^{n-1} \quad \text{--- (1)}
    • Multiply equation (1) across by the common ratio rr:     rSn=ar+ar2+ar3+⋯+arn— (2)rS_n = ar + ar^2 + ar^3 + \dots + ar^n \quad \text{--- (2)}
    • Subtract equation (1) from equation (2):     rSn−Sn=(ar+ar2+ar3+⋯+arn)−(a+ar+ar2+⋯+arn−1)rS_n - S_n = (ar + ar^2 + ar^3 + \dots + ar^n) - (a + ar + ar^2 + \dots + ar^{n-1})
    • All intermediate terms cancel out:     Sn(r−1)=arn−aS_n(r - 1) = ar^n - aSn(r−1)=a(rn−1)S_n(r - 1) = a(r^n - 1)
    • Divide through by (r−1)(r - 1) for r>1r > 1:     Sn=a(rn−1)r−1S_n = \frac{a(r^n - 1)}{r - 1}
  • Sum of the First nn Terms of a Geometric Progression (SnS_n for r<1r < 1):

    • Subtract equation (2) from equation (1):     Sn−rSn=(a+ar+ar2+⋯+arn−1)−(ar+ar2+ar3+⋯+arn)S_n - rS_n = (a + ar + ar^2 + \dots + ar^{n-1}) - (ar + ar^2 + ar^3 + \dots + ar^n)
    • Factor out SnS_n on the left and aa on the right:     Sn(1−r)=a−arnS_n(1 - r) = a - ar^nSn(1−r)=a(1−rn)S_n(1 - r) = a(1 - r^n)
    • Divide through by (1−r)(1 - r) for r<1r < 1:     Sn=a(1−rn)1−rS_n = \frac{a(1 - r^n)}{1 - r}
  • Sum to Infinity (S∞S_\infty) of a Geometric Progression:

    • Consider the sum formula for ∣r∣<1|r| < 1:     Sn=a(1−rn)1−rS_n = \frac{a(1 - r^n)}{1 - r}
    • As the number of terms approaches infinity (n→∞n \to \infty), the term rnr^n decays towards zero:     lim⁡n→∞rn=0\lim_{n \to \infty} r^n = 0(For example, taking a fraction such as 0.399999≈00.399999 \approx 0 when raised to an extremely high power)
    • Therefore, (1−rn)→(1−0)=1(1 - r^n) \to (1 - 0) = 1.
    • Substituting this limit into the sum yields:     S∞=a(1)1−rS_\infty = \frac{a(1)}{1 - r}S∞=a1−r,∣r∣<1S_\infty = \frac{a}{1 - r}, \quad |r| < 1

Coordinate Geometry

  • Division of a Line Segment (Section Formula):

Line segment AB divided by point P in ratio m to n

  • Problem Definition: Point P(x,y)P(x, y) divides the line segment joining A(x1,y1)A(x_1, y_1) and B(x2,y2)B(x_2, y_2) internally in the ratio m:nm : n.

  • Derivation via Ratio of Displacements (Method 1):

    • Comparing horizontal displacements:       x−x1x2−x=mn\frac{x - x_1}{x_2 - x} = \frac{m}{n}n(x−x1)=m(x2−x)n(x - x_1) = m(x_2 - x)nx−nx1=mx2−mxnx - nx_1 = mx_2 - mxnx+mx=nx1+mx2nx + mx = nx_1 + mx_2x(m+n)=nx1+mx2x(m + n) = nx_1 + mx_2x=nx1+mx2m+nx = \frac{nx_1 + mx_2}{m + n}
    • Comparing vertical displacements:       y−y1y2−y=mn\frac{y - y_1}{y_2 - y} = \frac{m}{n}n(y−y1)=m(y2−y)n(y - y_1) = m(y_2 - y)ny−ny1=my2−myny - ny_1 = my_2 - myny+my=ny1+my2ny + my = ny_1 + my_2y(m+n)=ny1+my2y(m + n) = ny_1 + my_2y=ny1+my2m+ny = \frac{ny_1 + my_2}{m + n}
    • Consequently, the coordinates of PP are:       (x,y)=(nx1+mx2m+n,ny1+my2m+n)(x, y) = \left(\frac{nx_1 + mx_2}{m + n}, \frac{ny_1 + my_2}{m + n}\right)
  • Alternative Derivation via Fractional Vector Displacement (Method 2):

    • Position xx calculated from x1x_1 added to the fraction mm+n\frac{m}{m+n} of the total run (x2−x1)(x_2 - x_1):       x=x1+mm+n(x2−x1)x = x_1 + \frac{m}{m + n}(x_2 - x_1)x=x1(m+n)+m(x2−x1)m+nx = \frac{x_1(m + n) + m(x_2 - x_1)}{m + n}x=mx1+nx1+mx2−mx1m+nx = \frac{mx_1 + nx_1 + mx_2 - mx_1}{m + n}x=nx1+mx2m+nx = \frac{nx_1 + mx_2}{m + n}

    • Similarly, for the vertical coordinate yy:       y=y1+mm+n(y2−y1)y = y_1 + \frac{m}{m + n}(y_2 - y_1)y=y1(m+n)+m(y2−y1)m+ny = \frac{y_1(m + n) + m(y_2 - y_1)}{m + n}y=my1+ny1+my2−my1m+ny = \frac{my_1 + ny_1 + my_2 - my_1}{m + n}y=ny1+my2m+ny = \frac{ny_1 + my_2}{m + n}

    • Yielding the identical coordinate formula:       (x,y)=(nx1+mx2m+n,ny1+my2m+n)(x, y) = \left(\frac{nx_1 + mx_2}{m + n}, \frac{ny_1 + my_2}{m + n}\right)

    • Gradients of Parallel Lines:

  • Let straight lines L1L_1 and L2L_2 be parallel.

  • Let θ1\theta_1 and θ2\theta_2 denote the inclination angles made by L1L_1 and L2L_2 with the positive direction of the xx-axis, respectively.

  • By the geometric property of corresponding angles between parallel transversals:     θ1=θ2\theta_1 = \theta_2

  • Applying the tangent definition of gradient (m=tan⁡(θ)m = \tan(\theta)):     tan⁡(θ1)=tan⁡(θ2)\tan(\theta_1) = \tan(\theta_2)m1=m2m_1 = m_2

    • Gradients of Perpendicular Lines:
  • Let two straight lines L1L_1 and L2L_2 intersect perpendicularly at point PP, with inclination angles θ1\theta_1 and θ2\theta_2 relative to the positive xx-axis.

  • The geometric relation between the angles is:     θ2=θ1+90∘\theta_2 = \theta_1 + 90^\circ

  • Taking the tangent of both sides:     tan⁡(θ2)=tan⁡(θ1+90∘)\tan(\theta_2) = \tan(\theta_1 + 90^\circ)

  • Using the trigonometric identity for an angle shifted into the second quadrant (where tan⁡(θ+90∘)=−1tan⁡(θ)\tan(\theta + 90^\circ) = -\frac{1}{\tan(\theta)}):     tan⁡(θ2)=−1tan⁡(θ1)\tan(\theta_2) = -\frac{1}{\tan(\theta_1)}

  • Substituting gradients m1=tan⁡(θ1)m_1 = \tan(\theta_1) and m2=tan⁡(θ2)m_2 = \tan(\theta_2):     m2=−1m1m_2 = -\frac{1}{m_1}m1m2=−1m_1 m_2 = -1

    • Area of a Triangle on a Cartesian Plane (Shoelace Formula):
  • Let vertices of triangle ABCABC be defined as A(x1,y1)A(x_1, y_1), B(x2,y2)B(x_2, y_2), and C(x3,y3)C(x_3, y_3).

  • Construct boundary perpendiculars onto the axes to divide the encompassing region into geometric components: triangle ABEABE, trapezium ACDEACDE, and triangle BCDBCD.

  • Calculate component areas:

    • Area of triangle ABEABE (A1A_1):       A1=12(x1−x2)(y1−y2)=12(x1y1−x1y2−x2y1+x2y2)A_1 = \frac{1}{2}(x_1 - x_2)(y_1 - y_2) = \frac{1}{2}(x_1 y_1 - x_1 y_2 - x_2 y_1 + x_2 y_2)
    • Area of trapezium ACDEACDE (A2A_2):       A2=12[(y1−y2)+(y3−y2)](x3−x1)A_2 = \frac{1}{2}[(y_1 - y_2) + (y_3 - y_2)](x_3 - x_1)A2=12(x3y1−x1y1+x3y3−x1y3−2x3y2+2x1y2)A_2 = \frac{1}{2}(x_3 y_1 - x_1 y_1 + x_3 y_3 - x_1 y_3 - 2x_3 y_2 + 2x_1 y_2)
    • Area of triangle BCDBCD (A3A_3):       A3=12(x3−x2)(y3−y2)=12(x3y3−x3y2−x2y3+x2y2)A_3 = \frac{1}{2}(x_3 - x_2)(y_3 - y_2) = \frac{1}{2}(x_3 y_3 - x_3 y_2 - x_2 y_3 + x_2 y_2)
  • The total area of △ABC\triangle ABC is given by combining the composite regions (A1+A2−A3A_1 + A_2 - A_3):     Area=A1+A2−A3\text{Area} = A_1 + A_2 - A_3Area=12∣x1y2+x2y3+x3y1−x2y1−x3y2−x1y3∣\text{Area} = \frac{1}{2} |x_1 y_2 + x_2 y_3 + x_3 y_1 - x_2 y_1 - x_3 y_2 - x_1 y_3|

Solution of Triangles

  • The Sine Rule:

    • Let triangle ABCABC have side lengths AB=cAB = c, AC=bAC = b, and altitude AD=tAD = t perpendicular to BCBC.
    • In right-angled triangle ABDABD:     sin⁡(B)=tc  ⟹  t=csin⁡(B)— (1)\sin(B) = \frac{t}{c} \implies t = c\sin(B) \quad \text{--- (1)}
    • In right-angled triangle ACDACD:     sin⁡(C)=tb  ⟹  t=bsin⁡(C)— (2)\sin(C) = \frac{t}{b} \implies t = b\sin(C) \quad \text{--- (2)}
    • Equate equations (1) and (2):     bsin⁡(C)=csin⁡(B)b\sin(C) = c\sin(B)
    • Divide through by sin⁡(B)sin⁡(C)\sin(B)\sin(C):     bsin⁡(B)=csin⁡(C)\frac{b}{\sin(B)} = \frac{c}{\sin(C)}
  • The Cosine Rule (Acute Angle Case):

    • In triangle PQRPQR, let side lengths be PQ=rPQ = r, PR=qPR = q, and QR=pQR = p.
    • Drop a perpendicular altitude PS=tPS = t onto base QRQR. Divide QRQR into segments QS=xQS = x and SR=p−xSR = p - x.
    • In right-angled triangle PQSPQS:     t2=r2−x2— (1)t^2 = r^2 - x^2 \quad \text{--- (1)}cos⁡(Q)=xr  ⟹  x=rcos⁡(Q)— (2)\cos(Q) = \frac{x}{r} \implies x = r\cos(Q) \quad \text{--- (2)}
    • In right-angled triangle PSRPSR, apply Pythagoras' theorem:     q2=t2+(p−x)2q^2 = t^2 + (p - x)^2q2=t2+p2−2px+x2— (3)q^2 = t^2 + p^2 - 2px + x^2 \quad \text{--- (3)}
    • Substitute equations (1) and (2) into (3):     q2=(r2−x2)+p2−2p(rcos⁡(Q))+x2q^2 = (r^2 - x^2) + p^2 - 2p(r\cos(Q)) + x^2q2=p2+r2−2prcos⁡(Q)q^2 = p^2 + r^2 - 2pr\cos(Q)
  • The Cosine Rule (Obtuse Angle Case):

    • Let angle QQ be obtuse. Extend base RQRQ beyond QQ to meet the perpendicular altitude PS=tPS = t at point SS.
    • Let SQ=xSQ = x; the total base of the large right-angled triangle PSRPSR is SR=p+xSR = p + x.
    • In right-angled triangle PQSPQS:     t2=r2−x2— (1)t^2 = r^2 - x^2 \quad \text{--- (1)}cos⁡(180∘−Q)=xr  ⟹  −cos⁡(Q)=xr  ⟹  x=−rcos⁡(Q)— (2)\cos(180^\circ - Q) = \frac{x}{r} \implies -\cos(Q) = \frac{x}{r} \implies x = -r\cos(Q) \quad \text{--- (2)}
    • In right-angled triangle PSRPSR:     q2=t2+(p+x)2q^2 = t^2 + (p + x)^2q2=t2+p2+2px+x2— (3)q^2 = t^2 + p^2 + 2px + x^2 \quad \text{--- (3)}
    • Substitute equations (1) and (2) into (3):     q2=(r2−x2)+p2+2p(−rcos⁡(Q))+x2q^2 = (r^2 - x^2) + p^2 + 2p(-r\cos(Q)) + x^2q2=p2+r2−2prcos⁡(Q)q^2 = p^2 + r^2 - 2pr\cos(Q)
  • Area of a Triangle Using Sine:

    • Let triangle PQRPQR have side lengths PQ=rPQ = r, PR=qPR = q, with base PRPR.
    • Construct perpendicular altitude QS=tQS = t to the line containing PRPR.
    • The standard geometric area formula is:     Area=12×base×height=12qt— (1)\text{Area} = \frac{1}{2} \times \text{base} \times \text{height} = \frac{1}{2}qt \quad \text{--- (1)}
    • From right-angled triangle PQSPQS:     sin⁡(P)=tr  ⟹  t=rsin⁡(P)— (2)\sin(P) = \frac{t}{r} \implies t = r\sin(P) \quad \text{--- (2)}
    • Substitute equation (2) into equation (1):     Area=12qrsin⁡(P)\text{Area} = \frac{1}{2}qr\sin(P)

Circular Measure

  • Arc Length Formula (s=jθs = j\theta):

    • Consider sector OABOAB of a circle with center OO, radius jj, and central angle θ\theta measured in radians.
    • Form a ratio of the arc length to total circumference relative to the central angle compared to a full revolution (2π rad2\pi\text{ rad}):     Arc lengthCircumference=Subtended central angle2π\frac{\text{Arc length}}{\text{Circumference}} = \frac{\text{Subtended central angle}}{2\pi}s2πj=θ2π\frac{s}{2\pi j} = \frac{\theta}{2\pi}
    • Cancel 2π2\pi from both denominators:     s=jθs = j\theta
  • Area of a Sector Formula (L=12j2θL = \frac{1}{2}j^2\theta):

    • Form a ratio of the sector area to total circular area relative to the central angle compared to a full revolution:     Area of sectorArea of circle=Subtended central angle2π\frac{\text{Area of sector}}{\text{Area of circle}} = \frac{\text{Subtended central angle}}{2\pi}Lπj2=θ2π\frac{L}{\pi j^2} = \frac{\theta}{2\pi}
    • Cancel π\pi from both sides and cross-multiply j2j^2:     L=12j2θL = \frac{1}{2}j^2\theta

Differentiation: Foundational Rules from First Principles

  • Inductive Derivation of the Power Rule:

    • Observing progressive polynomials and their first derivatives:
    • For y=6xy = 6x, dydx=6=6(1)x1−1\frac{dy}{dx} = 6 = 6(1)x^{1-1}
    • For y=6x2y = 6x^2, dydx=12x=6(2)x2−1\frac{dy}{dx} = 12x = 6(2)x^{2-1}
    • For y=6x3y = 6x^3, dydx=18x2=6(3)x3−1\frac{dy}{dx} = 18x^2 = 6(3)x^{3-1}
    • By mathematical induction across positive integers nn:     If y=6xn,dydx=6nxn−1\text{If } y = 6x^n, \quad \frac{dy}{dx} = 6nx^{n-1}
  • Sum Rule from First Principles:

    • Objective: Prove that ddx[f(x)+g(x)]=f′(x)+g′(x)\frac{d}{dx}[f(x) + g(x)] = f'(x) + g'(x).
    • Define y=f(x)+g(x)y = f(x) + g(x).
    • Introduce small increments δx\delta x and δy\delta y:     y+δy=f(x+δx)+g(x+δx)y + \delta y = f(x + \delta x) + g(x + \delta x)δy=[f(x+δx)+g(x+δx)]−[f(x)+g(x)]\delta y = [f(x + \delta x) + g(x + \delta x)] - [f(x) + g(x)]δy=[f(x+δx)−f(x)]+[g(x+δx)−g(x)]\delta y = [f(x + \delta x) - f(x)] + [g(x + \delta x) - g(x)]
    • Divide across by δx\delta x:     δyδx=f(x+δx)−f(x)δx+g(x+δx)−g(x)δx\frac{\delta y}{\delta x} = \frac{f(x + \delta x) - f(x)}{\delta x} + \frac{g(x + \delta x) - g(x)}{\delta x}
    • Take the limit as δx→0\delta x \to 0:     dydx=lim⁡δx→0f(x+δx)−f(x)δx+lim⁡δx→0g(x+δx)−g(x)δx\frac{dy}{dx} = \lim_{\delta x \to 0} \frac{f(x + \delta x) - f(x)}{\delta x} + \lim_{\delta x \to 0} \frac{g(x + \delta x) - g(x)}{\delta x}ddx[f(x)+g(x)]=f′(x)+g′(x)\frac{d}{dx}[f(x) + g(x)] = f'(x) + g'(x)
  • Product Rule from First Principles (Functional Notation):

    • Objective: Prove that ddx[u(x)v(x)]=u(x)v′(x)+v(x)u′(x)\frac{d}{dx}[u(x)v(x)] = u(x)v'(x) + v(x)u'(x).
    • Let y=u(x)v(x)y = u(x)v(x).
    • Express the incremented function:     y+δy=u(x+δx)v(x+δx)y + \delta y = u(x + \delta x)v(x + \delta x)δy=u(x+δx)v(x+δx)−u(x)v(x)\delta y = u(x + \delta x)v(x + \delta x) - u(x)v(x)
    • Insert null terms by adding and subtracting u(x+δx)v(x)u(x + \delta x)v(x):     δy=u(x+δx)v(x+δx)−u(x+δx)v(x)+u(x+δx)v(x)−u(x)v(x)\delta y = u(x + \delta x)v(x + \delta x) - u(x + \delta x)v(x) + u(x + \delta x)v(x) - u(x)v(x)δy=u(x+δx)[v(x+δx)−v(x)]+v(x)[u(x+δx)−u(x)]\delta y = u(x + \delta x)[v(x + \delta x) - v(x)] + v(x)[u(x + \delta x) - u(x)]
    • Divide by δx\delta x and apply limits as δx→0\delta x \to 0:     δyδx=u(x+δx)[v(x+δx)−v(x)δx]+v(x)[u(x+δx)−u(x)δx]\frac{\delta y}{\delta x} = u(x + \delta x)\left[\frac{v(x + \delta x) - v(x)}{\delta x}\right] + v(x)\left[\frac{u(x + \delta x) - u(x)}{\delta x}\right]dydx=(lim⁡δx→0u(x+δx))v′(x)+v(x)u′(x)\frac{dy}{dx} = \left(\lim_{\delta x \to 0} u(x + \delta x)\right) v'(x) + v(x) u'(x)
    • Because u(x)u(x) is continuous, lim⁡δx→0u(x+δx)=u(x)\lim_{\delta x \to 0} u(x + \delta x) = u(x), giving:     ddx[u(x)v(x)]=u(x)v′(x)+v(x)u′(x)\frac{d}{dx}[u(x)v(x)] = u(x)v'(x) + v(x)u'(x)
  • Alternative Product Rule Derivation (Increment Notation):

    • Let y=uvy = uv.
    • Incrementing the variables:     y+δy=(u+δu)(v+δv)y + \delta y = (u + \delta u)(v + \delta v)y+δy=uv+u δv+v δu+δu δvy + \delta y = uv + u\,\delta v + v\,\delta u + \delta u\,\delta vδy=u δv+v δu+δu δv\delta y = u\,\delta v + v\,\delta u + \delta u\,\delta v
    • Divide through by δx\delta x:     δyδx=uδvδx+vδuδx+δuδvδx\frac{\delta y}{\delta x} = u\frac{\delta v}{\delta x} + v\frac{\delta u}{\delta x} + \delta u\frac{\delta v}{\delta x}
    • Evaluate the limit as δx→0\delta x \to 0 (noting that δu→0\delta u \to 0 as δx→0\delta x \to 0):     dydx=udvdx+vdudx+(0)dvdx\frac{dy}{dx} = u\frac{dv}{dx} + v\frac{du}{dx} + (0)\frac{dv}{dx}dydx=udvdx+vdudx\frac{dy}{dx} = u\frac{dv}{dx} + v\frac{du}{dx}
  • Quotient Rule from First Principles (Functional Notation):

    • Objective: Prove that ddx[u(x)v(x)]=v(x)u′(x)−u(x)v′(x)[v(x)]2\frac{d}{dx}\left[\frac{u(x)}{v(x)}\right] = \frac{v(x)u'(x) - u(x)v'(x)}{[v(x)]^2}, given v(x)≠0v(x) \ne 0.
    • Let y=u(x)v(x)y = \frac{u(x)}{v(x)}.
    • Increment the equation:     y+δy=u(x+δx)v(x+δx)y + \delta y = \frac{u(x + \delta x)}{v(x + \delta x)}δy=u(x+δx)v(x+δx)−u(x)v(x)\delta y = \frac{u(x + \delta x)}{v(x + \delta x)} - \frac{u(x)}{v(x)}δy=v(x)u(x+δx)−u(x)v(x+δx)v(x)v(x+δx)\delta y = \frac{v(x)u(x + \delta x) - u(x)v(x + \delta x)}{v(x)v(x + \delta x)}
    • Add and subtract u(x)v(x)u(x)v(x) within the numerator:     δy=v(x)[u(x+δx)−u(x)]−u(x)[v(x+δx)−v(x)]v(x)v(x+δx)\delta y = \frac{v(x)[u(x + \delta x) - u(x)] - u(x)[v(x + \delta x) - v(x)]}{v(x)v(x + \delta x)}
    • Divide by δx\delta x:     δyδx=1v(x)v(x+δx)[v(x)(u(x+δx)−u(x)δx)−u(x)(v(x+δx)−v(x)δx)]\frac{\delta y}{\delta x} = \frac{1}{v(x)v(x + \delta x)} \left[ v(x)\left(\frac{u(x + \delta x) - u(x)}{\delta x}\right) - u(x)\left(\frac{v(x + \delta x) - v(x)}{\delta x}\right) \right]
    • Take limits as δx→0\delta x \to 0:     dydx=1v(x)v(x)[v(x)u′(x)−u(x)v′(x)]\frac{dy}{dx} = \frac{1}{v(x)v(x)} [v(x)u'(x) - u(x)v'(x)]ddx[u(x)v(x)]=v(x)u′(x)−u(x)v′(x)[v(x)]2\frac{d}{dx}\left[\frac{u(x)}{v(x)}\right] = \frac{v(x)u'(x) - u(x)v'(x)}{[v(x)]^2}
  • Alternative Quotient Rule Derivation (Increment Notation):

    • Let y=uvy = \frac{u}{v}.
    • Set up incremented expressions:     y+δy=u+δuv+δvy + \delta y = \frac{u + \delta u}{v + \delta v}δy=u+δuv+δv−uv\delta y = \frac{u + \delta u}{v + \delta v} - \frac{u}{v}δy=v(u+δu)−u(v+δv)v(v+δv)\delta y = \frac{v(u + \delta u) - u(v + \delta v)}{v(v + \delta v)}δy=v δu−u δvv(v+δv)\delta y = \frac{v\,\delta u - u\,\delta v}{v(v + \delta v)}
    • Divide across by δx\delta x:     δyδx=1v(v+δv)[vδuδx−uδvδx]\frac{\delta y}{\delta x} = \frac{1}{v(v + \delta v)} \left[v\frac{\delta u}{\delta x} - u\frac{\delta v}{\delta x}\right]
    • As δx→0\delta x \to 0, δv→0\delta v \to 0:     dydx=1v(v+0)[vdudx−udvdx]\frac{dy}{dx} = \frac{1}{v(v + 0)} \left[v\frac{du}{dx} - u\frac{dv}{dx}\right]dydx=vdudx−udvdxv2\frac{dy}{dx} = \frac{v\frac{du}{dx} - u\frac{dv}{dx}}{v^2}
  • Chain Rule Derivation Using Limits:

    • Given y=f(u)y = f(u) and u=g(x)u = g(x).
    • Express the ratio of finite increments:     δyδx=δyδu×δuδx\frac{\delta y}{\delta x} = \frac{\delta y}{\delta u} \times \frac{\delta u}{\delta x}
    • Take limits on both sides as δx→0\delta x \to 0 (noting that δu→0\delta u \to 0 as δx→0\delta x \to 0):     lim⁡δx→0δyδx=(lim⁡δu→0δyδu)×(lim⁡δx→0δuδx)\lim_{\delta x \to 0} \frac{\delta y}{\delta x} = \left(\lim_{\delta u \to 0} \frac{\delta y}{\delta u}\right) \times \left(\lim_{\delta x \to 0} \frac{\delta u}{\delta x}\right)dydx=dydu×dudx\frac{dy}{dx} = \frac{dy}{du} \times \frac{du}{dx}

Integration: Rules, Areas, and Volumes of Revolution

  • Inductive Derivation of the Power Rule for Indefinite Integrals:

    • Evaluating integral sequences systematically:
    • ∫6x dx=3x2+c=61+1x1+1+c\int 6x\,dx = 3x^2 + c = \frac{6}{1 + 1}x^{1+1} + c
    • ∫6x2 dx=2x3+c=62+1x2+1+c\int 6x^2\,dx = 2x^3 + c = \frac{6}{2 + 1}x^{2+1} + c
    • ∫6x3 dx=32x4+c=63+1x3+1+c\int 6x^3\,dx = \frac{3}{2}x^4 + c = \frac{6}{3 + 1}x^{3+1} + c
    • Inductive generalization for any real number n≠−1n \ne -1:     If y=6xn,∫6xn dx=6n+1xn+1+c\text{If } y = 6x^n, \quad \int 6x^n\,dx = \frac{6}{n+1}x^{n+1} + c
    • Mathematical Constraints:
    • n≠−1n \ne -1 (since division by zero occurs if n=−1n = -1).
    • cc represents an arbitrary constant (pemalar sembarangan).
  • Integration of Linear Composite Functions (ax+b)n(ax + b)^n:

    • Objective: Prove that ∫(ax+b)n dx=(ax+b)n+1a(n+1)+c\int (ax + b)^n\,dx = \frac{(ax + b)^{n+1}}{a(n + 1)} + c for n≠−1n \ne -1.
    • Use algebraic substitution:     Let u=ax+b\text{Let } u = ax + b
    • Differentiate uu with respect to xx:     dudx=a  ⟹  dx=dua\frac{du}{dx} = a \implies dx = \frac{du}{a}
    • Substitute into the integral:     ∫(ax+b)n dx=∫un(dua)\int (ax + b)^n\,dx = \int u^n \left(\frac{du}{a}\right)=1a∫un du= \frac{1}{a} \int u^n\,du
    • Apply the power rule of integration:     =1a[un+1n+1]+c= \frac{1}{a} \left[\frac{u^{n+1}}{n + 1}\right] + c
    • Substitute back u=ax+bu = ax + b:     ∫(ax+b)n dx=(ax+b)n+1a(n+1)+c\int (ax + b)^n\,dx = \frac{(ax + b)^{n+1}}{a(n + 1)} + c
  • Area Under a Curve along the xx-Axis as a Riemann Sum:

    • Consider the continuous curve y=f(x)y = f(x) bounded from x=ax = a to x=bx = b.
    • Subdivide the interval into nn rectangular strips of uniform width:     δx=b−an\delta x = \frac{b - a}{n}
    • Each strip has height yiy_i and individual area δAi=yiδx\delta A_i = y_i \delta x.
    • Total approximate area of nn strips:     Ln=∑i=1nyiδxL_n = \sum_{i=1}^n y_i \delta x
    • Taking the limit as n→∞n \to \infty (which forces δx→0\delta x \to 0):     L=lim⁡δx→0∑i=1nyiδx=∫aby dxL = \lim_{\delta x \to 0} \sum_{i=1}^n y_i \delta x = \int_a^b y\,dx
  • Area Under a Curve along the yy-Axis as a Riemann Sum:

    • Consider the continuous curve x=f(y)x = f(y) bounded from y=ay = a to y=by = b.
    • Subdivide the vertical interval into nn horizontal strips of uniform width:     δy=b−an\delta y = \frac{b - a}{n}
    • Each strip has length xix_i and individual area δAi=xiδy\delta A_i = x_i \delta y.
    • Total approximate area:     Ln=∑i=1nxiδyL_n = \sum_{i=1}^n x_i \delta y
    • Taking the limit as n→∞n \to \infty (δy→0\delta y \to 0):     L=lim⁡δy→0∑i=1nxiδy=∫abx dyL = \lim_{\delta y \to 0} \sum_{i=1}^n x_i \delta y = \int_a^b x\,dy
  • Volume of Revolution Rotated 360∘360^\circ About the xx-Axis:

    • When the planar region bounded by y=f(x)y = f(x), x=ax = a, and x=bx = b rotates through 360∘360^\circ around the xx-axis, the volume is approximated by summing nn discrete cylindrical discs.
    • Each disc has thickness δx=b−an\delta x = \frac{b - a}{n} and circular radius yiy_i.
    • The volume of a single discrete cylindrical disc is:     δIi=πyi2δx\delta I_i = \pi y_i^2 \delta x
    • Sum of all nn cylindrical discs:     In=∑i=1nπyi2δx=π∑i=1nyi2δxI_n = \sum_{i=1}^n \pi y_i^2 \delta x = \pi \sum_{i=1}^n y_i^2 \delta x
    • As n→∞n \to \infty (δx→0\delta x \to 0):     I=lim⁡δx→0∑i=1nπyi2δx=π∫aby2 dxI = \lim_{\delta x \to 0} \sum_{i=1}^n \pi y_i^2 \delta x = \pi \int_a^b y^2\,dx
  • Volume of Revolution Rotated 360∘360^\circ About the yy-Axis:

    • When the planar region bounded by x=f(y)x = f(y), y=ay = a, and y=by = b rotates through 360∘360^\circ around the yy-axis, the solid is partitioned into nn horizontal cylindrical discs.
    • Each disc has thickness δy=b−an\delta y = \frac{b - a}{n} and radius xix_i.
    • Volume of a single disc:     δIi=πxi2δy\delta I_i = \pi x_i^2 \delta y
    • Summing the volume of nn discs:     In=π∑i=1nxi2δyI_n = \pi \sum_{i=1}^n x_i^2 \delta y
    • In the continuous limit where n→∞n \to \infty (δy→0\delta y \to 0):     I=lim⁡δy→0∑i=1nπxi2δy=π∫abx2 dyI = \lim_{\delta y \to 0} \sum_{i=1}^n \pi x_i^2 \delta y = \pi \int_a^b x^2\,dy

Permutations, Combinations, and the Binomial Distribution

  • Relationship Between nPr^n P_r and nCr^n C_r:

    • Objective: Prove that nPr=(nCr)(r!)^n P_r = (^n C_r)(r!).
    • Expand the right-hand side using the factorial definition of combinations:     RHS=(nCr)(r!)=[n!(n−r)! r!]×r!\text{RHS} = (^n C_r)(r!) = \left[\frac{n!}{(n - r)!\,r!}\right] \times r!
    • Cancel the common factor of r!r!:     RHS=n!(n−r)!\text{RHS} = \frac{n!}{(n - r)!}
    • By definition, the factorial form of permutations is nPr=n!(n−r)!^n P_r = \frac{n!}{(n - r)!}, therefore:     RHS= nPr=LHS\text{RHS} = \,^n P_r = \text{LHS}
  • Pascal's Triangle and Binomial Coefficients (nCr^n C_r):

    • The coefficients of an expanded binomial correspondence match combinations:
    • Row 0: 0C0=1^0 C_0 = 1
    • Row 1: 1C0=1, 1C1=1^1 C_0 = 1, \,^1 C_1 = 1
    • Row 2: 2C0=1, 2C1=2, 2C2=1^2 C_0 = 1, \,^2 C_1 = 2, \,^2 C_2 = 1
    • Row 3: 3C0=1, 3C1=3, 3C2=3, 3C3=1^3 C_0 = 1, \,^3 C_1 = 3, \,^3 C_2 = 3, \,^3 C_3 = 1
    • Values of the sixth row (n=6n = 6) computed via 6Cr^6 C_r:
    • 6C0=1^6 C_0 = 1
    • 6C1=6^6 C_1 = 6
    • 6C2=15^6 C_2 = 15
    • 6C3=20^6 C_3 = 20
    • 6C4=15^6 C_4 = 15
    • 6C5=6^6 C_5 = 6
    • 6C6=1^6 C_6 = 1
    • The complete list of elements in the sixth row is:     1, 6, 15, 20, 15, 6, 11, \, 6, \, 15, \, 20, \, 15, \, 6, \, 1
  • Proof that the Sum of Probabilities for a Binomial Distribution Equals One:

    • Algebraic expansion of (q+p)3(q + p)^3 in ascending powers of pp:     (q+p)3=(q+p)(q2+2qp+p2)(q + p)^3 = (q + p)(q^2 + 2qp + p^2)(q+p)3=q(q2+2qp+p2)+p(q2+2qp+p2)(q + p)^3 = q(q^2 + 2qp + p^2) + p(q^2 + 2qp + p^2)(q+p)3=q3+2q2p+qp2+pq2+2qp2+p3(q + p)^3 = q^3 + 2q^2 p + qp^2 + pq^2 + 2qp^2 + p^3(q+p)3=q3+3q2p+3qp2+p3(q + p)^3 = q^3 + 3q^2 p + 3qp^2 + p^3
    • Let X∼B(3,p)X \sim B(3, p), where pp is the probability of success, q=1−pq = 1 - p is the probability of failure, and n=3n = 3.
    • The probability mass function is given by P(X=r)= 3Crprq3−rP(X = r) = \,^3 C_r p^r q^{3-r} for r∈{0,1,2,3}r \in \{0, 1, 2, 3\}.
    • Expanding the total probability sum:     ∑r=03P(X=r)=P(X=0)+P(X=1)+P(X=2)+P(X=3)\sum_{r=0}^3 P(X = r) = P(X = 0) + P(X = 1) + P(X = 2) + P(X = 3)∑r=03P(X=r)= 3C0p0q3+ 3C1p1q2+ 3C2p2q1+ 3C3p3q0\sum_{r=0}^3 P(X = r) = \,^3 C_0 p^0 q^3 + \,^3 C_1 p^1 q^2 + \,^3 C_2 p^2 q^1 + \,^3 C_3 p^3 q^0∑r=03P(X=r)=q3+3q2p+3qp2+p3\sum_{r=0}^3 P(X = r) = q^3 + 3q^2 p + 3qp^2 + p^3
    • Factor this expression back into its binomial form:     ∑r=03P(X=r)=(q+p)3\sum_{r=0}^3 P(X = r) = (q + p)^3
    • Because p+q=1p + q = 1 by definition of complementary events:     ∑r=03P(X=r)=(1)3=1\sum_{r=0}^3 P(X = r) = (1)^3 = 1

Trigonometric Identities and Angle Transformations

  • Cofunction Identities via Right-Angled Triangle:

    • In a right-angled triangle with base xx, height yy, and acute angle θ\theta:
    • Hypotenuse =x2+y2= \sqrt{x^2 + y^2}
    • The complementary acute angle is (90∘−θ)(90^\circ - \theta)
    • Evaluating primary trigonometric ratios:     sin⁡(θ)=yx2+y2,cos⁡(θ)=xx2+y2,tan⁡(θ)=yx\sin(\theta) = \frac{y}{\sqrt{x^2 + y^2}}, \quad \cos(\theta) = \frac{x}{\sqrt{x^2 + y^2}}, \quad \tan(\theta) = \frac{y}{x}
    • Evaluating ratios with respect to (90∘−θ)(90^\circ - \theta):
    • Prove sin⁡(θ)=cos⁡(90∘−θ)\sin(\theta) = \cos(90^\circ - \theta):       cos⁡(90∘−θ)=yx2+y2=sin⁡(θ)\cos(90^\circ - \theta) = \frac{y}{\sqrt{x^2 + y^2}} = \sin(\theta)
    • Prove tan⁡(θ)=cot⁡(90∘−θ)\tan(\theta) = \cot(90^\circ - \theta):       cot⁡(90∘−θ)=1tan⁡(90∘−θ)=1÷(xy)=yx=tan⁡(θ)\cot(90^\circ - \theta) = \frac{1}{\tan(90^\circ - \theta)} = 1 \div \left(\frac{x}{y}\right) = \frac{y}{x} = \tan(\theta)
    • Prove sec⁡(θ)=csc⁡(90∘−θ)\sec(\theta) = \csc(90^\circ - \theta):       csc⁡(90∘−θ)=1sin⁡(90∘−θ)=1÷(xx2+y2)=x2+y2x=sec⁡(θ)\csc(90^\circ - \theta) = \frac{1}{\sin(90^\circ - \theta)} = 1 \div \left(\frac{x}{\sqrt{x^2 + y^2}}\right) = \frac{\sqrt{x^2 + y^2}}{x} = \sec(\theta)
  • Three Distinct Proofs of the Identity sin⁡2(θ)+cos⁡2(θ)=1\sin^2(\theta) + \cos^2(\theta) = 1:

    • Proof 1: Via Coordinate Right Triangle (xx, yy):
    • Hypotenuse =x2+y2= \sqrt{x^2 + y^2}.
    • Substitute ratios into the left-hand side:       sin⁡2(θ)+cos⁡2(θ)=(yx2+y2)2+(xx2+y2)2\sin^2(\theta) + \cos^2(\theta) = \left(\frac{y}{\sqrt{x^2 + y^2}}\right)^2 + \left(\frac{x}{\sqrt{x^2 + y^2}}\right)^2=y2x2+y2+x2x2+y2= \frac{y^2}{x^2 + y^2} + \frac{x^2}{x^2 + y^2}=x2+y2x2+y2=1= \frac{x^2 + y^2}{x^2 + y^2} = 1
    • Proof 2: Via the Unit Circle:
    • The equation of a unit circle centered at the origin with radius r=1r = 1 is:       x2+y2=1x^2 + y^2 = 1
    • Any point PP on the circumference has coordinates defined in terms of angle θ\theta:       P(cos⁡(θ),sin⁡(θ))P(\cos(\theta), \sin(\theta))
    • Substituting x=cos⁡(θ)x = \cos(\theta) and y=sin⁡(θ)y = \sin(\theta) directly into the circle equation yields:       [cos⁡(θ)]2+[sin⁡(θ)]2=1[\cos(\theta)]^2 + [\sin(\theta)]^2 = 1sin⁡2(θ)+cos⁡2(θ)=1\sin^2(\theta) + \cos^2(\theta) = 1
    • Proof 3: Via General Pythagorean Theorem (a2+b2=c2a^2 + b^2 = c^2):
    • In a right-angled triangle with base aa, height bb, and hypotenuse cc:       a2+b2=c2a^2 + b^2 = c^2
    • Divide both sides of the equation by c2c^2:       a2c2+b2c2=c2c2\frac{a^2}{c^2} + \frac{b^2}{c^2} = \frac{c^2}{c^2}(ac)2+(bc)2=1\left(\frac{a}{c}\right)^2 + \left(\frac{b}{c}\right)^2 = 1
    • Since cos⁡(θ)=ac\cos(\theta) = \frac{a}{c} and sin⁡(θ)=bc\sin(\theta) = \frac{b}{c}:       cos⁡2(θ)+sin⁡2(θ)=1\cos^2(\theta) + \sin^2(\theta) = 1
  • Secondary Pythagorean Identities Derived from sin⁡2(θ)+cos⁡2(θ)=1\sin^2(\theta) + \cos^2(\theta) = 1:

    • Derivation of 1+tan⁡2(θ)=sec⁡2(θ)1 + \tan^2(\theta) = \sec^2(\theta):
    • Divide the primary identity throughout by cos⁡2(θ)\cos^2(\theta):       sin⁡2(θ)cos⁡2(θ)+cos⁡2(θ)cos⁡2(θ)=1cos⁡2(θ)\frac{\sin^2(\theta)}{\cos^2(\theta)} + \frac{\cos^2(\theta)}{\cos^2(\theta)} = \frac{1}{\cos^2(\theta)}tan⁡2(θ)+1=sec⁡2(θ)\tan^2(\theta) + 1 = \sec^2(\theta)1+tan⁡2(θ)=sec⁡2(θ)1 + \tan^2(\theta) = \sec^2(\theta)
    • Derivation of 1+cot⁡2(θ)=csc⁡2(θ)1 + \cot^2(\theta) = \csc^2(\theta):
    • Divide the primary identity throughout by sin⁡2(θ)\sin^2(\theta):       sin⁡2(θ)sin⁡2(θ)+cos⁡2(θ)sin⁡2(θ)=1sin⁡2(θ)\frac{\sin^2(\theta)}{\sin^2(\theta)} + \frac{\cos^2(\theta)}{\sin^2(\theta)} = \frac{1}{\sin^2(\theta)}1+cot⁡2(θ)=csc⁡2(θ)1 + \cot^2(\theta) = \csc^2(\theta)
  • Transformation Identity tan⁡(θ+90∘)=−1tan⁡(θ)\tan(\theta + 90^\circ) = -\frac{1}{\tan(\theta)}:

    • In a right-angled triangle where acute angles are θ\theta and α\alpha, the internal angle sum gives:     θ+α+90∘=180∘  ⟹  α=90∘−θ\theta + \alpha + 90^\circ = 180^\circ \implies \alpha = 90^\circ - \theta
    • Consider the angle (θ+90∘)(\theta + 90^\circ), which terminates in the second quadrant where the tangent ratio is strictly negative:     tan⁡(θ+90∘)=−tan⁡(α)\tan(\theta + 90^\circ) = -\tan(\alpha)
    • Since tan⁡(α)=xy\tan(\alpha) = \frac{x}{y} and tan⁡(θ)=yx\tan(\theta) = \frac{y}{x}:     tan⁡(θ+90∘)=−xy\tan(\theta + 90^\circ) = -\frac{x}{y}tan⁡(θ+90∘)=−(1÷yx)\tan(\theta + 90^\circ) = -\left(1 \div \frac{y}{x}\right)tan⁡(θ+90∘)=−1tan⁡(θ)\tan(\theta + 90^\circ) = -\frac{1}{\tan(\theta)}
  • Double Angle Formulas Derived from Compound Angle Expansions:

    • Derivation of sin⁡(2θ)=2sin⁡(θ)cos⁡(θ)\sin(2\theta) = 2\sin(\theta)\cos(\theta):
    • Consider the compound angle formula:       sin⁡(A+B)=sin⁡(A)cos⁡(B)+cos⁡(A)sin⁡(B)\sin(A + B) = \sin(A)\cos(B) + \cos(A)\sin(B)
    • Set A=θA = \theta and B=θB = \theta:       sin⁡(θ+θ)=sin⁡(θ)cos⁡(θ)+cos⁡(θ)sin⁡(θ)\sin(\theta + \theta) = \sin(\theta)\cos(\theta) + \cos(\theta)\sin(\theta)sin⁡(2θ)=2sin⁡(θ)cos⁡(θ)\sin(2\theta) = 2\sin(\theta)\cos(\theta)
    • Derivations of the Three Forms of cos⁡(2θ)\cos(2\theta):
    • Consider the compound angle formula:       cos⁡(A+B)=cos⁡(A)cos⁡(B)−sin⁡(A)sin⁡(B)\cos(A + B) = \cos(A)\cos(B) - \sin(A)\sin(B)
    • Set A=θA = \theta and B=θB = \theta:       cos⁡(θ+θ)=cos⁡(θ)cos⁡(θ)−sin⁡(θ)sin⁡(θ)\cos(\theta + \theta) = \cos(\theta)\cos(\theta) - \sin(\theta)\sin(\theta)cos⁡(2θ)=cos⁡2(θ)−sin⁡2(θ)— Form 1\cos(2\theta) = \cos^2(\theta) - \sin^2(\theta) \quad \text{--- Form 1}
    • Substitute sin⁡2(θ)=1−cos⁡2(θ)\sin^2(\theta) = 1 - \cos^2(\theta) into Form 1:       cos⁡(2θ)=cos⁡2(θ)−[1−cos⁡2(θ)]\cos(2\theta) = \cos^2(\theta) - [1 - \cos^2(\theta)]cos⁡(2θ)=cos⁡2(θ)−1+cos⁡2(θ)\cos(2\theta) = \cos^2(\theta) - 1 + \cos^2(\theta)cos⁡(2θ)=2cos⁡2(θ)−1— Form 2\cos(2\theta) = 2\cos^2(\theta) - 1 \quad \text{--- Form 2}
    • Substitute cos⁡2(θ)=1−sin⁡2(θ)\cos^2(\theta) = 1 - \sin^2(\theta) into Form 1:       cos⁡(2θ)=[1−sin⁡2(θ)]−sin⁡2(θ)\cos(2\theta) = [1 - \sin^2(\theta)] - \sin^2(\theta)cos⁡(2θ)=1−2sin⁡2(θ)— Form 3\cos(2\theta) = 1 - 2\sin^2(\theta) \quad \text{--- Form 3}
    • Derivation of tan⁡(2θ)=2tan⁡(θ)1−tan⁡2(θ)\tan(2\theta) = \frac{2\tan(\theta)}{1 - \tan^2(\theta)}:
    • Consider the compound angle formula:       tan⁡(A+B)=tan⁡(A)+tan⁡(B)1−tan⁡(A)tan⁡(B)\tan(A + B) = \frac{\tan(A) + \tan(B)}{1 - \tan(A)\tan(B)}
    • Set A=θA = \theta and B=θB = \theta:       tan⁡(θ+θ)=tan⁡(θ)+tan⁡(θ)1−tan⁡(θ)tan⁡(θ)\tan(\theta + \theta) = \frac{\tan(\theta) + \tan(\theta)}{1 - \tan(\theta)\tan(\theta)}tan⁡(2θ)=2tan⁡(θ)1−tan⁡2(θ)\tan(2\theta) = \frac{2\tan(\theta)}{1 - \tan^2(\theta)}