On $\theta$-congruent numbers, rational squares in arithmetic progressions, concordant forms and elliptic curves

The correspondence between right triangles with rational sides, triplets of rational squares in arithmetic succession and integral solutions of certain quadratic forms is well known. We show how this correspondence can be extended to the generalized notions of rational $\theta$-triangles, rational squares occurring in arithmetic progressions and concordant forms. In our approach we establish one-to-one mappings to rational points on certain elliptic curves and examine in detail the role of solutions of the $\theta$-congruent number problem and the concordant form problem associated with nontrivial torsion points on the corresponding elliptic curves. This approach allows us to combine and extend some disjoint results obtained by a number of authors, to clarify some statements in the literature and to answer some hitherto open questions.


Introduction
The following definition dates back to Euler ([E]; see also [O2]).
It is easily verified that every system of concordant forms is equivalent to one in which the coefficients m and n have different signs; hence we may always assume that m < 0 and n > 0. After factoring out the greatest common divisor of the coefficients, this leads us to consider quadratic forms X 2 − pkY 2 and X 2 + qkY 2 where k, p, q ∈ N with p and q coprime. Concordant forms in this form tie up nicely with rational squares occurring in arithmetic progressions. In fact, if α 2 < β 2 < γ 2 are squares of rational numbers which occur in an arithmetic progression of (maximally chosen) step size k, then there are coprime numbers p, q ∈ N such that α 2 = β 2 − pk and γ 2 = β 2 + qk, which means exactly that the forms X 2 − pkY 2 and X 2 + qkY 2 are concordant. To have a precise terminology available, let us give a formal definition.
Definition 1.2. A triplet (p, q, k) ∈ N × N × N where p, q are coprime is called a solution of the concordant form problem if and only if the quadratic forms X 2 − pkY 2 and X 2 + qkY 2 are concordant; i.e., if and only if there is an arithmetic progression of (maximal) step size k containing three rational squares, where the lowest and the highest are separated from the intermediate one by p times resp. q times the step size.
Obviously, a triplet (p, q, k) is a solution of the concordant form problem if and only if (p, q, a 2 k) is for any a ∈ N (since the factor a can be subsumed into Y ); hence it is sufficient to study solutions (p, q, k) where k is squarefree. We note that arithmetic progressions of squares have been studied not just over the rationals, but over number fields (cf. [Co2], [GS], [GX], [X]). While in these approaches the goal was to find (maximal) uninterrupted arithmetic progressions of squares in the given base field, we focus on rational squares which occur in arithmetic progressions, but not necessarily in immediate succession. We now relate the concordant form problem to a different problem which is cast in geometric rather than arithmetic language. The concept of congruent numbers (see [Ko], [T]) has been extended to that of a t-congruent number (cf. [TY]) and even more generally to that of a θ-congruent number (cf. [F1], [Ka], [Y1], [Y2], [Y3]); for an overview see [TY]. Even though the concept of a t-congruent number is more natural from a geometric point of view (arising from the search for triangles with rational sides and rational area), the more general concept of a θ-congruent number is more relevant for the purposes of this paper. Definition 1.3. Given an angle θ ∈ (0, π) whose cosine is a rational number, a number k ∈ N is called θ-congruent if there is a triangle with rational sides which has θ as an angle and k √ s 2 − r 2 as its area, where r ∈ Z and s ∈ N are the unique coprime numbers such that cos(θ) = r/s. Somewhat more precisely we call a triplet (r, s, k) ∈ Z × N × N a solution of the generalized congruent number problem if k is θ-congruent where cos θ = r/s in lowest terms.
Scaling the sides of a triangle by a factor a changes the area by the factor a 2 ; hence a natural number is θ-congruent for some angle θ if and only if its squarefree part is. In other words, (r, s, k) is a solution of the generalized congruent number problem if and only if (r, s, a 2 k) is for any number a ∈ N. Clearly, (π/2)-congruence is just ordinary congruence of numbers; the only other angles θ for which θ-congruence has been studied somewhat systematically are θ = π/3 and θ = 2π/3; see [Y1], [Y2], [Y3] and [JSDP].
The two problems are closely related, as is shown by the following theorem (whose elementary proof we omit).
Theorem 1.4. Let N be the set of solutions of the generalized congruent number problem, and let F be the set of solutions of the concordant form problem. Then mutually inverse bijections f : N → F and g : F → N are given by f (r, s, k) := (s − r, s + r, k) if r ≡ s mod 2, (s − r)/2, (s + r)/2, 2k if r, s are both odd and g(p, q, k) := (q + p)/2, (q − p)/2, k if p, q are both odd, q + p, q − p, k/2 if p ≡ q mod 2.

