Relay-Version: version B 2.10 5/3/83; site utzoo.UUCP
Posting-Version: version B 2.10.1 (Tek) 9/26/83; site tekchips.UUCP
Path: utzoo!linus!philabs!cmcl2!seismo!hao!hplabs!tektronix!tekchips!stevev
From: stevev@tekchips.UUCP (Steve Vegdahl)
Newsgroups: net.math
Subject: Re: Trivial Proof Needed
Message-ID: <45@tekchips.UUCP>
Date: Fri, 31-Aug-84 14:39:25 EDT
Article-I.D.: tekchips.45
Posted: Fri Aug 31 14:39:25 1984
Date-Received: Sun, 16-Sep-84 08:18:44 EDT
Organization: Tektronix, Beaverton OR
Lines: 24

Problem:
  Show that Round(a/b) = Floor((a+Floor(b/2))/b), a, b integers, b non-zero

1. Because whole numbers can be factored out, it can be assumed that
	0 <= a < b without loss of generality.
2. As the proposer pointed out, the problem is trivial for b even; we
	therefore rewrite b as 2k+1, k >= 0