# Binomische Formeln

Die binomischen Formeln sind in der elementaren Algebra verbreitete Formeln zum Umformen von Produkten aus Binomen. Mit Binomen (deutsch: „zwei Namen“; eine Bezeichnung, die auf Euklid zurückgeht) sind mathematische Ausdrücke mit zwei Gliedern gemeint, die durch Addition oder Subtraktion verbunden sind, wie zum Beispiel

  
    
      
        1
        +
        3
        ,
      
    
    {\displaystyle 1+3,}
  
 
  
    
      
        
        13
        −
        7
        
      
    
    {\displaystyle \quad 13-7\quad }
  
 oder auch 
  
    
      
        
        a
        +
        b
        
      
    
    {\displaystyle \quad a+b\,}
  
 (mit zwei noch nicht näher bestimmten Zahlen 
  
    
      
        a
      
    
    {\displaystyle a}
  
 und 
  
    
      
        b
      
    
    {\displaystyle b}
  
).
In einigen Anwendungen ist das Rechnen mit quadrierten Binomen vonnöten: Zerteilt man in der Geometrie zum Beispiel die Seite eines Quadrates in die Längen 
  
    
      
        a
      
    
    {\displaystyle a}
  
 und 
  
    
      
        b
        ,
      
    
    {\displaystyle b,}
  
 so hat es den Flächeninhalt 
  
    
      
        (
        a
        +
        b
        
          )
          
            2
          
        
      
    
    {\displaystyle (a+b)^{2}}
  
 (siehe Bild). Es bedeutet die Schreibweise 
  
    
      
        
          x
          
            2
          
        
      
    
    {\displaystyle x^{2}}
  
 (gesprochen: „
  
    
      
        x
      
    
    {\displaystyle x}
  
 Quadrat“), dass die Zahl 
  
    
      
        x
      
    
    {\displaystyle x}
  
 mit sich selbst multipliziert wird, also 
  
    
      
        
          x
          
            2
          
        
        =
        x
        ⋅
        x
        .
      
    
    {\displaystyle x^{2}=x\cdot x.}
  
 Zum Beispiel gilt 
  
    
      
        
          2
          
            2
          
        
        =
        2
        ⋅
        2
        =
        4
      
    
    {\displaystyle 2^{2}=2\cdot 2=4}
  
.
Innerhalb der Schulmathematik kommt den binomischen Formeln ein hoher Stellenwert zu, und sie sind fester Bestandteil des Lehrplans im Fach Mathematik. Dabei werden drei binomische Formeln unterschieden:

Gerade beim Quadrieren von Summen passieren häufig Fehler: So ist das „Quadrat einer Summe“, also zum Beispiel 
  
    
      
        (
        1
        +
        3
        
          )
          
            2
          
        
      
    
    {\displaystyle (1+3)^{2}}
  
 im Allgemeinen nicht die „Summe der Quadrate“, hier 
  
    
      
        
          1
          
            2
          
        
        +
        
          3
          
            2
          
        
        .
      
    
    {\displaystyle 1^{2}+3^{2}.}
  
 Da Klammern stets zuerst aufgelöst werden müssen, gilt

  
    
      
        (
        1
        +
        3
        
          )
          
            2
          
        
        =
        
          4
          
            2
          
        
        =
        16
        ,
        
      
    
    {\displaystyle (1+3)^{2}=4^{2}=16,\quad }
  
 aber falsch wäre eine Gleichsetzung mit 
  
    
      
        
        
          1
          
            2
          
        
        +
        
          3
          
            2
          
        
        =
        1
        +
        9
        =
        10.
      
    
    {\displaystyle \quad 1^{2}+3^{2}=1+9=10.}
  

Die binomischen Formeln halten nun Rechenregeln fest, mit deren Hilfe zum Beispiel der Ausdruck 
  
    
      
        (
        1
        +
        3
        
          )
          
            2
          
        
      
    
    {\displaystyle (1+3)^{2}}
  
 korrekt „in Abhängigkeit von 
  
    
      
        1
      
    
    {\displaystyle 1}
  
 und 
  
    
      
        3
      
    
    {\displaystyle 3}
  
“, also der zwei Glieder des Binoms, berechnet werden kann, insbesondere unter Beachtung aller Regeln für Klammerausdrücke. Diese Regeln entfalten ganz besonders dann ihren Sinn, wenn nicht alle Teile des Binoms bestimmt sind, zum Beispiel 
  
    
      
        (
        2
        +
        x
        
          )
          
            2
          
        
      
    
    {\displaystyle (2+x)^{2}}
  
, aber trotzdem eine Berechnung bzw. Umformung gemacht werden soll. Vorteile hat dies zum Beispiel beim Umgang mit quadratischen Gleichungen. Weitere Anwendungen betreffen quadratische Ergänzung, einen Beweis des Satzes des Pythagoras, aber auch Bereiche wie Analysis und Wahrscheinlichkeitstheorie.
Die binomischen Formeln werden als Merkformeln verwendet, die zum einen das Ausmultiplizieren von Klammerausdrücken erleichtern und Rechenfehler verhindern sollen, zum anderen erlauben sie die Faktorisierung von Termen, also die Umformung von bestimmten Summen und Differenzen in Produkte, was bei der Vereinfachung von Bruchtermen oder Wurzeltermen sehr oft die einzige Lösungsstrategie darstellt. Im Grunde sind sie nur Anwendungen des Distributivgesetzes für algebraische Summen (jedes Glied der einen wird mit jedem der anderen Summe multipliziert)

  
    
      
        (
        a
        +
        b
        )
        
        (
        c
        +
        d
        )
        =
        a
        c
        +
        a
        d
        +
        b
        c
        +
        b
        d
      
    
    {\displaystyle (a+b)\,(c+d)=ac+ad+bc+bd}
  

mit 
  
    
      
        c
        =
        a
        ,
      
    
    {\displaystyle c=a,}
  
 
  
    
      
        d
        =
        b
      
    
    {\displaystyle d=b}
  
 und den entsprechenden Vorzeichenvarianten. Erstmals bewiesen wurden die binomischen Formeln von Euklid, der geometrische Methoden verwendete. Sie waren aber den Babyloniern bereits 1900 v. Chr. bekannt.
Eine Verallgemeinerung der ersten binomischen Formel auf beliebige natürliche Exponenten, wie 
  
    
      
        (
        a
        +
        b
        
          )
          
            3
          
        
        ,
        (
        a
        +
        b
        
          )
          
            4
          
        
      
    
    {\displaystyle (a+b)^{3},(a+b)^{4}}
  
 usw., stellt der binomische Lehrsatz dar. Die binomischen Formeln gelten in allen kommutativen Ringen (allgemeine Mengen, innerhalb derer mit Addition, Subtraktion und Multiplikation gerechnet werden kann, wie etwa die ganzen Zahlen).


## Die Formeln
### Aussage der Formeln
Als binomische Formeln werden (im Rahmen der Schulmathematik) üblicherweise die folgenden drei Umformungen mit dem Exponenten 2 bezeichnet:

Es werden die Terme 
  
    
      
        
          a
          
            2
          
        
      
    
    {\displaystyle a^{2}}
  
 und 
  
    
      
        
          b
          
            2
          
        
      
    
    {\displaystyle b^{2}}
  
 quadratische Glieder und 
  
    
      
        ±
        2
        a
        b
      
    
    {\displaystyle \pm 2ab}
  
 gemischtes Glied genannt. Zu beachten ist die übliche Kurzschreibweise 
  
    
      
        2
        a
        b
      
    
    {\displaystyle 2ab}
  
 für das Produkt 
  
    
      
        2
        ⋅
        a
        ⋅
        b
        .
      
    
    {\displaystyle 2\cdot a\cdot b.}
  
 Das Wort „binomisch“ rührt vom Begriff Binom her und bedeutet, dass es sich um Berechnungen mit Termen mit zwei Gliedern (= Zahlen oder Unbekannte) handelt, wobei diese Glieder miteinander addiert oder subtrahiert werden.
Die binomischen Formeln halten bestimmte Rechengesetze in größtmöglicher Allgemeinheit fest. Daher werden Zahlen hier (willkürlich) durch die Buchstaben 
  
    
      
        a
      
    
    {\displaystyle a}
  
 und 
  
    
      
        b
      
    
    {\displaystyle b}
  
 ersetzt. Die Absicht dahinter ist, eine möglichst große Bandbreite an Anwendungen zu gewährleisten, denn mit unterschiedlichen Anwendungen können immer auch unterschiedliche Zahlen verbunden sein. Ein besseres Gefühl und Verständnis kann beim Üben an konkreten Zahlen erreicht werden. Eine Anwendung der zweiten binomischen Formel ist etwa (mit 
  
    
      
        a
        =
        4
      
    
    {\displaystyle a=4}
  
 und 
  
    
      
        b
        =
        1
      
    
    {\displaystyle b=1}
  
)

  
    
      
        (
        4
        −
        1
        
          )
          
            2
          
        
        =
        
          4
          
            2
          
        
        −
        2
        ⋅
        4
        ⋅
        1
        +
        
          1
          
            2
          
        
        =
        16
        −
        8
        +
        1
        =
        9.
      
    
    {\displaystyle (4-1)^{2}=4^{2}-2\cdot 4\cdot 1+1^{2}=16-8+1=9.}
  

In der Tat gilt 
  
    
      
        (
        4
        −
        1
        
          )
          
            2
          
        
        =
        
          3
          
            2
          
        
        =
        3
        ⋅
        3
        =
        9
        ,
      
    
    {\displaystyle (4-1)^{2}=3^{2}=3\cdot 3=9,}
  
 da Klammerinhalte zuerst berechnet werden müssen.


### Herleitung
Die Gültigkeit der Formeln ist durch Ausmultiplizieren einzusehen:

  
    
      
        (
        a
        +
        b
        
          )
          
            2
          
        
        =
        (
        a
        +
        b
        )
        ⋅
        (
        a
        +
        b
        )
        =
        a
        ⋅
        a
        +
        a
        ⋅
        b
        +
        b
        ⋅
        a
        +
        b
        ⋅
        b
        =
        
          a
          
            2
          
        
        +
        2
        ⋅
        a
        ⋅
        b
        +
        
          b
          
            2
          
        
        ,
      
    
    {\displaystyle (a+b)^{2}=(a+b)\cdot (a+b)=a\cdot a+a\cdot b+b\cdot a+b\cdot b=a^{2}+2\cdot a\cdot b+b^{2},}
  

  
    
      
        (
        a
        −
        b
        
          )
          
            2
          
        
        =
        (
        a
        −
        b
        )
        ⋅
        (
        a
        −
        b
        )
        =
        a
        ⋅
        a
        −
        a
        ⋅
        b
        −
        b
        ⋅
        a
        +
        b
        ⋅
        b
        =
        
          a
          
            2
          
        
        −
        2
        ⋅
        a
        ⋅
        b
        +
        
          b
          
            2
          
        
        ,
      
    
    {\displaystyle (a-b)^{2}=(a-b)\cdot (a-b)=a\cdot a-a\cdot b-b\cdot a+b\cdot b=a^{2}-2\cdot a\cdot b+b^{2},}
  

  
    
      
        (
        a
        +
        b
        )
        ⋅
        (
        a
        −
        b
        )
        =
        a
        ⋅
        a
        −
        a
        ⋅
        b
        +
        b
        ⋅
        a
        −
        b
        ⋅
        b
        =
        
          a
          
            2
          
        
        −
        
          b
          
            2
          
        
        .
      
    
    {\displaystyle (a+b)\cdot (a-b)=a\cdot a-a\cdot b+b\cdot a-b\cdot b=a^{2}-b^{2}.}
  

Sie sind damit nur Anwendungen des Distributivgesetzes für algebraische Summen. Jedes Glied der einen wird dabei mit jedem der anderen Summe multipliziert:

  
    
      
        (
        a
        +
        b
        )
        
        (
        c
        +
        d
        )
        =
        a
        c
        +
        a
        d
        +
        b
        c
        +
        b
        d
      
    
    {\displaystyle (a+b)\,(c+d)=ac+ad+bc+bd}
  

mit 
  
    
      
        c
        =
        a
        ,
      
    
    {\displaystyle c=a,}
  
 
  
    
      
        d
        =
        b
      
    
    {\displaystyle d=b}
  
 und den entsprechenden Vorzeichenvarianten.


### Nachbemerkungen
Obwohl die zweite binomische Formel als eigenständige Formel geführt wird, ergibt sie sich unmittelbar aus der ersten binomischen Formel „angewendet auf 
  
    
      
        a
      
    
    {\displaystyle a}
  
 und 
  
    
      
        −
        b
      
    
    {\displaystyle -b}
  
“. Es gilt mit der ersten binomischen Formel

  
    
      
        (
        a
        −
        b
        
          )
          
            2
          
        
        =
        (
        a
        +
        (
        −
        b
        )
        
          )
          
            2
          
        
        =
        
          a
          
            2
          
        
        +
        2
        a
        (
        −
        b
        )
        +
        (
        −
        b
        
          )
          
            2
          
        
        =
        
          a
          
            2
          
        
        −
        2
        a
        b
        +
        
          b
          
            2
          
        
        .
      
    
    {\displaystyle (a-b)^{2}=(a+(-b))^{2}=a^{2}+2a(-b)+(-b)^{2}=a^{2}-2ab+b^{2}.}
  

Wegen des Kommutativgesetzes ist das Vertauschen von Faktoren in Produkten erlaubt. Daher spielt es für die dritte binomische Formel keine Rolle, wann die Terme 
  
    
      
        a
        ±
        b
      
    
    {\displaystyle a\pm b}
  
 auftauchen. Es gilt

  
    
      
        (
        a
        +
        b
        )
        
        (
        a
        −
        b
        )
        =
        (
        a
        −
        b
        )
        
        (
        a
        +
        b
        )
        =
        
          a
          
            2
          
        
        −
        
          b
          
            2
          
        
        .
      
    
    {\displaystyle (a+b)\,(a-b)=(a-b)\,(a+b)=a^{2}-b^{2}.}
  

Bei den binomischen Formeln handelt es sich um Identitäten; die Gleichheit beider Ausdrücke auf der linken und rechten Seite des Gleichheitszeichens ist also für jede Auswahl von Zahlen oder Unbekannten gegeben. Im Gegensatz dazu müssen andere Formen von Gleichungen oft aufgelöst werden und nur eine eingeschränkte Menge an Zahlen werden diese lösen. Zur Betonung der universellen Gültigkeit kann daher auch das Symbol 
  
    
      
        ≡
      
    
    {\displaystyle \equiv }
  
 genutzt werden, zum Beispiel

  
    
      
        (
        a
        +
        b
        
          )
          
            2
          
        
        ≡
        
          a
          
            2
          
        
        +
        2
        a
        b
        +
        
          b
          
            2
          
        
        .
      
    
    {\displaystyle (a+b)^{2}\equiv a^{2}+2ab+b^{2}.}
  

Die Wahl der Buchstaben 
  
    
      
        a
      
    
    {\displaystyle a}
  
 und 
  
    
      
        b
      
    
    {\displaystyle b}
  
 ist entsprechend willkürlich; es handelt sich nur um Platzhalter für Zahlen, deren genaue Benennung keinen Einfluss auf die Formeln hat. Die einzige Ausnahme hiervon ist, dass im Allgemeinen verschiedene Größen ungleich benannt werden sollten. So kann die erste binomische Formel auch durch 
  
    
      
        (
        x
        +
        y
        
          )
          
            2
          
        
        =
        
          x
          
            2
          
        
        +
        2
        x
        y
        +
        
          y
          
            2
          
        
      
    
    {\displaystyle (x+y)^{2}=x^{2}+2xy+y^{2}}
  
 ausgedrückt werden, aber theoretisch auch durch 
  
    
      
        (
        b
        +
        Z
        
          )
          
            2
          
        
        =
        
          b
          
            2
          
        
        +
        2
        b
        Z
        +
        
          Z
          
            2
          
        
        .
      
    
    {\displaystyle (b+Z)^{2}=b^{2}+2bZ+Z^{2}.}
  
 Ungünstig hingegen ist die Bezeichnung 
  
    
      
        (
        a
        +
        a
        
          )
          
            2
          
        
        =
        
          a
          
            2
          
        
        +
        2
        a
        a
        +
        
          a
          
            2
          
        
        ,
      
    
    {\displaystyle (a+a)^{2}=a^{2}+2aa+a^{2},}
  
 da dies nur ein Spezialfall der allgemeinen Formel ist (da sie Fälle wie 
  
    
      
        (
        1
        +
        1
        
          )
          
            2
          
        
      
    
    {\displaystyle (1+1)^{2}}
  
 und 
  
    
      
        (
        3
        +
        3
        
          )
          
            2
          
        
      
    
    {\displaystyle (3+3)^{2}}
  
 behandelt, nicht aber 
  
    
      
        (
        1
        +
        2
        
          )
          
            2
          
        
      
    
    {\displaystyle (1+2)^{2}}
  
).
Im Gegensatz zu Adjektiven wie abelsch leitet sich binomisch nicht vom Namen eines Mathematikers ab. Im Sinne des wissenschaftlichen Witzes wird die Bezeichnung binomisch scherzhaft auf einen fiktiven Mathematiker namens Alessandro (oder Francesco) Binomi zurückgeführt, der wahlweise auch in einigen Schul- und Lehrbüchern als deren Urheber auftaucht.


## Geometrische Veranschaulichung
Es ist üblich und gut möglich, die binomischen Formeln – etwa im Rahmen des Schulunterrichts – geometrisch zu veranschaulichen. Dafür eignen sich die unten gezeigten Situationen aus der elementaren Geometrie. Als Vorwissen muss bekannt sein, dass sich der Flächeninhalt eines Rechtecks mit Seitenlängen 
  
    
      
        a
      
    
    {\displaystyle a}
  
 und 
  
    
      
        b
      
    
    {\displaystyle b}
  
 über 
  
    
      
        a
        b
      
    
    {\displaystyle ab}
  
 berechnet.
Erste binomische Formel:

Das nebenstehende mehrfarbige Quadrat hat die Seitenlänge 
  
    
      
        (
        a
        +
        b
        )
        .
      
    
    {\displaystyle (a+b).}
  
 Wie sofort ersichtlich ist, passen die zwei Quadrate 
  
    
      
        
          a
          
            2
          
        
      
    
    {\displaystyle a^{2}}
  
 und 
  
    
      
        
          b
          
            2
          
        
      
    
    {\displaystyle b^{2}}
  
 hinein, und es bleiben zwei Rechtecke mit jeweils dem Flächeninhalt 
  
    
      
        a
        ⋅
        b
      
    
    {\displaystyle a\cdot b}
  
 übrig. Die Fläche des ganzen Quadrats hat also den Wert 
  
    
      
        
          a
          
            2
          
        
        +
        2
        a
        b
        +
        
          b
          
            2
          
        
        .
      
    
    {\displaystyle a^{2}+2ab+b^{2}.}
  

Dadurch ergibt sich 
  
    
      
        (
        a
        +
        b
        
          )
          
            2
          
        
        =
        
          a
          
            2
          
        
        +
        2
        ⋅
        a
        ⋅
        b
        +
        
          b
          
            2
          
        
        .
      
    
    {\displaystyle (a+b)^{2}=a^{2}+2\cdot a\cdot b+b^{2}.}
  

Zweite binomische Formel:

Im zweiten Bild ist 
  
    
      
        
          a
          
            2
          
        
      
    
    {\displaystyle a^{2}}
  
 das blau umrahmte Quadrat (großes Quadrat, also, trotz gleicher Bezeichnung wie in der ersten binomischen Formel, ein anderes Quadrat!). Soll daraus ein Quadrat der Seitenlänge 
  
    
      
        (
        a
        −
        b
        )
      
    
    {\displaystyle (a-b)}
  
 erzeugt werden, wird zuerst die rot umrahmte Fläche (das Rechteck) 
  
    
      
        a
        ⋅
        b
      
    
    {\displaystyle a\cdot b}
  
 abgezogen (auch wieder, trotz gleicher Bezeichnung wie in der ersten binomischen Formel, ein anderes Rechteck). Danach wird die ebenso große, liegende Fläche abgezogen. Nun hat man aber das kleine Quadrat 
  
    
      
        
          b
          
            2
          
        
      
    
    {\displaystyle b^{2}}
  
 doppelt abgezogen, man muss es (zur Korrektur) noch einmal addieren.
Die hier gezeigte Formel lautet also 
  
    
      
        (
        a
        −
        b
        
          )
          
            2
          
        
        =
        
          a
          
            2
          
        
        −
        2
        ⋅
        a
        ⋅
        b
        +
        
          b
          
            2
          
        
        .
      
    
    {\displaystyle (a-b)^{2}=a^{2}-2\cdot a\cdot b+b^{2}.}
  

Dritte binomische Formel:

Im dritten Bild ist 
  
    
      
        
          a
          
            2
          
        
      
    
    {\displaystyle a^{2}}
  
 das hell- und dunkelblaue Quadrat. Wird das kleine Quadrat 
  
    
      
        
          b
          
            2
          
        
      
    
    {\displaystyle b^{2}}
  
 (gelber Rahmen) davon abgezogen und das verbleibende hellblaue Rechteck gedreht unten angehängt (türkis dargestellt), so entsteht (aus der dunkelblauen und türkisfarbenen Fläche) ein Rechteck der Breite 
  
    
      
        (
        a
        −
        b
        )
      
    
    {\displaystyle (a-b)}
  
 und der Höhe 
  
    
      
        (
        a
        +
        b
        )
        .
      
    
    {\displaystyle (a+b).}
  

Also ergibt sich die Formel 
  
    
      
        
          a
          
            2
          
        
        −
        
          b
          
            2
          
        
        =
        (
        a
        +
        b
        )
        ⋅
        (
        a
        −
        b
        )
        .
      
    
    {\displaystyle a^{2}-b^{2}=(a+b)\cdot (a-b).}
  

Eine weitere Veranschaulichung der dritten binomischen Formel erhält man durch folgende Zerlegung:

Zu beachten ist, dass diese Veranschaulichungen zunächst im Allgemeinen nur für Werte 
  
    
      
        a
        ≥
        b
        ≥
        0
      
    
    {\displaystyle a\geq b\geq 0}
  
 funktionieren. Die Gültigkeit der Formeln bleibt aber auch etwa im Falle negativer Zahlen bestehen, was sich aus dem Distributivgesetz und damit letztlich den axiomatischen Rechenregeln in den reellen Zahlen, ergibt.


## Geschichte
Die Entdeckungs- und Forschungsgeschichte der binomischen Formeln lässt sich bis auf 1900 v. Chr. in das babylonische Reich zurückdatieren. Einen ersten Beweis, basierend auf geometrischen Argumenten, konnte jedoch erst Euklid von Alexandria in seinen Elementen erbringen. Wegen der engen Verknüpfung zur Geometrie von Flächen war es Euklid naturgemäß nicht möglich, dies auf höhere Exponenten zu verallgemeinern. Eine kubische Variante der ersten binomischen Formel wurde einige Jahrhunderte später in Indien unter anderem durch Brahmagupta gegeben. In der moderneren Forschung sind die binomischen Formeln jedoch unzertrennlich mit ihren Verallgemeinerungen auf höhere Exponenten – also dem binomischen Lehrsatz – verbunden, weshalb diese Abgrenzung heutzutage nur noch im Rahmen der Schulmathematik üblich ist.


### Bei den Babyloniern
Nach heutigem Forschungsstand waren die erste und dritte binomische Formel wesentliche Inhalte der Algebra in Mesopotamien im Zeitraum 1900 bis 1600 v. Chr.
Im Zusammenhang mit Berechnungen von Flächen stießen die Babylonier auf quadratische Gleichungen. Um diese zu lösen, entwickelten sie bereits Verfahren, die den heutigen ähneln. Wie Texte aus der Zeit der Hammurapi-Dynastie um das Jahr 1700 v. Chr. belegen, verfügten sie über Algorithmen (also „mathematische Vorgehensweisen“), mit denen sie die Lösung gemäß der heute üblichen Formel berechnen konnten, wobei jedoch die Frage offen bleibt, wie sie diese genau fanden. Da sie jedoch über die dritte binomische Formel verfügten, wird angenommen, dass sie ähnlich vorgingen wie später Diophantos von Alexandria.

Die Babylonier verwendeten die erste binomische Formel auch für die Annäherung von Quadratwurzeln (siehe auch Heron-Verfahren). Ist 
  
    
      
        b
      
    
    {\displaystyle b}
  
 im Vergleich zu 
  
    
      
        a
      
    
    {\displaystyle a}
  
 klein, so ist zu erwarten, dass

  
    
      
        
          
            a
            +
            b
          
        
        =
        
          
            a
          
        
        +
        δ
      
    
    {\displaystyle {\sqrt {a+b}}={\sqrt {a}}+\delta }
  

mit einem kleinen 
  
    
      
        δ
      
    
    {\displaystyle \delta }
  
 gilt. Quadriert man dies, ergibt sich mit der ersten binomischen Formel

  
    
      
        a
        +
        b
        =
        a
        +
        2
        
          
            a
          
        
        δ
        +
        
          δ
          
            2
          
        
        .
      
    
    {\displaystyle a+b=a+2{\sqrt {a}}\delta +\delta ^{2}.}
  

