Доказательство формулы герона