Öncelikle iki negatif reel sayının çarpımının pozitifleri çarpımına eşit olduğunu kanıtlayalım.0=0.0=(a−a)(b−b)=ab−ab−ab+(−a)(−b) ab=(−a)(−b) olur. Özel olarak a=−1 alırsak (−1)(−1)=1.1=1
Şimdi her a reel sayısı için a2≥0 olduğunu gösterelim. a≥0 ve b≥0 ise 0=0.0≤a.b ve a=b alarak 0≤a2 elde olunur. a≤0 ise yukarıda kanıtladığımız üzere iki negatif sayının çarpımı pozitif olacağından yine 0≤a2 olur. Şimdi a=1 yazarak 0<1 olduğunu görürüz.