Bevis for sinusformlen retvinklet trekant