Mohrenheim's triangle