Connections to elliptic curves
In the introduction we exhibited a correspondence between θ-congruent numbers, rational squares in arithmetic progressions and concordant forms written in a certain way. Now we establish a 1-1 correspondence between the intersection of quadrics given by concordant forms and elliptic curves in standard form.
Theorem 2.1. Let m = n be nonzero integers. We denote by Q(m, n) the set of all (X 0 , X 1 , X 2 , X 3 ) ∈ P 3 (Q) such that Also, we denote by E(m, n) the set of all (T, X, Y ) ∈ P 2 (Q) such that which, in affine notation, is just the elliptic curve y 2 = x(x+m)(x+n). Then mutually inverse isomorphisms ϕ : Q(m, n) → E(m, n) and ψ : E(m, n) → Q(m, n) are given by ϕ : Note that ϕ needs to be redefined at (1, 0, 1, 1) whereas ψ needs to be redefined at (1, −m, 0), (1, −n, 0) and (0, 0, 1) to obtain well-defined regular maps. We omit the proof that ϕ and ψ are in fact well-defined and have the desired properties (which is obtained by straightforward calculations) and merely remark that this isomorphism is an instance of a general correspondence between elliptic curves and intersections of quadrics; see [Ca], p. 36, and [Co1], pp. 123-125.) We note that the isomorphism ψ maps the point at infinity and the 2-torsion points (−m, 0), (−n, 0) and (0, 0) of E(m, n) exactly to the trivial solutions (1, 0, ±1, ±1) of Q(m, n). Consequently, all other rational points of E(m, n) correspond to nontrivial points on Q(m, n). Thus the following is true (cf. [F1], Prop. 3; [Ka], Thm 1).
Theorem 2.2. Let m = n be nonzero integers. Then the quadratic forms X 2 + mY 2 and X 2 + nY 2 are concordant if and only if E(m, n) possesses elements of (finite or infinite) order greater than two.
The fact that our mappings ϕ and ψ are true isomorphisms make them more suitable than other correspondences studied in the literature. Let us explain this statement in some detail.
The book [Ko] deals with the classical congruent number problem. If n is a natural number and (X, Y, Z) are rational sides of a right triangle with area n (where X < Y < Z), then the assignment (X, Y, Z) → (Z 2 /2, (X 2 − Y 2 )Z/8) = (x, y) (see [Ko], Ch. I, §2, Prop. 2; Ch. I, §9, Prop. 19) maps the right triangles to rational points of the elliptic curve E(−n, n) given by the affine equation y 2 = x 3 − n 2 x. The assignment (X 0 , X 1 , X 2 , X 3 ) → (X 2 /X 1 , X 0 /X 1 , X 3 /X 1 ) associates with any point (X 0 , X 1 , X 2 , X 3 ) on the intersection of the quadrics X 2 0 − nX 2 1 = X 2 2 and X 2 0 + nX 2 1 = X 2 3 with X i ≥ 0 and X 1 > 0 such a triangle. The composite function τ which is computed to be obviously extends to a regular morphism Q(−n, n) → E(−n, n). The trivial elements of Q(−n, n) are mapped to the point at infinity, i. e., to the neutral element of the elliptic curve E(−n, n). This morphism, however, is not an isomorphism, but is a mapping of degree 4 whose image is exactly 2E(−n, n), i.e., the set of all doubled points of E(−n, n). If we denote by D the doubling P → 2P on the elliptic curve E(−n, n), then an easy computation shows that the diagram commutes in which ϕ is the mapping introduced at the beginning of this section. In other words, for any point S in Q(−n, n) we have τ (S) = 2ϕ(S).
Since the only torsion points on E(−n, n) are the points of order 2, these points are mapped to the neutral element of E(−n, n). This diagram explains why, for example, the points (41 2 /7 2 , 29520/7 3 ) on E(−31, 31) and (25/4, 75/8) on E(−5, 5) (cf. [Ko], p. 7) are not in the image of τ . However, they correspond to solutions of the associated concordant form problem via the mapping ϕ.
Note that the defect of the mapping τ of not being an isomorphism does not affect any of the assertions in [Ko]. In particular, the statement that n is a congruent number if and only if E(−n, n) contains rational points of infinite order is true, since the only points of finite order (the 2-torsion points) are mapped to the neutral element of E(−n, n) via the mapping τ , and they correspond to the trivial solutions of the concordant form problem and the degenerate right triangle. However, the defect of τ would make itself felt if one considered not only rational points on the elliptic curve in question, but also solutions over number fields.
The use of a correspondence which is not an isomorphism runs into problems when torsion points of order greater than 2 occur, which is the case in the general concordant form problem considered in [O1]. The mapping σ : Q(m, n) → E(m, n) used in [O1] is given by and hence is the same as the one considered by Koblitz up to the sign in the second component. It turns out that σ is again the composition of the isomorphism ϕ with an algebraically defined endomorphism of E(m, n), namely the negative −D of the doubling mapping D. Again, this mapping is of degree 4 and has 2E(m, n) as its image. But in this more general situation, the curve E(m, n) may have points of order 4, and these points are mapped to a 2-torsion point in the image of σ. Now such 2-torsion points correspond to nontrivial solutions of the associated concordant form problem. So for any pair of numbers (m, n) for which the torsion subgroup of the elliptic curve E(m, n) is isomorphic to Z 2 × Z 4 there exist nontrivial solutions of the concordant form problem in the sense of Definition 1.1 for the pair (m, n) even if the rank of E(m, n) is zero. Hence the statement in [O1] that if E(m, n) has rank zero then nontrivial solutions exist if and only if the torsion group is are solutions of the equations X 2 + mY 2 = Z 2 and X 2 + nY 2 = W 2 corresponding to the 4torsion points (3, ±6) and (−1, ±2) of the elliptic curve y 2 = x(x−1)(x+3); note that E(−1, 3) has rank zero (see [Y1]). These solutions are not covered by Main Corollary 1 (pp. 104/105) and Corollary 2 (p. 107) in [O1] where only solutions are considered for which all components are nonzero. We note in passing that the curve y 2 = x(x − 1)(x + 3) also provides a counterexample to Proposition 5.4 in [TY], which does not hold for n = 1. In fact, n = 1 is a π/3-congruent number (realized by the equilateral triangle with all sides equal to 2), which, in fact, corresponds to the 4-torsion points (3, ±6) and (−1, ±2) of the elliptic curve E(−1, 3). Hence the additional assumption n > 1 is indispensible to make Proposition 5.4 in [TY] true.
In the recent paper [Im], again only solutions with nonzero components are considered, as becomes clear from Definition 2 in this paper (which should presumably state that a solution (X, Y, Z, W ) is considered nontrivial only if XY ZW = 0). Thus, again, solutions associated with 4-torsion points on the corresponding curve are lost. For example, for m = 1 and n = k 2 where k ∈ {2, 3, 4, 5, 6, 8, 9, 13} solutions exist (namely (X, Y, Z, W ) = (0, 1, 1, k)) which are not covered in [Im]. The condition that the rank of E(1, k 2 ) be zero is satisfied for the quoted values of k (whereas the rank is one for k ∈ {7, 10, 11, 12}), as we verified with the SAGE software package.
While a thorough analysis of the mapping σ used in [O1] together with the two-descent on the elliptic curve E(m, n) may reveal all the interesting phenomena concerning solutions to the concordant form problem from the study of rational points on E(m, n) via σ, the approach via the isomorphism ϕ seems to be much more direct and natural. Also, the correspondence between solutions (r, s, k) of the congruent number problem and rational points of order > 2 on the elliptic curve becomes, via the correspondence with rational squares in arithmetic progressions, more lucid than in [F1], [Ka] and [Y1]. It also becomes clear from our calculations that two rational points of order > 2 on the curve yield the same triangle if and only if they differ by a 2-torsion element in the Mordell-Weil group of the curve. Moreover, our calculations clarify Theorem 1 and Proposition 4 in [F1]. More precisely, we will exactly determine those numbers n occurring as θ-congruent numbers corresponding to torsion elements of the associated elliptic curve, which was left open in [F1] and was clarified in the paper [F2], of which we were made aware only after finishing our paper.

