GeoGebra proof of Batman equation (see http://math.stackexchange.com/questions/54506/is-this-batman-equation-for-real). To make it GeoGebra-doable one has to deal with factors in the equation separately.