🚀 go-pugleaf

RetroBBS NetNews Server

Inspired by RockSolid Light RIP Retro Guy

Article View: sci.math.num-analysis
Article #217

Re: Neat little proof

#217
From: Vineet Nene
Date: Sat, 08 Aug 1992 01:15
6 lines
682 bytes
Proof that Sqrt(2) is irrational :

Assume Sqrt(2) = p/q where p and q do not have any common factor.
=> p^{2}/q^{2} = 2 => p^{2} and q^{2} have a common factor.
=> p and q must also have a common factor.
=> Contradiction.
Technical Details
Message-ID: <85612@netnews.upenn.edu>
Path: arc1-ca.pugleaf.net!sparky!uunet!cs.utexas.edu!qt.cs.utexas.edu!yale.edu!jvnc.net!netnews.upenn.edu!pender.ee.upenn.edu!nene
References: <873@ceylon.gte.com>

Show Full Headers
Complete Article Headers
Path: arc1-ca.pugleaf.net!sparky!uunet!cs.utexas.edu!qt.cs.utexas.edu!yale.edu!jvnc.net!netnews.upenn.edu!pender.ee.upenn.edu!nene
From: nene@pender.ee.upenn.edu (Vineet Nene)
Newsgroups: sci.math.num-analysis
Subject: Re: Neat little proof
Message-ID: <85612@netnews.upenn.edu>
Date: 8 Aug 92 01:15:14 GMT
References: <873@ceylon.gte.com>
Sender: news@netnews.upenn.edu
Organization: University of Pennsylvania
Lines: 6
Nntp-Posting-Host: pender.ee.upenn.edu