Artificial intelligent assistant

Proof of folding to trisect a right angle If first you fold a normal (letter or A4) piece of paper in half: !a and then you fold one corner to meet the halfway line: !b Then you've trisected the right angle at bottom left - but how does one prove this?

The left side, the folded left side and the reflection of the folded left side at the halfway line together form an isolateral triangle, of which the fold line is an angular bisector.

xcX3v84RxoQ-4GxG32940ukFUIEgYdPy 966604e04db26435508ad41f9196babd