where \( a \) and \( b \) are the legs. But we also know: