La være en trekant med sidelengder , og . Anta også at . Konstruerer en ny rettvinklet trekant , med den rette vinkelen mellom sider med lengde og . Fra Pytagoras’ setning følger det at hypotenusen i trekant har lengde . Trekantene og har tre like sider og er derfor kongruente. Følgelig har de også like vinkler. I trekant må derfor vinkelen mellom sidelengdene and være en rett vinkel.