Część całkowita Satan: Mam taki zapis: a < b, przy pomocy funkcji część całkowita łatwo skonstruować liczbę wymierną w spełniającą nierówność a < w < b Jak takiego zabiegu dokonano?

Adamm: (kb−2)/k < ([kb]−1)/k ≤ (bk−1)/k < b, k∊Z

	2
a ≤ (kb−2)/k ⇔		≤ k
	b−a

	2
niech np. k = [		]+1
	b−a

	[kb]−1
obierając w =		, widzimy że w jest wymierna i a < w < b
	k

Satan: Tak, to zdecydowanie powinno być w skrypcie. Dziękuję