Logiciel libre de géométrie, d'analyse et de simulation multiplateforme par Yves Biton

Accueil – Exercices en ligne – Exercices en anglais – Niveau moyen

Formal calculation

modification jeudi 24 septembre 2026.


Reducing to a commun denominator

Reducing to a common denominator. Level 1.

Reducing to a common denominator. Level 2.

Formal computation

Simplify a quotient (level 1 formal calculation)

Simplify a quotient (level 2 formal calculation)

Simplify a quotient (level 3 formal calculation)

Formal computation  : x/(ka) + b = 1/a

Formal computation  : ax + a/(kb) = 1/b

Formal computation  : kax ± pbx= k²a² - p²b²

Formal computation  : k²a²+(ka±pb)/x=p²b²

Formal computation  : x/(p²b²)-x/(k²a²)=(ka±pb)/(a*b)

Formal computation  : b(x - 1/(ka)) = a or b(x - 1/a) = a/k

Formal computation  : (ab)/(x/(ka)+b)=a+b or (ab)/(x/(kb)+a)=a+b

Formal computation  : 1/(x/(ka)+1/b)=a or 1/(kx/a+1/b)=a

Formal computation x/(ka) + x/b = 1 or x/a + x/(kb) = 1

Formal computation  : kb/(x+k²b)=1/(a+k) or b/(kx+pb)=1/(a+p)

Formal computation  : 1/x = 1/(kb) - 1/a or 1/x = 1/b - 1/(ka)

Formal computation  : x/(ab) + (ka)/b = 1/b or x/(ab) + a/b = k/b

From a geometric situation

Formal calculation of area in a rectangle (with solution)

Formal calculation of area in a rectangle (without solution)

Formal calculation of area and inequality (with the solution)

Formal calculation of area and inequality (without the solution)

Guided  : Find the position of a point with the Pythagorean theorem (formal calculus).