Доказательства свойств арифметического квадратного корня