Найди область определения выражения

Нам нужно доказать, что √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 - иррациональное число. 

sin (5πx/9) = sin (πx/9) + sin (2πx/9)

sin (5πx/9) - sin (πx/9) = sin (2πx/9)

По формуле разности синусов:

2sin()cos() - sin (2πx/9) = 0;

2 sin(2πx/9)cos(πx/3) - sin(2πx/9)=0;

sin (2πx/9) (2cos(πx/3)-1)=0;

sin (2πx/9)=0 или 2cos (πx/3)=1; cos (πx/3)=1/2

2πx/9=πn, n∈Z или πx/3=π/3+2πn, n∈Z или πx/3=-π/3+2πn, n∈Z;

Сокращаем на π:

2x/9=n, n∈Z или x/3=1/3+2n, n∈Z или x/3=-1/3+2n, n∈Z;

x=9n/2 или x=6n+1 или x=6n-1

Теперь отбираем корни уравнения, принадлежащие промежутку (4;8)

4<(9/2)n<8; 8/9<n<16/9; n=1, x=4,5

4<6n+1<8; 3<6n<7; 1/2<n<7/6; n=1; x=6+1=7;

4<6n-1<8; 5<6n<9; 5/6<n<3/2; n=1; x=6-1=5

ответ: x={4,5;5;7}