Rotate around Point Tool
From GeoGebra Manual
- Select the object you want to rotate. Then, click on a point to specify the center of rotation and enter the rotation angle into the text field of the appearing dialog window (see also Rotate command).