Nontrivial torsion solutions
When we speak of the torsion subgroup of an elliptic curve E over Q we always mean the torsion subgroup of the Mordell-Weil group E Q of rational points on E. A deep theorem by Mazur (see [M]) states that the torsion subgroup of any elliptic curve over Q must be one of the groups Z m where 1 ≤ m ≤ 10 or m = 12 or else of the groups Z 2 ×Z 2n where 1 ≤ n ≤ 4. Since E(m, n) has three points of order 2, namely (0, 0), (−m, 0) and (−n, 0), only the last four possibilities can occur for the curves studied here. We want to determine the exact conditions on m and n which determine the type of the torsion group. To do so, we compute all nontrivial torsion elements. This was essentially already done in [O1], and only a few additional calculations (omitted here) are needed to arrive at the following complete characterization of all torsion elements. (Also see [F2].) Theorem 3.1. We consider the elliptic curve E(m, n) over Q where m = −pk and n = qk such that p, q ∈ N are coprime and k ∈ N is squarefree. (ii) There are points of order 8 if and only if there are numbers ξ, η ∈ N such that ξ 2 + η 2 is a square, say ξ 2 + η 2 = ζ 2 , and the equations m = −ξ 4 and n = η 4 − ξ 4 = ζ 2 (η 2 − ξ 2 ) hold. In this case, the 8torsion points are exactly the eight points ξζ(ξ +η)(ζ +η), ±ξηζ(ξ +η)(ζ +ξ)(ζ +η) , (iii) There are points of order 3 (or, equivalently, points of order 6) if and only if there are coprime integers a, b = 0 with a + 2b = 0, b + 2a = 0 and a ± b = 0 such that m = a 3 (a + 2b) and n = b 3 (b + 2a). In this case the points of order 3 are the two points (a 2 b 2 , ±a 2 b 2 (a + b) 2 , and the points of order 6 are the six points −a 2 b(b+2a), ±a 2 b(b+2a)(a 2 −b 2 ) , −ab 2 (a+2b), ±ab 2 (a+2b)(a 2 −b 2 ) , ab(a+2b)(b+2a), ±ab(a+2b)(b+2a)(a+b) 2 .
(iv) In all other cases for m and n the only torsion points are the trivial points (0, 0), (−m, 0) and (−n, 0).
Remark 3.2. If k = d 2 ℓ is not squarefree, then the elliptic curves E(−pℓ, qℓ) and E(−pk, qk) are isomorphic (as algebraic groups) via the isomorphism (x, y) → (d 2 x, d 3 y). So the torsion subgroups of the corresponding Mordell-Weil groups of rational points are also isomorphic. As a special case, we note that the curve E(−pk, qk) contains points of order 4 if and only if −m = pk and n − m = qk + pk are squares (irrespectively of whether or not k is squarefree).
We are now ready to give a complete classification of all concordant forms and θ-congruent triangles which correspond to torsion solutions of the associated elliptic curve. This classification is based on the following theorem. (Cf. [F2].) Theorem 3.3. We consider the elliptic curve E(m, n) where m = −pk and n = qk such that p, q ∈ N are coprime and k ∈ N is squarefree. Let T be the torsion subgroup of E(m, n).
The examples in the next section will show that each of the possible cases occurs for an infinite number of elliptic curves E(m, n).
Proof. Let us first consider the case that that T ∼ = Z 2 × Z 4 or T ∼ = Z × Z 8 . Assume k = 1; then there is a prime divisor t of k. The number t then divides both −m = pk and n − m = (p + q)k which are squares according to Thm 3.1(i). Since k is squarefree this implies that t divides both p and p + q, which is impossible because p and q are coprime by assumption. Thus the assumption k = 1 is wrong, and we must have k = 1 in this case.
Let us now consider the case that T ∼ = Z 2 × Z 6 . By Thm 3.1(iii) there are coprime numbers a, b ∈ Z \ {0} with a + 2b = 0, b + 2a = 0 and a ± b = 0 such that m = a 4 + 2a 3 b and n = 2ab 3 + b 4 . Let t be a prime divisor of k. Then t divides both −pk = m = a 3 (a + 2b) and qk = n = b 3 (2a + b). It is obvious that if the prime t were a divisor of a then it would also be a divisor of b, and vice versa; this, however, is impossible because a and b are coprime. Thus t divides neither a nor b, hence divides both a+2b and 2a+b, hence divides 2(a + 2b) = (2a + b) + 3b, hence divides 3b and consequently must be 3. We have shown that 3 is the only possible prime divisor of k. This implies that k = 1 or k = 3.
The implication of this theorem for concordant forms and θ-congruent numbers will be elucidated in the next section.

Interpretation and conclusions
Theorem 3.3 may be interpreted in terms of the concordant form problem and of the generalized congruent number problem.
Theorem 4.1. Let m = −pk and n = qk such that p, q ∈ N are coprime and k ∈ N is squarefree.
(i) If the quadratic forms X 2 + mY 2 and X 2 + nY 2 are concordant due to 4-or 8-torsion, then k = 1.
(ii) If the quadratic forms X 2 + mY 2 and X 2 + nY 2 are concordant due to 3-or 6-torsion then k = 1 or k = 3.
Proof. This is an immediate consequence of Thm 3.3.
Theorem 4.2. Let θ = arccos(r/s) where r ∈ Z and s ∈ N are coprime numbers such that |r| < s. Moreover, let k ∈ N be a squarefree number.
(i) If k is odd and is a θ-congruent number due to 4-or 8-torsion then k = 1.
(ii) If k is even and is a θ-congruent number due to 4-or 8-torsion then k = 2.
(iii) If k is odd and is a θ-congruent number due to 3-or 6-torsion then k = 1 or k = 3.
(iv) If k is even and is a θ-congruent number due to 3-or 6-torsion then k = 2 or k = 6.
Proof. We remember that the associated elliptic curve is given by E(m, n) where m = −(s − r)k and n = (s + r)k if r ≡ s mod 2 (first case) and where m = −(s−r)k/2 and n = (s+r)k/2 if r, s are both odd (second case). In the first case, the coefficients satisfy the hypotheses of Thm 3.3 and we see that in the situation of (i) we have k = 1 and for (iii) we have k = 1 or k = 3. The same holds in the second case when k is odd. It remains to consider the second case with k = 2ℓ being even (and ℓ being odd since k is assumed to be squarefree). In this situation the elliptic curve E(m ′ , n ′ ) associated with the triplet (r, s, ℓ) is given by m ′ = −(s − r)ℓ/2 and n ′ = (s + r)ℓ/2, and these coefficients satisfy the hypotheses of Thm 3.3. So we can conclude that ℓ = 1 (and hence k = 2) in the situation (ii) and ℓ = 1 or ℓ = 3 (and hence k = 2 or k = 6) in the situation (iv).
Any of the above situations occurs for infinitely many elliptic curves. The characterization of the curves with a prescribed torsion subgroup, together with the arguments in the proof of Thm 3.3, gives rise to several series of examples which will illustrate this fact.
Example 4.3. Torsion solutions of order 4. Let u, v be any coprime numbers with u < v and let m = −u 2 and n = v 2 − u 2 . Then the torsion subgroup T ⊆ E Q (m, n) contains Z 2 ×Z 4 . Hence any point of order 4 defines a solution of the concordant form problem given by the triplet (p, q, k) = (−m, n, 1). If m and n are both odd (which is equivalent to saying that v is even) then this point defines a solution to the generalized congruent number problem given by the triplet (r, s, k) = ((n − m)/2, (n + m)/2, 1) as well. If m and n have different parities, then the elliptic curve E(4m, 4n) also has a point of order 4, which defines a solution to the generalized congruent number problem given by the triplet (n − m, n + m, 2). Explicit instances are given by (u, v) = (1, 2), which corresponds to (m, n) = (−1, 3) and represents the situation that v is even, and by (u, v) = (1, 3), which corresponds to (m, n) = (−1, 8) and represents the situation that v is odd).
Example 4.4. Torsion solutions of order 8. Let (ξ, η, ζ) be any primitive Pythagorean triplet so that ξ 2 + η 2 = ζ 2 and ξ < η (note that ξ and η then automatically have unequal parities!) and let m = −ξ 4 and n = η 4 −ξ 4 . Then the torsion subgroup T ⊆ E Q (m, n) is isomorphic to Z 2 × Z 8 . So any point of order 8 defines a solution of the concordant form problem given by the triplet (p, q, k) = (−m, n, 1). If m and n are both odd (which means ξ is odd and η is even), then this point also defines a solution of the generalized congruent number problem given by (r, s, k) = ((n − m)/2, (n + m)/2, 1). If m is even (and a fortiori n is odd), then the elliptic curve E(4m, 4n) also has points of order 8, each of which defines a solution of the generalized congruent number problem given by the triplet (n − m, n + m, 2). Explicit instances are given by (ξ, η, ζ) = (3, 4, 5), which corresponds to (m, n) = (−81, 175) and represents the situation of a primitive Pythagorean triplet with ξ being odd), and by by (ξ, η, ζ) = (8, 15, 17), which corresponds to (m, n) = (−4096, 46 529) and represents the situation of a primitive Pythagorean triplet with ξ being even).
Example 4.5. Torsion solutions of order 3 or 6. Let a, b be any coprime numbers with a < 0, b > 0, a + 2b > 0, 2a + b > 0 and a + b = 0, and let m = a 3 (a+2b) and n = b 3 (2a+b). Then the torsion subgroup T ⊆ E Q (m, n) is isomorphic to Z 2 × Z 6 . From the proof of Thm 3.3 we know that the only possible common divisors of m and n are 1 or 3.
• First case: gcd(a + 2b, 2a + b) = 1. In this case any point of order 3 or 6 defines a solution of the concordant form problem given by the triplet (p, q, k) = (−m, n, 1). If m and n are both odd then this point also defines a solution of the generalized congruent number problem given by (r, s, k) = ((n − m)/2, (n + m)/2, 1). If m ≡ n mod 2 then the elliptic curve E(4m, 4n) also has points of order 3 and 6, which define solutions of the generalized congruent number problem given by the triplet (n − m, n + m, 2).
• Second case: gcd(a + 2b, 2a + b) = 3. (Note that this situation occurs when a ≡ b mod 3.) Let p = −m/3 and q = n/3. Then any point of order 3 or 6 defines a solution of the concordant form problem given by the triplet (p, q, k) = (−m/3, n/3, 3). If m and n are both odd, then this point also defines a solution of the generalized congruent number problem given by (r, s, k) = ((n − m)/6, (n + m)/6, 3). If m ≡ n mod 2 then the elliptic curve E(4m, 4n) also has points of order 3 and 6, which define solutions to the generalized congruent number problem given by the triplet ((n − m)/3, (n + m)/3, 6).
Remark 4.6. From the above considerations it is clear that each of the possible situations occurs for an infinite number of cases. Furthermore, with these examples we answer a question left open in [F1] (Remark 1 after Proposition 4). Namely, in [F1] it is shown that if n ∈ {1, 2, 3, 6} then n is a θ-congruent number if and only if the rank of the associated elliptic curve is positive; i.e., it is not possible to obtain a corresponding θ-triangle from torsion points on this elliptic curve. In [F1] it was shown that the condition n ∈ {1, 2} is indispensible in this statement; i.e., there are torsion solutions for n = 1 and n = 2. For n = 3 and n = 6 this was left as an open problem, which is now answered affirmatively by the above considerations.
The following result yields a nice geometric characterization of the 4torsion solutions.
Theorem 4.7. Let p, q ∈ N be coprime, let k ∈ N be squarefree, and let m = −pk and n = qk. Consider a rational point P on the curve E(m, n), the associated θ-congruent triangle ∆ and the associated triplet T of rational squares in an arithmetic progression. Then the following statements are equivalent: (i) P has order four; (ii) T contains the number zero; (iii) ∆ is isosceles, i.e., has two equal sides.
Proof. Under the correspondences in Thm 1.4 we have a = b for the sides of ∆ if and only if α = 0 for the smallest element in the progression α 2 < β 2 < γ 2 , which is the case if and only if X 2 = 0 for a corresponding point (X 0 , X 1 , X 2 , X 3 ) on Q(m, n) as defined in Thm 2.1 (since α = X 2 /X 1 , β = X 0 /X 1 and γ = X 3 /X 1 under the correspondence between points on this curve and rational squares in arithmetic progression). Now the condition X 2 = 0 corresponds to the equation (x + m)(y 2 + m(x + n) 2 ) = 0 via the biregular mapping in Thm 2.1. This equation yields either x = −m (which is one of the 2-torsion points) or else y 2 + m(x + n) 2 = 0. In the latter case −m must clearly be a square. Since both y 2 = −m(x + n) 2 and and hence (x + m) 2 = −m(n − m). Hence not only −m, but also n − m must be a square. This is exactly the condition that E(m, n) contains points with 4-torsion. Writing −m = u 2 , the equation y 2 = −m(x + n) 2 = u 2 (x + n) 2 yields y = ±u(x + n), which shows that the points (x, y) on E(m, n) associated with isosceles triangles are exactly the points of order 4.
The isosceles triangles occurring as solutions of the generalized congruent number problem can be characterized in terms of intrinsic geometrical properties, as we now show. (Note that when we speak of an isosceles θ-triangle we always assume the angle θ to be between the two equal sides.) Theorem 4.8. There is an isosceles rational θ-triangle if and only if sin(θ/2) is rational. If sin(θ/2) = ̺/σ where ̺, σ ∈ N are coprime, then the sides of the unique rational θ-triangle with squarefree k are given by a, a, c with a = kσ and c = 2ak sin(θ/2) = 2k̺.
The possibility of freely moving between the concordant form problem and the generalized congruent number problem provides a way of translating solutions found for one of these problems to solutions of the other problem. For example, various interesting examples of concordant forms and of triplets of rational squares in arithmetic progressions can be obtained from the examples for rational 2π/3-triangles found in [Ka]. Conversely, examples for concordant forms given in [O1] can be used to construct rational θ-triangles.