1)Все жители не могут быть лгунами, иначе каждый из них сказал бы правду(противоречит условию).
2)Возьмем случайного рыцаря. Из утверждения вытекает, что лжецов на острове больше, чем (2015−1)\2=1007, то есть не менее 1007 лжецов.
3)Возьмем случайного лжеца. Его заявление ложно,т.к. кроме него не более половины жителей острова — лжецы. получается, что кроме него на острове не более 2014\2=1007 лжецов (то есть не более 1007), т.е. вместе с ним лжецов не более 1007.
4)из 2) и 3) следует, что: единственный вариант - это когда на острове ровно 1007 лжецов.
Объяснение:
1) Треугольники ABM и CBM
AB=BC (по условию)
BM - общая
∠M=90° (по условию)
Вывод: треугольники равны по катету и гипотенузе
2) Треугольники FDN и NKF
DN=FK (по условию)
FN - общая
∠D=∠K=90° (по условию)
Вывод: треугольники равны по катету и гипотенузе
3) Треугольники SDO и SPO
∠D=∠P=90° (по условию)
SO - общая
∠SOD=∠SOP (по условию)
Вывод: треугольники равны по гипотенузе и острому углу
4) Треугольники RMX и XNR
RX - общая
∠MXR=∠NRX (по условию)
∠M=∠N=90° (по условию)
Вывод: треугольники равны по гипотенузе и острому углу
Треугольники MRT и NXT:
RT=XT (тк ∠MXR=∠NRX (по условию), треугольник RTX - равнобедренный (по свойству))
∠M=∠N=90° (по условию)
Из доказательства пары этого пункта ∠MRX=∠NXR (соотв. элементы равных фигур равны), но ∠MXR=∠NRX (по условию)=> ∠MRT=∠NXT
Вывод: треугольники равны по гипотенузе и острому углу
2)Возьмем случайного рыцаря. Из утверждения вытекает, что лжецов на острове больше, чем (2015−1)\2=1007, то есть не менее 1007 лжецов.
3)Возьмем случайного лжеца. Его заявление ложно,т.к. кроме него не более половины жителей острова — лжецы. получается, что кроме него на острове не более 2014\2=1007 лжецов (то есть не более 1007), т.е. вместе с ним лжецов не более 1007.
4)из 2) и 3) следует, что: единственный вариант - это когда на острове ровно 1007 лжецов.