Aby udowodnić, że wszystkie punkty należące do okręgu mają współrzędne dodatnie należy wykazać, że odległość środka okręgu od prostej oraz od prostej jest