Heisenberg's uncertainty principle provides a fundamental limitation on an observer's ability to simultaneously predict the outcome when one of two measurements is performed on a quantum system. However, if the observer has access to a particle (stored in a quantum memory) which is entangled with the system, his uncertainty is generally reduced. This effect has recently been quantified by Berta et al. [Nature Physics 6, 659 (2010)] in a new, more general uncertainty relation, formulated in terms of entropies. Using entangled photon pairs, an optical delay line serving as a quantum memory and fast, active feed-forward we experimentally probe the validity of this new relation. The behaviour we find agrees with the predictions of quantum theory and satisfies the new uncertainty relation. In particular, we find lower uncertainties about the measurement outcomes than would be possible without the entangled particle. This shows not only that the reduction in uncertainty enabled by entanglement can be significant in practice, but also demonstrates the use of the inequality to witness entanglement.Consider an experiment in which one of two measurements is made on a quantum system. In general, it is not possible to predict the outcomes of both measurements precisely, which leads to uncertainty relations constraining our ability to do so. Such relations lie at the heart of quantum theory and have profound fundamental and practical consequences. They set fundamental limits on precision technologies such as metrology and lithography, and also served as the intuition behind new types of technologies such as quantum cryptography [1,2].The first relation of this kind was formulated by Heisenberg for the case of position and momentum [3]. Subsequent work by Robertson [4] and Schrödinger [5] generalized this relation to arbitrary pairs of observables. In particular, Robertson showed thatwhere uncertainty is characterized in terms of the standard deviation ∆R for an observable R (and likewise for S) and the right-hand-side (RHS) of the inequality is expressed in terms of the expectation value of the commutator, [R, S] := RS − SR, of the two observables. More recently, driven by information theory, uncertainty relations have been developed in which the uncertainty is quantified using entropy [6,7], rather than the standard deviation. This links uncertainty relations more naturally to classical and quantum information and overcomes some pitfalls of equation (1) pointed out by Deutsch [7]. Most uncertainty relations apply only in the case where the uncertainty is measured for an observer holding only classical information about the system. One such relation, conjectured by Kraus [8] and subsequently proven by Maassen and Uffink [9], states that for any observables R and Swhere H(R) denotes the Shannon entropy [10] of the probability distribution of the outcomes when R is measured and the term 1/c quantifies the complementarity of the observables. For non-degenerate observables, it is defined by c := max r,s | Ψ r |Υ s | 2 , where ...