Denne grunnleggende identiteten blir kalt enhetsformelen og noen ganger også . For to formlike trekanter er forholdet mellom samsvarende sidelengder det samme, og dette vil også gjelde for de to trekantene i figuren. Den øverste rettvinklet trekanten har hypotenusen med lengde 1, og katetene har lengde og .