ARCTG+ARCCTG=0.5*PI – GeoGebra

ARCTG+ARCCTG=0.5*PI – GeoGebra