Спра­вед­ли­ва рав­но­силь­ность

 ло­га­рифм по ос­но­ва­нию a x в квад­ра­те y мень­ше или равно z рав­но­силь­но ло­га­рифм по ос­но­ва­нию a x в квад­ра­те плюс ло­га­рифм по ос­но­ва­нию a y мень­ше или равно z.

Вслед­ствие не­от­ри­ца­тель­но­сти од­но­го из мно­жи­те­лей в вы­ра­же­нии, сто­я­щем под зна­ком ло­га­риф­ма (в дан­ном слу­чае x в квад­ра­те ), при дан­ном пре­об­ра­зо­ва­нии не про­ис­хо­дит из­ме­не­ния ОДЗ не­ра­вен­ства.

Об­ласть до­пу­сти­мых зна­че­ний обоих не­ра­венств:  си­сте­ма вы­ра­же­ний x не равно 0, y боль­ше 0. конец си­сте­мы .