rotation_on_H+(no1)
To manipulate this construction, download
Cabri II Plus
plug-in.
HTML export by Cabri II Plus