OpenLink Software

Usage stats on Proof that the √5 is irrational

 Permalink

an Entity in Data Space: 134.155.108.49:8890

This will be a proof by contradiction. 1. * Assume that the √5 is rational (can be expressed in the form , where a and b are integers. 2. * Then √5 can be written as an irreducible fraction (the fraction is reduced as much as possible) a / b such that a and b are coprime integers and (a / b)2 = 5. 3. * It follows that a2 / b2 = 5 and a2 = 5 b2. 4. * Therefore a2 is divisible by 5 because it is equal to 5 b2 which is obviously divisible by 5. 5. * It follows that a must be divisible by 5. 6. * Because a is divisible by 5, there exists an integer k that fulfills: a = 5k. 7. * We insert the last equation of (3) in (6): 5b2 = (5k)2 is equivalent to 5b2 = 25k2 is equivalent to b2 = 5k2. 8. * Because 5k2 is divisible by 5 it follows that b2 is also divisible

Graph IRICount
http://dbkwik.webdatacommons.org5
Alternative Linked Data Views: ODE     Raw Data in: CXML | CSV | RDF ( N-Triples N3/Turtle JSON XML ) | OData ( Atom JSON ) | Microdata ( JSON HTML) | JSON-LD    About   
This material is Open Knowledge   W3C Semantic Web Technology [RDF Data] This material is Open Knowledge Creative Commons License Valid XHTML + RDFa
This work is licensed under a Creative Commons Attribution-Share Alike 3.0 Unported License.
OpenLink Virtuoso version 07.20.3217, on Linux (x86_64-pc-linux-gnu), Standard Edition
Copyright © 2009-2012 OpenLink Software