Vernachlässigt man 
  
    
      
        
          δ
          
            2
          
        
        ,
      
    
    {\displaystyle \delta ^{2},}
  
 ergibt sich daraus die Näherung 
  
    
      
        δ
        ≈
        
          
            
              b
              
                2
                
                  
                    a
                  
                
              
            
          
        
        ,
      
    
    {\displaystyle \delta \approx {\tfrac {b}{2{\sqrt {a}}}},}
  
 also

  
    
      
        
          
            a
            +
            b
          
        
        ≈
        
          
            a
          
        
        +
        
          
            b
            
              2
              
                
                  a
                
              
            
          
        
        ,
        
        
          |
        
        b
        
          |
        
        ≪
        a
        .
      
    
    {\displaystyle {\sqrt {a+b}}\approx {\sqrt {a}}+{\frac {b}{2{\sqrt {a}}}},\qquad |b|\ll a.}
  

Dies ist besonders dann praktisch, wenn 
  
    
      
        a
      
    
    {\displaystyle a}
  
 eine Quadratzahl ist. Höchstwahrscheinlich auf diesen Gedanken aufbauend konnten die Babylonier die Quadratwurzel aus 2 durch 
  
    
      
        1
        ,
        24
        ,
        51
        ,
        10
      
    
    {\displaystyle 1,24,51,10}
  
 annähern, wobei die Kommata die Ziffern im Sechzigersystem trennen, mit dem die Babylonier rechneten, was in Dezimalschreibweise ungefähr 
  
    
      
        1,414
        21296296
        …
      
    
    {\displaystyle 1{,}41421296296\ldots }
  
 entspricht. Dies belegen Steintafeln aus dem Jahr 1900 v. Chr. Der exakte Wert von 
  
    
      
        
          
            2
          
        
      
    
    {\displaystyle {\sqrt {2}}}
  
 beginnt mit 
  
    
      
        1,414
        213562373
        …
      
    
    {\displaystyle 1{,}414213562373\ldots }
  


### Im antiken Griechenland
#### Beweis durch Euklid
Bewiesen wurde die binomische Formel 
  
    
      
        (
        a
        +
        b
        
          )
          
            2
          
        
        =
        
          a
          
            2
          
        
        +
        2
        a
        b
        +
        
          b
          
            2
          
        
      
    
    {\displaystyle (a+b)^{2}=a^{2}+2ab+b^{2}}
  
 von Euklid von Alexandria (circa 3. Jahrhundert v. Chr.) in seinen Elementen. Euklids Beweismethode ist geometrisch, womit er die Formel ebenfalls in Buch II, Proposition 4 (Buch II: „Geometrische Algebra“) geometrisch interpretiert. Die Bezeichnung „Binom“ geht ebenfalls auf Euklid zurück.

Euklid beweist in Buch II, Proposition 5 auch die dritte binomische Formel, jedoch in der abgewandelten Form 
  
    
      
        a
        b
        +
        
          
            (
            
              
                
                  
                    a
                    −
                    b
                  
                  2
                
              
            
            )
          
          
            2
          
        
        =
        
          
            (
            
              
                
                  
                    a
                    +
                    b
                  
                  2
                
              
            
            )
          
          
            2
          
        
        .
      
    
    {\displaystyle ab+\left({\tfrac {a-b}{2}}\right)^{2}=\left({\tfrac {a+b}{2}}\right)^{2}.}
  
 Erneut basiert der Beweis auf geometrischen Überlegungen.

In dieser Hinsicht ist die bereits im antiken Griechenland entdeckte Beziehung zwischen Algebra und Geometrie bemerkenswert. Laut Sonja Brentjes und Peter Schreiber sei „die einzig sinnvolle Antwort“ auf die Frage, wozu die Griechen überhaupt Algebra brauchten, die analytische Behandelbarkeit komplizierter geometrischer Sachverhalte. Sobald man von Geraden und Kreisen zu Kegelschnitten oder anderen „höheren Kurven“ übergehe, könnten diese in der Regel „nur durch Gleichungen zwischen bestimmten beteiligten Strecken“ definiert werden. Zum Beispiel wird der Kreis mit Radius 
  
    
      
        1
      
    
    {\displaystyle 1}
  
 und dem Ursprung als Mittelpunkt über die algebraische Gleichung 
  
    
      
        
          x
          
            2
          
        
        +
        
          y
          
            2
          
        
        =
        1
      
    
    {\displaystyle x^{2}+y^{2}=1}
  
 beschrieben. Euklid scheine dies schon erkannt zu haben, denn sein Beweis des Satzes des Pythagoras am Ende von Buch I seiner Elemente könne als eine „Motivation für das der geometrischen Algebra gewidmete Buch II“ gesehen werden, wo nun „ganz systematisch die algebraischen Grundeigenschaften der geometrisch interpretierten Addition und Multiplikation von Größen“ abgehandelt werden.
Der Mathematikhistoriker Sabetai Unguru vertritt in seinem Artikel On the Need to Rewrite the History of Greek Mathematics die These, dass die Darstellung antiker Mathematik durch moderne Algebra problematisch sei. Unguru ist der Auffassung, dass es prinzipiell unangemessen sei, antike Erkenntnisse mit modernen Formeln darzustellen. Er bezeichnete die „geometrische Algebra“ als ein „Fantasiegespinst, ein monströses Zwittergeschöpf, das sich Mathematiker ausgedacht haben, denen jegliches Gefühl für Historie fehlt“. Der Formel- und Begriffsapparat der modernen Mathematik beinhalte Konzepte und Abstraktionen, die „das Authentische am historischen Vorgehen möglicherweise verschleiern“. Als Beispiel könne die binomische Formel 
  
    
      
        (
        a
        +
        b
        
          )
          
            2
          
        
        =
        
          a
          
            2
          
        
        +
        2
        a
        b
        +
        
          b
          
            2
          
        
      
    
    {\displaystyle (a+b)^{2}=a^{2}+2ab+b^{2}}
  
 angeführt werden. In der modernen Mathematik gilt sie für alle abstrakten Elemente eines kommutativen Rings (einer Menge, in der Elemente addiert und multipliziert werden können); eine solche Begriffsbildung sei einem Euklid jedoch völlig fremd. Bartel Leendert van der Waerden, Hans Freudenthal und André Weil traten Ungurus Thesen entgegen.


#### Bei den Pythagoreern
Viele Beziehungen über Zahlenfolgen haben die Pythagoreer durch Legen von Rechen- bzw. Spielsteinen gewonnen. Darunter fielen auch Varianten der binomischen Formeln, wie etwa

  
    
      
        (
        n
        −
        1
        
          )
          
            2
          
        
        +
        4
        n
        =
        (
        n
        +
        1
        
          )
          
            2
          
        
        .
      
    
    {\displaystyle (n-1)^{2}+4n=(n+1)^{2}.}
  

Bereits Aristoteles spricht in seiner Metaphysik davon, dass „gewisse Leute Zahlen in die Gestalt von Dreiecken und Rechtecken bringen“.

Eng verwandt ist die Beobachtung der Pythagoreer, dass sich die Quadratzahlen als aufsteigende Summen der ungeraden Zahlen ergeben:

  
    
      
        
          1
          
            2
          
        
        =
        1
        =
        1
      
    
    {\displaystyle 1^{2}=1=1}
  

  
    
      
        
          2
          
            2
          
        
        =
        4
        =
        1
        +
        3
      
    
    {\displaystyle 2^{2}=4=1+3}
  

  
    
      
        
          3
          
            2
          
        
        =
        9
        =
        1
        +
        3
        +
        5
      
    
    {\displaystyle 3^{2}=9=1+3+5}
  

  
    
      
        
          4
          
            2
          
        
        =
        16
        =
        1
        +
        3
        +
        5
        +
        7
      
    
    {\displaystyle 4^{2}=16=1+3+5+7}
  

usw. Aus heutiger Perspektive werden solche Beobachtungen meist über vollständige Induktion streng bewiesen. Ist etwa bereits bekannt, dass

  
    
      
        1
        +
        3
        +
        5
        +
        ⋯
        +
        (
        2
        n
        −
        1
        )
        =
        
          n
          
            2
          
        
      
    
    {\displaystyle 1+3+5+\dotsb +(2n-1)=n^{2}}
  

gilt, so folgt mit der ersten binomischen Formel

  
    
      
        (
        n
        +
        1
        
          )
          
            2
          
        
        =
        
          n
          
            2
          
        
        +
        2
        n
        +
        1
        =
        1
        +
        3
        +
        5
        +
        ⋯
        +
        (
        2
        n
        −
        1
        )
        +
        (
        2
        n
        +
        1
        )
        ,
      
    
    {\displaystyle (n+1)^{2}=n^{2}+2n+1=1+3+5+\dotsb +(2n-1)+(2n+1),}
  

und die Behauptung muss, da sie nach Annahme für 
  
    
      
        n
      
    
    {\displaystyle n}
  
 stimmt, auch für 
  
    
      
        n
        +
        1
      
    
    {\displaystyle n+1}
  
 stimmen. Da sie initial für 
  
    
      
        n
        =
        1
      
    
    {\displaystyle n=1}
  
 richtig ist, muss sie folglich für alle natürlichen 
  
    
      
        n
      
    
    {\displaystyle n}
  
 wahr sein.
Die binomischen Formeln finden sich auch bei Nikomachos von Gerasa. Seine Einführung in die Arithmetik gilt als das älteste Buch der Antike, das speziell der Arithmetik gewidmet ist. Daneben existiert noch die Arithmetik des Diophantos von Alexandria, doch dieses Werk galt im Mittelalter als unbekannt. Nikomachos’ Werk hatte in den folgenden Jahrhunderten für die Arithmetik eine ähnliche Bedeutung wie Euklids Elemente für die Geometrie. Sie wurde von Boethius in seinem Werk De institutione arithmetica ins Lateinische übersetzt und damit während des Mittelalters in Klosterschulen und Universitäten populär. Für ihn galt die dritte binomische Formel

  
    
      
        
          
            (
            
              
                
                  a
                  +
                  b
                
                2
              
            
            )
          
          
            2
          
        
        =
        a
        b
        +
        
          
            (
            
              
                
                  a
                  −
                  b
                
                2
              
            
            )
          
          
            2
          
        
      
    
    {\displaystyle \left({\frac {a+b}{2}}\right)^{2}=ab+\left({\frac {a-b}{2}}\right)^{2}}
  

als „wertvoll“, etwa zur schnellen Berechnung von Quadratzahlen:

  
    
      
        
          97
          
            2
          
        
        =
        94
        ⋅
        100
        +
        9
        =
        9409
        ,
      
    
    {\displaystyle 97^{2}=94\cdot 100+9=9409,}
  

mit 
  
    
      
        a
        =
        94
      
    
    {\displaystyle a=94}
  
 und 
  
    
      
        b
        =
        100.
      
    
    {\displaystyle b=100.}
  


#### Bei Diophantos von Alexandria
Auch Diophantos von Alexandria (zwischen 100 v. Chr. und 350) waren die binomischen Formeln geläufig. So hatte er unter anderem Kenntnis von den Identitäten

  
    
      
        (
        
          a
          
            2
          
        
        +
        
          b
          
            2
          
        
        )
        ±
        2
        a
        b
        =
        (
        a
        ±
        b
        
          )
          
            2
          
        
        ,
      
    
    {\displaystyle (a^{2}+b^{2})\pm 2ab=(a\pm b)^{2},}
  

  
    
      
        2
        (
        
          a
          
            2
          
        
        +
        
          b
          
            2
          
        
        )
        =
        (
        a
        +
        b
        
          )
          
            2
          
        
        +
        (
        a
        −
        b
        
          )
          
            2
          
        
        ,
      
    
    {\displaystyle 2(a^{2}+b^{2})=(a+b)^{2}+(a-b)^{2},}
  

  
    
      
        4
        a
        b
        +
        (
        a
        −
        b
        
          )
          
            2
          
        
        =
        (
        a
        +
        b
        
          )
          
            2
          
        
      
    
    {\displaystyle 4ab+(a-b)^{2}=(a+b)^{2}}
  

und

  
    
      
        
          
            (
            
              
                
                  a
                  +
                  b
                
                2
              
            
            )
          
          
            2
          
        
        −
        
          
            (
            
              
                
                  a
                  −
                  b
                
                2
              
            
            )
          
          
            2
          
        
        =
        a
        b
        .
      
    
    {\displaystyle \left({\frac {a+b}{2}}\right)^{2}-\left({\frac {a-b}{2}}\right)^{2}=ab.}
  


### Indien
Bereits zwischen 400 v. Chr. und dem 2. Jahrhundert soll Pingala den Aufbau des Pascalschen Dreiecks bestimmt haben. Dieses listet die Binomialkoeffizienten schematisch auf. Dass er allerdings auch um den Zusammenhang zum binomischen Lehrsatz wusste, gilt nicht als plausibel.
Im 6. und 7. Jahrhundert gaben die indischen Mathematiker Aryabhata und Brahmagupta die Fälle 
  
    
      
        (
        a
        +
        b
        
          )
          
            2
          
        
      
    
    {\displaystyle (a+b)^{2}}
  
 und 
  
    
      
        (
        a
        +
        b
        
          )
          
            3
          
        
      
    
    {\displaystyle (a+b)^{3}}
  
 an. Der Ausdruck

  
    
      
        (
        a
        +
        b
        
          )
          
            3
          
        
        =
        
          a
          
            3
          
        
        +
        3
        
          a
          
            2
          
        
        b
        +
        3
        a
        
          b
          
            2
          
        
        +
        
          b
          
            3
          
        
      
    
    {\displaystyle (a+b)^{3}=a^{3}+3a^{2}b+3ab^{2}+b^{3}}
  

wird auch als kubische binomische Formel bezeichnet. Ferner zeigte Brahmagupta in seiner Brahmasphutasiddhanta die zu den binomischen Formeln verwandte Brahmagupta-Identität

  
    
      
        
          (
          
            
              a
              
                2
              
            
            +
            
              b
              
                2
              
            
          
          )
        
        
          (
          
            
              c
              
                2
              
            
            +
            
              d
              
                2
              
            
          
          )
        
        =
        
          
            (
            
              a
              c
              +
              b
              d
            
            )
          
          
            2
          
        
        +
        
          
            (
            
              a
              d
              −
              b
              c
            
            )
          
          
            2
          
        
        =
        
          
            (
            
              a
              c
              −
              b
              d
            
            )
          
          
            2
          
        
        +
        
          
            (
            
              a
              d
              +
              b
              c
            
            )
          
          
            2
          
        
        ,
      
    
    {\displaystyle \left(a^{2}+b^{2}\right)\left(c^{2}+d^{2}\right)=\left(ac+bd\right)^{2}+\left(ad-bc\right)^{2}=\left(ac-bd\right)^{2}+\left(ad+bc\right)^{2},}
  

die in der elementaren Zahlentheorie, zum Beispiel im Umfeld des Zwei-Quadrate-Satzes, eine Rolle spielt. Diese Identität lässt sich allerdings bereits in der Arithmetica von Diophantos von Alexandria finden und wurde zuerst von Leonardo von Pisa bewiesen.
Narayana Pandit (circa 1325–1400) beschäftigte sich im Kapitel XI seiner Ganita Kaumudi unter anderen mit Primfaktorzerlegungen. Neben dem ausschöpfenden Dividieren von Zahlen durch die Primzahlen 2, 3, 5 usw. (was schon lange bekannt war) formuliert er einige Regeln zur Bestimmung von Zahlen 
  
    
      
        a
      
    
    {\displaystyle a}
  
 und 
  
    
      
        b
      
    
    {\displaystyle b}
  
 mit 
  
    
      
        N
        +
        
          b
          
            2
          
        
        =
        
          a
          
            2
          
        
      
    
    {\displaystyle N+b^{2}=a^{2}}
  
 und der dazugehörigen Faktorisierung 
  
    
      
        N
        =
        (
        a
        −
        b
        )
        
        (
        a
        +
        b
        )
      
    
    {\displaystyle N=(a-b)\,(a+b)}
  
 im Falle eines Erfolgs, die sich aus der dritten binomischen Formel ergibt. Damit nahm er die Grundidee des heute als Faktorisierungsmethode von Fermat genannten Prinzips vorweg. Als Beispielrechnung gibt er an:

  
    
      
        1161
        =
        1225
        −
        64
        =
        
          35
          
            2
          
        
        −
        
          8
          
            2
          
        
        =
        (
        35
        −
        8
        )
        ⋅
        (
        35
        +
        8
        )
        =
        27
        ⋅
        43
        =
        3
        ⋅
        3
        ⋅
        3
        ⋅
        43.
      
    
    {\displaystyle 1161=1225-64=35^{2}-8^{2}=(35-8)\cdot (35+8)=27\cdot 43=3\cdot 3\cdot 3\cdot 43.}
  


### Kalifat der Abbasiden
In den Ländern des Islam kam es vor allem unter der Herrschaft der Abbasiden vom 8. bis zum 13. Jahrhundert zu einem kulturellen und wissenschaftlichen Aufschwung, der in Literatur und Philosophie, Architektur, Medizin, Astronomie, Geographie und nicht zuletzt auch in der Mathematik zu einer Blütezeit führte.
Bereits al-Chwarizmi beschäftige sich um das Jahr 830 mit geometrischen Lösungsverfahren linearer und quadratischer Gleichungen und folgte dabei sowohl indischen als auch griechischen Vorbildern, wobei letztere überwiegen. Dabei fanden auch neue Figuren als jene bei Euklid Einzug in seine Betrachtungen. Etwa bezieht sich 
  
    
      
        
          x
          
            2
          
        
        +
        2
        x
        =
        15
      
    
    {\displaystyle x^{2}+2x=15}
  
 auf 
  
    
      
        y
        =
        1
      
    
    {\displaystyle y=1}
  
 in den Bildern 1 und 2, denn dann ist 
  
    
      
        
          x
          
            2
          
        
        +
        4
        ⋅
        
          
            
              x
              2
            
          
        
        +
        4
        ⋅
        (
        
          
            
              1
              2
            
          
        
        
          )
          
            2
          
        
        =
        15
        +
        1
        =
        (
        x
        +
        1
        
          )
          
            2
          
        
      
    
    {\displaystyle x^{2}+4\cdot {\tfrac {x}{2}}+4\cdot ({\tfrac {1}{2}})^{2}=15+1=(x+1)^{2}}
  
 (siehe Bild 1) bzw. 
  
    
      
        
          x
          
            2
          
        
        +
        2
        x
        +
        
          1
          
            2
          
        
        =
        15
        +
        
          1
          
            2
          
        
      
    
    {\displaystyle x^{2}+2x+1^{2}=15+1^{2}}
  
 (siehe Bild 2).

Bei al-Karadschi und noch deutlicher bei as-Samaw’al (1130–1180) finden sich Überlegungen, die wesentliche Schritte zu einem Beweis für den binomischen Lehrsatz, der die erste und zweite binomische Formel umfasst, durch vollständige Induktion enthalten. Dies bereitete Schwierigkeiten, da die mathematischen Ausdrucksmöglichkeiten der damaligen Zeit nicht ausreichten, eine derart allgemeine Aussage auch nur zu formulieren. Für die Berechnung der Binomialkoeffizienten 
  
    
      
        
          
            
              
                (
              
              
                n
                k
              
              
                )
              
            
          
        
      
    
    {\displaystyle {\tbinom {n}{k}}}
  
 verwendeten al-Karadschi und as-Samaw’al dabei – lange vor Blaise Pascal – das Pascalsche Dreieck.
Der persische Mathematiker und Dichter Omar Chayyām (1048–1131) entwickelte eine Technik, um 
  
    
      
        n
      
    
    {\displaystyle n}
  
-te Wurzeln zu ziehen. Obwohl sein Werk verloren ging, wird davon ausgegangen, dass er den Umgang mit den allgemeinen binomischen Formeln 
  
    
      
        (
        a
        +
        b
        
          )
          
            n
          
        
      
    
    {\displaystyle (a+b)^{n}}
  
 beherrschte und auch die Binomialkoeffizienten in Form des Pascalschen Dreiecks kannte. Diese wurden in Europa erst 500 Jahre später durch Blaise Pascal wiederentdeckt. Der Fall der Potenz 2 ist in Euklids Elementen explizit angegeben, und der Fall von höchstens Potenz 3 wurde von indischen Mathematikern aufgestellt. Chayyām erkannte somit als einer der ersten Mathematiker die Bedeutung eines allgemeinen binomischen Lehrsatzes. Er machte zudem die dreieckige Anordnung der Binomialkoeffizienten im Iran populär, sodass diese heute gelegentlich auch als Omar Chayyāms Dreieck bezeichnet wird.


### Renaissance und Moderne
Mit diesen Worten eröffnete Blaise Pascal im Jahr 1654 einen der ersten niedergeschriebenen Induktionsbeweise. Ziel war es, den Term 
  
    
      
        (
        a
        +
        b
        
          )
          
            n
          
        
      
    
    {\displaystyle (a+b)^{n}}
  
 zu expandieren. Die ersten Ergebnisse lauten dabei

  
    
      
        (
        a
        +
        b
        
          )
          
            0
          
        
        =
        1
        
      
    
    {\displaystyle (a+b)^{0}=1\qquad }
  
 (siehe leeres Produkt)

  
    
      
        (
        a
        +
        b
        
          )
          
            1
          
        
        =
        a
        +
        b
      
    
    {\displaystyle (a+b)^{1}=a+b}
  

  
    
      
        (
        a
        +
        b
        
          )
          
            2
          
        
        =
        
          a
          
            2
          
        
        +
        2
        a
        b
        +
        
          b
          
            2
          
        
      
    
    {\displaystyle (a+b)^{2}=a^{2}+2ab+b^{2}}
  

  
    
      
        (
        a
        +
        b
        
          )
          
            3
          
        
        =
        
          a
          
            3
          
        
        +
        3
        
          a
          
            2
          
        
        b
        +
        3
        a
        
          b
          
            2
          
        
        +
        
          b
          
            3
          
        
      
    
    {\displaystyle (a+b)^{3}=a^{3}+3a^{2}b+3ab^{2}+b^{3}}
  

  
    
      
        (
        a
        +
        b
        
          )
          
            4
          
        
        =
        
          a
          
            4
          
        
        +
        4
        
          a
          
            3
          
        
        b
        +
        6
        
          a
          
            2
          
        
        
          b
          
            2
          
        
        +
        4
        a
        
          b
          
            3
          
        
        +
        
          b
          
            4
          
        
      
    
    {\displaystyle (a+b)^{4}=a^{4}+4a^{3}b+6a^{2}b^{2}+4ab^{3}+b^{4}}
  

  
    
      
        (
        a
        +
        b
        
          )
          
            5
          
        
        =
        
          a
          
            5
          
        
        +
        5
        
          a
          
            4
          
        
        b
        +
        10
        
          a
          
            3
          
        
        
          b
          
            2
          
        
        +
        10
        
          a
          
            2
          
        
        
          b
          
            3
          
        
        +
        5
        a
        
          b
          
            4
          
        
        +
        
          b
          
            5
          
        
      
    
    {\displaystyle (a+b)^{5}=a^{5}+5a^{4}b+10a^{3}b^{2}+10a^{2}b^{3}+5ab^{4}+b^{5}}
  

usw. und Pascal erkannte ein Muster in den Binomialkoeffizienten:

usw. Die erste binomische Formel ist in rot dargestellt. Über Bildung von benachbarten Quotienten erhielt Pascal das alternative Dreieck

usw. (exemplarisch in blau: es bezieht sich 
  
    
      
        
          
            
              4
              2
            
          
        
        =
        
          
            
              10
              5
            
          
        
      
    
    {\displaystyle {\tfrac {4}{2}}={\tfrac {10}{5}}}
  
 auf 
  
    
      
        5
      
    
    {\displaystyle 5}
  
 und 
  
    
      
        10
      
    
    {\displaystyle 10}
  
 im oberen Dreieck), mit dessen Hilfe er induktiv auf eine geschlossene Formel für die Zahlen im oberen Dreieck schließen konnte:

In der modernen Mathematik wird – ganz im Sinne Pascals – gewöhnlich kein separates Studium der „binomischen Formeln zweiten Grades“ vollzogen, sondern stets der allgemeine binomische Lehrsatz für Terme 
  
    
      
        (
        a
        +
        b
        
          )
          
            n
          
        
      
    
    {\displaystyle (a+b)^{n}}
  
 genutzt. In manchen Lehrbüchern wird die durch den binomischen Lehrsatz gegebene allgemeine Formel für 
  
    
      
        (
        a
        +
        b
        
          )
          
            n
          
        
      
    
    {\displaystyle (a+b)^{n}}
  
 sogar auch als „binomische Formel“ bezeichnet. Der Ausdruck „erste binomische Formel“ für den Fall 
  
    
      
        n
        =
        2
      
    
    {\displaystyle n=2}
  
 im binomischen Lehrsatz ist jedoch bis heute in der Schulmathematik etabliert.


