Олимпиадные задачи из источника «47 Международная Математическая Олимпиада (2006 год)» - сложность 3 с решениями

Пусть <i>P</i>(<i>x</i>) – многочлен степени  <i>n</i> > 1  с целыми коэффициентами, <i>k</i> – произвольное натуральное число. Рассмотрим многочлен

<i>Q_k</i>(<i>x</i>) = <i>P</i>(<i>P</i>(...<i>P</i>(<i>P</i>(<i>x</i>))...))  (<i>P</i> применён <i>k</i> раз). Докажите, что существует не более <i>n</i> целых чисел <i>t</i>, при которых  <i>Q_k</i>(<i>t</i>) = <i>t</i>.

Найдите все такие пары  (<i>x, y</i>)  целых чисел, что  1 + 2<i>^x</i> + 2^2<i>x</i>+1 = <i>y</i>².

Точка<i>I</i>– центр вписанной окружности треугольника<i>ABC</i>. Внутри треугольника выбрана точка<i>P</i>такая, что <center> <font face="Symbol">Ð</font><i>PBA</i> + <font face="Symbol">Ð</font><i>PCA</i> = <font face="Symbol">Ð</font><i>PBC</i> + <font face="Symbol">Ð</font><i>PCB.</i></center> Докажите, что<i>AP</i>≥<i>AI</i>, причём равенство выполняется тогда и только тогда, когда<i>P</i>совпадает с<i>I</i>.