Agreed. It seems an odd inclusion for a visual proof. And afaik there's no simple visual way to demonstrate the impossibility of angle trisection. The proofs

Agreed. It seems an odd inclusion for a visual proof. And afaik there's no simple visual way to demonstrate the impossibility of angle trisection. The proofs use the complex machinery of abstract algebra.