Lösning med skalärprodukt

Mitt försök än så länge:

Har löst uppgiften med att definiera $\beta$ med $\tan\beta$ för den vinkeln och implicit derivera ekvationen. Nu ville jag se huruvida det skulle gå med skalärprodukten men då skulle jag behöva hjälp med implicit deriveringen på HL.

MATLAB löser det inte så bra nämligen, är någon bekant med Mathematica?