Выражаем y и подставляем в равенство с логарифмом y=2*x+7 и решаем относительно x:
log4(x)+log4(2x+7)=1;
log4(x*(2x+7))=1;
2x^2+7x=4^1;
2x^2+7x-4=0; D=81, корни 1/2 и 4.
отсюда игрек равен :y=2*1/2+7=8
y=2*4+7=15
Если на графике данного уравнения есть точка с целочисленными координатами, то данное уравнение имеет решение в целых числах
но так при любых целых x,y
15x кратно 5 --так как один множитель (а именно 15) делится нацело на 5
5y кратно 5 --так как один множитель (а именно 5) делится нацело на 5
значит и сумма 15x+5y кратна 5
число 23 не кратно 5. Противоречие.
тем самым получаем искомое. Доказано
sin(25°)+cos(55°)=sin(25°)+cos(90°-35°)=sin(25°)+sin(35°)=2sin(30°)cos(5°)=cos(5°)