Factorize x^2 - z*y^2 with Gcd(x,y)=1, Gcd(x,z)=1, Gcd(y,z)=1, and z squarefree

  • Context: Graduate 
  • Thread starter Thread starter Gaussianheart
  • Start date Start date
  • Tags Tags
    Factorization
Click For Summary

Discussion Overview

The discussion revolves around the factorization of the expression x^2 - z*y^2, where x, y, and z are positive integers with specific conditions on their greatest common divisors and z being squarefree. Participants explore the possibility of factorization over different mathematical domains and share their insights on methods and implications.

Discussion Character

  • Exploratory
  • Technical explanation
  • Debate/contested
  • Mathematical reasoning

Main Points Raised

  • Some participants assert that x^2 - z*y^2 cannot be factored over the integers or rationals, while it can be factored over the reals as (x - y√z)(x + y√z).
  • Others question whether there exists an algorithm or method to factor the expression over the integers, with one participant claiming to have found a method that is still under development.
  • A participant mentions the possibility of expressing composite numbers in the form of x^2 - z*y^2, suggesting that there may always be a way to factor such numbers.
  • There is a discussion about whether the proposed method can determine which primes can be expressed in the form x^2 - z*y^2, with some asserting that there are always primes of this form for fixed squarefree z.
  • One participant emphasizes the use of the Brahmagupta identity in finding representations of numbers as x^2 - z*y^2.

Areas of Agreement / Disagreement

Participants do not reach a consensus on the factorization of the expression over integers. There are competing views regarding the existence of a method for factorization and the implications of the Brahmagupta identity.

Contextual Notes

Limitations include the lack of clarity on the specific methods proposed for factorization and the conditions under which certain statements hold true. The discussion also reflects varying interpretations of the factorization problem based on the mathematical domain considered.

Gaussianheart
Messages
31
Reaction score
0
Let x,y,z > 0 (x,y,z naturals numbers)
Gcd(x,y)=1
Gcd(x,z)=1
Gcd(y,z)=1

z squarefree

Factorize

x^2 - z*y^2

Thank you.
 
Last edited:
Physics news on Phys.org
Gaussianheart said:
Let x,y,z > 0
Gcd(x,y)=1
Gcd(x,z)=1
Gcd(y,z)=1

z squarefree

Factorize

x^2 - z*y^2

Thank you.



Factorize...over what ring or field? What kind of beings are x,y,z, anyway?

DonAntonio
 
You are right. Sorry I made mistake not precising x,y,z (positive integers)
 
Gaussianheart said:
You are right. Sorry I made mistake not precising x,y,z (positive integers)


The expresion can't be factorized over the integers, or over the rationals, of course. Over the reals though

we have that x^2-zy^2=(x-y\sqrt{z})(x+y\sqrt{z}) .

DonAntonio
 
DonAntonio said:
The expresion can't be factorized over the integers, or over the rationals, of course. Over the reals though

we have that x^2-zy^2=(x-y\sqrt{z})(x+y\sqrt{z}) .

DonAntonio


Thank you.
 
So there is no algorithm or some method to factorize over the integers the equation above?
I just want to be sure because I have found a way to do it.
Not finished yet to be published.
 
Gaussianheart said:
So there is no algorithm or some method to factorize over the integers the equation above?
I just want to be sure because I have found a way to do it.
Not finished yet to be published.


As I told you, there is not such factorization over the integers, but you now say you have a method to do it, so either you are wrong or I am, and the easiest and fastest way to find out is for you to write down your method.

DonAntonio
 
If I understood you seems to say that we can not find :

u*v=x^2-zy^2

with u and v integers
and assuming that some known number A is equal to x^2-zy^2


It that right?
 
Gaussianheart said:
If I understood you seems to say that we can not find :

u*v=x^2-zy^2

with u and v integers
and assuming that some known number A is equal to x^2-zy^2


It that right?



No. I assumed you meant x^2-zy^2 is an integer polynomial in two (or even three) variables, and then I said it can't be reduced.

Of course that if you mean number it can, or not, be reduced, according as if it is a prime or composite number.

For example, with x = 3, y = z = 2\,,\,\, x^2-zy^2=9-2\cdot 4=1 , which is irreducible, but we get with

x=6, y=z=1\,,\,\,x^2-zy^2=36-1=35=5\cdot 7 , which is reducible...

DonAntonio
 
  • #10
Gaussianheart said:
Let x,y,z > 0 (x,y,z naturals numbers)
Gcd(x,y)=1
Gcd(x,z)=1
Gcd(y,z)=1

z squarefree

Factorize

x^2 - z*y^2

Thank you.
1*(x^2 - z*y^2). Other than that there is no algorithm to factor the expression. Of course many composite are of this form, such as 2*n where x,y and z are each odd. What method do you have in mind?
 
  • #11
ramsey2879 said:
1*(x^2 - z*y^2). Other than that there is no algorithm to factor the expression. Of course many composite are of this form, such as 2*n where x,y and z are each odd. What method do you have in mind?

Many composite could be expressed in many ways as x^2 - z*y^2.
That is why there always a way to factor those numbers.
My problem now is how to choose (x,z,y) such as the factorization will be easy to do.
I did not finished yet.
I'm testing testing testing.
But the core of my method is right and provable.
Implemeting the method is not easy.
I will post it as soon as I finsh the tests.
 
  • #12
Let's fix an integer z. Does your method give an answer to the question: what primes are of the form x^2-zy^2?
 
  • #13
morphism said:
Let's fix an integer z. Does your method give an answer to the question: what primes are of the form x^2-zy^2?

For any fixed z squarefree >1 you will always have primes of the form x^2-zy^2.
My goal is to find a way to factorize odd semi-prime (n) starting writing it as equal to some (x,y,z) in relation x^2-zy^2.
There are an infinite number of writing it like above by using the Brahmagupta identity.
 
  • #14
Gaussianheart said:
For any fixed z squarefree >1 you will always have primes of the form x^2-zy^2.
My goal is to find a way to factorize odd semi-prime (n) starting writing it as equal to some (x,y,z) in relation x^2-zy^2.
There are an infinite number of writing it like above by using the Brahmagupta identity.



You didn't answer morphism's question.

DonAntonio
 
Last edited:
  • #15
morphism said:
Let's fix an integer z. Does your method give an answer to the question: what primes are of the form x^2-zy^2?

The answer is : no
 
  • #16
DonAntonio said:
You didn't answer morphism's question.

DonAntonio

I did it now.
 

Similar threads

  • · Replies 6 ·
Replies
6
Views
2K
  • · Replies 8 ·
Replies
8
Views
2K
Replies
48
Views
6K
  • · Replies 24 ·
Replies
24
Views
2K
  • · Replies 5 ·
Replies
5
Views
2K
  • · Replies 4 ·
Replies
4
Views
3K
  • · Replies 11 ·
Replies
11
Views
3K
  • · Replies 1 ·
Replies
1
Views
1K
  • · Replies 2 ·
Replies
2
Views
3K
  • · Replies 3 ·
Replies
3
Views
2K