Simulation shows that general relativity would lead to the existence of black holes if gravitation is always attractive. However, although we observed an invisible and extremely heavy object governs the orbits of stars at the center of our galaxy, we still cannot determine the existence
of a black hole. Thus, one may ask whether black holes actually exist. Einstein’s general relativity has been established, because its prediction on the bending of light rays has been confirmed by observation. However, Einstein’s prediction on the increment of weight for a piece
of metal as the temperature increases is proven incorrect by experiments, which actually show a reduction of weight. This leads to the necessary existence of repulsive gravitational force, which has been demonstrated by a charged capacitor hovering above the earth. Thus, Einstein, Newton,
Galileo, and Maxwell all made the error of overlooking the repulsive gravitational charge-mass interaction. Thus, it is necessary to rejustify the existence of black holes, because gravity is not always attractive. Moreover, repulsive gravitational force makes it necessary to extend general
relativity to a five-dimensional theory. Thus, to find out whether black holes exist, it is necessary to investigate the repulsive gravitation and a five-dimensional space.