Нямаше ли някаква теорема a+b/2=n където а и b са основите, а n-средната отсечка?