Решение геометрической задачи (нахождение точки пересечения прямой и окружности)

#include <iostream>
#include <conio.h>
#include <fstream>
#include <string>
#include <io.h>
#include <cstdlib>
#include <math.h>
 
using namespace std;
 
void prover(double x,double y,double k,double b,double r)
{ //находим дискременант квадратного уравнения
     double d=(pow((2*k*b-2*x-2*y*k),2)-(4+4*k*k)*(b*b-r*r+x*x+y*y-2*y*b));
 
  //если он меньше 0, уравнение не имеет решения
     if(d<0) 
     {
         cout<<"\n\nПрямая и окружность не пересекаются";//return;
     }
     else
     {
  //иначе находим корни квадратного уравнения
        double x1=((-(2*k*b-2*x-2*y*k)-sqrt(d))/(2+2*k*k));
        double x2=((-(2*k*b-2*x-2*y*k)+sqrt(d))/(2+2*k*k));
        double y1=k*x1+b;
        double y2=k*x2+b;
 //если абсциссы точек совпадают, то пересечение только в одной точке    
        if (x1==x2)  
        {
             cout << "\n\nПрямая и окружность имеют точку касания:\n";
             cout << x1 << ' ' << y1;
            
     //return;
        }
        else
        {
            cout << "\n\nПрямая и окружность пересекаются в точках:\n";
            cout << x1 << ' ' << y1 << '\n' << x2 << ' ' << y2 << '\n';
        }
     }
}
 
void main()
{
 
setlocale (LC_ALL, "Russian");
 
    cout << "Студент группы 413, Шаяхметов Рустам Рашидович 2014 год \n\n" ;
    char v='y';
    double x,y,x1,x2,y1,y2,k,b,r;
    
 
    while(v=='y' || v=='Y')
    {
  cout<<"\nВведите координаты центра окружности:\n"<<"x=";
  cin>>x;
  cout<<"y=";
  cin>>y;
  cout<<"Введите радиус окружности:\n"<<"R=";
  cin>>r;
 
  cout<<"Введите координаты точек прямой:\n"<<"x1=";
  cin>>x1;
  cout<<"y1=";
  cin>>y1;
  cout<<"x2=";
  cin>>x2;
  cout<<"y2=";
  cin>>y2;
  if (x1==x2 && y1==y2)
  {
      cout << "Введите две разные точки";
  }
  else
  {
      if (x1==x2)
      {
          k=(y1-y2)/(x1);
      }
      else
      {
        k=(y1-y2)/(x1-x2);
      }
      b=y1-k*x1;
      prover(y,x,k,b,r);
      
  }
  cout << "\nВыполнить ещё раз? y/n \n";
        cin >> v;
    }
 
}