## Rechenbeispiele, Auftreten und Anwendungen
Da es sich bei den binomischen Formeln um Identitäten handelt, die sich aus einer simplen Anwendung des Distributivgesetzes ergeben, sind ihre Anwendungen in der Mathematik theoretisch unbegrenzt, da sie in einer nicht endenden Anzahl von Rechnungen „auftauchen können“. Allerdings findet das Konzept der Identität von etwa 
  
    
      
        (
        a
        +
        b
        
          )
          
            2
          
        
      
    
    {\displaystyle (a+b)^{2}}
  
 und 
  
    
      
        
          a
          
            2
          
        
        +
        2
        a
        b
        +
        
          b
          
            2
          
        
      
    
    {\displaystyle a^{2}+2ab+b^{2}}
  
 in einigen Bereichen, wie zum Beispiel der Wahrscheinlichkeitstheorie, eine bestimmte Interpretation. Dies wird dann deutlich, wenn die Identität über ihre bloß formale Existenz und Funktionstüchtigkeit hinaus eine Form der Information oder Erkenntnis preisgibt. Ferner existieren einige mathematische Standardsituationen, wie das Lösen quadratischer Gleichungen und Vereinfachen von Bruchtermen, bei denen die binomischen Formeln regelmäßig herangezogen werden.


### Kopfrechnen und einfache Termumformungen
Unmittelbare Bedeutung für den Alltag können binomische Formeln als Stütze beim Kopfrechnen haben. Das Quadrat einer beliebigen Zahl zwischen 10 und 100 lässt sich oft einfach mit der binomischen Formel bestimmen, indem man die Berechnung auf Quadrate von einfacheren Zahlen (Vielfache von 10 oder einstellige Zahlen) zurückführt.
Beispielsweise ist mit der ersten binomischen Formel

  
    
      
        
          37
          
            2
          
        
        =
        (
        30
        +
        7
        
          )
          
            2
          
        
        =
        
          30
          
            2
          
        
        +
        2
        ⋅
        30
        ⋅
        7
        +
        
          7
          
            2
          
        
        =
        900
        +
        420
        +
        49
        =
        1369
      
    
    {\displaystyle 37^{2}=(30+7)^{2}=30^{2}+2\cdot 30\cdot 7+7^{2}=900+420+49=1369}
  

oder alternativ mit der zweiten binomischen Formel

  
    
      
        
          37
          
            2
          
        
        =
        (
        40
        −
        3
        
          )
          
            2
          
        
        =
        
          40
          
            2
          
        
        −
        2
        ⋅
        40
        ⋅
        3
        +
        
          3
          
            2
          
        
        =
        1600
        −
        240
        +
        9
        =
        1369.
      
    
    {\displaystyle 37^{2}=(40-3)^{2}=40^{2}-2\cdot 40\cdot 3+3^{2}=1600-240+9=1369.}
  

Bei Kenntnis einiger Quadratzahlen (etwa bis zum Wert 
  
    
      
        
          20
          
            2
          
        
        =
        400
      
    
    {\displaystyle 20^{2}=400}
  
) lassen sich auch viele Multiplikationen auf die dritte binomische Formel zurückführen. Beispielsweise ist

  
    
      
        17
        ⋅
        13
        =
        (
        15
        +
        2
        )
        ⋅
        (
        15
        −
        2
        )
        =
        
          15
          
            2
          
        
        −
        
          2
          
            2
          
        
        =
        225
        −
        4
        =
        221
        ,
      
    
    {\displaystyle 17\cdot 13=(15+2)\cdot (15-2)=15^{2}-2^{2}=225-4=221,}
  

oder auch

  
    
      
        8
        ⋅
        14
        =
        (
        11
        −
        3
        )
        ⋅
        (
        11
        +
        3
        )
        =
        
          11
          
            2
          
        
        −
        
          3
          
            2
          
        
        =
        121
        −
        9
        =
        112.
      
    
    {\displaystyle 8\cdot 14=(11-3)\cdot (11+3)=11^{2}-3^{2}=121-9=112.}
  

Der Trick klappt besonders gut, wenn die zu multiplizierenden Zahlen nahe beieinander liegen:

  
    
      
        29
        ⋅
        31
        =
        (
        30
        −
        1
        )
        ⋅
        (
        30
        +
        1
        )
        =
        
          30
          
            2
          
        
        −
        
          1
          
            2
          
        
        =
        900
        −
        1
        =
        899.
      
    
    {\displaystyle 29\cdot 31=(30-1)\cdot (30+1)=30^{2}-1^{2}=900-1=899.}
  

Ist der Abstand der zu multiplizierenden Zahlen eine ungerade Zahl, kann ein Summand abgespalten werden, zum Beispiel

  
    
      
        13
        ⋅
        16
        =
        13
        ⋅
        15
        +
        13
        =
        
          14
          
            2
          
        
        −
        1
        +
        13
        =
        196
        +
        12
        =
        208.
      
    
    {\displaystyle 13\cdot 16=13\cdot 15+13=14^{2}-1+13=196+12=208.}
  

Dabei werden also entscheidende Rechenschritte durch memorierte Zahlenzusammenhänge ersetzt. Die Flexibilität der Methode ermöglicht es, schon bei einer verhältnismäßig geringen Anzahl auswendig gelernter Quadratzahlen eine beachtliche Anzahl an Produkten ausrechnen zu können.
Weitere Beispiele sind:


### Bruchrechnung
Einige Brüche können mit den binomischen Formeln vereinfacht werden. In erster Linie handelt es sich um Brüche, die Quadratwurzeln in ihren Nennern haben. Dies kann anhand eines Beispiels demonstriert werden:

  
    
      
        
          
            2
            
              
                
                  5
                
              
              +
              
                
                  2
                
              
            
          
        
        
          
            =
            
              
                Erweitern mit
              
              
                
                  
                    5
                  
                
                −
                
                  
                    2
                  
                
              
            
          
        
        
          
            
              2
              (
              
                
                  5
                
              
              −
              
                
                  2
                
              
              )
            
            
              (
              
                
                  5
                
              
              +
              
                
                  2
                
              
              )
              (
              
                
                  5
                
              
              −
              
                
                  2
                
              
              )
            
          
        
        
          
            =
            
              
                3. binomische
              
              
                Formel
              
            
          
        
        
          
            
              2
              (
              
                
                  5
                
              
              −
              
                
                  2
                
              
              )
            
            
              (
              
                
                  5
                
              
              
                )
                
                  2
                
              
              −
              (
              
                
                  2
                
              
              
                )
                
                  2
                
              
            
          
        
        =
        
          
            
              2
              (
              
                
                  5
                
              
              −
              
                
                  2
                
              
              )
            
            
              5
              −
              2
            
          
        
        =
        
          
            2
            3
          
        
        (
        
          
            5
          
        
        −
        
          
            2
          
        
        )
      
    
    {\displaystyle {\frac {2}{{\sqrt {5}}+{\sqrt {2}}}}{\overset {{\text{Erweitern mit}} \atop {\sqrt {5}}-{\sqrt {2}}}{=}}{\frac {2({\sqrt {5}}-{\sqrt {2}})}{({\sqrt {5}}+{\sqrt {2}})({\sqrt {5}}-{\sqrt {2}})}}{\overset {{\text{3. binomische}} \atop {\text{Formel}}}{=}}{\frac {2({\sqrt {5}}-{\sqrt {2}})}{({\sqrt {5}})^{2}-({\sqrt {2}})^{2}}}={\frac {2({\sqrt {5}}-{\sqrt {2}})}{5-2}}={\frac {2}{3}}({\sqrt {5}}-{\sqrt {2}})}
  
.
Es wurde also durch Erweitern mit dem Faktor 
  
    
      
        
          
            5
          
        
        −
        
          
            2
          
        
      
    
    {\displaystyle {\sqrt {5}}-{\sqrt {2}}}
  
 und Anwenden der dritten binomischen Formel der Nenner vereinfacht, und die Quadratwurzeln in den Zähler „transportiert“. Dieses Prinzip ist ein Spezialfall der sogenannten Rationalisierung von Brüchen.
Eine andere Anwendung betrifft die Vereinfachung von Bruchtermen. Dabei können die binomischen Formeln manchmal dabei helfen, Nenner und/oder Zähler des Bruchs zu faktorisieren, um anschließend ein Kürzen des Bruchs zu ermöglichen. Ein Beispiel unter Nutzung der dritten binomischen Formel ist

  
    
      
        
          
            
              49
              a
              −
              63
              b
            
            
              49
              
                a
                
                  2
                
              
              −
              81
              
                b
                
                  2
                
              
            
          
        
        =
        
          
            
              7
              (
              7
              a
              −
              9
              b
              )
            
            
              (
              7
              a
              −
              9
              b
              )
              (
              7
              a
              +
              9
              b
              )
            
          
        
        =
        
          
            7
            
              7
              a
              +
              9
              b
            
          
        
        .
      
    
    {\displaystyle {\frac {49a-63b}{49a^{2}-81b^{2}}}={\frac {7(7a-9b)}{(7a-9b)(7a+9b)}}={\frac {7}{7a+9b}}.}
  

Ein anderes Beispiel betrifft die zweite binomische Formel:

  
    
      
        
          
            
              8
              
                x
                
                  2
                
              
              −
              12
              x
              y
            
            
              8
              
                x
                
                  2
                
              
              −
              24
              x
              y
              +
              18
              
                y
                
                  2
                
              
            
          
        
        =
        
          
            
              4
              x
              (
              2
              x
              −
              3
              y
              )
            
            
              2
              (
              2
              x
              −
              3
              y
              
                )
                
                  2
                
              
            
          
        
        =
        
          
            
              2
              x
            
            
              2
              x
              −
              3
              y
            
          
        
      
    
    {\displaystyle {\frac {8x^{2}-12xy}{8x^{2}-24xy+18y^{2}}}={\frac {4x(2x-3y)}{2(2x-3y)^{2}}}={\frac {2x}{2x-3y}}}
  
.


### Näherungen
Mit Hilfe der binomischen Formeln können manche eher komplizierten Ausdrücke schnell durch deutlich leichtere Terme geschätzt werden. So gilt für kleine Werte 
  
    
      
        x
      
    
    {\displaystyle x}
  

  
    
      
        
          
            1
            
              1
              −
              x
            
          
        
        =
        1
        :
        (
        1
        −
        x
        )
        ≈
        1
        +
        x
        .
      
    
    {\displaystyle {\frac {1}{1-x}}=1:(1-x)\approx 1+x.}
  

Anwendungsbeispiele sind

  
    
      
        
          
            1
            
              1
              
                ,
              
              1
            
          
        
        ≈
        0
        
          ,
        
        9
        
      
    
    {\displaystyle {\frac {1}{1{,}1}}\approx 0{,}9\quad }
  
 (exakt gilt 
  
    
      
        
          
            1
            
              1
              
                ,
              
              1
            
          
        
        =
        0,909
        09
        …
      
    
    {\displaystyle {\frac {1}{1{,}1}}=0{,}90909\ldots }
  
)
und

  
    
      
        
          
            1
            
              0
              
                ,
              
              95
            
          
        
        ≈
        1
        
          ,
        
        05
        
      
    
    {\displaystyle {\frac {1}{0{,}95}}\approx 1{,}05\quad }
  
 (exakt gilt 
  
    
      
        
          
            1
            
              0
              
                ,
              
              95
            
          
        
        =
        1,052
        63
        …
      
    
    {\displaystyle {\frac {1}{0{,}95}}=1{,}05263\ldots }
  
)
Die Begründung dieser Näherung ergibt sich aus der Näherung

  
    
      
        1
        ≈
        1
        −
        
          x
          
            2
          
        
        =
        (
        1
        −
        x
        )
        
        (
        1
        +
        x
        )
        
      
    
    {\displaystyle 1\approx 1-x^{2}=(1-x)\,(1+x)\qquad }
  
 (beachte: Ist 
  
    
      
        x
      
    
    {\displaystyle x}
  
 klein, so erst recht 
  
    
      
        
          x
          
            2
          
        
        ;
      
    
    {\displaystyle x^{2};}
  
 z. B. ist der zehnte Teil eines Zehntels nur ein Hundertstel, also 
  
    
      
        0
        
          ,
        
        
          1
          
            2
          
        
        =
        0
        
          ,
        
        01
      
    
    {\displaystyle 0{,}1^{2}=0{,}01}
  
),
und anschließende Division durch 
  
    
      
        1
        −
        x
        .
      
    
    {\displaystyle 1-x.}
  
 Je kleiner 
  
    
      
        x
      
    
    {\displaystyle x}
  
 hier ist, desto kleiner ist der relative Fehler. Auf ähnliche Weise erhält man über die erste binomische Formel für kleine Werte 
  
    
      
        x
      
    
    {\displaystyle x}
  

  
    
      
        
          
            (
            
              1
              +
              
                
                  x
                  2
                
              
            
            )
          
          
            2
          
        
        =
        1
        +
        x
        +
        
          
            
              x
              
                2
              
            
            4
          
        
        ≈
        1
        +
        x
        ,
      
    
    {\displaystyle \left(1+{\frac {x}{2}}\right)^{2}=1+x+{\frac {x^{2}}{4}}\approx 1+x,}
  

also

  
    
      
        
          
            1
            +
            x
          
        
        ≈
        1
        +
        
          
            x
            2
          
        
        .
      
    
    {\displaystyle {\sqrt {1+x}}\approx 1+{\frac {x}{2}}.}
  

Diese Näherungsformeln können mittels Taylor-Polynomen weiter verbessert werden. Gleichzeitig ist die erste binomische Formel damit Ausgangspunkt für das sogenannte Heron-Verfahren zur Annäherung von Quadratwurzeln, das die oberen Annäherungen iterativ benutzt.


### Quadratische Ergänzung und Herleitung der Mitternachtsformel
Es ist

  
    
      
        3
        =
        3
      
    
    {\displaystyle 3=3}
  

ein Beispiel für eine wahre Gleichung: Beide Zahlen auf jeder Seite des Gleichheitszeichens sind identisch. Gleichungen können umgeformt werden. Dahinter steckt die Idee, dass, wenn zwei identische Größen auf identische Weise manipuliert werden, die Resultate wieder identisch sein müssen. Aus beidseitiger Addition von 
  
    
      
        3
        =
        3
      
    
    {\displaystyle 3=3}
  
 mit 
  
    
      
        7
      
    
    {\displaystyle 7}
  
 geht 
  
    
      
        10
        =
        10
      
    
    {\displaystyle 10=10}
  
 hervor – wieder eine gültige Gleichung. Oft beinhalten Gleichungen eine Unbekannte, etwa 
  
    
      
        2
        ⋅
        x
        =
        4.
      
    
    {\displaystyle 2\cdot x=4.}
  
 Beidseitige Division durch 
  
    
      
        2
      
    
    {\displaystyle 2}
  
 formt dies zu 
  
    
      
        x
        =
        2
      
    
    {\displaystyle x=2}
  
 um, womit die Unbekannte plötzlich „sichtbar“ wird. Im Nachhinein ist auch der einfache Zusammenhang 
  
    
      
        2
        ⋅
        2
        =
        4
      
    
    {\displaystyle 2\cdot 2=4}
  
 leicht zu prüfen, und es war 
  
    
      
        x
        =
        2
      
    
    {\displaystyle x=2}
  
 der „einzige Kandidat“, der mit 
  
    
      
        2
        ⋅
        x
        =
        4
      
    
    {\displaystyle 2\cdot x=4}
  
 schon unausweichlich bestimmt war. In vielen Problemen der wissenschaftlichen Praxis entstehen aus bekannten Beziehungen zunächst unbekannter Größen Gleichungen, weshalb Techniken zu deren Auflösen große Bedeutung zukommt. Die innerhalb einer wissenschaftlichen Theorie erarbeiteten kausalen Zusammenhänge oder ökonomische Forderungen „zwingen“ die Größen in einen begrenzten Raum an Möglichkeiten, doch erst ein Auflösen der entstehenden Gleichungen macht diese wenigen Möglichkeiten „sichtbar“.
Ein Beispiel ist: Ein rechteckiges Zimmer ist zwei Meter länger als breit und hat den Flächeninhalt 
  
    
      
        24
      
    
    {\displaystyle 24}
  
 Quadratmeter – wie lang und wie breit ist es? Die Frage führt zur Gleichung

  
    
      
        x
        ⋅
        (
        x
        +
        2
        )
        =
        24
        
      
    
    {\displaystyle x\cdot (x+2)=24\qquad }
  
 (
  
    
      
        x
      
    
    {\displaystyle x}
  
 = Breite des Zimmers in Metern),
also

  
    
      
        
          x
          
            2
          
        
        +
        2
        x
        =
        24.
      
    
    {\displaystyle x^{2}+2x=24.}
  

Dies ist Beispiel einer quadratischen Gleichung. Gerade im Umgang mit quadratischen Gleichungen erweisen sich die binomischen Formeln als nützlich. Die Grundidee ist, „umgekehrt“ zu denken: Schafft man es, irgendwo einen Term der Form 
  
    
      
        
          x
          
            2
          
        
        +
        2
        b
        x
        +
        
          b
          
            2
          
        
      
    
    {\displaystyle x^{2}+2bx+b^{2}}
  
 zu erzeugen, kann eine Gleichung vereinfacht werden. Dies erfordert ein gewisses Geschick beim „Erkennen“ und zu Beginn meist etwas Übung. Im obigen Beispiel kann auf der linken Seite durch Hinzufügen eines nichtigen Terms 
  
    
      
        1
        −
        1
        =
        0
      
    
    {\displaystyle 1-1=0}
  
 wie folgt eine binomische Formel „erzwungen“ werden:

  
    
      
        
          x
          
            2
          
        
        +
        2
        x
        =
        24
        
        ⟺
        
        
          x
          
            2
          
        
        +
        2
        x
        
        
        +
        
          
            
              
                1
                −
                1
              
              ⏟
            
          
          
            
              
                keine
              
              
                Veränderung
              
            
          
        
        =
        24
        
        ⟺
        
        (
        
          x
          
            2
          
        
        +
        2
        x
        +
        1
        )
        −
        1
        =
        24
        
        ⟺
        
        (
        x
        +
        1
        
          )
          
            2
          
        
        −
        1
        =
        24
        
          
            
              
              ⟺
              
            
            
              
                |
              
              
              +
              1
            
          
        
        (
        x
        +
        1
        
          )
          
            2
          
        
        =
        25.
      
    
    {\displaystyle x^{2}+2x=24\iff x^{2}+2x\,\,+\underbrace {1-1} _{{\text{keine}} \atop {\text{Veränderung}}}=24\iff (x^{2}+2x+1)-1=24\iff (x+1)^{2}-1=24{\overset {|\,+1}{\iff }}(x+1)^{2}=25.}
  

Nun muss nur noch auf beiden Seiten die Quadratwurzel in beiden Zweigen 
  
    
      
        
          
            25
          
        
        =
        ±
        5
      
    
    {\displaystyle {\sqrt {25}}=\pm 5}
  
 gezogen werden (was letztlich der entscheidende Schritt zum „Auflösen“ der Gleichung ist), um aus

  
    
      
        x
        +
        1
        =
        ±
        5
      
    
    {\displaystyle x+1=\pm 5}
  

die Lösungsmenge 
  
    
      
        {
        −
        6
        ,
        4
        }
      
    
    {\displaystyle \{-6,4\}}
  
 zu erhalten. Damit hat das Zimmer die Breite 
  
    
      
        x
        =
        4
      
    
    {\displaystyle x=4}
  
. Dies war schon seit Aufstellung der Bedingungen an das Zimmer „unausweichlich“, wurde aber erst nach Auflösung der quadratischen Gleichung für Geist und Auge „sichtbar“.
Eben dieses Prozedere der Erzeugung eines Terms passend zur ersten (oder auch zweiten) binomischen Formel nennt man auch quadratische Ergänzung.
Tatsächlich kann genau dieses Verfahren zur Herleitung der allgemeinen „Mitternachtsformel“ genutzt werden, wobei die Idee durch das obige Beispiel bereits vollständig beschrieben ist und lediglich unter Verwendung allgemeiner „Platzhalter“ 
  
    
      
        a
        ≠
        0
        ,
        b
        ,
        c
      
    
    {\displaystyle a\not =0,b,c}
  
 in 
  
    
      
        a
        
          x
          
            2
          
        
        +
        b
        x
        +
        c
        =
        0
      
    
    {\displaystyle ax^{2}+bx+c=0}
  
 ausgeführt werden muss.


### Beweis des Satzes des Pythagoras
Der Satz des Pythagoras ist einer der fundamentalen Sätze der euklidischen Geometrie. Er besagt, dass in allen rechtwinkligen Dreiecken die Summe der Flächeninhalte der Kathetenquadrate gleich dem Flächeninhalt des Hypotenusenquadrates ist. Sind also 
  
    
      
        a
      
    
    {\displaystyle a}
  
 und 
  
    
      
        b
      
    
    {\displaystyle b}
  
 die Längen der am rechten Winkel anliegenden Seiten, der Katheten, und 
  
    
      
        c
      
    
    {\displaystyle c}
  
 die Länge der dem rechten Winkel gegenüberliegenden Seite, der Hypotenuse, dann lautet der Satz als Gleichung ausgedrückt:

  
    
      
        
          a
          
            2
          
        
        +
        
          b
          
            2
          
        
        =
        
          c
          
            2
          
        
        .
      
    
    {\displaystyle a^{2}+b^{2}=c^{2}.}
  

Mehr noch werden durch diesen Satz die rechtwinkligen Dreiecke charakterisiert. Ist das betrachtete Dreieck also nicht rechtwinklig, kann die Gleichung 
  
    
      
        
          a
          
            2
          
        
        +
        
          b
          
            2
          
        
        =
        
          c
          
            2
          
        
      
    
    {\displaystyle a^{2}+b^{2}=c^{2}}
  
 nicht erfüllt sein.
Der Satz des Pythagoras kann mit Hilfe der ersten binomischen Formel bewiesen werden. Hintergrund ist eine einfache geometrische Idee: In ein Quadrat mit der Seitenlänge 
  
    
      
        a
        +
        b
      
    
    {\displaystyle a+b}
  
 werden vier kongruente rechtwinklige Dreiecke mit den Seiten 
  
    
      
        a
        ,
      
    
    {\displaystyle a,}
  
 
  
    
      
        b
      
    
    {\displaystyle b}
  
 und 
  
    
      
        c
      
    
    {\displaystyle c}
  
 (Hypotenuse) eingelegt. Dies kann auf zwei Arten geschehen, wie im Diagramm dargestellt ist.

Um diese geometrische Idee algebraisch rigoros zu machen, werden Termumformungen benötigt, bei denen die erste binomische Formel von Nutzen ist. Die Gesamtfläche des Quadrates ist einerseits wegen der ersten binomischen Formel

  
    
      
        (
        a
        +
        b
        
          )
          
            2
          
        
        =
        
          a
          
            2
          
        
        +
        2
        a
        b
        +
        
          b
          
            2
          
        
        .
      
    
    {\displaystyle (a+b)^{2}=a^{2}+2ab+b^{2}.}
  

Der Mittelterm 
  
    
      
        2
        a
        b
      
    
    {\displaystyle 2ab}
  
 entspricht den Flächen der vier kongruenten Dreiecke in Graphik P; jedes einzelne mit Fläche 
  
    
      
        
          
            
              
                a
                b
              
              2
            
          
        
        ,
      
    
    {\displaystyle {\tfrac {ab}{2}},}
  
 siehe Graphik R. Andererseits kann die Fläche des großen Quadrates als Summe der – in Graphik P weißen – Fläche 
  
    
      
        
          c
          
            2
          
        
      
    
    {\displaystyle c^{2}}
  
 und erneut der Fläche der vier Dreiecke dargestellt werden:

  
    
      
        
          c
          
            2
          
        
        +
        4
        ⋅
        
          
            
              a
              b
            
            2
          
        
        =
        
          c
          
            2
          
        
        +
        2
        a
        b
        .
      
    
    {\displaystyle c^{2}+4\cdot {\frac {ab}{2}}=c^{2}+2ab.}
  

Dies entspricht dem oben erwähnten „Perspektivwechsel“: Der Term 
  
    
      
        2
        a
        b
      
    
    {\displaystyle 2ab}
  
 ist in beiden Ausdrücken zu finden, da die vier Dreiecke im linken Bild von Graphik P bloß verschoben werden. Da es sich in beiden Fällen um die selbe Ausgangsfläche handelte, gilt folglich

  
    
      
        
          a
          
            2
          
        
        +
        2
        a
        b
        +
        
          b
          
            2
          
        
        =
        
          c
          
            2
          
        
        +
        2
        a
        b
        .
      
    
    {\displaystyle a^{2}+2ab+b^{2}=c^{2}+2ab.}
  

Zieht man nun auf beiden Seiten 
  
    
      
        2
        a
        b
      
    
    {\displaystyle 2ab}
  
 ab, verbleibt 
  
    
      
        
          a
          
            2
          
        
        +
        
          b
          
            2
          
        
        =
        
          c
          
            2
          
        
        ,
      
    
    {\displaystyle a^{2}+b^{2}=c^{2},}
  
 was genau der Satz des Pythagoras ist.
Als Anwendung des Satzes des Pythagoras ergibt sich, wieder unter Anwendung der ersten binomischen Formel, ein Beweis des Höhensatzes von Euklid.


