Wpis z mikrobloga

Jasne, tak też zacząłem robić ale się pogubiłem. Czy mam tutaj dowieść nie wprost, że np. a i b należą do wymiernych i przedstawić je w postaci ułamków liczb całkowitych i potem rzeźbić? tj. a=p/q;b=r/s?
@adibor: od kiedy w dowodach nie wprost nie można zmienić założenia, w tym przypadku przyjmując nie wprost że a i b są wymierne i dowodząc w ten sposób dojść w którymś momencie do sprzeczności?