Nagata's altitude formula