Files

19 lines
293 B
Python
Raw Permalink Normal View History

2017-02-21 08:27:14 +01:00
print("racine carrée entière")
n = int(input("entrez n : "))
#@ assume n >= 0
r = 0
s = 1
while s <= n:
#@ invariant 0 <= r
#@ invariant r * r <= n
#@ invariant s == (r+1) * (r+1)
2017-03-17 17:04:23 +01:00
#@ variant n - s
r += 1
s += 2 * r + 1
2017-02-21 08:27:14 +01:00
print(r)
#@ assert r*r <= n < (r+1)*(r+1)