回答

ADとBCが垂直なので、∠ADCが90°になり、外角の定理によって∠ABD+∠DAB=90°という式が立てられるので、これを変形したら赤線の引いてあるところの式になります!

この回答にコメントする
疑問は解決しましたか?