Пусть a>1 и aх=ay. Докажем, что в этом случае х=y.
Допустим противное тому, что требуется доказать, т. е. допустим, что x>у или что x<у. Тогда получим по свойству показательной функции, что либо aх<ay либо aх>ay.
Оба эти результата противоречат условию теоремы. Следовательно, x=у, что и требовалось доказать.
Также доказывается теорема и для случая, когда 0<a<1.
Замечание. Из равенства aх=ay не обязательно следует что x=у. Из равенства 1х=1y также не обязательно вытекает равенство x=у.
Самым простым показательным уравнением является уравнения вида aх=ay, где a>0 и a≠1 .