1. используя аксиомы I и III группы Гильберта докажите, что для произвольного треугольника ABC существует треугольник А1В1С1, где угол А1 меньше или равен половине угла А и при этом суммы углов этих треугольников равны.

А1.
∠САО = ∠МВО как накрест лежащие при пересечении АС║ВМ секущей АВ,
∠СОА = ∠МОВ как вертикальные, ⇒
ΔСОА подобен ΔМОВ по двум углам.
 СО : ОМ = АС : МВ
10 : ОМ = 15 : 3
ОМ = 10 · 3 : 15 = 2 см
СМ = СО + ОМ = 10 + 2 = 12 см

А2.
∠АРК = ∠АСВ как накрест лежащие при пересечении КР║ВС секущей АС,
∠А общий для треугольников АКР и АВС, ⇒
ΔАКР подобен  ΔАВС по двум углам.
Отношение периметров подобных треугольников равно коэффициенту подобия:
Pakp : Pabc = AK : AB
Pakp = Pabc · AK / AB = (16 + 15 + 8) · 4 / 16 = 39 / 4 = 9,75 см