formula_4は3つの辺の長さである。