前の式では AB⋅hAB\cdot hAB⋅h が一定である。したがって hhahbh h_a h_bhhahb が最大となることは、分母 AC⋅BCAC\cdot BCAC⋅BC が最小となることと同値である。