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

<i>a</i> и <i>b</i> – натуральные числа. Покажите, что если  4<i>ab</i> – 1  делит  (4<i>a</i>² – 1)²,  то  <i>a = b</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>.