find the circumcenter of angle ABC with vertices A( 1,1 ) B( 5,1 ) and C( 1,5 ) also include proofs on a graph.