Неравенство справедливо для a>0:
<=>
<=>
квадрат любого действительного выражения неотрицателен, поэтому числитель неотрицателен, знаменатель положителен (по пропущенному условию)
последнее неравенство верно так как отношение неотрицательного к положительному - неотрицательное выражение, а значит верно и исходное неравенство равносильное последнему
квадрат любого действительного выражения неотрицателен, поэтому числитель неотрицателен, знаменатель положителен (по пропущенному условию)
последнее неравенство верно так как отношение неотрицательного к положительному - неотрицательное выражение, а значит верно и исходное неравенство равносильное последнему