### Die Hardy-Weinberg-Formel
Eine Anwendung der ersten binomischen Formel betrifft die Hardy-Weinberg-Formel. Von nahezu allen Genen gibt es unterschiedliche Varianten, die als Allele bezeichnet werden. So kann es etwa verschiedene Allele für die Farbe einer Linsensorte geben, für die Größe von Individuen, aber auch für bestimmte Proteine, die im Stoffwechsel eine tragende Rolle spielen.
Den Anteil, mit der ein solches Allel in einer Population vorkommt, nennt man Allelfrequenz. Im einfachsten Fall gibt es nur zwei Allele, also zwei Genvarianten, die zum Beispiel als 
  
    
      
        A
      
    
    {\displaystyle A}
  
 und 
  
    
      
        B
      
    
    {\displaystyle B}
  
 bezeichnet werden können. Für die entsprechenden Allelfrequenzen 
  
    
      
        a
      
    
    {\displaystyle a}
  
 und 
  
    
      
        b
      
    
    {\displaystyle b}
  
 gilt dann 
  
    
      
        a
        +
        b
        =
        1.
      
    
    {\displaystyle a+b=1.}
  
 Nun trägt jedes Individuum von einem bestimmten Gen zwei Stück, eines vom Vater, eines von der Mutter. Eine Ausnahme von dieser Regel sind lediglich bestimmte geschlechtsgebundene Gene (siehe auch X-chromosomaler Erbgang). Man erhält dann, unter Annahme einer perfekten Durchmischung der betrachteten Population, die Hardy-Weinberg-Formel

  
    
      
        1
        =
        1
        ⋅
        1
        =
        
          
            
              
                (
                a
                +
                b
                )
              
              ⏟
            
          
          
            1. Gen
          
        
        ⋅
        
          
            
              
                (
                a
                +
                b
                )
              
              ⏟
            
          
          
            2. Gen
          
        
        =
        
          a
          
            2
          
        
        +
        2
        a
        b
        +
        
          b
          
            2
          
        
        .
      
    
    {\displaystyle 1=1\cdot 1=\underbrace {(a+b)} _{\text{1. Gen}}\cdot \underbrace {(a+b)} _{\text{2. Gen}}=a^{2}+2ab+b^{2}.}
  

Wird nun angenommen, das Allel A sei dominant, bedeutet dies, dass die Merkmale von Allel 
  
    
      
        B
      
    
    {\displaystyle B}
  
 bei der Genkombination 
  
    
      
        A
        B
      
    
    {\displaystyle AB}
  
 nicht erkenntlich sind, sondern nur bei 
  
    
      
        B
        B
        .
      
    
    {\displaystyle BB.}
  
 Die von 
  
    
      
        B
      
    
    {\displaystyle B}
  
 getragenen Merkmale nennt man dann rezessiv. Sind beispielsweise vier Prozent einer Population Merkmalsträger von 
  
    
      
        B
        ,
      
    
    {\displaystyle B,}
  
 so ist die Allelfrequenz von 
  
    
      
        B
      
    
    {\displaystyle B}
  
 höher als gedacht: Die Hardy-Weinberg-Formel liefert 
  
    
      
        
          b
          
            2
          
        
        =
        0
        
          ,
        
        04
      
    
    {\displaystyle b^{2}=0{,}04}
  
 und damit 
  
    
      
        b
        =
        0
        
          ,
        
        2.
      
    
    {\displaystyle b=0{,}2.}
  
 Demzufolge ist 
  
    
      
        a
        =
        1
        −
        b
        =
        0
        
          ,
        
        8
      
    
    {\displaystyle a=1-b=0{,}8}
  
 und immerhin 
  
    
      
        2
        a
        b
        =
        0
        
          ,
        
        32.
      
    
    {\displaystyle 2ab=0{,}32.}
  
 Ergo sind 32 Prozent der Bevölkerung Träger des Allels 
  
    
      
        B
        ,
      
    
    {\displaystyle B,}
  
 ohne aber Merkmalsträger zu sein.


### Wahrscheinlichkeitstheorie und Statistik
In eine ähnliche Richtung wie die Hardy-Weinberg-Formel geht folgende probabilistische Interpretation der ersten binomischen Formel. Diese hängt mit der zweifachen Ausführung eines Zufallsexperiments mit unabhängigen Abläufen (zum Beispiel dem zweifachen Wurf einer Münze) zusammen. Stehen sich in einem Zufallsexperiment zwei mögliche Ausgänge gegenüber, etwa „Gewinnen“ und „Verlieren“, so folgt für deren Wahrscheinlichkeiten 
  
    
      
        a
      
    
    {\displaystyle a}
  
 und 
  
    
      
        b
      
    
    {\displaystyle b}
  
 bereits 
  
    
      
        a
        +
        b
        =
        1
      
    
    {\displaystyle a+b=1}
  
 (die Eins entspricht hier 
  
    
      
        100
        %
        =
        
          
            
              100
              100
            
          
        
      
    
    {\displaystyle 100\%={\tfrac {100}{100}}}
  
), da bei angenommenem Ausschluss eines Unentschiedens eines dieser Ereignisse sicher eintritt. Zweifache Ausführung führt zu folgender neuen „Aufteilung der Eins“:

  
    
      
        1
        =
        1
        ⋅
        1
        =
        (
        a
        +
        b
        )
        ⋅
        (
        a
        +
        b
        )
        =
        (
        a
        +
        b
        
          )
          
            2
          
        
        =
        
          a
          
            2
          
        
        +
        2
        a
        b
        +
        
          b
          
            2
          
        
        .
      
    
    {\displaystyle 1=1\cdot 1=(a+b)\cdot (a+b)=(a+b)^{2}=a^{2}+2ab+b^{2}.}
  

Dies bildet die möglichen – sich gegenseitig ausschließenden – Ereignisse

„zweimal gewinnen“ (mit Wahrscheinlichkeit 
  
    
      
        
          a
          
            2
          
        
      
    
    {\displaystyle a^{2}}
  
),
„je einmal gewinnen und verlieren“ (mit Wahrscheinlichkeit 
  
    
      
        2
        a
        b
      
    
    {\displaystyle 2ab}
  
 – es wird bei diesem Ereignis nicht in der Reihenfolge, also zwischen 
  
    
      
        a
        b
      
    
    {\displaystyle ab}
  
 und 
  
    
      
        b
        a
        ,
      
    
    {\displaystyle ba,}
  
 unterschieden!) und
„zweimal verlieren“ (mit Wahrscheinlichkeit 
  
    
      
        
          b
          
            2
          
        
      
    
    {\displaystyle b^{2}}
  
)
ab. Auf diese Weise werden die Wahrscheinlichkeiten 
  
    
      
        
          a
          
            2
          
        
        ,
      
    
    {\displaystyle a^{2},}
  
 
  
    
      
        2
        a
        b
      
    
    {\displaystyle 2ab}
  
 und 
  
    
      
        
          b
          
            2
          
        
      
    
    {\displaystyle b^{2}}
  
 als „Teilvolumina der Eins“ sichtbar (siehe Bilder unten). Ist beim zweifachen Münzwurf zum Beispiel 
  
    
      
        a
        =
        b
        =
        
          
            
              1
              2
            
          
        
        ,
      
    
    {\displaystyle a=b={\tfrac {1}{2}},}
  
 so trifft Kopf-Kopf und Zahl-Zahl jeweils mit den Wahrscheinlichkeiten 
  
    
      
        
          
            
              1
              2
            
          
        
        ⋅
        
          
            
              1
              2
            
          
        
        =
        
          
            
              1
              4
            
          
        
      
    
    {\displaystyle {\tfrac {1}{2}}\cdot {\tfrac {1}{2}}={\tfrac {1}{4}}}
  
 auf, und „je einmal Kopf und einmal Zahl“ mit der Wahrscheinlichkeit 
  
    
      
        2
        ⋅
        
          
            
              1
              2
            
          
        
        ⋅
        
          
            
              1
              2
            
          
        
        =
        
          
            
              1
              2
            
          
        
        .
      
    
    {\displaystyle 2\cdot {\tfrac {1}{2}}\cdot {\tfrac {1}{2}}={\tfrac {1}{2}}.}
  

Diese Verfahren lassen sich ganz analog auf beliebig häufige Wiederholungen von zum Beispiel Münzwürfen ausweiten, wobei dann der binomische Lehrsatz zur Expansion von 
  
    
      
        (
        a
        +
        b
        
          )
          
            n
          
        
      
    
    {\displaystyle (a+b)^{n}}
  
 für beliebige natürliche Zahlen 
  
    
      
        n
      
    
    {\displaystyle n}
  
 eine wichtige Rolle spielt. Man spricht dann, hinsichtlich der auftretenden Wahrscheinlichkeiten, von der Binomialverteilung.
Die zweite binomische Formel findet auch unmittelbare Anwendung in der Stochastik, nämlich bei der Berechnung der Varianz einer Zufallsvariablen. Diese misst ab, wie stark eine Zufallsvariable 
  
    
      
        X
      
    
    {\displaystyle X}
  
 um ihren Erwartungswert (= Mittelwert) 
  
    
      
        
          E
        
        [
        X
        ]
      
    
    {\displaystyle \mathrm {E} [X]}
  
 gestreut ist. Um Ausreißer stärker zu „bestrafen“ und Vorzeichen zu ignorieren, wird dabei das Quadrat der Abweichung 
  
    
      
        X
        −
        
          E
        
        [
        X
        ]
      
    
    {\displaystyle X-\mathrm {E} [X]}
  
 gemessen, also wiederum dessen Erwartungswert berechnet. Mit der zweiten binomischen Formel kann dies zusammen mit der Linearität des Erwartungswertes vereinfacht werden:

  
    
      
        
          
            
              
                Var
                ⁡
                (
                X
                )
              
              
                
                =
                E
                ⁡
                
                  [
                  
                    (
                    X
                    −
                    E
                    ⁡
                    [
                    X
                    ]
                    
                      )
                      
                        2
                      
                    
                  
                  ]
                
              
            
            
              
              
                
                =
                E
                ⁡
                
                  [
                  
                    
                      X
                      
                        2
                      
                    
                    −
                    2
                    X
                    E
                    ⁡
                    [
                    X
                    ]
                    +
                    E
                    ⁡
                    [
                    X
                    
                      ]
                      
                        2
                      
                    
                  
                  ]
                
              
            
            
              
              
                
                =
                E
                ⁡
                
                  [
                  
                    X
                    
                      2
                    
                  
                  ]
                
                −
                2
                E
                ⁡
                [
                X
                ]
                E
                ⁡
                [
                X
                ]
                +
                E
                ⁡
                [
                X
                
                  ]
                  
                    2
                  
                
              
            
            
              
              
                
                =
                E
                ⁡
                
                  [
                  
                    X
                    
                      2
                    
                  
                  ]
                
                −
                E
                ⁡
                [
                X
                
                  ]
                  
                    2
                  
                
                .
              
            
          
        
      
    
    {\displaystyle {\begin{aligned}\operatorname {Var} (X)&=\operatorname {E} \left[(X-\operatorname {E} [X])^{2}\right]\\[4pt]&=\operatorname {E} \left[X^{2}-2X\operatorname {E} [X]+\operatorname {E} [X]^{2}\right]\\[4pt]&=\operatorname {E} \left[X^{2}\right]-2\operatorname {E} [X]\operatorname {E} [X]+\operatorname {E} [X]^{2}\\[4pt]&=\operatorname {E} \left[X^{2}\right]-\operatorname {E} [X]^{2}.\end{aligned}}}
  

Die Varianz kann also als Differenz zwischen dem „erwarteten Quadrat“ und dem „Quadrat des Erwarteten“ gesehen werden. In dieser neuen Darstellung entpuppt sie sich als Fehlerterm in der Cauchy-Schwarz-Ungleichung 
  
    
      
        
          |
        
        ⟨
        x
        ,
        y
        ⟩
        
          
            |
          
          
            2
          
        
        ≤
        
          |
        
        
          |
        
        x
        
          |
        
        
          
            |
          
          
            2
          
        
        ⋅
        
          |
        
        
          |
        
        y
        
          |
        
        
          
            |
          
          
            2
          
        
        ,
      
    
    {\displaystyle |\langle x,y\rangle |^{2}\leq ||x||^{2}\cdot ||y||^{2},}
  
 die in Hilberträumen mit Skalarprodukt 
  
    
      
        ⟨
        x
        ,
        y
        ⟩
      
    
    {\displaystyle \langle x,y\rangle }
  
 gültig ist, und sich für Erwartungswerte in 
  
    
      
        E
        ⁡
        
          
            [
            
              X
              Y
            
            ]
          
          
            2
          
        
        ≤
        E
        ⁡
        
          [
          
            X
            
              2
            
          
          ]
        
        E
        ⁡
        
          [
          
            Y
            
              2
            
          
          ]
        
      
    
    {\displaystyle \operatorname {E} \left[XY\right]^{2}\leq \operatorname {E} \left[X^{2}\right]\operatorname {E} \left[Y^{2}\right]}
  
 übersetzt. Damit erhält die Varianz eine geometrische Interpretation. Es wird über den Fehler in der Ungleichung 
  
    
      
        E
        ⁡
        
          
            [
            X
            ]
          
          
            2
          
        
        ≤
        E
        ⁡
        
          [
          
            X
            
              2
            
          
          ]
        
      
    
    {\displaystyle \operatorname {E} \left[X\right]^{2}\leq \operatorname {E} \left[X^{2}\right]}
  
 gemessen, wie weit 
  
    
      
        X
      
    
    {\displaystyle X}
  
 von einer konstanten Funktion 
  
    
      
        Y
        =
        1
      
    
    {\displaystyle Y=1}
  
 (also ohne jegliche Abweichung, ergo „Varianz Null“), entfernt ist.


### Differentialrechnung
Die Differentialrechnung beschäftigt sich mit dem Änderungsverhalten mathematischer Funktionen. In vielen Anwendungen ist eine Funktion eine Abbildung, die jedem Zeitpunkt (etwa ab „Beginn der Aufzeichnung“) einen für die Anwendung interessanten Ausgabewert zuordnet; dies kann zum Beispiel

eine beim Laufen zu einer Uhrzeit bereits zurückgelegte Distanz,
die aktuelle Temperatur des Kaffees im Arbeitszimmer oder
der momentane Preis für einen Liter Benzin (etwa in „Cent pro Liter“)
sein. Die Ableitung einer solchen Funktion misst dann die Änderungsraten, also wie schnell sich der Bestand aktuell mit der Zeit ändert. Bezogen auf die oberen Beispiele bedeutet dies

