1051

Prove the red triangle is $45^\circ$-$45^\circ$-$90^\circ$.