Обычно функции y = [x] и y = {x} определятся так: y = [x] - наибольшее целое число, не превосходящее x y = {x} ≡ x - [x] - дробная часть x
График функции y = [x] - набор ступенек, y = n, если n <= x < n + 1 . График y = [x] + 4 - тот же график, но сдвинутый на 4 единицы вверх.
График функции y = {x} на полуинтервале [0, 1) совпадает с y = x, а дальше повторяется с периодом 1. y = {x + 2} ничем не отличается, так как прибавление целого числа никак не меняется дробную часть. Можно понять это и по-другому: y = {x + 2} это график y = {x}, сдвинутый на 2 единицы влево, но так как функция периодична с периодом 1, ничего не изменится.
Нам нужно доказать, что √17 является иррациональным числом. Пусть оно является рациональным числом. Тогда его можно представить в виде m/n, где m ∈ Z, n ∈ N и дробь несократимая. Возведя в квадрат, получаем, что 17 = m²/n² Тогда 17n² = m² Чтобы равенство было верным, необходимо, чтобы m ⋮ 17 тогда и n ⋮ 17, иначе данное равенство будет неверным, т.к. 17 - простое число. Тогда дробь m/n будет сократимой, т.к. и числитель, и знаменатель кратны 17. Но это невозможно, поэтому дробь вида (m/n)² = 17 не существует ⇒ число 17 не может являться квадратом рационального числа, т.е. √17 - иррациональное число.
y = [x] - наибольшее целое число, не превосходящее x
y = {x} ≡ x - [x] - дробная часть x
График функции y = [x] - набор ступенек, y = n, если n <= x < n + 1 . График y = [x] + 4 - тот же график, но сдвинутый на 4 единицы вверх.
График функции y = {x} на полуинтервале [0, 1) совпадает с y = x, а дальше повторяется с периодом 1. y = {x + 2} ничем не отличается, так как прибавление целого числа никак не меняется дробную часть. Можно понять это и по-другому: y = {x + 2} это график y = {x}, сдвинутый на 2 единицы влево, но так как функция периодична с периодом 1, ничего не изменится.