die momentane Laufgeschwindigkeit,
die momentane Abkühlungsrate des Kaffees,
die Preisänderungsrate (etwa in „Cent pro Liter pro Stunde“).
Während der höheren mathematischen Ausbildung werden Ableitungsregeln vermittelt, die das Ableiten einer möglichst großen Klasse elementarer Funktionen ermöglichen sollen, um ein breites Anwendungsspektrum zu bedienen. Diese Regeln basieren allesamt auf dem Grundkonzept der Ableitung, dem Differentialquotienten. Die Idee dahinter ist, aus den bekannten Beständen, also der Ursprungsfunktion, die Veränderungsraten direkt zu berechnen. In vielen Lehrtexten wird die Ableitung der quadratischen Funktion 
  
    
      
        f
        (
        x
        )
        =
        
          x
          
            2
          
        
      
    
    {\displaystyle f(x)=x^{2}}
  
 als Standardbeispiel zur Erläuterung des Differentialquotienten herangezogen, wobei die erste binomische Formel das entscheidende Hilfsmittel ist. Für die gesuchte Ableitungsfunktion gilt 
  
    
      
        
          f
          ′
        
        (
        x
        )
        =
        2
        x
        ,
      
    
    {\displaystyle f'(x)=2x,}
  
 und die 
  
    
      
        2
      
    
    {\displaystyle 2}
  
 rührt von der ersten binomischen Formel her.

Steht 
  
    
      
        f
        (
        x
        )
        =
        
          x
          
            2
          
        
      
    
    {\displaystyle f(x)=x^{2}}
  
 etwa für die Strecke in Metern, die ein Partikel zum Zeitpunkt 
  
    
      
        x
      
    
    {\displaystyle x}
  
 (in Sekunden) zurückgelegt hat, und möchte man dessen Geschwindigkeit zu einem festgelegten Zeitpunkt 
  
    
      
        
          x
          
            0
          
        
      
    
    {\displaystyle x_{0}}
  
 ermitteln, müssen die Differenzen 
  
    
      
        f
        (
        
          x
          
            0
          
        
        +
        h
        )
        −
        f
        (
        
          x
          
            0
          
        
        )
      
    
    {\displaystyle f(x_{0}+h)-f(x_{0})}
  
 studiert werden. Dahinter steckt der Gedanke, dass sich aus Differenzen Veränderungen berechnen lassen. Da das Partikel beispielsweise nach 
  
    
      
        x
        =
        2
      
    
    {\displaystyle x=2}
  
 Sekunden schon 
  
    
      
        
          2
          
            2
          
        
        =
        4
      
    
    {\displaystyle 2^{2}=4}
  
 und nach 
  
    
      
        x
        =
        3
      
    
    {\displaystyle x=3}
  
 Sekunden bereits 
  
    
      
        
          3
          
            2
          
        
        =
        9
      
    
    {\displaystyle 3^{2}=9}
  
 Meter zurückgelegt hat, hat es im Zeitraum zwischen zwei und drei Sekunden insgesamt 
  
    
      
        f
        (
        3
        )
        −
        f
        (
        2
        )
        =
        9
        −
        4
        =
        5
      
    
    {\displaystyle f(3)-f(2)=9-4=5}
  
 Meter zurückgelegt. Es ist also allgemein nach Funktionsvorschrift unter Anwendung der ersten binomischen Formel

  
    
      
        f
        (
        
          x
          
            0
          
        
        +
        h
        )
        −
        f
        (
        
          x
          
            0
          
        
        )
        =
        (
        
          x
          
            0
          
        
        +
        h
        
          )
          
            2
          
        
        −
        
          x
          
            0
          
          
            2
          
        
        =
        
          x
          
            0
          
          
            2
          
        
        +
        2
        
          x
          
            0
          
        
        h
        +
        
          h
          
            2
          
        
        −
        
          x
          
            0
          
          
            2
          
        
        =
        2
        
          x
          
            0
          
        
        h
        +
        
          h
          
            2
          
        
      
    
    {\displaystyle f(x_{0}+h)-f(x_{0})=(x_{0}+h)^{2}-x_{0}^{2}=x_{0}^{2}+2x_{0}h+h^{2}-x_{0}^{2}=2x_{0}h+h^{2}}
  

der Streckenzuwachs im Zeitintervall von 
  
    
      
        
          x
          
            0
          
        
      
    
    {\displaystyle x_{0}}
  
 bis 
  
    
      
        
          x
          
            0
          
        
        +
        h
        .
      
    
    {\displaystyle x_{0}+h.}
  
 Um daraus die durchschnittliche Geschwindigkeit zu ermitteln, muss noch durch den Zeitraum dividiert werden, also 
  
    
      
        h
        .
      
    
    {\displaystyle h.}
  
 Damit ergibt sich

  
    
      
        
          
            
              f
              (
              
                x
                
                  0
                
              
              +
              h
              )
              −
              f
              (
              
                x
                
                  0
                
              
              )
            
            h
          
        
        =
        
          
            
              2
              
                x
                
                  0
                
              
              h
              +
              
                h
                
                  2
                
              
            
            h
          
        
        =
        
          
            
              h
              ⋅
              (
              2
              
                x
                
                  0
                
              
              +
              h
              )
            
            h
          
        
        =
        2
        
          x
          
            0
          
        
        +
        h
        .
      
    
    {\displaystyle {\frac {f(x_{0}+h)-f(x_{0})}{h}}={\frac {2x_{0}h+h^{2}}{h}}={\frac {h\cdot (2x_{0}+h)}{h}}=2x_{0}+h.}
  

Lässt man den Zeitraum 
  
    
      
        h
      
    
    {\displaystyle h}
  
 gegen Null gehen, wird daraus eine momentane Geschwindigkeit, und diese ist zum Zeitpunkt 
  
    
      
        
          x
          
            0
          
        
      
    
    {\displaystyle x_{0}}
  
 exakt 
  
    
      
        2
        
          x
          
            0
          
        
      
    
    {\displaystyle 2x_{0}}
  
 Meter pro Sekunde. Das Partikel bewegt sich mit der Zeit 
  
    
      
        
          x
          
            0
          
        
        →
        ∞
      
    
    {\displaystyle x_{0}\to \infty }
  
 also zunehmend schneller, erfährt also wegen der sogar quadratischen Zunahme seiner Distanz eine Beschleunigung. Wird vom Luftwiderstand abgesehen, erfahren fallende Gegenstände in Richtung Erdoberfläche eine derartige Beschleunigung (siehe Bild): Die zurückgelegte Distanz nach 
  
    
      
        x
      
    
    {\displaystyle x}
  
 Sekunden des freien Falls beläuft sich auf 
  
    
      
        f
        (
        x
        )
        =
        
          
            
              
                9
                
                  ,
                
                81
              
              2
            
          
        
        
          x
          
            2
          
        
      
    
    {\displaystyle f(x)={\tfrac {9{,}81}{2}}x^{2}}
  
 mit der Normfallbeschleunigung 
  
    
      
        a
        ≈
        9
        
          ,
        
        81
      
    
    {\displaystyle a\approx 9{,}81}
  
 Meter pro Sekunde zum Quadrat.
Die bekannte Regel 
  
    
      
        (
        
          x
          
            n
          
        
        
          )
          ′
        
        =
        n
        
          x
          
            n
            −
            1
          
        
      
    
    {\displaystyle (x^{n})'=nx^{n-1}}
  
 für natürliche Zahlen 
  
    
      
        n
      
    
    {\displaystyle n}
  
 lässt sich genau analog unter Einsatz des allgemeineren binomischen Lehrsatzes nachweisen.
Auch andere Differentialquotienten lassen sich mit binomischen Formeln direkt berechnen. Etwa folgt für die Wurzelfunktion für 
  
    
      
        x
        >
        0
      
    
    {\displaystyle x>0}
  
 mit der dritten binomischen Formel

  
    
      
        
          
            
              
                
                  x
                  +
                  h
                
              
              −
              
                
                  x
                
              
            
            h
          
        
        =
        
          
            
              (
              
                
                  x
                  +
                  h
                
              
              −
              
                
                  x
                
              
              )
              (
              
                
                  x
                  +
                  h
                
              
              +
              
                
                  x
                
              
              )
            
            
              h
              (
              
                
                  x
                  +
                  h
                
              
              +
              
                
                  x
                
              
              )
            
          
        
        =
        
          
            
              x
              +
              h
              −
              x
            
            
              h
              (
              
                
                  x
                  +
                  h
                
              
              +
              
                
                  x
                
              
              )
            
          
        
        =
        
          
            1
            
              
                
                  x
                  +
                  h
                
              
              +
              
                
                  x
                
              
            
          
        
        
          
            ⟶
            
              h
              →
              0
            
          
        
        
          
            1
            
              2
              
                
                  x
                
              
            
          
        
        ,
      
    
    {\displaystyle {\frac {{\sqrt {x+h}}-{\sqrt {x}}}{h}}={\frac {({\sqrt {x+h}}-{\sqrt {x}})({\sqrt {x+h}}+{\sqrt {x}})}{h({\sqrt {x+h}}+{\sqrt {x}})}}={\frac {x+h-x}{h({\sqrt {x+h}}+{\sqrt {x}})}}={\frac {1}{{\sqrt {x+h}}+{\sqrt {x}}}}{\overset {h\to 0}{\longrightarrow }}{\frac {1}{2{\sqrt {x}}}},}
  

also 
  
    
      
        (
        
          
            x
          
        
        
          )
          ′
        
        =
        
          
            
              1
              
                2
                
                  
                    x
                  
                
              
            
          
        
        .
      
    
    {\displaystyle ({\sqrt {x}})'={\tfrac {1}{2{\sqrt {x}}}}.}
  


### Fermats Faktorisierungsmethode und Kryptographie
Das RSA-Kryptosystem basiert auf folgender Idee: Eine Person, zum Beispiel Alice, möchte eine private Nachricht an ihren Freund Bob versenden. Um sicher zu gehen, dass kein Dritter die Nachricht lesen kann, erzeugt der Empfänger Bob zuvor einen Schlüssel. Dieser Schlüssel besteht aus zwei Komponenten: Dem öffentlichen Schlüssel und dem privaten Schlüssel. Wie es die Namen schon andeuten, verfährt Bob nun wie folgt:

Veröffentlichung des öffentlichen Schlüssels, zum Beispiel zum freien Download auf seiner Website.
Geheimhaltung des privaten Schlüssels, etwa auf einer Festplatte außer Reichweite des Internets (oder wiederum verschlüsselt auf seinem PC).
Die beiden Schlüsselkomponenten „passen exakt zusammen“: Nutzt Alice den öffentlichen Schlüssel, um aus einem Klartext einen Geheimtext (in Form von „Buchstabensalat“) zu erzeugen, so ist nur der private Schlüssel von Bob in der Lage, dies in schneller Zeit wieder zu entwirren. Das Kryptosystem ist nur dann sicher, wenn ein Angreifer nicht in der Lage ist, in vernünftiger Zeit aus dem öffentlichen Schlüssel den privaten Schlüssel auszurechnen. Der große Vorteil dieser asymmetrischen Kryptosysteme besteht darin, dass sich Alice und Bob nicht zum Schlüsselaustausch persönlich treffen müssen.
Im Falle des RSA-Kryptosystems basiert die Generierung von öffentlichem und privatem Schlüssel auf dem Faktorisierungsproblem. Dafür werden zwei Primzahlen 
  
    
      
        p
      
    
    {\displaystyle p}
  
 und 
  
    
      
        q
      
    
    {\displaystyle q}
  
 benötigt. Im Anschluss werden diese zu einer Zahl 
  
    
      
        n
        =
        p
        q
      
    
    {\displaystyle n=pq}
  
 multipliziert. Ist beispielsweise 
  
    
      
        p
        =
        1330201709
      
    
    {\displaystyle p=1330201709}
  
 und 
  
    
      
        q
        =
        1330201739
      
    
    {\displaystyle q=1330201739}
  
 (also Größenordnung 
  
    
      
        ≈
      
    
    {\displaystyle \approx }
  
 1,3 Milliarden), so gilt

  
    
      
        p
        q
        =
        1330201709
        ⋅
        1330201739
        =
        1769436626532571951.
      
    
    {\displaystyle pq=1330201709\cdot 1330201739=1769436626532571951.}
  

Dieses Prozedere kann innerhalb vernünftigen Zeitaufwands theoretisch sogar per Hand erfolgen. Das umgekehrte Problem, hier exemplarisch die Faktorisierung von

  
    
      
        1769436626532571951
        =
        
        
        ?
        
        
        ⋅
        
        
        ?
      
    
    {\displaystyle 1769436626532571951=\,\,?\,\,\cdot \,\,?}
  

in seine (zwei) Primfaktoren, ist ohne vorheriges Wissen um 
  
    
      
        p
        ,
        q
      
    
    {\displaystyle p,q}
  
 hingegen im Allgemeinen ein extrem schwieriges Problem. Haben die Primzahlen je ein paar hundert Stellen, ist es selbst durch die Supercomputer der heutigen Zeit nicht in vernünftiger Zeit zu lösen (bis auf Sonderfälle, siehe unten). Aus den Primzahlen 
  
    
      
        p
      
    
    {\displaystyle p}
  
 und 
  
    
      
        q
      
    
    {\displaystyle q}
  
 kann nun ein öffentlicher und privater Schlüssel erstellt werden, wobei das Produkt 
  
    
      
        n
      
    
    {\displaystyle n}
  
 ein Teil des öffentlichen Schlüssels ist. Deshalb gleicht das Bilden des Produkts 
  
    
      
        n
        =
        p
        q
      
    
    {\displaystyle n=pq}
  
 gewissermaßen dem „Zuschnappen einer Sicherheitstür“, denn ein Angreifer müsste 
  
    
      
        p
      
    
    {\displaystyle p}
  
 und 
  
    
      
        q
      
    
    {\displaystyle q}
  
 aus 
  
    
      
        n
      
    
    {\displaystyle n}
  
 berechnen, um an den privaten Schlüssel zu gelangen. Für die Sicherheit des Verfahrens notwendig (jedoch im Allgemeinen nicht hinreichend, es müssen weitere Details beachtet werden), sind unter anderem, dass

die Primzahlen 
  
    
      
        p
      
    
    {\displaystyle p}
  
 und 
  
    
      
        q
      
    
    {\displaystyle q}
  
 groß genug sind (einige hundert Stellen, der Primzahlsatz garantiert dann einen Möglichkeitenpool größer als die geschätzte Anzahl der Atome im Universum)
und nicht zu nahe beieinander liegen.
Der Grund für die zweite Einschränkung liegt in der Faktorisierungsmethode von Fermat, deren Idee auf der dritten binomischen Formel beruht. Ist

  
    
      
        n
        =
        p
        q
        =
        
          a
          
            2
          
        
        −
        
          b
          
            2
          
        
      
    
    {\displaystyle n=pq=a^{2}-b^{2}}
  

für ganze Zahlen 
  
    
      
        a
        ,
        b
        ,
      
    
    {\displaystyle a,b,}
  
 so gilt die Faktorisierung

  
    
      
        n
        =
        (
        a
        +
        b
        )
        
        (
        a
        −
        b
        )
        .
      
    
    {\displaystyle n=(a+b)\,(a-b).}
  

Liegen die Primzahlen 
  
    
      
        p
      
    
    {\displaystyle p}
  
 und 
  
    
      
        q
      
    
    {\displaystyle q}
  
 nahe beieinander, so ist die Differenz 
  
    
      
        q
        −
        p
      
    
    {\displaystyle q-p}
  
 im Verhältnis zu 
  
    
      
        p
      
    
    {\displaystyle p}
  
 und 
  
    
      
        q
      
    
    {\displaystyle q}
  
 sehr klein. Damit ist 
  
    
      
        a
      
    
    {\displaystyle a}
  
 in der Faktorisierung 
  
    
      
        n
        =
        (
        a
        +
        b
        )
        
        (
        a
        −
        b
        )
      
    
    {\displaystyle n=(a+b)\,(a-b)}
  
 deutlich größer als 
  
    
      
        b
      
    
    {\displaystyle b}
  
 und kann durch 
  
    
      
        
          
            n
          
        
      
    
    {\displaystyle {\sqrt {n}}}
  
 gut geschätzt werden. In obigem Beispiel liegen die Primfaktoren äußerst nahe beieinander,

  
    
      
        q
        −
        p
        =
        1330201739
        −
        1330201709
        =
        30
        ,
      
    
    {\displaystyle q-p=1330201739-1330201709=30,}
  

weshalb das Kryptosystem hier schnell geknackt werden kann: Es gilt

  
    
      
        
          
            1769436626532571951
          
        
        =
        1330201723,999
        999915426
        …
      
    
    {\displaystyle {\sqrt {1769436626532571951}}=1330201723{,}999999915426\ldots }
  

Damit schätzt man durch Aufrunden 
  
    
      
        a
        =
        1330201724
      
    
    {\displaystyle a=1330201724}
  
 und überprüft, ob 
  
    
      
        1769436626532571951
      
    
    {\displaystyle 1769436626532571951}
  
 als eine Differenz 
  
    
      
        
          1330201724
          
            2
          
        
        −
        
          b
          
            2
          
        
      
    
    {\displaystyle 1330201724^{2}-b^{2}}
  
 für eine kleine Quadratzahl 
  
    
      
        
          b
          
            2
          
        
      
    
    {\displaystyle b^{2}}
  
 geschrieben werden kann, also kurz 
  
    
      
        
          a
          
            2
          
        
        −
        n
        =
        
          b
          
            2
          
        
        .
      
    
    {\displaystyle a^{2}-n=b^{2}.}
  
 Man erhält

  
    
      
        
          a
          
            2
          
        
        −
        n
        =
        
          1330201724
          
            2
          
        
        −
        1769436626532571951
        =
        225
        =
        
          15
          
            2
          
        
        ,
      
    
    {\displaystyle a^{2}-n=1330201724^{2}-1769436626532571951=225=15^{2},}
  

womit die Primzahlen 
  
    
      
        p
        =
        a
        −
        b
        =
        1330201724
        −
        15
        =
        1330201709
      
    
    {\displaystyle p=a-b=1330201724-15=1330201709}
  
 und 
  
    
      
        q
        =
        a
        +
        b
        =
        1330201724
        +
        15
        =
        1330201739
      
    
    {\displaystyle q=a+b=1330201724+15=1330201739}
  
 und damit die Faktorisierung 
  
    
      
        n
        =
        (
        a
        −
        b
        )
        
        (
        a
        +
        b
        )
      
    
    {\displaystyle n=(a-b)\,(a+b)}
  
 schnell gefunden ist. Mit dem Wissen um 
  
    
      
        p
      
    
    {\displaystyle p}
  
 und 
  
    
      
        q
      
    
    {\displaystyle q}
  
 kann ein Angreifer nun den privaten Schlüssel aus dem öffentlichen Schlüssel berechnen, und die Nachrichten von Alice an Bob nach Abfangen mitlesen.


### Irrationalität der Quadratwurzel aus 2
Die Quadratwurzel aus 2 ist jene positive reelle Zahl, deren Quadrat den Wert 
  
    
      
        2
      
    
    {\displaystyle 2}
  
 hat; mit anderen Worten, die mit sich selbst multipliziert 
  
    
      
        2
      
    
    {\displaystyle 2}
  
 ergibt. Die ersten Dezimalstellen sind gegeben durch

  
    
      
        
          
            2
          
        
        =
        1,414
        21
        
        35623
        
        73095
        
        04880
        
        16887
        
        24209
        
        69807
        
        85696
        
        71875
        
        37694
        
        …
      
    
    {\displaystyle {\sqrt {2}}=1{,}41421\,35623\,73095\,04880\,16887\,24209\,69807\,85696\,71875\,37694\,\ldots }
  

Die binomischen Formeln können für einen Beweis genutzt werden, dass 
  
    
      
        
          
            2
          
        
      
    
    {\displaystyle {\sqrt {2}}}
  
 eine irrationale Zahl ist. Damit ist gemeint, dass 
  
    
      
        
          
            2
          
        
      
    
    {\displaystyle {\sqrt {2}}}
  
 nicht als Verhältnis zweier ganzer Zahlen dargestellt werden kann. Es gilt also 
  
    
      
        
          
            2
          
        
        ≠
        
          
            
              p
              q
            
          
        
      
    
    {\displaystyle {\sqrt {2}}\not ={\tfrac {p}{q}}}
  
 für alle natürlichen Zahlen 
  
    
      
        p
      
    
    {\displaystyle p}
  
 und 
  
    
      
        q
        .
      
    
    {\displaystyle q.}
  
 Dies ist gleichbedeutend damit, dass die oben angedeutete Dezimalentwicklung keinem periodischen Muster unterworfen ist, wie es bei rationalen Zahlen, etwa 
  
    
      
        
          
            
              1
              3
            
          
        
        =
        0,333
        33
        …
        ,
      
    
    {\displaystyle {\tfrac {1}{3}}=0{,}33333\ldots ,}
  
 der Fall ist.
Der Beweis kann durch Widerspruch geführt werden. Das heißt, man geht davon aus, es gäbe eine Bruchdarstellung 
  
    
      
        
          
            2
          
        
        =
        
          
            
              p
              q
            
          
        
      
    
    {\displaystyle {\sqrt {2}}={\tfrac {p}{q}}}
  
 mit irgendwelchen natürlichen Zahlen 
  
    
      
        p
      
    
    {\displaystyle p}
  
 und 
  
    
      
        q
        ,
      
    
    {\displaystyle q,}
  
 und führt diese Annahme zu einem Widerspruch. Jeder Bruch lässt sich vollständig kürzen, also kann davon ausgegangen werden, dass der Nenner 
  
    
      
        q
      
    
    {\displaystyle q}
  
 minimal ist. Zum Beispiel wäre in diesem Sinne „
  
    
      
        
          
            2
          
        
        =
        
          
            
              142
              100
            
          
        
      
    
    {\displaystyle {\sqrt {2}}={\tfrac {142}{100}}}
  
“ keine minimale Darstellung, nach weiterer Kürzung mit 
  
    
      
        2
      
    
    {\displaystyle 2}
  
 sehr wohl aber „
  
    
      
        
          
            2
          
        
        =
        
          
            
              71
              50
            
          
        
      
    
    {\displaystyle {\sqrt {2}}={\tfrac {71}{50}}}
  
“. Für den darstellenden Bruch ist folgende Beobachtung sehr wichtig: Da 
  
    
      
        1
        <
        
          
            2
          
        
        =
        
          
            
              p
              q
            
          
        
        <
        2
      
    
    {\displaystyle 1<{\sqrt {2}}={\tfrac {p}{q}}<2}
  
 ist, gilt 
  
    
      
        q
        <
        p
        <
        2
        q
        ,
      
    
    {\displaystyle q<p<2q,}
  
 womit

  
    
      
        0
        <
        p
        −
        q
        <
        q
        
      
    
    {\displaystyle 0<p-q<q\quad }
  
 und 
  
    
      
        
        0
        <
        2
        q
        −
        p
      
    
    {\displaystyle \quad 0<2q-p}
  

folgt. Die Differenz aus Zähler und Nenner des Darstellungsbruchs ist also kleiner als der als minimal angenommene Nenner 
  
    
      
        q
        .
      
    
    {\displaystyle q.}
  
 Mit der Eigenschaft 
  
    
      
        
          p
          
            2
          
        
        =
        2
        
          q
          
            2
          
        
      
    
    {\displaystyle p^{2}=2q^{2}}
  
 folgt nun mittels zweifacher Anwendung der zweiten binomischen Formel:

  
    
      
        
          
            
              
                (
                2
                q
                −
                p
                
                  )
                  
                    2
                  
                
              
              
                
                
                
                
                =
                4
                
                  q
                  
                    2
                  
                
                −
                4
                q
                p
                +
                
                  p
                  
                    2
                  
                
              
            
            
              
              
                
                
                
                
                =
                2
                
                  q
                  
                    2
                  
                
                +
                2
                
                  q
                  
                    2
                  
                
                −
                4
                p
                q
                +
                
                  p
                  
                    2
                  
                
              
            
            
              
              
                
                
                  
                    =
                    
                      2
                      
                        q
                        
                          2
                        
                      
                      =
                      
                        p
                        
                          2
                        
                      
                    
                  
                
                
                  p
                  
                    2
                  
                
                +
                2
                
                  q
                  
                    2
                  
                
                −
                4
                p
                q
                +
                
                  p
                  
                    2
                  
                
              
            
            
              
              
                
                
                
                
                =
                2
                (
                
                  p
                  
                    2
                  
                
                −
                2
                q
                p
                +
                
                  q
                  
                    2
                  
                
                )
              
            
            
              
              
                
                
                
                
                =
                2
                (
                p
                −
                q
                
                  )
                  
                    2
                  
                
                .
              
            
          
        
      
    
    {\displaystyle {\begin{aligned}(2q-p)^{2}&\,\,\,=4q^{2}-4qp+p^{2}\\&\,\,\,=2q^{2}+2q^{2}-4pq+p^{2}\\&{\overset {2q^{2}=p^{2}}{=}}p^{2}+2q^{2}-4pq+p^{2}\\&\,\,\,=2(p^{2}-2qp+q^{2})\\&\,\,\,=2(p-q)^{2}.\end{aligned}}}
  

Ergo hat man

  
    
      
        2
        =
        
          
            
              (
              2
              q
              −
              p
              
                )
                
                  2
                
              
            
            
              (
              p
              −
              q
              
                )
                
                  2
                
              
            
          
        
        
        ⟹
        
        
          
            2
          
        
        =
        
          
            
              2
              q
              −
              p
            
            
              p
              −
              q
            
          
        
        ,
      
    
    {\displaystyle 2={\frac {(2q-p)^{2}}{(p-q)^{2}}}\implies {\sqrt {2}}={\frac {2q-p}{p-q}},}
  

was wegen der Observation der Minimalität des Nenners 
  
    
      
        q
      
    
    {\displaystyle q}
  
 widerspricht. Anschaulich wäre also 
  
    
      
        
          
            2
          
        
      
    
    {\displaystyle {\sqrt {2}}}
  
 ein „Bruch, der sich unendlich oft kürzen lässt“, und einen solchen kann es nicht geben.


### Ungleichungen
Mit den binomischen Formeln können diverse Ungleichungen gezeigt werden.
Die Dreiecksungleichung zählt zu den grundlegendsten und bedeutendsten Ungleichungen der Mathematik, mit vielfältigen Anwendungen zum Beispiel in Analysis und Geometrie. In ihrer einfachsten Form besagt sie: Für beliebige reelle Zahlen 
  
    
      
        a
      
    
    {\displaystyle a}
  
 und 
  
    
      
        b
      
    
    {\displaystyle b}
  
 gilt

  
    
      
        
          |
        
        a
        +
        b
        
          |
        
        ≤
        
          |
        
        a
        
          |
        
        +
        
          |
        
        b
        
          |
        
        .
      
    
    {\displaystyle |a+b|\leq |a|+|b|.}
  

Hierbei steht 
  
    
      
        
          |
        
        ⋅
        
          |
        
      
    
    {\displaystyle |\cdot |}
  
 für den Absolutbetrag. Sie kann auf unterschiedliche Weise bewiesen werden. Eine davon nutzt die erste binomische Formel: Hierfür werden als zusätzliche Hilfsmittel lediglich die Regeln 
  
    
      
        x
        ≤
        
          |
        
        x
        
          |
        
      
    
    {\displaystyle x\leq |x|}
  
 und 
  
    
      
        
          |
        
        x
        y
        
          |
        
        =
        
          |
        
        x
        
          |
        
        
          |
        
        y
        
          |
        
      
    
    {\displaystyle |xy|=|x||y|}
  
 benötigt. Es gilt damit

  
    
      
        
          |
        
        a
        +
        b
        
          
            |
          
          
            2
          
        
        =
        (
        a
        +
        b
        
          )
          
            2
          
        
        =
        
          a
          
            2
          
        
        +
        2
        a
        b
        +
        
          b
          
            2
          
        
        ≤
        
          a
          
            2
          
        
        +
        2
        
          |
        
        a
        b
        
          |
        
        +
        
          b
          
            2
          
        
        =
        
          |
        
        a
        
          
            |
          
          
            2
          
        
        +
        2
        
          |
        
        a
        
          |
        
        
          |
        
        b
        
          |
        
        +
        
          |
        
        b
        
          
            |
          
          
            2
          
        
        =
        (
        
          |
        
        a
        
          |
        
        +
        
          |
        
        b
        
          |
        
        
          )
          
            2
          
        
        ,
      
    
    {\displaystyle |a+b|^{2}=(a+b)^{2}=a^{2}+2ab+b^{2}\leq a^{2}+2|ab|+b^{2}=|a|^{2}+2|a||b|+|b|^{2}=(|a|+|b|)^{2},}
  

womit die Dreiecksungleichung nach Ziehen der (positiven) Quadratwurzel auf beiden Seiten folgt. Dabei ist zu beachten, dass die Wurzelfunktion monoton steigt, also 
  
    
      
        
          
            x
          
        
        ≤
        
          
            y
          
        
      
    
    {\displaystyle {\sqrt {x}}\leq {\sqrt {y}}}
  
 für 
  
    
      
        x
        ,
        y
        ≥
        0
      
    
    {\displaystyle x,y\geq 0}
  
 äquivalent zu 
  
    
      
        x
        ≤
        y
      
    
    {\displaystyle x\leq y}
  
 ist.
Mit der zweiten binomischen Formel ergibt sich die für reelle Zahlen 
  
    
      
        a
        ,
        b
      
    
    {\displaystyle a,b}
  
 gültige Ungleichung

  
    
      
        
          |
        
        a
        b
        
          |
        
        ≤
        
          
            
              
                a
                
                  2
                
              
              +
              
                b
                
                  2
                
              
            
            2
          
        
        .
      
    
    {\displaystyle |ab|\leq {\frac {a^{2}+b^{2}}{2}}.}
  

Bezeichnet wird diese auch als binomische Ungleichung. Sie ergibt sich aus

  
    
      
        
          a
          
            2
          
        
        −
        2
        
          |
        
        a
        b
        
          |
        
        +
        
          b
          
            2
          
        
        =
        (
        
          |
        
        a
        
          |
        
        −
        
          |
        
        b
        
          |
        
        
          )
          
            2
          
        
        ≥
        0
        
        
          
            
              
              ⟹
              
            
            
              
                |
              
              +
              2
              
                |
              
              a
              b
              
                |
              
            
          
        
        
        
          a
          
            2
          
        
        +
        
          b
          
            2
          
        
        ≥
        2
        
          |
        
        a
        b
        
          |
        
        .
      
    
    {\displaystyle a^{2}-2|ab|+b^{2}=(|a|-|b|)^{2}\geq 0\quad {\overset {|+2|ab|}{\implies }}\quad a^{2}+b^{2}\geq 2|ab|.}
  

Gleichheit gilt genau dann, wenn 
  
    
      
        
          |
        
        a
        
          |
        
        =
        
          |
        
        b
        
          |
        
        .
      
    
    {\displaystyle |a|=|b|.}
  
 Die binomische Ungleichung ist ein Spezialfall der allgemeineren Young-Ungleichung und der Ungleichung zwischen arithmetischen und geometrischen Mittel. Eine Anwendung der binomischen Ungleichung ist, dass bei zweifacher unabhängiger Wiederholung eines Glücksspiels mit den möglichen Ausgängen „gewinnen“ und „verlieren“ bei ungleichen Wahrscheinlichkeiten das gemischte Ergebnis „einmal gewinnen und verlieren“ unwahrscheinlicher ist als das Ereignis entweder „doppelt gewinnen“ oder „doppelt verlieren“.


### Rechnen mit komplexen Zahlen
Die komplexen Zahlen erweitern den Bereich der reellen Zahlen derart, dass die zuvor nicht lösbare Gleichung 
  
    
      
        
          x
          
            2
          
        
        +
        1
        =
        0
      
    
    {\displaystyle x^{2}+1=0}
  
 lösbar wird. Dies geschieht über die Einführung einer „neuen Zahl“, der sogenannten imaginären Einheit 
  
    
      
        i
      
    
    {\displaystyle i}
  
 mit der Eigenschaft 
  
    
      
        
          i
          
            2
          
        
        =
        −
        1.
      
    
    {\displaystyle i^{2}=-1.}
  
 Eine beliebige komplexe Zahl kann stets in der Form 
  
    
      
        a
        +
        b
        i
      
    
    {\displaystyle a+bi}
  
 geschrieben werden, wobei 
  
    
      
        a
      
    
    {\displaystyle a}
  
 und 
  
    
      
        b
      
    
    {\displaystyle b}
  
 reelle Zahlen sind. Beispiele sind 
  
    
      
        1
        +
        2
        i
      
    
    {\displaystyle 1+2i}
  
 oder 
  
    
      
        
          
            2
          
        
        −
        
          
            
              i
              5
            
          
        
        ,
      
    
    {\displaystyle {\sqrt {2}}-{\tfrac {i}{5}},}
  
 aber auch jede beliebige reelle Zahl ist eine komplexe Zahl. Es kann etwa der Ausdruck 
  
    
      
        1
        +
        2
        i
      
    
    {\displaystyle 1+2i}
  
 nicht weiter vereinfacht werden, da die grundlegenden Größen 
  
    
      
        1
      
    
    {\displaystyle 1}
  
 und 
  
    
      
        i
      
    
    {\displaystyle i}
  
 über keine gemeinsame „Zählbasis“ verfügen (mit anderen Worten, da 
  
    
      
        b
        i
      
    
    {\displaystyle bi}
  
 für 
  
    
      
        b
        ≠
        0
      
    
    {\displaystyle b\not =0}
  
 keine reelle Zahl sein kann).
Das Rechnen mit komplexen Zahlen funktioniert genauso wie das mit reellen Zahlen, wobei die hauptsächliche Neuheit im Umgang mit der imaginären Einheit besteht. Besonders der Einsatz der dritten binomischen Formel ist in vielen Situationen hilfreich. Zum Beispiel gilt wegen 
  
    
      
        
          i
          
            2
          
        
        =
        −
        1
        :
      
    
    {\displaystyle i^{2}=-1\colon }
  

  
    
      
        (
        1
        +
        2
        i
        )
        (
        1
        −
        2
        i
        )
        =
        
          1
          
            2
          
        
        −
        (
        2
        i
        
          )
          
            2
          
        
        =
        1
        +
        4
        =
        5
      
    
    {\displaystyle (1+2i)(1-2i)=1^{2}-(2i)^{2}=1+4=5}
  
,
siehe auch komplexe Konjugation.
Damit können Divisionen vollzogen werden:

  
    
      
        
          
            
              −
              1
              +
              i
            
            
              1
              −
              2
              i
            
          
        
        =
        
          
            
              (
              −
              1
              +
              i
              )
              (
              1
              +
              2
              i
              )
            
            
              (
              1
              −
              2
              i
              )
              (
              1
              +
              2
              i
              )
            
          
        
        =
        
          
            
              −
              3
              −
              i
            
            5
          
        
        =
        −
        
          
            3
            5
          
        
        −
        
          
            i
            5
          
        
        .
      
    
    {\displaystyle {\frac {-1+i}{1-2i}}={\frac {(-1+i)(1+2i)}{(1-2i)(1+2i)}}={\frac {-3-i}{5}}=-{\frac {3}{5}}-{\frac {i}{5}}.}
  

Das Ergebnis ist jetzt wieder in der Standardform für komplexe Zahlen.


### Trigonometrie
#### Identitäten
Die binomischen Formeln sind Hilfsmittel bei der Herleitung wichtiger Identitäten zwischen Sinus und Kosinus. Als entscheidende Zutat wird dabei zusätzlich die Eulersche Formel

  
    
      
        
          e
          
            i
            φ
          
        
        =
        cos
        ⁡
        (
        φ
        )
        +
        i
        sin
        ⁡
        (
        φ
        )
      
    
    {\displaystyle e^{i\varphi }=\cos(\varphi )+i\sin(\varphi )}
  

gebraucht, die unter Einsatz komplexer Zahlen einen weitreichenden Zusammenhang zwischen der natürlichen Exponentialfunktion 
  
    
      
        
          e
          
            x
          
        
      
    
    {\displaystyle e^{x}}
  
 und den Winkelfunktionen herstellt. Man hat dann

  
    
      
        
          e
          
            2
            i
            φ
          
        
        =
        cos
        ⁡
        (
        2
        φ
        )
        +
        i
        sin
        ⁡
        (
        2
        φ
        )
        ,
      
    
    {\displaystyle e^{2i\varphi }=\cos(2\varphi )+i\sin(2\varphi ),}
  

aber wegen der immer gültigen Relation 
  
    
      
        
          e
          
            x
            +
            y
          
        
        =
        
          e
          
            x
          
        
        
          e
          
            y
          
        
      
    
    {\displaystyle e^{x+y}=e^{x}e^{y}}
  
 unter Benutzung der ersten binomischen Formel

  
    
      
        
          e
          
            2
            i
            φ
          
        
        =
        
          e
          
            i
            φ
            +
            i
            φ
          
        
        =
        
          
            (
            
              e
              
                i
                φ
              
            
            )
          
          
            2
          
        
        =
        (
        cos
        ⁡
        (
        φ
        )
        +
        i
        sin
        ⁡
        (
        φ
        )
        
          )
          
            2
          
        
        =
        cos
        ⁡
        (
        φ
        
          )
          
            2
          
        
        +
        2
        i
        sin
        ⁡
        (
        φ
        )
        cos
        ⁡
        (
        φ
        )
        −
        sin
        ⁡
        (
        φ
        
          )
          
            2
          
        
        .
      
    
    {\displaystyle e^{2i\varphi }=e^{i\varphi +i\varphi }=\left(e^{i\varphi }\right)^{2}=(\cos(\varphi )+i\sin(\varphi ))^{2}=\cos(\varphi )^{2}+2i\sin(\varphi )\cos(\varphi )-\sin(\varphi )^{2}.}
  

Durch Vergleich von Real- und Imaginärteil ergeben sich damit die sogenannten Verdoppelungsformeln

  
    
      
        cos
        ⁡
        (
        2
        φ
        )
        =
        cos
        ⁡
        (
        φ
        
          )
          
            2
          
        
        −
        sin
        ⁡
        (
        φ
        
          )
          
            2
          
        
        ,
      
    
    {\displaystyle \cos(2\varphi )=\cos(\varphi )^{2}-\sin(\varphi )^{2},}
  

  
    
      
        sin
        ⁡
        (
        2
        φ
        )
        =
        2
        sin
        ⁡
        (
        φ
        )
        cos
        ⁡
        (
        φ
        )
        .
      
    
    {\displaystyle \sin(2\varphi )=2\sin(\varphi )\cos(\varphi ).}
  

Unter Einsatz der dritten binomischen Formel ergibt sich zudem ein alternativer Beweis des Satz des Pythagoras über komplexe Zahlen:

  
    
      
        1
        =
        
          e
          
            0
          
        
        =
        
          e
          
            i
            φ
            −
            i
            φ
          
        
        =
        
          e
          
            i
            φ
          
        
        
          e
          
            −
            i
            φ
          
        
        
        
        
        
          
            =
            
              sin
              ⁡
              (
              −
              φ
              )
              =
              −
              sin
              ⁡
              (
              φ
              )
            
          
        
        
        
        
        (
        cos
        ⁡
        (
        φ
        )
        +
        i
        sin
        ⁡
        (
        φ
        )
        )
        (
        cos
        ⁡
        (
        φ
        )
        −
        i
        sin
        ⁡
        (
        φ
        )
        )
        =
        cos
        ⁡
        (
        φ
        
          )
          
            2
          
        
        +
        sin
        ⁡
        (
        φ
        
          )
          
            2
          
        
        .
      
    
    {\displaystyle 1=e^{0}=e^{i\varphi -i\varphi }=e^{i\varphi }e^{-i\varphi }\,\,\,{\overset {\sin(-\varphi )=-\sin(\varphi )}{=}}\,\,\,(\cos(\varphi )+i\sin(\varphi ))(\cos(\varphi )-i\sin(\varphi ))=\cos(\varphi )^{2}+\sin(\varphi )^{2}.}
  


#### Parametrisierung des Kreises
Mit der ersten und zweiten binomischen Formel erhält man, dass

  
    
      
        t
        ↦
        
          (
          
            
              
                
                  1
                  −
                  
                    t
                    
                      2
                    
                  
                
                
                  1
                  +
                  
                    t
                    
                      2
                    
                  
                
              
            
            ,
            
              
                
                  2
                  t
                
                
                  1
                  +
                  
                    t
                    
                      2
                    
                  
                
              
            
          
          )
        
      
    
    {\displaystyle t\mapsto \left({\frac {1-t^{2}}{1+t^{2}}},{\frac {2t}{1+t^{2}}}\right)}
  

den Einheitskreis 
  
    
      
        
          x
          
            2
          
        
        +
        
          y
          
            2
          
        
        =
        1
      
    
    {\displaystyle x^{2}+y^{2}=1}
  
 in der xy-Ebene parametrisiert, denn es gilt 
  
    
      
        (
        1
        −
        
          t
          
            2
          
        
        
          )
          
            2
          
        
        +
        (
        2
        t
        
          )
          
            2
          
        
        =
        1
        +
        2
        
          t
          
            2
          
        
        +
        
          t
          
            4
          
        
        =
        (
        1
        +
        
          t
          
            2
          
        
        
          )
          
            2
          
        
        ,
      
    
    {\displaystyle (1-t^{2})^{2}+(2t)^{2}=1+2t^{2}+t^{4}=(1+t^{2})^{2},}
  
 also mit den Rechenregeln für Brüche

  
    
      
        
          
            (
            
              
                
                  1
                  −
                  
                    t
                    
                      2
                    
                  
                
                
                  1
                  +
                  
                    t
                    
                      2
                    
                  
                
              
            
            )
          
          
            2
          
        
        +
        
          
            (
            
              
                
                  2
                  t
                
                
                  1
                  +
                  
                    t
                    
                      2
                    
                  
                
              
            
            )
          
          
            2
          
        
        =
        
          
            
              (
              1
              −
              
                t
                
                  2
                
              
              
                )
                
                  2
                
              
            
            
              (
              1
              +
              
                t
                
                  2
                
              
              
                )
                
                  2
                
              
            
          
        
        +
        
          
            
              (
              2
              t
              
                )
                
                  2
                
              
            
            
              (
              1
              +
              
                t
                
                  2
                
              
              
                )
                
                  2
                
              
            
          
        
        =
        
          
            
              (
              1
              +
              
                t
                
                  2
                
              
              
                )
                
                  2
                
              
            
            
              (
              1
              +
              
                t
                
                  2
                
              
              
                )
                
                  2
                
              
            
          
        
        =
        1.
      
    
    {\displaystyle \left({\frac {1-t^{2}}{1+t^{2}}}\right)^{2}+\left({\frac {2t}{1+t^{2}}}\right)^{2}={\frac {(1-t^{2})^{2}}{(1+t^{2})^{2}}}+{\frac {(2t)^{2}}{(1+t^{2})^{2}}}={\frac {(1+t^{2})^{2}}{(1+t^{2})^{2}}}=1.}
  

Damit ergeben sich die Parameterdarstellungen

  
    
      
        x
        =
        sin
        ⁡
        (
        φ
        )
        =
        
          
            
              2
              t
            
            
              1
              +
              
                t
                
                  2
                
              
            
          
        
        ,
        
        y
        =
        cos
        ⁡
        (
        φ
        )
        =
        
          
            
              1
              −
              
                t
                
                  2
                
              
            
            
              1
              +
              
                t
                
                  2
                
              
            
          
        
        ,
      
    
    {\displaystyle x=\sin(\varphi )={\frac {2t}{1+t^{2}}},\quad y=\cos(\varphi )={\frac {1-t^{2}}{1+t^{2}}},}
  

wobei die Beziehung zwischen Winkel und Parameter durch 
  
    
      
        φ
        =
        2
        arctan
        ⁡
        (
        t
        )
      
    
    {\displaystyle \varphi =2\arctan(t)}
  
 (mit dem Arkustangens) explizit gemacht werden kann. Dies hat unmittelbare Anwendungen beim Auflösen trigonometrischer Integrale. Mittels

  
    
      
        
          d
        
        φ
        =
        
          
            
              2
              
                d
              
              t
            
            
              1
              +
              
                t
                
                  2
                
              
            
          
        
      
    
    {\displaystyle \mathrm {d} \varphi ={\frac {2\mathrm {d} t}{1+t^{2}}}}
  

können Integrale wie etwa

  
    
      
        ∫
        
          
            
              
                a
                
                  1
                
              
              +
              
                a
                
                  2
                
              
              cos
              ⁡
              (
              φ
              )
              +
              
                a
                
                  3
                
              
              sin
              ⁡
              (
              φ
              )
            
            
              
                a
                
                  4
                
              
              +
              
                a
                
                  5
                
              
              cos
              ⁡
              (
              φ
              )
              +
              
                a
                
                  6
                
              
              sin
              ⁡
              (
              φ
              )
            
          
        
        
          d
        
        φ
      
    
    {\displaystyle \int {\frac {a_{1}+a_{2}\cos(\varphi )+a_{3}\sin(\varphi )}{a_{4}+a_{5}\cos(\varphi )+a_{6}\sin(\varphi )}}\mathrm {d} \varphi }
  

durch Substitution, etwa 
  
    
      
        t
        =
        tan
        ⁡
        (
        
          
            
              φ
              2
            
          
        
        )
        ,
      
    
    {\displaystyle t=\tan({\tfrac {\varphi }{2}}),}
  
 auf lösbare Integrale über rationale Funktionen zurückgeführt werden.


### Algebra
Bei der Faktorisierung von Polynomen in ein, zwei oder auch mehr Variablen können die binomischen Formeln in manchen Situationen angewendet werden. Beispiele sind

  
    
      
        
          x
          
            2
          
        
        +
        2
        x
        y
        +
        
          y
          
            2
          
        
        −
        
          z
          
            2
          
        
        =
        (
        x
        +
        y
        
          )
          
            2
          
        
        −
        
          z
          
            2
          
        
        =
        (
        x
        +
        y
        +
        z
        )
        
        (
        x
        +
        y
        −
        z
        )
      
    
    {\displaystyle x^{2}+2xy+y^{2}-z^{2}=(x+y)^{2}-z^{2}=(x+y+z)\,(x+y-z)}
  

und

  
    
      
        
          x
          
            4
          
        
        −
        20
        
          x
          
            2
          
        
        +
        4
        =
        
          x
          
            4
          
        
        −
        4
        
          x
          
            2
          
        
        +
        4
        −
        16
        
          x
          
            2
          
        
        =
        (
        
          x
          
            2
          
        
        −
        2
        
          )
          
            2
          
        
        −
        (
        4
        x
        
          )
          
            2
          
        
        =
        (
        
          x
          
            2
          
        
        −
        4
        x
        −
        2
        )
        
        (
        
          x
          
            2
          
        
        +
        4
        x
        −
        2
        )
        ,
      
    
    {\displaystyle x^{4}-20x^{2}+4=x^{4}-4x^{2}+4-16x^{2}=(x^{2}-2)^{2}-(4x)^{2}=(x^{2}-4x-2)\,(x^{2}+4x-2),}
  

aber auch

  
    
      
        
          x
          
            4
          
        
        +
        1
        =
        
          x
          
            4
          
        
        +
        2
        
          x
          
            2
          
        
        +
        1
        −
        2
        
          x
          
            2
          
        
        =
        (
        
          x
          
            2
          
        
        −
        
          
            2
          
        
        x
        +
        1
        )
        
        (
        
          x
          
            2
          
        
        +
        
          
            2
          
        
        x
        +
        1
        )
      
    
    {\displaystyle x^{4}+1=x^{4}+2x^{2}+1-2x^{2}=(x^{2}-{\sqrt {2}}x+1)\,(x^{2}+{\sqrt {2}}x+1)}
  

und

  
    
      
        
          x
          
            2
          
        
        +
        1
        =
        (
        x
        −
        i
        )
        
        (
        x
        +
        i
        )
      
    
    {\displaystyle x^{2}+1=(x-i)\,(x+i)}
  

mit der imaginären Einheit 
  
    
      
        i
        .
      
    
    {\displaystyle i.}
  


### Zahlentheorie
#### Pythagoräische Tripel
Der Satz des Pythagoras besagt, dass in rechtwinkligen Dreiecken mit Katheten 
  
    
      
        a
        ,
        b
      
    
    {\displaystyle a,b}
  
 und Hypotenuse 
  
    
      
        c
      
    
    {\displaystyle c}
  
 stets die Relation 
  
    
      
        
          a
          
            2
          
        
        +
        
          b
          
            2
          
        
        =
        
          c
          
            2
          
        
      
    
    {\displaystyle a^{2}+b^{2}=c^{2}}
  
 gilt. Die Frage nach sogenannten Pythagoräischen Tripeln hebt diese zunächst geometrische Aussage zusätzlich auf ein zahlentheoretisches Level. Die Frage ist, ob es zusätzlich möglich ist, die Seitenlängen des Dreiecks ganzzahlig zu wählen. Ein einfaches Beispiel ist das Tripel 
  
    
      
        (
        3
        ,
        4
        ,
        5
        )
        ,
      
    
    {\displaystyle (3,4,5),}
  
 denn es gilt

  
    
      
        
          3
          
            2
          
        
        +
        
          4
          
            2
          
        
        =
        9
        +
        16
        =
        25
        =
        
          5
          
            2
          
        
        ,
      
    
    {\displaystyle 3^{2}+4^{2}=9+16=25=5^{2},}
  

siehe Bild. Ein Tripel 
  
    
      
        (
        a
        ,
        b
        ,
        c
        )
      
    
    {\displaystyle (a,b,c)}
  
 ganzer Zahlen mit der Eigenschaft 
  
    
      
        
          a
          
            2
          
        
        +
        
          b
          
            2
          
        
        =
        
          c
          
            2
          
        
      
    
    {\displaystyle a^{2}+b^{2}=c^{2}}
  
 nennt man auch Pythagoräisches Tripel.
Mit Hilfe der binomischen Formeln gelingt eine Charakterisierung der Pythagoräischen Tripel. Dabei ist zunächst die Beobachtung nützlich, dass sich aus einem Pythagoräischen Tripel gleich unendlich viele weitere Tripel erzeugen lassen, indem man mit Quadratzahlen multipliziert. Multipliziert man zum Beispiel 
  
    
      
        
          3
          
            2
          
        
        +
        
          4
          
            2
          
        
        =
        
          5
          
            2
          
        
      
    
    {\displaystyle 3^{2}+4^{2}=5^{2}}
  
 mit der Quadratzahl 
  
    
      
        4
        ,
      
    
    {\displaystyle 4,}
  
 ergibt sich 
  
    
      
        36
        +
        64
        =
        100
      
    
    {\displaystyle 36+64=100}
  
, bzw.

  
    
      
        
          6
          
            2
          
        
        +
        
          8
          
            2
          
        
        =
        
          10
          
            2
          
        
        .
      
    
    {\displaystyle 6^{2}+8^{2}=10^{2}.}
  

Daraus motiviert sich der Begriff des primitiven Pythagoräischen Tripels: Ein Tripel 
  
    
      
        (
        a
        ,
        b
        ,
        c
        )
      
    
    {\displaystyle (a,b,c)}
  
 heißt primitiv, wenn der größte gemeinsame Teiler von 
  
    
      
        a
        ,
      
    
    {\displaystyle a,}
  
 
  
    
      
        b
      
    
    {\displaystyle b}
  
 und 
  
    
      
        c
      
    
    {\displaystyle c}
  
 gleich 
  
    
      
        1
      
    
    {\displaystyle 1}
  
 ist, und es genügt, die primitiven Tripel zu bestimmen, da sich alle anderen Tripel auf solche reduzieren lassen. Es lässt sich unter Anwendung der ersten binomischen Formel zeigen, dass die primitiven Pythagoräischen Tripel genau durch

  
    
      
        
          
            (
            
              
                a
                
                  2
                
              
              −
              
                b
                
                  2
                
              
            
            )
          
          
            2
          
        
        +
        (
        2
        a
        b
        
          )
          
            2
          
        
        =
        
          
            (
            
              
                a
                
                  2
                
              
              +
              
                b
                
                  2
                
              
            
            )
          
          
            2
          
        
      
    
    {\displaystyle \left(a^{2}-b^{2}\right)^{2}+(2ab)^{2}=\left(a^{2}+b^{2}\right)^{2}}
  

gegeben sind, wobei 
  
    
      
        a
      
    
    {\displaystyle a}
  
 und 
  
    
      
        b
      
    
    {\displaystyle b}
  
 teilerfremd und nicht beide ungerade sind. Zum Beispiel gilt mit 
  
    
      
        a
        =
        4
        ,
        b
        =
        1
      
    
    {\displaystyle a=4,b=1}
  

  
    
      
        
          15
          
            2
          
        
        +
        
          8
          
            2
          
        
        =
        
          17
          
            2
          
        
        .
      
    
    {\displaystyle 15^{2}+8^{2}=17^{2}.}
  

Die primitiven Pythagoräischen Tripel korrespondieren zu den rationalen Punkten auf der algebraischen Kurve 
  
    
      
        
          x
          
            2
          
        
        +
        
          y
          
            2
          
        
        =
        1
      
    
    {\displaystyle x^{2}+y^{2}=1}
  
, also dem Einheitskreis. Sie zeigen auf, dass es unendlich viele rationale Punkte sind, denn es gibt unendlich viele primitive Pythagoräische Tripel. Jedes Tripel gibt aber einen rationalen Punkt, denn aus 
  
    
      
        
          8
          
            2
          
        
        +
        
          15
          
            2
          
        
        =
        
          17
          
            2
          
        
      
    
    {\displaystyle 8^{2}+15^{2}=17^{2}}
  
 folgt zum Beispiel

  
    
      
        
          
            (
            
              ±
              
                
                  8
                  17
                
              
            
            )
          
          
            2
          
        
        +
        
          
            (
            
              ±
              
                
                  15
                  17
                
              
            
            )
          
          
            2
          
        
        =
        
          
            
              
                8
                
                  2
                
              
              +
              
                15
                
                  2
                
              
            
            
              17
              
                2
              
            
          
        
        =
        1.
      
    
    {\displaystyle \left(\pm {\frac {8}{17}}\right)^{2}+\left(\pm {\frac {15}{17}}\right)^{2}={\frac {8^{2}+15^{2}}{17^{2}}}=1.}
  

Also sind 
  
    
      
        (
        x
        ,
        y
        )
        =
        (
        ±
        
          
            
              8
              17
            
          
        
        ,
        ±
        
          
            
              15
              17
            
          
        
        )
      
    
    {\displaystyle (x,y)=(\pm {\tfrac {8}{17}},\pm {\tfrac {15}{17}})}
  
 rationale Punkte auf 
  
    
      
        
          x
          
            2
          
        
        +
        
          y
          
            2
          
        
        =
        1
      
    
    {\displaystyle x^{2}+y^{2}=1}
  
. Unter enormen Anstrengungen konnte 1995 durch Andrew Wiles und Richard Taylor gezeigt werden, dass die einzigen rationalen Punkte auf den Kurven 
  
    
      
        
          x
          
            n
          
        
        +
        
          y
          
            n
          
        
        =
        1
      
    
    {\displaystyle x^{n}+y^{n}=1}
  
 mit 
  
    
      
        n
        ≥
        3
      
    
    {\displaystyle n\geq 3}
  
 die „trivialen Punkte“ sind, also solche, bei denen stets 
  
    
      
        x
        =
        0
      
    
    {\displaystyle x=0}
  
 oder 
  
    
      
        y
        =
        0
      
    
    {\displaystyle y=0}
  
 ist. Diese Aussage ist gleichbedeutend zum Großen Fermatschen Satz. Die „höheren binomischen Formeln“ (siehe auch binomischer Lehrsatz oder Multinomialtheorem) liefern also in den Fällen höherer Exponenten keine nicht-trivialen rationalen Punkte.


#### Zerlegung in zwei Quadrate
Eine Frage, welche die Zahlentheorie lange beschäftigte, war, ob sich eine gegebene natürliche Zahl als Summe zweier Quadratzahlen schreiben lässt, wie etwa

  
    
      
        65
        =
        1
        +
        64
        =
        
          1
          
            2
          
        
        +
        
          8
          
            2
          
        
        .
      
    
    {\displaystyle 65=1+64=1^{2}+8^{2}.}
  

Eine solche Darstellung muss nicht eindeutig sein, so gilt zum Beispiel auch

  
    
      
        65
        =
        16
        +
        49
        =
        
          4
          
            2
          
        
        +
        
          7
          
            2
          
        
        .
      
    
    {\displaystyle 65=16+49=4^{2}+7^{2}.}
  

Gegebenenfalls können andere Zerlegungen wie folgt gefunden werden: Unmittelbar verwandt zu den binomischen Formeln ist die Identität von Diophantos von Alexandria:

  
    
      
        (
        a
        c
        +
        b
        d
        
          )
          
            2
          
        
        +
        (
        a
        d
        −
        b
        c
        
          )
          
            2
          
        
        =
        (
        a
        c
        −
        b
        d
        
          )
          
            2
          
        
        +
        (
        a
        d
        +
        b
        c
        
          )
          
            2
          
        
      
    
    {\displaystyle (ac+bd)^{2}+(ad-bc)^{2}=(ac-bd)^{2}+(ad+bc)^{2}}
  

Einsetzen von 
  
    
      
        a
        =
        1
        ,
        b
        =
        2
        ,
        c
        =
        5
        ,
        d
        =
        7
      
    
    {\displaystyle a=1,b=2,c=5,d=7}
  
 liefert zum Beispiel

  
    
      
        
          19
          
            2
          
        
        +
        
          3
          
            2
          
        
        =
        
          17
          
            2
          
        
        +
        
          9
          
            2
          
        
        .
      
    
    {\displaystyle 19^{2}+3^{2}=17^{2}+9^{2}.}
  

Die Brahmagupta-Identität besagt

  
    
      
        
          (
          
            
              a
              
                2
              
            
            +
            
              b
              
                2
              
            
          
          )
        
        
        
          (
          
            
              c
              
                2
              
            
            +
            
              d
              
                2
              
            
          
          )
        
        =
        (
        a
        c
        +
        b
        d
        
          )
          
            2
          
        
        +
        (
        a
        d
        −
        b
        c
        
          )
          
            2
          
        
        .
      
    
    {\displaystyle \left(a^{2}+b^{2}\right)\,\left(c^{2}+d^{2}\right)=(ac+bd)^{2}+(ad-bc)^{2}.}
  

Sind also zwei natürliche Zahlen als Summe zweier Quadrate darstellbar, so auch ihr Produkt. Als Folgerung des Zwei-Quadrate-Satzes weiß man heute, dass eine natürliche Zahl genau dann als Summe zweier Quadrate dargestellt werden kann, wenn sämtliche Primzahlen 
  
    
      
        p
      
    
    {\displaystyle p}
  
 in ihrer Primfaktorzerlegung, mit der Eigenschaft, dass 
  
    
      
        4
      
    
    {\displaystyle 4}
  
 die Zahl 
  
    
      
        p
        −
        3
      
    
    {\displaystyle p-3}
  
 teilt (kurz: 
  
    
      
        4
        
          |
        
        (
        p
        −
        3
        )
      
    
    {\displaystyle 4|(p-3)}
  
), in gerader Häufigkeit auftauchen. Zum Beispiel lässt sich 
  
    
      
        19125
        =
        
          3
          
            2
          
        
        ⋅
        
          5
          
            3
          
        
        ⋅
        17
      
    
    {\displaystyle 19125=3^{2}\cdot 5^{3}\cdot 17}
  
 als Summe zweier Quadrate schreiben (
  
    
      
        19125
        =
        
          9
          
            2
          
        
        +
        
          138
          
            2
          
        
      
    
    {\displaystyle 19125=9^{2}+138^{2}}
  
), da die einzige Primzahl 
  
    
      
        p
      
    
    {\displaystyle p}
  
 in der Zerlegung mit 
  
    
      
        4
        
          |
        
        (
        p
        −
        3
        )
      
    
    {\displaystyle 4|(p-3)}
  
 gerade 
  
    
      
        p
        =
        3
      
    
    {\displaystyle p=3}
  
 ist, und diese in doppelter, ergo gerader Häufigkeit auftritt. Im Gegensatz dazu ist z. B. 
  
    
      
        6375
        =
        3
        ⋅
        
          5
          
            3
          
        
        ⋅
        17
      
    
    {\displaystyle 6375=3\cdot 5^{3}\cdot 17}
  
 nicht Summe zweier Quadratzahlen.


## Didaktik
### Binomische Formeln im Kontext der Schulalgebra
Die Formelsprache der Algebra ist das zentrale Darstellungsmittel der Mathematik. Sie ist ein Zeichensystem, in dem vorhandenes Wissen über Zahlen und funktionale Zusammenhänge von Größen allgemein erfasst und kodiert, mit den dargestellten Beziehungen gedanklich operiert und damit neues Wissen erzeugt werden kann. Es existiert ein großes Spektrum an mathematischen Objekten, deren Beziehungen und Zusammenhänge in der Formelsprache dargestellt werden können. Gleiches gilt für inner- und außermathematische Situationen. Beispiele hierfür sind Flächen- und Volumenberechnungen in Abhängigkeit von z. B. Seitenlängen, aber auch die binomischen Formeln.
Durch die gesamte Geschichte der Mathematik hinweg war die Algebra stets ein Werkzeug, um inner- und außermathematische Probleme zu lösen. Auch in der aktuellen Schulmathematik wird Algebra in diesem Sinn verwendet. Algebraische Denk-, Arbeits- und Darstellungsweisen sind essenziell für alle Teilbereiche der Schul- und Berufsmathematik. Sie treten bei der Mathematisierung von Problemen aus dem technischen, wirtschaftlichen oder gesellschaftlichen Bereich auf. Ferner sind sie über den Mathematikunterricht hinaus auch für andere Schulfächer von Bedeutung, vor allem für die Fächer Physik und Informatik. Die binomischen Formeln sind dabei Bestandteil der elementaren Algebra und werden im Mathematikunterricht meist als besondere Formeln zur Umformung (beispielsweise Multiplikation) von Binomen verwendet. Ihr hauptsächlicher Zweck ist es, als Merkformeln eine Erleichterung für beispielsweise das Ausmultiplizieren oder Zusammenfassen von Klammerausdrücken zu bilden und eine Lösungsstrategie für das Faktorisieren von Termen bereitzustellen. Sie gehören damit zu den wichtigsten Grundpfeilern der Schulmathematik.

Nach allgemeiner Auffassung der mathematikdidaktischen Gemeinschaft gilt die „elementar-algebraische Formelsprache als ein grundlegendes Darstellungsmittel der Mathematik und gehört zu den klassischen Stoffgebieten an weiterführenden Schulen.“ In einem empirisch-orientierten Mathematikunterricht stehe gerade die Verbindung verschiedener Bereiche im Mittelpunkt, etwa für den Fall der binomischen Formeln die Verbindung der Terme und Formeln mit einer gegebenen (geometrischen) Sachsituation. Die aus der Grundschulzeit bekannten Grundrechenarten, von denen die Schüler durch die Einführung und den Umgang in der fünften Klasse eine geometrische Grundvorstellung ausgebildet haben, werden damit innerhalb von Sachsituationen auf das Rechnen mit Termen übertragen.
Serge Lang, Autor zahlreicher Bücher zur Mathematik, beklagte, dass viele seiner Studenten „nicht in der Lage seien, Ausdrücke wie 
  
    
      
        (
        a
        +
        b
        
          )
          
            2
          
        
        ,
      
    
    {\displaystyle (a+b)^{2},}
  
 
  
    
      
        (
        a
        −
        b
        
          )
          
            2
          
        
      
    
    {\displaystyle (a-b)^{2}}
  
 und 
  
    
      
        (
        a
        +
        b
        )
        
        (
        a
        −
        b
        )
      
    
    {\displaystyle (a+b)\,(a-b)}
  
 augenblicklich auszumultiplizieren“. Als Ursache dieser „Schwächen in der elementaren Algebra“ verwies er auf „Defizite in der mathematischen Schulbildung“ in den USA.
An deutschen Realschulen und Gymnasien werden die binomischen Formeln gewöhnlich spätestens ab der 8. Klasse thematisiert. In der Schweiz sind sie Gegenstand der 7. bis 8. Klasse, und in Österreich der 3. Klasse der Sekundarstufe I, siehe auch Sekundarbildung Unterstufe. Jedoch bleiben sie auch nach ihrer Einführung in ständigem Gebrauch, etwa bei Anwendungen in der elementaren Geometrie (z. B. dem Satz des Pythagoras), Umformungen von Termen, und im Kontext quadratischer Gleichungen.


### Rechenfehler und Fehleranalysen
Ein „beliebter Fehler“ bei einer Anwendung der binomischen Formel ist, dass „Quadrat einer Summe“ mit „Summe der Quadrate“ gleichgesetzt wird. Ein Beispiel ist

„
  
    
      
        (
        2
        x
        y
        +
        3
        x
        
          )
          
            2
          
        
        =
        4
        
          x
          
            2
          
        
        
          y
          
            2
          
        
        +
        9
        
          x
          
            2
          
        
      
    
    {\displaystyle (2xy+3x)^{2}=4x^{2}y^{2}+9x^{2}}
  
“.
  
    
      
        
      
    
    {\displaystyle \qquad }
  
(falsche Identität!)

Es wurde also das gemischte Glied, hier 
  
    
      
        2
        ⋅
        2
        x
        y
        ⋅
        3
        x
        =
        12
        
          x
          
            2
          
        
        y
        ,
      
    
    {\displaystyle 2\cdot 2xy\cdot 3x=12x^{2}y,}
  
 fortgelassen. Ein schrittweiser Analyseprozess des Fehlers wird von Hans-Georg Weigand, Alexander Schüler-Meyer und Guido Pinkernell wie folgt vorgeschlagen:
1. Schritt: Bestimmen und erkennen des Fehlermusters

„
  
    
      
        (
        x
        +
        y
        
          )
          
            2
          
        
        =
        
          x
          
            2
          
        
        +
        
          y
          
            2
          
        
      
    
    {\displaystyle (x+y)^{2}=x^{2}+y^{2}}
  
“.
  
    
      
        
      
    
    {\displaystyle \qquad }
  
(falsche Identität!)
2. Schritt: Aufstellen einer Hypothese über die Fehlerursache: Die Ursache des Fehlers liegt vielleicht darin, dass eine grundlegende Struktur nicht wiedererkannt wird. Dies kann passieren, weil Schüler diese elementare Struktur nicht kennen oder weil der Term „zu komplex“ ist, um die Struktur wiederzuerkennen.
3. Schritt: Bearbeitung der Fehlerursache:
(a) Semantisch: Förderung der geometrischen Interpretation der Umformung zur Identifikation einer einfachen Struktur.
(b) Syntaktisch: Wiederholen der korrekten Struktur 
  
    
      
        (
        x
        +
        y
        
          )
          
            2
          
        
        =
        
          x
          
            2
          
        
        +
        2
        x
        y
        +
        
          y
          
            2
          
        
      
    
    {\displaystyle (x+y)^{2}=x^{2}+2xy+y^{2}}
  
 (semantisch entweder als Flächeninhalt eines Quadrats und/oder syntaktisch als die erste binomische Formel) sowie Üben des Wiedererkennens dieser Struktur im gegebenen Term.
4. Schritt: ein produktives Üben an strukturähnlichen Termen.
Eine weitere Fehlerquelle ist das Ziehen von Quadratwurzeln aus Summen. Analog zu oben gilt nicht

„
  
    
      
        
          
            
              x
              
                2
              
            
            +
            
              y
              
                2
              
            
          
        
        =
        x
        +
        y
      
    
    {\displaystyle {\sqrt {x^{2}+y^{2}}}=x+y}
  
“.
  
    
      
        
      
    
    {\displaystyle \qquad }
  
(falsche Identität!)
In korrekter Form lautet die Formel

  
    
      
        
          
            
              x
              
                2
              
            
            +
            2
            x
            y
            +
            
              y
              
                2
              
            
          
        
        =
        
          
            (
            x
            +
            y
            
              )
              
                2
              
            
          
        
        =
        
          |
        
        x
        +
        y
        
          |
        
        .
      
    
    {\displaystyle {\sqrt {x^{2}+2xy+y^{2}}}={\sqrt {(x+y)^{2}}}=|x+y|.}
  

Dabei sorgen die Beträge dafür, dass die positive Quadratwurzel gezogen wird, also etwa 
  
    
      
        
          
            4
          
        
        =
        2
      
    
    {\displaystyle {\sqrt {4}}=2}
  
 und nicht 
  
    
      
        
          
            4
          
        
        =
        −
        2.
      
    
    {\displaystyle {\sqrt {4}}=-2.}
  

Fehler können auch vermieden werden, indem man Unbekannte durch konkrete Zahlen ersetzt und eine zuvor hergeleitete Identität auf die Probe stellt. Es gilt etwa

  
    
      
        (
        3
        +
        1
        
          )
          
            2
          
        
        =
        
          4
          
            2
          
        
        =
        16
        ,
        
      
    
    {\displaystyle (3+1)^{2}=4^{2}=16,\quad }
  
 aber 
  
    
      
        
        
          3
          
            2
          
        
        +
        
          1
          
            2
          
        
        =
        9
        +
        1
        =
        10
        ,
      
    
    {\displaystyle \quad 3^{2}+1^{2}=9+1=10,}
  

weshalb eine Identität zwischen den Termen 
  
    
      
        (
        x
        +
        y
        
          )
          
            2
          
        
      
    
    {\displaystyle (x+y)^{2}}
  
 und 
  
    
      
        
          x
          
            2
          
        
        +
        
          y
          
            2
          
        
      
    
    {\displaystyle x^{2}+y^{2}}
  
 nicht richtig sein kann.


## Verallgemeinerungen
Grundsätzlich sind Verallgemeinerungen der ersten binomischen Formel 
  
    
      
        (
        a
        +
        b
        
          )
          
            2
          
        
      
    
    {\displaystyle (a+b)^{2}}
  
 in verschiedene Richtungen möglich.

Zum einen kann die Anzahl der Summanden erhöht werden, also 
  
    
      
        (
        a
        +
        b
        +
        c
        
          )
          
            2
          
        
        ,
      
    
    {\displaystyle (a+b+c)^{2},}
  
 
  
    
      
        (
        a
        +
        b
        +
        c
        +
        d
        
          )
          
            2
          
        
      
    
    {\displaystyle (a+b+c+d)^{2}}
  
 usw.
Zum anderen kann der Exponent vergrößert werden, also 
  
    
      
        (
        a
        +
        b
        
          )
          
            3
          
        
        ,
      
    
    {\displaystyle (a+b)^{3},}
  
 
  
    
      
        (
        a
        +
        b
        
          )
          
            4
          
        
      
    
    {\displaystyle (a+b)^{4}}
  
 usw.
Letztlich ist auch eine Kombination aus beiden Verallgemeinerungsrichtungen möglich. Auch für die zweite und dritte binomische Formel existieren in mancherlei Hinsicht Verallgemeinerungen.


### Der binomische Lehrsatz
Binomische Formeln lassen sich auch für höhere Potenzen angeben, diese Verallgemeinerung ist der binomische Lehrsatz: Für alle 
  
    
      
        n
        ∈
        
          N
        
      
    
    {\displaystyle n\in \mathbb {N} }
  
 gilt

  
    
      
        (
        a
        +
        b
        
          )
          
            n
          
        
        =
        
          ∑
          
            k
            =
            0
          
          
            n
          
        
        
          
            
              (
            
            
              n
              k
            
            
              )
            
          
        
        
          a
          
            n
            −
            k
          
        
        
          b
          
            k
          
        
        .
      
    
    {\displaystyle (a+b)^{n}=\sum _{k=0}^{n}{\binom {n}{k}}a^{n-k}b^{k}.}
  

Dabei bezeichnen 
  
    
      
        
          
            
              
                (
              
              
                n
                k
              
              
                )
              
            
          
        
        =
        
          
            
              
                n
                !
              
              
                k
                !
                (
                n
                −
                k
                )
                !
              
            
          
        
      
    
    {\displaystyle {\tbinom {n}{k}}={\tfrac {n!}{k!(n-k)!}}}
  
 die Binomialkoeffizienten, die beispielsweise mittels des Pascalschen Dreiecks leicht zu bestimmen sind. Gelegentlich wird die durch den binomischen Lehrsatz gegebene Formel auch als „binomische Formel“ oder „allgemeine binomische Formel“ bezeichnet. Ähnlich existiert die Bezeichnung „zweite binomische Formel“ für die Ausmultiplizierung des allgemeinen Terms 
  
    
      
        (
        a
        −
        b
        
          )
          
            n
          
        
        .
      
    
    {\displaystyle (a-b)^{n}.}
  

Die erste und die zweite binomische Formel sind Spezialfälle des binomischen Lehrsatzes für 
  
    
      
        n
        =
        2
        :
      
    
    {\displaystyle n=2\colon }
  

  
    
      
        (
        a
        +
        b
        
          )
          
            2
          
        
        =
        
          
            
              (
            
            
              2
              0
            
            
              )
            
          
        
        
          a
          
            2
          
        
        
          b
          
            0
          
        
        +
        
          
            
              (
            
            
              2
              1
            
            
              )
            
          
        
        
          a
          
            1
          
        
        
          b
          
            1
          
        
        +
        
          
            
              (
            
            
              2
              2
            
            
              )
            
          
        
        
          a
          
            0
          
        
        
          b
          
            2
          
        
        =
        
          a
          
            2
          
        
        +
        2
        a
        b
        +
        
          b
          
            2
          
        
        ,
      
    
    {\displaystyle (a+b)^{2}={\binom {2}{0}}a^{2}b^{0}+{\binom {2}{1}}a^{1}b^{1}+{\binom {2}{2}}a^{0}b^{2}=a^{2}+2ab+b^{2},}
  

  
    
      
        (
        a
        −
        b
        
          )
          
            2
          
        
        =
        
          
            
              (
            
            
              2
              0
            
            
              )
            
          
        
        
          a
          
            2
          
        
        (
        −
        b
        
          )
          
            0
          
        
        +
        
          
            
              (
            
            
              2
              1
            
            
              )
            
          
        
        
          a
          
            1
          
        
        (
        −
        b
        
          )
          
            1
          
        
        +
        
          
            
              (
            
            
              2
              2
            
            
              )
            
          
        
        
          a
          
            0
          
        
        (
        −
        b
        
          )
          
            2
          
        
        =
        
          a
          
            2
          
        
        −
        2
        a
        b
        +
        
          b
          
            2
          
        
        .
      
    
    {\displaystyle (a-b)^{2}={\binom {2}{0}}a^{2}(-b)^{0}+{\binom {2}{1}}a^{1}(-b)^{1}+{\binom {2}{2}}a^{0}(-b)^{2}=a^{2}-2ab+b^{2}.}
  

Für 
  
    
      
        n
        =
        3
      
    
    {\displaystyle n=3}
  
 ergibt sich z. B.

  
    
      
        (
        a
        +
        b
        
          )
          
            3
          
        
        =
        
          a
          
            3
          
        
        +
        3
        
          a
          
            2
          
        
        b
        +
        3
        a
        
          b
          
            2
          
        
        +
        
          b
          
            3
          
        
        ,
      
    
    {\displaystyle (a+b)^{3}=a^{3}+3a^{2}b+3ab^{2}+b^{3},}
  

  
    
      
        (
        a
        −
        b
        
          )
          
            3
          
        
        =
        
          a
          
            3
          
        
        −
        3
        
          a
          
            2
          
        
        b
        +
        3
        a
        
          b
          
            2
          
        
        −
        
          b
          
            3
          
        
        ,
      
    
    {\displaystyle (a-b)^{3}=a^{3}-3a^{2}b+3ab^{2}-b^{3},}
  
 siehe 
  
    
      
        ⇒
      
    
    {\displaystyle \Rightarrow }
  
 Animation.

Eine Verallgemeinerung auf nicht notwendig natürliche Exponenten 
  
    
      
        α
      
    
    {\displaystyle \alpha }
  
 führt auf eine Potenzreihenentwicklung, die durch die binomische Reihe gegeben ist:

  
    
      
        (
        1
        +
        x
        
          )
          
            α
          
        
        =
        1
        +
        α
        x
        +
        
          
            
              α
              (
              α
              −
              1
              )
            
            2
          
        
        
          x
          
            2
          
        
        +
        
          
            
              α
              (
              α
              −
              1
              )
              (
              α
              −
              2
              )
            
            6
          
        
        
          x
          
            3
          
        
        +
        ⋯
        =
        
          ∑
          
            n
            =
            0
          
          
            ∞
          
        
        
          
            
              (
            
            
              α
              n
            
            
              )
            
          
        
        
          x
          
            n
          
        
        ,
        
        (
        
          |
        
        x
        
          |
        
        <
        1
        )
        .
      
    
    {\displaystyle (1+x)^{\alpha }=1+\alpha x+{\frac {\alpha (\alpha -1)}{2}}x^{2}+{\frac {\alpha (\alpha -1)(\alpha -2)}{6}}x^{3}+\dotsb =\sum _{n=0}^{\infty }{\alpha  \choose n}x^{n},\qquad (|x|<1).}
  

Diese allgemeinere Formel wurde erstmals 1826 von Niels Henrik Abel bewiesen.


### Verallgemeinerung der dritten binomischen Formel
Auch zur dritten binomischen Formel gibt es eine Verallgemeinerung, die die Faktorisierung von 
  
    
      
        
          a
          
            n
          
        
        
          −
        
        
          b
          
            n
          
        
      
    
    {\displaystyle a^{n}{-}b^{n}}
  
 ermöglicht:

  
    
      
        
          a
          
            3
          
        
        −
        
          b
          
            3
          
        
        =
        (
        a
        −
        b
        )
        ⋅
        
          (
          
            
              a
              
                2
              
            
            +
            a
            b
            +
            
              b
              
                2
              
            
          
          )
        
      
    
    {\displaystyle a^{3}-b^{3}=(a-b)\cdot \left(a^{2}+ab+b^{2}\right)}
  

  
    
      
        
          a
          
            4
          
        
        −
        
          b
          
            4
          
        
        =
        (
        a
        −
        b
        )
        ⋅
        
          (
          
            
              a
              
                3
              
            
            +
            
              a
              
                2
              
            
            b
            +
            a
            
              b
              
                2
              
            
            +
            
              b
              
                3
              
            
          
          )
        
      
    
    {\displaystyle a^{4}-b^{4}=(a-b)\cdot \left(a^{3}+a^{2}b+ab^{2}+b^{3}\right)}
  

oder allgemein für höhere natürliche Potenzen

  
    
      
        
          
            
              
                
                  a
                  
                    n
                  
                
                −
                
                  b
                  
                    n
                  
                
              
              
                =
              
              
                (
                a
                −
                b
                )
                ⋅
                (
                
                  a
                  
                    n
                    −
                    1
                  
                
                +
                
                  a
                  
                    n
                    −
                    2
                  
                
                b
                +
                
                  a
                  
                    n
                    −
                    3
                  
                
                
                  b
                  
                    2
                  
                
                +
                ⋯
                +
                
                  a
                  
                    2
                  
                
                
                  b
                  
                    n
                    −
                    3
                  
                
                +
                a
                
                  b
                  
                    n
                    −
                    2
                  
                
                +
                
                  b
                  
                    n
                    −
                    1
                  
                
                )
              
            
            
              
              
                =
              
              
                (
                a
                −
                b
                )
                ⋅
                
                  ∑
                  
                    k
                    =
                    0
                  
                  
                    n
                    −
                    1
                  
                
                
                  a
                  
                    k
                  
                
                
                  b
                  
                    n
                    −
                    1
                    −
                    k
                  
                
              
            
            
              
              
                =
              
              
                (
                a
                −
                b
                )
                ⋅
                
                  b
                  
                    n
                    −
                    1
                  
                
                ⋅
                
                  ∑
                  
                    k
                    =
                    0
                  
                  
                    n
                    −
                    1
                  
                
                
                  
                    (
                    
                      
                        a
                        b
                      
                    
                    )
                  
                  
                    k
                  
                
                .
              
            
          
        
      
    
    {\displaystyle {\begin{array}{rcl}a^{n}-b^{n}&=&(a-b)\cdot (a^{n-1}+a^{n-2}b+a^{n-3}b^{2}+\dotsb +a^{2}b^{n-3}+ab^{n-2}+b^{n-1})\\&=&(a-b)\cdot \sum _{k=0}^{n-1}a^{k}b^{n-1-k}\\&=&(a-b)\cdot b^{n-1}\cdot \sum _{k=0}^{n-1}\left({\frac {a}{b}}\right)^{k}.\end{array}}}
  

Aus einem Ausdruck 
  
    
      
        
          a
          
            n
          
        
        −
        
          b
          
            n
          
        
      
    
    {\displaystyle a^{n}-b^{n}}
  
 lässt sich immer der Faktor 
  
    
      
        a
        −
        b
      
    
    {\displaystyle a-b}
  
 abspalten. Ist 
  
    
      
        n
      
    
    {\displaystyle n}
  
 eine Primzahl, ist das Quotientenpolynom irreduzibel; weitere Zerlegungen sind nur noch über die komplexen Zahlen möglich. Andernfalls lässt sich die Summe weiter zerlegen und ist 
  
    
      
        n
      
    
    {\displaystyle n}
  
 ein Produkt von 3 oder mehr verschiedenen ungeraden Primzahlen, entstehen auch Polynome mit Koeffizienten ungleich 0, −1, +1. So entsteht bei der Zerlegung von 
  
    
      
        
          a
          
            105
          
        
        −
        
          b
          
            105
          
        
      
    
    {\displaystyle a^{105}-b^{105}}
  
 ein Polynom, beginnend mit

  
    
      
        
          a
          
            48
          
        
        +
        
          a
          
            47
          
        
        b
        +
        
          a
          
            46
          
        
        
          b
          
            2
          
        
        −
        
          a
          
            43
          
        
        
          b
          
            5
          
        
        −
        
          a
          
            42
          
        
        
          b
          
            6
          
        
        −
        2
        
          a
          
            41
          
        
        
          b
          
            7
          
        
        −
        
          a
          
            40
          
        
        
          b
          
            8
          
        
        ⋯
      
    
    {\displaystyle a^{48}+a^{47}b+a^{46}b^{2}-a^{43}b^{5}-a^{42}b^{6}-2a^{41}b^{7}-a^{40}b^{8}\dotsb }
  

Mit 
  
    
      
        b
        =
        1
      
    
    {\displaystyle b=1}
  
 erhält man als Quotientenpolynome die sogenannten Kreisteilungspolynome.
Bei geradem 
  
    
      
        n
      
    
    {\displaystyle n}
  
 lässt sich stets 
  
    
      
        
          a
          
            2
          
        
        −
        
          b
          
            2
          
        
      
    
    {\displaystyle a^{2}-b^{2}}
  
 und damit auch 
  
    
      
        a
        +
        b
      
    
    {\displaystyle a+b}
  
 abspalten; bei der Division entsteht als Quotientenpolynom eine alternierende Summe:

  
    
      
        
          
            
              
                a
                
                  n
                
              
              −
              
                b
                
                  n
                
              
            
            
              a
              +
              b
            
          
        
        =
        
          a
          
            n
            −
            1
          
        
        −
        
          a
          
            n
            −
            2
          
        
        b
        +
        ⋯
        +
        a
        
          b
          
            n
            −
            2
          
        
        −
        
          b
          
            n
            −
            1
          
        
      
    
    {\displaystyle {\frac {a^{n}-b^{n}}{a+b}}=a^{n-1}-a^{n-2}b+\dotsb +ab^{n-2}-b^{n-1}}
  
 für 
  
    
      
        n
        =
        2
        ,
        4
        ,
        6
        ,
        …
      
    
    {\displaystyle n=2,4,6,\dotsc }
  

Bei ungeradem 
  
    
      
        n
      
    
    {\displaystyle n}
  
 lässt sich zumindest 
  
    
      
        a
        +
        b
      
    
    {\displaystyle a+b}
  
 abspalten; bei der Division entsteht als Quotientenpolynom eine alternierende Summe:

  
    
      
        
          
            
              
                a
                
                  n
                
              
              +
              
                b
                
                  n
                
              
            
            
              a
              +
              b
            
          
        
        =
        
          a
          
            n
            −
            1
          
        
        −
        
          a
          
            n
            −
            2
          
        
        b
        +
        ⋯
        −
        a
        
          b
          
            n
            −
            2
          
        
        +
        
          b
          
            n
            −
            1
          
        
      
    
    {\displaystyle {\frac {a^{n}+b^{n}}{a+b}}=a^{n-1}-a^{n-2}b+\dotsb -ab^{n-2}+b^{n-1}}
  
 für 
  
    
      
        n
        =
        1
        ,
        3
        ,
        5
        ,
        …
      
    
    {\displaystyle n=1,3,5,\dotsc }
  


### Erweiterungen auf mehrgliedrige Ausdrücke
Eine Verallgemeinerung der binomischen Formeln auf Potenzen von Polynomen, also von Summen mit mehr als zwei Gliedern, führt auf das Multinomialtheorem. Beispielsweise gilt für das Quadrat eines Trinoms

  
    
      
        (
        a
        +
        b
        +
        c
        
          )
          
            2
          
        
        =
        
          a
          
            2
          
        
        +
        
          b
          
            2
          
        
        +
        
          c
          
            2
          
        
        +
        2
        a
        b
        +
        2
        a
        c
        +
        2
        b
        c
        .
      
    
    {\displaystyle (a+b+c)^{2}=a^{2}+b^{2}+c^{2}+2ab+2ac+2bc.}
  

Allgemein gilt

  
    
      
        (
        
          x
          
            1
          
        
        +
        
          x
          
            2
          
        
        +
        
          x
          
            3
          
        
        +
        ⋯
        +
        
          x
          
            n
          
        
        
          )
          
            2
          
        
        =
        
          x
          
            1
          
          
            2
          
        
        +
        
          x
          
            2
          
          
            2
          
        
        +
        ⋯
        +
        
          x
          
            n
          
          
            2
          
        
        +
        2
        
          x
          
            1
          
        
        
          x
          
            2
          
        
        +
        2
        
          x
          
            1
          
        
        
          x
          
            3
          
        
        +
        ⋯
        +
        2
        
          x
          
            n
            −
            1
          
        
        
          x
          
            n
          
        
        =
        
          ∑
          
            j
            =
            1
          
          
            n
          
        
        
          x
          
            j
          
          
            2
          
        
        +
        2
        
          ∑
          
            1
            ≤
            j
            <
            k
            ≤
            n
          
        
        
          x
          
            j
          
        
        
          x
          
            k
          
        
        .
      
    
    {\displaystyle (x_{1}+x_{2}+x_{3}+\dotsb +x_{n})^{2}=x_{1}^{2}+x_{2}^{2}+\dotsb +x_{n}^{2}+2x_{1}x_{2}+2x_{1}x_{3}+\dotsb +2x_{n-1}x_{n}=\sum _{j=1}^{n}x_{j}^{2}+2\sum _{1\leq j<k\leq n}x_{j}x_{k}.}
  

Auch bei mehrgliedrigen Ausdrücken finden sich Anwendungen in der Zahlentheorie. Der Vier-Quadrate-Satz besagt, dass sich jede natürliche Zahl als Summe von vier Quadratzahlen darstellen lässt. Beispiele sind

  
    
      
        24
        =
        16
        +
        4
        +
        4
        +
        0
        =
        
          4
          
            2
          
        
        +
        
          2
          
            2
          
        
        +
        
          2
          
            2
          
        
        +
        
          0
          
            2
          
        
        ,
      
    
    {\displaystyle 24=16+4+4+0=4^{2}+2^{2}+2^{2}+0^{2},}
  

  
    
      
        111
        
        111
        =
        
          333
          
            2
          
        
        +
        
          14
          
            2
          
        
        +
        
          5
          
            2
          
        
        +
        
          1
          
            2
          
        
        .
      
    
    {\displaystyle 111\,111=333^{2}+14^{2}+5^{2}+1^{2}.}
  

Da es unendlich viele natürliche Zahlen gibt, ist es nicht möglich, alle Möglichkeiten einzeln durchzuprobieren, weshalb ein mathematischer Beweis dieser Tatsache über allgemeingültige logische Schlussfolgerungen geführt werden muss. Es erwähnte Leonhard Euler im Jahre 1748 in einem Brief an Christian Goldbach die Identität

  
    
      
        
          
            
              
                (
                
                  a
                  
                    1
                  
                  
                    2
                  
                
                +
                
                  b
                  
                    1
                  
                  
                    2
                  
                
                +
                
                  c
                  
                    1
                  
                  
                    2
                  
                
                +
                
                  d
                  
                    1
                  
                  
                    2
                  
                
                )
                
                (
                
                  a
                  
                    2
                  
                  
                    2
                  
                
                +
                
                  b
                  
                    2
                  
                  
                    2
                  
                
                +
                
                  c
                  
                    2
                  
                  
                    2
                  
                
                +
                
                  d
                  
                    2
                  
                  
                    2
                  
                
                )
              
              
                =
              
              
                (
                
                  a
                  
                    1
                  
                
                
                  a
                  
                    2
                  
                
                −
                
                  b
                  
                    1
                  
                
                
                  b
                  
                    2
                  
                
                −
                
                  c
                  
                    1
                  
                
                
                  c
                  
                    2
                  
                
                −
                
                  d
                  
                    1
                  
                
                
                  d
                  
                    2
                  
                
                
                  )
                  
                    2
                  
                
              
            
            
              
              
              
                
                

                
                +
                (
                
                  a
                  
                    1
                  
                
                
                  b
                  
                    2
                  
                
                +
                
                  b
                  
                    1
                  
                
                
                  a
                  
                    2
                  
                
                +
                
                  c
                  
                    1
                  
                
                
                  d
                  
                    2
                  
                
                −
                
                  d
                  
                    1
                  
                
                
                  c
                  
                    2
                  
                
                
                  )
                  
                    2
                  
                
              
            
            
              
              
              
                
                

                
                +
                (
                
                  a
                  
                    1
                  
                
                
                  c
                  
                    2
                  
                
                −
                
                  b
                  
                    1
                  
                
                
                  d
                  
                    2
                  
                
                +
                
                  c
                  
                    1
                  
                
                
                  a
                  
                    2
                  
                
                +
                
                  d
                  
                    1
                  
                
                
                  b
                  
                    2
                  
                
                
                  )
                  
                    2
                  
                
              
            
            
              
              
              
                
                

                
                +
                (
                
                  a
                  
                    1
                  
                
                
                  d
                  
                    2
                  
                
                +
                
                  b
                  
                    1
                  
                
                
                  c
                  
                    2
                  
                
                −
                
                  c
                  
                    1
                  
                
                
                  b
                  
                    2
                  
                
                +
                
                  d
                  
                    1
                  
                
                
                  a
                  
                    2
                  
                
                
                  )
                  
                    2
                  
                
                ,
              
            
          
        
      
    
    {\displaystyle {\begin{array}{rcl}(a_{1}^{2}+b_{1}^{2}+c_{1}^{2}+d_{1}^{2})\,(a_{2}^{2}+b_{2}^{2}+c_{2}^{2}+d_{2}^{2})&=&(a_{1}a_{2}-b_{1}b_{2}-c_{1}c_{2}-d_{1}d_{2})^{2}\\&&\quad {}+(a_{1}b_{2}+b_{1}a_{2}+c_{1}d_{2}-d_{1}c_{2})^{2}\\&&\quad {}+(a_{1}c_{2}-b_{1}d_{2}+c_{1}a_{2}+d_{1}b_{2})^{2}\\&&\quad {}+(a_{1}d_{2}+b_{1}c_{2}-c_{1}b_{2}+d_{1}a_{2})^{2},\end{array}}}
  

die zeigt, dass sich das Produkt von Zahlen, die sich in vier Quadrate zerlegen lassen, wieder in 4 Quadrate zerlegen lässt. Da jede natürliche Zahl 
  
    
      
        n
        ≥
        2
      
    
    {\displaystyle n\geq 2}
  
 als Produkt von Primzahlen dargestellt werden kann (und der Satz für 
  
    
      
        1
        =
        
          1
          
            2
          
        
        +
        
          0
          
            2
          
        
        +
        
          0
          
            2
          
        
        +
        
          0
          
            2
          
        
      
    
    {\displaystyle 1=1^{2}+0^{2}+0^{2}+0^{2}}
  
 klar ist), lässt sich das Problem damit auf Primzahlen reduzieren:

  
    
      
        
          
            
              
                2
              
              
                
                =
                1
                +
                1
                +
                0
                +
                0
              
            
            
              
                3
              
              
                
                =
                1
                +
                1
                +
                1
                +
                0
              
            
            
              
                5
              
              
                
                =
                4
                +
                1
                +
                0
                +
                0
              
            
            
              
                7
              
              
                
                =
                4
                +
                1
                +
                1
                +
                1
              
            
            
              
                11
              
              
                
                =
                9
                +
                1
                +
                1
                +
                0
              
            
          
        
      
    
    {\displaystyle {\begin{aligned}2&=1+1+0+0\\3&=1+1+1+0\\5&=4+1+0+0\\7&=4+1+1+1\\11&=9+1+1+0\end{aligned}}}
  

usw. Da es nach dem Satz des Euklid unendlich viele Primzahlen gibt, ist jedoch auch hier ein Durchprobieren nicht möglich. Allerdings kann der Vier-Quadrate-Satz speziell für Primzahlen über ein geometrisches Verfahren gezeigt werden, das zusätzlich gewisse Eigenschaften der Primzahlen ausnutzt. Leonhard Euler versuchte 40 Jahre lang vergeblich, den Satz zu zeigen, bis 1770 schließlich Joseph-Louis Lagrange ein Beweis gelang.
Die Frage, ob Zerlegbarkeit in eine gewisse Anzahl an Quadraten von Produkten zweier Zahlen – wo dies möglich ist – auf das Ergebnis weitervererbt wird, ist ganz allgemein Gegenstand der Quadrate-Sätze. Etwa behandelte Carl Ferdinand Degen den Fall von acht Quadraten. Adolf Hurwitz konnte mit dem Beweis des Kompositionssatzes zeigen, dass dies nur für die Anzahlen 
  
    
      
        n
        ∈
        {
        1
        ,
        2
        ,
        4
        ,
        8
        }
      
    
    {\displaystyle n\in \{1,2,4,8\}}
  
 möglich ist. Dies bedeutet, dass neben 
  
    
      
        
          m
          
            2
          
        
        
          n
          
            2
          
        
        =
        (
        m
        n
        
          )
          
            2
          
        
      
    
    {\displaystyle m^{2}n^{2}=(mn)^{2}}
  
 und den Identitäten von Brahmagupta, Euler und Degen keine weiteren Identitäten oberen Typs existieren können.


### Multinomialtheorem
Das Multinomialtheorem ist eine sehr weitreichende Verallgemeinerung der binomischen Formeln, da sowohl beliebig viele Summanden in den Klammern als auch beliebig hohe Potenzen gleichzeitig erlaubt sind. Naturgemäß ist das Ausmultiplizieren dieser Klammern mit einer gewissen Komplexität verbunden. Das Multinomialtheorem besagt, dass

  
    
      
        (
        
          x
          
            1
          
        
        +
        
          x
          
            2
          
        
        +
        ⋯
        +
        
          x
          
            n
          
        
        
          )
          
            k
          
        
        =
        
          ∑
          
            
              
                
                  k
                  
                    1
                  
                
                +
                ⋯
                +
                
                  k
                  
                    n
                  
                
                =
                k
              
              
                
                  k
                  
                    1
                  
                
                ,
                …
                ,
                
                  k
                  
                    n
                  
                
                ≥
                0
              
            
          
        
        
          
            
              (
            
            
              k
              
                
                  k
                  
                    1
                  
                
                ,
                …
                ,
                
                  k
                  
                    n
                  
                
              
            
            
              )
            
          
        
        ⋅
        
          x
          
            1
          
          
            
              k
              
                1
              
            
          
        
        ⋅
        
          x
          
            2
          
          
            
              k
              
                2
              
            
          
        
        ⋯
        
          x
          
            n
          
          
            
              k
              
                n
              
            
          
        
        .
      
    
    {\displaystyle (x_{1}+x_{2}+\dotsb +x_{n})^{k}=\sum _{k_{1}+\dotsb +k_{n}=k \atop k_{1},\dotsc ,k_{n}\geq 0}{k \choose k_{1},\dotsc ,k_{n}}\cdot x_{1}^{k_{1}}\cdot x_{2}^{k_{2}}\dotsm x_{n}^{k_{n}}.}
  

Die Koeffizienten dieses Polynomausdrucks sind die Multinomialkoeffizienten

  
    
      
        
          
            
              (
            
            
              k
              
                
                  k
                  
                    1
                  
                
                ,
                …
                ,
                
                  k
                  
                    n
                  
                
              
            
            
              )
            
          
        
        =
        
          
            
              k
              !
            
            
              
                k
                
                  1
                
              
              !
              ⋅
              
                k
                
                  2
                
              
              !
              ⋯
              
                k
                
                  n
                
              
              !
            
          
        
        .
      
    
    {\displaystyle {k \choose k_{1},\dotsc ,k_{n}}={\frac {k!}{k_{1}!\cdot k_{2}!\dotsm k_{n}!}}.}
  

Dabei steht 
  
    
      
        k
        !
      
    
    {\displaystyle k!}
  
 für die Fakultät von 
  
    
      
        k
        .
      
    
    {\displaystyle k.}
  
 Eine kürzere Formulierung erlaubt die Multiindexnotation mit Multiindex 
  
    
      
        α
        :
      
    
    {\displaystyle \alpha \colon }
  

  
    
      
        (
        
          x
          
            1
          
        
        +
        
          x
          
            2
          
        
        +
        ⋯
        +
        
          x
          
            n
          
        
        
          )
          
            k
          
        
        =
        
          ∑
          
            
              |
            
            α
            
              |
            
            =
            k
          
        
        
          
            
              (
            
            
              
                k
              
              α
            
            
              )
            
          
        
        ⋅
        
          x
          
            α
          
        
        .
      
    
    {\displaystyle (x_{1}+x_{2}+\dotsb +x_{n})^{k}=\sum _{|\alpha |=k}{{k} \choose \alpha }\cdot x^{\alpha }.}
  

Dabei identifiziert man 
  
    
      
        x
      
    
    {\displaystyle x}
  
 mit dem Vektor 
  
    
      
        (
        
          x
          
            1
          
        
        ,
        …
        ,
        
          x
          
            n
          
        
        )
        ∈
        
          
            R
          
          
            n
          
        
        .
      
    
    {\displaystyle (x_{1},\dotsc ,x_{n})\in \mathbb {R} ^{n}.}
  

Im Spezialfall von Trinomen sind die Koeffizienten in der Pascalschen Pyramide enthalten. So gilt zum Beispiel 

  
    
      
        (
        a
        +
        b
        +
        c
        
          )
          
            3
          
        
        =
        
          a
          
            3
          
        
        +
        
          b
          
            3
          
        
        +
        
          c
          
            3
          
        
        +
        3
        
          a
          
            2
          
        
        b
        +
        3
        
          a
          
            2
          
        
        c
        +
        3
        
          b
          
            2
          
        
        c
        +
        3
        a
        
          b
          
            2
          
        
        +
        3
        a
        
          c
          
            2
          
        
        +
        3
        b
        
          c
          
            2
          
        
        +
        6
        a
        b
        c
        .
      
    
    {\displaystyle (a+b+c)^{3}=a^{3}+b^{3}+c^{3}+3a^{2}b+3a^{2}c+3b^{2}c+3ab^{2}+3ac^{2}+3bc^{2}+6abc.}
  

Das Multinomialtheorem hat unter anderem Anwendung in der Kombinatorik.


### In allgemeinen Ringen
Ein Ring ist eine Menge, innerhalb derer mit Addition, Subtraktion und Multiplikation geschlossen gerechnet werden kann, und in der das Assoziativgesetz und das Distributivgesetz gelten. Beispiele für Ringe sind die ganzen Zahlen 
  
    
      
        
          Z
        
        ,
      
    
    {\displaystyle \mathbb {Z} ,}
  
 aber auch die rationalen Zahlen 
  
    
      
        
          Q
        
        .
      
    
    {\displaystyle \mathbb {Q} .}
  
 Es wird jedoch im Allgemeinen nicht gefordert, dass die Multiplikation in einem Ring kommutativ ist. So sind etwa Matrizenringe im Allgemeinen nicht kommutativ. Daher lauten die binomischen Formeln in allgemeinen Ringen etwas anders:

  
    
      
        (
        a
        +
        b
        
          )
          
            2
          
        
        =
        
          a
          
            2
          
        
        +
        a
        b
        +
        b
        a
        +
        
          b
          
            2
          
        
        ,
      
    
    {\displaystyle (a+b)^{2}=a^{2}+ab+ba+b^{2},}
  

aber auch

  
    
      
        (
        a
        +
        b
        )
        
        (
        a
        −
        b
        )
        =
        
          a
          
            2
          
        
        −
        a
        b
        +
        b
        a
        −
        
          b
          
            2
          
        
        .
      
    
    {\displaystyle (a+b)\,(a-b)=a^{2}-ab+ba-b^{2}.}
  

Da im Allgemeinen 
  
    
      
        a
        b
        ≠
        b
        a
      
    
    {\displaystyle ab\not =ba}
  
 gilt, kann dies nicht weiter vereinfacht werden. Ist der Ring hingegen kommutativ, gelten die Formeln in ihrer gewohnten Gestalt.
Eine besondere Situation stellt sich in kommutativen unitären Ringen mit Charakteristik 2 ein. Hier gilt 
  
    
      
        2
        =
        1
        +
        1
        =
        0
        ,
      
    
    {\displaystyle 2=1+1=0,}
  
 und somit vereinfachen sich erste und zweite binomische Formel jeweils zu

  
    
      
        (
        α
        ±
        β
        
          )
          
            2
          
        
        =
        
          α
          
            2
          
        
        ±
        (
        1
        +
        1
        )
        α
        β
        +
        
          β
          
            2
          
        
        =
        
          α
          
            2
          
        
        +
        
          β
          
            2
          
        
        ,
      
    
    {\displaystyle (\alpha \pm \beta )^{2}=\alpha ^{2}\pm (1+1)\alpha \beta +\beta ^{2}=\alpha ^{2}+\beta ^{2},}
  

da das gemischte Glied 
  
    
      
        2
        α
        β
        =
        0
      
    
    {\displaystyle 2\alpha \beta =0}
  
 entfällt.


## Literatur
### Zur Mathematik
Herbert Amann, Joachim Escher: Analysis 1. 3. Auflage. Birkhäuser, Basel/Boston/Berlin 2006, ISBN 978-3-7643-7755-7.
Tilo Arens, Frank Hettich, Christian Karpfinger, Ulrich Kockelhorn, Klaus Lichtenegger, Hellmuth Stachel: Mathematik. 5. Auflage, Springer Spektrum, Berlin/Heidelberg 2022, ISBN 978-3-662-64388-4.
Hans-Jochen Bartsch: Taschenbuch Mathematischer Formeln. 19. Auflage. Fachbuchverlag Leipzig im Carl Hanser Verlag, München/Wien 2001, ISBN 3-446-21792-4.
Edwin F. Beckenbach, Richard Bellmann: Inequalities. Ergebnisse der Mathematik und ihrer Grenzgebiete, Band 30, Second Revised Printing, Springer-Verlag, Berlin / Heidelberg / New York 1965.
Albrecht Beutelspacher: Zahlen, Formeln, Gleichungen. Springer-Verlag, Wiesbaden 2018, ISBN 978-3-658-16105-7.
David M. Bressoud: Factorization and Primality Testing. Springer Verlag, New York / Berlin / Heidelberg 1989, ISBN 0-387-97040-1.
I. N. Bronstein, K. A. Semendjajew et al.: Taschenbuch der Mathematik. 6. Auflage. Verlag Harri Deutsch, Frankfurt am Main 2006, ISBN 978-3-8171-2006-2.
John B. Conway: Functions of One Complex Variable I. 2. Auflage. Springer Verlag, New York 1978, ISBN 0-387-90328-3.
Theodore W. Gamelin: Complex Analysis. Springer-Verlag, New York 2001, ISBN 978-0-387-95093-8.
Stefan Hildebrandt: Analysis 1. Springer-Verlag, Berlin/Heidelberg 2006, ISBN 978-3-540-25368-6.
Kenneth Ireland, Michael Rosen: A Classical Introduction to Modern Number Theory. Second Edition, Springer-Verlag, New York 1990, ISBN 0-387-97329-X.
Richard Isaac: The Pleasures of Probability. Springer Verlag, New York 1995, ISBN 978-1-4612-6912-0.
Jens Carsten Jantzen, Joachim Schwermer: Algebra. 2. Auflage, Springer Spektrum Berlin, Heidelberg 2014, ISBN 978-3-642-40532-7.
Achim Klenke: Wahrscheinlichkeitstheorie (= Springer-Lehrbuch Masterclass.). 3., überarbeitete und ergänzte Auflage, Springer Spektrum, Berlin/Heidelberg 2013, ISBN 978-3-642-36018-3.
Neal Koblitz: A Course in Number Theory and Cryptography. Second Edition, Springer-Verlag, New York 1994, ISBN 3-540-94293-9.
Dirk Langemann, Vanessa Sommer: So einfach ist Mathematik. 2. Auflage, Springer-Verlag, Berlin 2018, ISBN 978-3-662-55822-5.
Franz Lemmermeyer: Mathematik à la Carte – Babylonische Algebra. Springer Verlag, Berlin 2022, ISBN 978-3-662-66286-1.
Serge Lang: A First Course in Calculus. Fifth Edition, Springer-Verlag, New York 1986, ISBN 0-387-96201-8.
Pavle Mladenovic: Combinatorics. Springer-Verlag, Switzerland 2019, ISBN 978-3-030-00830-7.
Kristina Reiss, Gerald Schmieder: Basiswissen Zahlentheorie. 3. Auflage, Springer-Verlag, Berlin/Heidelberg 2014, ISBN 978-3-642-39772-1.
Thomas Rießinger: Gleichungen, Umformungen, Terme. Springer-Verlag, Berlin/Heidelberg 2016, ISBN 978-3-662-49334-2.
Joseph H. Silverman, John Tate: Rational points on elliptic curves. Springer-Verlag, New York 1992, ISBN 0-387-97825-9.
I. N. Stewart, D. O. Tall: Algebraic Number Theory. Chapman and Hall, London 1979, ISBN 978-0-412-13840-9.
Terence Tao: Analysis I. Third Edition, Hindustan Book Agency, New Delhi 2017, ISBN 978-93-80250-64-9.
Gabor Toth: Elements of Mathematics. Springer Nature Switzerland AG, 2021, ISBN 978-3-030-75050-3.
Guido Walz (Hrsg.): Lexikon der Mathematik. Band 1. 2. Auflage, Springer-Verlag, Heidelberg 2017, ISBN 978-3-662-53497-7.
Guido Walz (Hrsg.): Lexikon der Mathematik. Band 4. 2. Auflage, Springer-Verlag, Mannheim 2017, ISBN 978-3-662-53499-1.


### Didaktik und Schulbücher
Hans Borucki et al.: Klett KomplettTrainer Mathematik 8. Klasse. PONS GmbH, Stuttgart 2021, ISBN 978-3-12-927582-5.
Kirsten Heckmann, Friedhelm Padberg: Unterrichtsentwürfe Mathematik Sekundarstufe I. Springer-Verlag, Berlin/Heidelberg 2012, ISBN 978-3-8274-2933-9.
Lisa Hefendehl-Hebeker, Sebastian Rezat: Algebra: Leitidee Symbol und Formalisierung. In: Regina Bruder, Andreas Büchter, Hedwig Gasteiger, Barbara Schmidt-Thieme, Hans-Georg Weigand: Handbuch der Mathematikdidaktik (123–158). Zweite Auflage, Springer-Verlag, Berlin 2023, ISBN 978-3-662-66603-6.
Andreas Pallack (Hrsg.): Fundamente der Mathematik. Cornelsen, Sachsen-Anhalt, Gymnasium Klasse 8, Berlin 2016, ISBN 978-3-06-009197-3.
Felicitas Pielsticker: Mathematische Wissensentwicklungsprozesse von Schülerinnen und Schülern. Springer-Verlag, Wiesbaden 2020, ISBN 978-3-658-29948-4.
Günther Rolles, Michael Unger (Hrsg.): Duden Basiswissen Schule: Mathematik, 5. bis 10. Klasse. 7. Auflage, Bibliographisches Institut GmbH, Berlin 2021, ISBN 978-3-411-71045-4.
Katrin Schiffer: Probleme beim Übergang von Arithmetik zu Algebra. Springer-Verlag, Wiesbaden 2019, ISBN 978-3-658-27776-5.
Hans-Georg Weigand, Alexander Schüler-Meyer, Guido Pinkernell: Didaktik der Algebra. 4. Auflage, Springer-Verlag, Berlin 2022, ISBN 978-3-662-64659-5.
Udo Wennekers (Hrsg.): Zahlen und Größen 8. Nordrhein-Westfalen. Cornelsen, Berlin 2015, ISBN 978-3-06-002886-3.


### Zur Geschichte
Die Elemente von Euklid. In: Ostwalds Klassiker der exakten Wissenschaften. Band 235, Verlag Europa-Lehrmittel, 4. Auflage, 2015, ISBN 978-3-8085-5482-1.
H.-W. Alten, A. Djafari Naini, B. Eick, M. Folkerts, H. Schlosser, K.-H. Schlote, H. Wesemüller-Kock, H. Wußing: 4000 Jahre Algebra. 2. Auflage, Springer-Verlag, Berlin/Heidelberg 2014, ISBN 978-3-642-38238-3.
J. L. Berggren: Episodes in the Mathematics of Medieval Islam. 2. Auflage. Springer-Verlag, New York 2016, ISBN 978-1-4939-3778-3.
Carl B. Boyer: A History of Mathematics. Second Edition, John Wiley & Sons, 1991, ISBN 0-471-54397-7.
Franka Miriam Brückler: Geschichte der Mathematik kompakt. Springer-Verlag, Berlin 2017, ISBN 978-3-662-55351-0.
Ernst Hairer, Gerhard Wanner: Analysis in historischer Entwicklung. Springer-Verlag, Berlin/Heidelberg 2011, ISBN 978-3-642-13766-2.
Dietmar Herrmann: Die antike Mathematik. 2. Auflage, Springer-Verlag, Berlin 2020, ISBN 978-3-662-61394-8.
Victor J. Katz: A History of Mathematics – An Introduction. 3. Auflage. Addison-Wesley/Pearson, Boston 2009, ISBN 978-0-321-38700-4.
Franz Lemmermeyer: 4000 Jahre Zahlentheorie. Springer-Verlag, Berlin 2023, ISBN 978-3-662-68109-1.
Peter Schreiber, Sonja Brentjes: Euklid. BSB B. G. Teubner Verlagsgesellschaft, Leipzig 1987, ISBN 978-3-322-00377-5.
John Stillwell: Mathematics and Its History. Third Edition, Springer-Verlag, New York / Dordrecht / Heidelberg / London 2010, ISBN 978-1-4419-6052-8.
Heinz Klaus Strick: Mathematik – einfach genial! Springer-Verlag, Deutschland 2020, ISBN 978-3-662-60448-9.


### Populärwissenschaftlich
Albrecht Beutelspacher: Albrecht Beutelspachers Kleines Mathematikum. Die 101 wichtigsten Fragen und Antworten zur Mathematik. C. H. Beck, München 2011, ISBN 978-3-406-61658-7, Kapitel 50: Wozu sind die binomischen Formeln gut?
Heinrich Zankl: Irrwitziges aus der Wissenschaft. 1. Auflage, neue Ausgabe. Wiley, Weinheim 2012, ISBN 978-3-527-64142-0.


## Weblinks
Binomische Formeln Rechner – Online Rechner mit Variablen. In: schule-verstehen.de (mit Rechenweg und Variablen).
Binomische Formeln – Multiple Choice Test. In: mathe-online.at.
Binomische Formeln. In: Serlo.
Binomische Formel hoch 3. In: nachhilfe-team.net.


## Anmerkungen
## Einzelnachweise