Свойство доказано.

Свойство 10.3. Если точка М принадлежит стороне АС треугольника АВС, то

(9)

Доказательство этого свойства непосредственно следует из неравенства (7) и равенства (8).

Свойство 10.4.Если точка М принадлежит стороне АС треугольника АВС и , то дефект треугольника АВМ также равен нулю.