Statements (13)
| Predicate | Object |
|---|---|
| gptkbp:instanceOf |
gptkb:logic
|
| gptkbp:field |
number theory
|
| gptkbp:historicalPeriod |
17th century
|
| https://www.w3.org/2000/01/rdf-schema#label |
Fermat's method of descent
|
| gptkbp:inventedBy |
gptkb:Pierre_de_Fermat
|
| gptkbp:notableFor |
proof that a right triangle with integer sides cannot have area equal to a square number
|
| gptkbp:relatedConcept |
gptkb:Diophantine_equations
infinite descent |
| gptkbp:used_in |
proof of Fermat's Last Theorem for n=4
|
| gptkbp:usedFor |
proving impossibility results
proving non-existence of integer solutions |
| gptkbp:bfsParent |
gptkb:Pierre_de_Fermat
|
| gptkbp:bfsLayer |
6
|